دیدار سنایی با پیر در بخشی از کتاب حدیقهالحقیقه با پرسش هایی درباره سرزمینی که وی (پیر خردمند) از آنجا آمده، همراه است. پیر آن جایگاه را «شهرْخدا» می نامد و از ویژگی های آن برای شاعر سخن می گوید:گفتم آخر کجاست آن کشورگفت: از کی و از کجا برترجای کی گویمش که شهرْخدایجای جان است و جان ندارد جایدر این مقاله بررسی ماهوی و جغرافیایی شهری که سنایی آن را «شهر خدا» می نامد، موردنظر است. این سرزمین را سهرو...

هانری کربن به زعم خویش یک فیلسوف است، اگر چه گاه گستره ی وسیع مطالعات او و گذر از مدینه های تمثیلی اش، از آلمان تا ایران، بر تن او جامه ی یک شرق شناس را پوشانده است. او پیش از جستجوی طلبش در شرق و از شرق، به عرفان پروتستانی وقوف کامل دارد و پدیدارشناسی را در زادگاه این فرادهش آموخته است. این گذشته چونان یک موقعیت زندآگاهانه بر خوانش او از متون عرفانی و فلسفی ایرانی و شرقی سایه انداخته است. پیش ...

هدف ما در این پایان نامه این است که نشان دهیم اگر vt یک چندگونای سگره از p1 ×· · ·×p1 به توی pn باشد در این صورت s-امین چندگونای متقاطع از چندگونای سگره دارای بعد امید می باشد. سپس نشان می دهیم که برای t=4 و s=3, سومین چندگونای متقاطع بعد امید مورد نظر را ندارد و ثابت می کنیم که این تنها مثال نقض در این خانواده نامتناهی می باشد.

شمس‌الدین سمرقندی از منطق‌دانان قرن هفتم، در بحث قیاس شرطی دیدگاهی نو در برابر ابن‌سینا پیش ‌نهاده است. از نظر ابن‌سینا، قیاس شرطی دقیقاً مانند قیاس حملی است و در‌نتیجه، 19 ضرب منتج دارد؛ اما سمرقندی این همانندی را نمی‌پذیرد و فقط 7 ضرب از قیاس شرطی را معتبر می‌داند. او در بیان شرایط انتاج فقط شرایط کیفیت را بیان می‌کند و به شرایط کمیت نمی‌پردازد و هنگام ارائة مثال نقض برای ضرب‌های عقیم، تفاوت ک...

نسبیت بر این ایده بنا شده است که تمام قوانین فیزیک نسبت به تبدیل در چارچوب مرجع جدیدی که با سرعت ثابت و حرکت می کند متقارن هستند. این تبدیلات همان تبدیلات لورنتس هستند که اساس نظریه ی نسبیت را تشکیل می دهند. هنگامی که تقارن لورنتس در نظر گرفته شود، فضا و زمان همسانگرد به نظر می رسد. درحال حاظر تقارن لورنتس بهترین توضیحات را از ذرات بنیادی و نیروها به ما می دهد. همه ذرات و برهمکنش های غیر گران...

در کتاب های منطق اسلامیِ دورۀ معاصر، «نقض موضوع» را قاعده ای برشمرده اند که بر پایۀ آن می توان از یک گزارۀ کلّیِ صادق، گزارۀ صادق دیگری را به دست آورد که موضوع اش نقیض موضوع گزارۀ نخستین باشد و کمّ و کیف اش نیز دگرگون شده باشد. بنابراین، با کاربست این قاعده بر موجَبی کلّی مانند «هر الف ب است» سالبی جزئی همچون «برخی از نه ـ الف ب نیست» به دست می آید. در این جستار، امّا، نمایان خواهد شد که همواره چنین ن...

در رویکرد استنتاج‌گرایی به معناداری، ثوابت منطقی بر اساس قواعد عملگری تعریف می‌شود، آرتور پرایور در نقد این رویکرد با ارائۀ مثال نقض tonk نشان داد که با پذیرش رویکرد استنتاج‌گرایی هر قاعدۀ عملگری دلخواهی توصیف‌کننده یک ثابت منطقی خواهد شد و لازمۀ این امر وجود ثوابت منطقی معیوب و ناسازگار با سیستم است. بلنپ در پاسخ به این اشکال دو شرط پایستاری و یکتایی را برای قواعد عملگری ارائه داد. با توجه به ...

رمزهای مشترک در ادبیات عرفانی اقوام مختلف جهان از موضوع هایی است که می توان در ادبیات عرفانی به آن پرداخت. دلیل این اشتراک چیزی جز وجود یک مثال اعلای واحد نمی تواند باشد، که هرجا رخ نموده، حتی در سنت های مختلف، چهره ای یکسان نشان داده است. یکی از این رمزها «پر ریختن» است که معانی گوناگون دارد، و دو معنی آن در ادبیات عرفانی بارزتر است؛ یکی، ترک قدرت و ساز و برگ دنیایی است، که شرطی است برای پذیرا...