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

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

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

از جمله نظریه های ابعاد بالاتر نظریه جهانهای شامه ای است.مطابق این نظریه جهان 4بعدی ما که شامه نامیده میشود در فضایی با ابعاد بالاتر که توده نامیده میشود غوطه ور است وفقط گرانش میتواند به ابعاد بالاتر نشت پیدا کند.بااستفاده از هندسه ابعاد بالاتر معادله ژئودزیک ذره آزمون کلاسیکی در شامه رااستخراج میکنیم.

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

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

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

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