سیدمحمدعلی حجتی
Theses
کثرت گرایی منطقی از دیدگاه بیل و رستال
در برابر مساله کثرت منطق ها دو دیدگاه کلی وجود دارد:1-وحدتگرایی2-کثرتگرایی.بیشتر منطقدانان وحدتگرایند.جدیدترین نظریه در این باره از نوعی کثرتگرایی دفاع می کند که مبتنی بر تز تعمیم یافته تارسکی است.از این دیدگاه نظریه درست منطقی نظریه ای است که بتواند با این تز هماهنگ باشد.بر این
تقریرهای مختلف سیستم استنتاج طبیعی بر اساس دیدگاه یاکوفسکی و گنتزن در منطق محمولات درجه اول
سیستم استنتاج طبیعی روشی است که با استفاده از تعدادی قاعده و فرض، و بدون استفاده از هیچ اصل موضوعی، استدلال ها و قضایای منطق را ثابت می کند. و از آنجا که این روش به زبان طبیعی و طبیعت ذهن انسان نزدیک است آن را روش استنتاج طبیعی می نامند. این سیستم که تقریرهای مختلف و متعددی دارد
بررسی و نقد استدلال مبتنی بر نظریه مدل پاتنم علیه رئالیسم متافیزی
چکیده با پیشرفت منطق از اواخر قرن نوزدهم میلادی ،کاربرد های متفاوتی برای آن پیدا شده و می شود . یکی از این کار برد ها که از دیر باز نیز مد نظر بوده ،کاربرد منطق در فلسفه است .بر خلاف نظری که در ابتدای قرق بیستم در مورد منطق وجود داشت ،مبنی بر اینکه منطق به مجادله های فلسفی پایان
بررسی نظریه های تصوری معنا با تأکید بر پدیدارشناسی هوسرل
در این رساله، بررسی نظریه ی تصوری معنا و ترکیب آن با مفاهیم پدیدارشناختی انجام گرفته است. هدف ایجاد یک نظریه ی معنای تصوری-پدیدارشناختی بوده است که اساس نظریه ی تصوری را داشته و با استفاده از روش ها و مفاهیم پدیدارشناختی تکمیل شده باشد. به این منظور ابتدا نظریه ی تصوری معنا که مد
روی کرد مولینیسم به مسئله ی سازگاری علم پیشین الهی و اختیار انسان
راه حلی که فیلسوف یسوعی اسپانیای در قرن شانزدهم میلادی برای مسئله ی ناسازگاری علم پیشین الهی و اختیار انسان (جبرگرایی الهیاتی) ارائه کرده بود، در فلسفه ی دین معاصر احیا شده و به طور وسیعی مورد توجه فیبسوفان دین قرار گرفته است. این راه حل احیا شده که به مولینیسم شهرت یافته است از
استقرای ریاضی و احتمال استقرایی-منطقی
چکیده یکی از اصول مهمی که در اثبات برخی از قضایای اساسی منطق جدید وبسیاری از قضایای ریاضیات از آن بهره می گیرند اصل استقرای ریاضی است. حال سوال این است که آیا این اصل بدیهی است؟علی الظاهر شهود های عرفی، بداهت آن را تایید نمی کنند. لذا وضوح برهان قضایای مبتنی بر اصل فوق نیز مورد ت
گزاره «خدا وجود دارد» از دیدگاه علامه طباطبایی و پلانتینگا
اعتقاد به وجود خدا به عنوان اساس هر نوع باور دینی، همواره در معرض حملات نظری از سوی مخالفین بوده که به نوبه خود پاسخ های دین داران را نیز به همراه داشته است. یکی از این موارد، چالش قرینه گرایی است که طبق آن فقط گزاره هایی پذیرفتنی، مجاز یا موجه است که شاهد، دلیل، یا قرینه عقلانی
معناشناسی ضرورت در صدق های منطقی
این پایان نامه پنج فصل دارد. فصل نخست به بیان مقدمات و کلیات طرح تحقیق اختصاص دارد. در فصل دوم به صدق منطقی و ویژگی های آن و تلقی های متفاوتی که از آن شده است می پردازیم. نخست، برخی تعریف هایی که از صدق منطقی شده است ذکر و به اختلافشان اشاره خواهیم کرد. سپس ویژگی هایی را که عموما
معناشناسی دوبعدی دیوید چالمرز و بررسی نقدهای آن
معماهایی چند در باب ذهن و زبان مطرح بوده که سالیان متمادی در قرن بیستم فکر بسیاری از فیلسوفان تحلیلی را به خود جلب کرده اند. برخی فیلسوفان متاخر مانند کاپلن و استالنیکر برای حل برخی از این دست معما ها طرح شد و معناشناسی دوبعدی دیوید چالمرز با ایده گرفتن از این کارها و طرح نمودن م
طراحی ساختار نحوی و معنایی منطق شرطی لزومی سینوی در چارچوب نظام های منطق جدید
رساله حاضر با هدف بازسازی و بررسی منطق شرطی لزومی سینوی ذیل نظام های منطق جدید تدوین و ارائه شده است. دنبال کردن چنین هدفی نیازمند دو فعالیت مستقل و جداگانه است: 1) مطالعه شرطی لزومی در چارچوب نظام منطق سینوی، 2) بازسازی نتایج این مطالعات در نظام های جدید منطق بر این اساس در ابتد
تحلیل منطقی مقوله ابهام در حقوق با تکیه بر آرای تیموتی اندیکات
ابهام یک عبارت زبانی به این معناست که مواردی وجود دارند که در آنها نمی توان گفت آیا عبارت زبانی کاربرد دارد یا خیر. این وضعیت را زمینه ساز ایجاد پارادوکسی به اسم پارادوکس خرمن می دانند. ابهام در زبان طبیعی دارای گستردگی بسیاری ست. از طرفی حقوق و زبان از یکدیگر جدایی ناپذیرند. تما
بررسی و حل مسأله ابهام ساختاری و مسأله تعهد وجودی در دلالت شناسی ضمایر آنافوریک
تحلیل منطقی متون شامل ضمایر آنافوریک یکی از مهم ترین و داغ ترین مباحث حال حاضر فلسه زبان در جهان به شمار می رود. مشکل این است که پس از چهار دهه کار مداوم در این حوزه، فیلسوفان زبان در ارائه نظریه های موفق برای حل مسائل مربوط به این حوزه ناکام بوده اند دلیل این امر این است که این