مبانی: فلسفی:1- فلسفه منطق فرگه (نظریه فرگه)2-فلسفه منطق راسل (نظریات توصیفات معین، نظریه طبقات ساده و انشعابی منطقی: منطق کلاسیک (مرتبه اول و بالاتر) منطق موجهات پیش فرض ها: کلیات نظریه ‏‎sence‎‏ را می پذیریم. ( این نظر را که وجود محمول نیست. کنار می گذاریم)از حیث هستی شناسی، ‏‎sense‎‏ را به مثابه اشیا انتزاعی تلقی می کنیم.مسائل: اگر ‏‎‏‎sense‎‏ را به مثابه شی انتزاعی در یک مدل تعبیر کنیم، آیا...

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

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

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

کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...

کورت گودل در فوریة‌‌ ۱۹۷۰ با دِینا اسکات دربارة‌‌ استدلال هستی‌‌شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا‌حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة‌‌ دوم در نظام S5 است، با این‌‌همانی و یک اصل انتزاع ویژگی‌‌ها. به ‌شرط پذیرش نظام منطقی، نتیجة‌‌ گودل، این‌‌که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به ‌دست می‌‌آی...

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

 در منطق موجهات جدید، رابطۀ جهت و سور را با فرمول‌هایی نشان می‌دهند که به افتخار ژان بوریدان و خانم روت بارکن مارکوس ـ دو منطق‌دان از سدۀ چهاردهم و بیستم میلادی ـ فرمول‌های بوریدان و بارکن نامیده شده‌اند. ضیاء موحد، لطف‌الله نبوی و مهدی عظیمی پیشینۀ این فرمول‌ها را به ابن‌سینا می‌رسانند. در این مقاله نشان می‌دهیم که ابن‌سینا فقط تمایز «جهت سور» و «جهت حمل» را بیان کرده است و اشاره‌های او در دو ...

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

ارسطو در کتاب ارغنون (Aristotle,1949:9,30a,15-19 ) به صراحت بیان می­کند که در یک قیاس حملی، اگر صغری مطلقه (عاری از جهت) و کبری ضروری باشد، نتیجه قیاس نیز ضروری است. این نظر ارسطو که در واقع تخطّی از قاعده منطقی مشهور تئوفراستس(تبعیت نتیجه از اخسّ مقدمتین) محسوب می­شود، منشأ منازعات و مشاجرات فراوانی در طول تاریخ منطق گردیده است. منطق­دانان و مورخان مشهور  منطق در قرن بیستم همانند «نیکولاس رشر» و...