قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌ه...

در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...

شرطی اتفاقی، در آثار مربوط به منطق تطبیقی، تحلیل های گوناگون و اغلب ناسازگار را دامن زده است. در آثار معاصران، دو رویکرد به بحث شرطی اتفاقی وجود دارد: رویکرد موجهاتی و رویکرد جدول ارزشی. در رویکرد نخست، فرمول های منطق موجهات جدید، شامل ادات های ضرورت و امکان، در تحلیل شرطی های اتفاقی به کار رفته است. در رویکرد دوم، از جداول ارزش برای بررسی مسئله استفاده کرده اند. در این مقاله، علاوه بر بیان و ن...

طبق یک تعریف رایج، برهان صدیقین استدلالی است که در آن با تأمل در نفس وجود و بدون فرض وجود ممکن، وجود واجب الوجود اثبات می شود. شیخ الرئیس، مبتکر برهان صدیقین، تقریرهای متفاوتی را از این سبک برهان در کتاب های اشارات، نجات و مبدأ و معاد ارائه نموده و فلاسفه ی دیگر با وجود تأیید چهارچوب کلی برهان، نقدهایی را بر آن وارد کردند. برخی از این نقدها، متوجه صدیقین بودن برهان و برخی هم ناظر بر مفهوم اصلی ...

هر فرد آشنا به منطق می داند که اگر میان دو مفهوم کلی، نسبت عموم و خصوص مطلق برقرار باشد، همان نسبت - ولی با انقلاب‎- میان نقیض های آنها نیز برقرار است. اما باوجود دلایل مستدل در اثبات این قاعده، منطق دان بزرگ دبیران کاتبی قزوینی(600- 675 ق) شبهه ای در این زمینه طرح کرده و با ذکر مثال نقضی از منطق موجهات (در خصوص امکان عام و خاص)، کلیت قاعده را مورد تردید قرار داده است. دو نامه‏ طرح شبهه توسط کا...

هر فرد آشنا به منطق می‌داند که اگر میان دو مفهوم کلی، نسبت عموم و خصوص مطلق برقرار باشد، همان نسبت - ولی با انقلاب‎- میان نقیض‌های آنها نیز برقرار است. اما باوجود دلایل مستدل در اثبات این قاعده، منطق‌دان بزرگ دبیران کاتبی قزوینی(600- 675 ق) شبهه‌ای در این زمینه طرح کرده و با ذکر مثال نقضی از منطق موجهات (در خصوص امکان عام و خاص)، کلیت قاعده را مورد تردید قرار داده است. دو نامه‏ طرح شبهه توسط کا...

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

صدرالمتألهین در بیان دو اطلاق وجود رابطی، به اختلاف نوعی میان یکی از اطلاقات آن با وجود محمولی معتقد شده است. این عقیده با اشتراک معنوی و وحدت مفهوم وجود ناسازگار به نظر می رسد. به همین جهت شارحان وی به توجیه اختلاف نوعی و رفع تعارض پرداخته اند. برخی این دیدگاه را از وی عجیب دانسته و گروهی در تأیید آن، وجه مشترک میان وجود رابط و محمولی یا مستقل را نفی کرده اند. برخی دیگر غایت تباعد و بینونت را ...

ارسطو را می توان از پیشگامان منطق ترجیح قلمداد نمود. در عصر جدید محققان برجسته ای چون سورن هالدن جورج فون رایت رودریک چیزم نیکلاس رشر و ریچارد جفری در احیاء و گسترش این بخش از دانشهای منطقی کوشش قابل ملاحظه ای از خود نشان داده اند از جمله روابط منطقی که نقش پایه و اساسی در منطق ترجیح ایفا می کنند رابطه S , P است P به معنای P بر q ترجیح دارد یا p بهتر است از q و s به معنای p در ارزش برابر است با...

ارسطو را می توان از پیشگامان منطق ترجیح قلمداد نمود. در عصر جدید محققان برجسته ای چون سورن هالدن جورج فون رایت رودریک چیزم نیکلاس رشر و ریچارد جفری در احیاء و گسترش این بخش از دانشهای منطقی کوشش قابل ملاحظه ای از خود نشان داده اند از جمله روابط منطقی که نقش پایه و اساسی در منطق ترجیح ایفا می کنند رابطه s , p است p به معنای p بر q ترجیح دارد یا p بهتر است از q و s به معنای p در ارزش برابر است با...