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

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

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

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

کریپکی در کتاب مشهور «نامگذاری و ضرورت» مفهوم دلالت ثابت(rigid designation) را برای کلمات مفرد(singular terms) و به منظور رد نظریه های وصفی معرفی کرد؛ به این مضمون که یک کلمه دلالتگر، ثابت است اگر‌و‌تنها‍‌اگر در همه جهانهای ممکن بر یک چیز دلالت کند. او در سخنرانی سوم این مفهوم را به کلماتی که برای انواع‌طبیعی مورد استفاده قرار می‌گیرند تعمیم داد.در باب اینکه این تعمیم چگونه خواهد بود بحثهای بسی...

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

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

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

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