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

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

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

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

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

پژوهش حاضر درصدد بررسی امکان ارایة برگردان صوری برای روابط مفهومی در سطح جمله است و این مهم را با به‏کارگیری منطق ریاضی به ویژه منطق محمول‏ها در محدودة نمونه‏های کارآمد برای زبان فارسی انجام می‏دهد. به این ترتیب که ابتدا روابط مفهومی در سطح جمله که شامل «استلزام معنایی»، «تضاد معنایی»، «استنتاج» و «پیش‏انگاری» است، معرفی می‏شود و سپس، به‌وسیلۀ ابزارهای صوری منطق‏دانان و به ویژه منطق محمول‏ها بر...

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

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

با ظهور منطق صوری جدید و پیشرفت در متمایز کردن صورت از ماد‌ّه، مواردی از خلط صورت با ماد‌ّه در منطق قدیم آشکار شده است. عده‌ای معتقدند این خلط در قاعدۀ عکس مستوی که از قواعد صوری بسیار مهم است و در اثبات بسیاری از دیگر قواعد صوری هم به‌ کار می‌رود، وجود دارد؛ چون در مواردی از اعمال قاعدة عکس مستوی، استنتاج وجودی از شرطی صورت می‌گیرد و اصل صادق، امـّا عکس کاذب است. علّت اینکه پیشینیان آن را معتبر می...

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