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

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

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

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

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

سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده‌است.

سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده است.

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

از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این...