برای منطق دو نظام قدیم و جدید می‌شناسیم که از نظر برخی، در تضاد با یکدیگر قرار دارند. در این مقاله، می‌خواهیم ببینیم که آیا منطق قدیم در برابر منطق جدید، واقعاً یک منطق است و قواعد یکسانی را معرفی می‌کند یا خیر؟ در تعداد قواعد معتبر و بیان دقیق آنها در منطق محمولات قدیم، اختلاف نظر‌های بسیاری مشاهده می‌شود. برای نمونه، تقریر‌های گوناگون از قاعدة فرعیّه و قاعدة نقض محمول و نیز دو تعریف مشهور برای ...

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

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

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

یکی از مسائلی که هیدگر از همان سال‌های اوّلیّة تحصیل دانشگاهی خود و بعد از آن در سال‌های تدریس به آن پرداخته است مسألة منطق است. البته هر کجا او از منطق سخن می‌گوید منظورش منطق فرادادی (سنّتی) است و نه منطق ریاضى- سمبلیک که اصطلاحاً به آن منطق جدید مى‏گویند. آنچه او دربارة منطق جدید گفته و نوشته است بسیار کم و غالباً همراه با توصیفاتی منفى است. در منطق فرادادی (سنّتی) نیز او به دنبال دستیابی به روش‏ه...

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

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

پیش از ظهور منطق جدید، نظام منطقیِ رایج بی‌بدیل می‌نمود. اما منطق کلاسیک، با نظام‌های متعددی روبه‌روست که خود را منطقی و هماورد منطق کلاسیک می‌دانند. این نظام‌ها، اغلب مبتنی بر پیش‌فرض‌های خاص فلسفی هستند و قواعد منطقی متفاوتی را طرح می‌کنند. در مواجهه با این نظام‌ها، پرسشی فلسفی مطرح می‌شود مبنی بر اینکه آیا اساساً کثرت در نظام و/یا قواعد منطقی ممکن است؟ فیلسوفان منطق جدید، پاسخ‌های متنوعی به ای...

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