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

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

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

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

چکیده: خونجی در تقسیم بندیِ خود از گزاره، هر کدام از محصورات اربع را به 36 قسم تقسیم نموده است. در آثار معاصر، تنها گزاره ی موجبه ی کلیه بر اساس تقسیم بندی خونجی، صورت بندی شده است. در این پایان نامه 72 گزاره ی جزئیه نزد خونجی صورت بندی شده اند. خونجی 12 گزاره را از مجموع 72 گزاره ی جزئیه، همیشه صادق دانسته است. از این 12 گزاره، 6 گزاره موجبه ی جزئیه و 6 گزاره ی دیگر سالبه ی جزئیه اند. در فصل ...

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

این پایان نامه به همراه یک مقدمه شامل ترجمه هشت فصل از کتاب the nature of necessity آلوین پلنتینگا است. مقدمه شامل شرح مختصری از زندگی و افکار پلتینگابه همراه ملاحظاتی در مورد منطق موجهات و مفهوم ضرورت است. و هشت فصل کتاب پلنتینگا شامل،محدوده ضرورت، وجه گزاره ای و وجه شئ ای، ذات گرا‏یی و تحویل به تئوری مجموعه ها، جایگاه ضرورت، تابع هسته ای، جهان ها، کتابها و ویژگی های ذاتی، شاخص بندی اولیه ذات،...

در این پایان نامه ابتدا مقدمه ای از منطق و نحوه جبری کردن منطق مخصوصا منطق موجهات را بیان می کنیم و به ریشه عملگر موجه در منطق موجهات می پردازیم. سپس به تعریف مشبکه باقیمانده صحیح جابجایی کراندار و ‎$‎ -‎r ell $‎ تکواره می پردازیم و عملگر موجه را روی آنها تعریف می کنیم و بعد به بررسی قضیه ها و ویژگی های دیگر عملگر موجه می پردازیم و در بخش بعدی مطالب روی ‎$‎ -‎mv $‎ جبرها را بررسی کرده و در ...

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

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