منطق ارسطویی (منطق حملی) از طریق ترجمه مستقیم و بی واسطه آثار ارسطو، و منطق رواقی ـ مگاری (منطق شرطی) با ترجمه غیرمستقیم و به واسطه برخی متون لاتینی جالینوس، اسکندر افرودیسی و بوئتیوس مربوط به نخستین سده های میلادی  به جهان اسلام راه یافت. پس از دو قرن تلاش برای ترجمه، شرح، تقریر و تفهیم میراث منطقی یونانیان، با ظهور  ابن سینا «دوره ابداع و نوآوری» فرا رسید. ابداعات منطقی و منطق های ابداعی ابن ...

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

ارسطو در جایگاه ها به منظور تحلیل استدلال جدلی، آن را به گزاره ها فرومی کاهد و می گوید که هر گزار? جدلی از موضوعی تشکیل شده که «نوع» است، و از محمولی که یا «تعریف» است، یا «جنس»، (یا «فصل»،) یا «خاصّه»، یا «عرض»؛ و موادّ این حمل پذیرها را مقولات ده گانه به دست می دهند. فرفوریوس در ایساگوگه «نوع» را جایگزین «تعریف» می کند و «فصل» را هم آشکارا به میان می آورد و این پنج کلّی را چونان پیش زمینه هایی ض...

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

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

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

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

فرانتس برنتانو ‌Franz Brentano (1838-1917))) یکی از فیلسوفان نیمة دوم قرن نوزدهم و اوایل قرن بیستم است. جایگاه ویژة وی را می‌شود از دو جنبه نشان داد. یکی آن پیوند یا پلی است که می‌توان به واسطة او بین فلسفة تحلیلی و قاره‌ای برقرار کرد و دیگری آن که آموزه‌ها و تحلیل‌های او هم چنان می‌تواند سرچشمة بسیاری از پژوهش‌های فلسفی باشد، همچنان که یک قرن پیش چنین بود، اما سایة سنگین شاگردان مستقیم و غیرمس...

توجه منطق­دانان مسلمان به نسبت و ارائه تحلیل منطقی از احکام و خواص آن، و به­کارگیری قواعد استنتاجی متضمن نسبت امری مسلم به­نظر می­رسد؛ اما رهیافت آنها در یک سطح نبوده است. منطق­دانان در تبیین و تحلیل منطق ارسطویى به­علت عدم توجه به تمایز بین قضایاى متضمن نسبت و قضایاى متضمن مفاهیم نفسى دچار نوعی ناسازگارى بوده­اند؛ یعنى اگرچه ظاهراً منطق ارسطویى بر تحلیل موضوع محمولی از قضیه استوار است و احکام، ...

مفهوم «جهانهای ممکن»، که ظاهراً نخستین بار لایب نیتس آن را به کاربرد، در دوران اخیر به واسطة نقشی که در دلالت شناسی منطق موجهات داشته است، بدان توجه شده است. مهم ترین نظریاتی که در باب جهانهای ممکن وجود دارد، به دو دستة کلّی فعلیت گرایی و امکان گرایی تقسیم می شوند که از هر یک روایتهای مختلفی ارائه شده است. در این جستار، روایتهای دیوید لویس و کریپکی از امکان گرایی و روایتهای رابرت استالنکر، رودریک...