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

به یک تعبیر، واقع‌گرایی درباب منطق واقع‌گرایی درباب موضوع منطق است.اما، منطق واقعاً دربارۀ چیست؟ صحبت از منطق کم و بیش به معنای صحبت از رابطۀ نتیجه منطقی تلقی می‌شود؛ رابطه‌ای که میان مقدمه‌های یک استدلال و نتیجۀ آن استدلال برقرار است. در تاریخِ منطق همواره این‌چنین نبوده‌است:در قرن بیستم دیدگاه فرگه-راسلی مبنی بر تلقی‌کردنِ منطق به عنوان مجموعه‌ای از صدق‌های منطقی در جامعۀ علمی حاکم بود. در این م...

منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه‌‌ شهودگرایی براوئر (Brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می‌دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه‌ای برساخته از روندهای ساخت‌ هویات و براهین ریاضی می‌داند. در مقاله‌‌ حاضر، به تبیین مبانی نظری م...

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

منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه شهودگرایی براوئر (brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه ای برساخته از روندهای ساخت هویات و براهین ریاضی می داند. در مقاله حاضر، به تبیین مبانی نظری منطق ش...

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

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

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

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