مرور درختی موضوعات | کتابخانه مجازی الفبا

عنوان :

م‍ن‍طق‌ ب‍ه‌ زب‍ان‌ س‍اده‌ م‍ن‍طق‌ ق‍دی‍م‌ - م‍ن‍طق‌ ج‍دی‍د

نویسنده:

ع‍ل‍ی‌اک‍ب‍ر اف‍راس‍ی‍اب‌پ‍ور

نوع منبع :

نمایه مقاله

مشخصات اثر

عنوان :

از ارس‍طو ت‍ا گ‍ودل‌: م‍ج‍م‍وع‍ه‌ م‍ق‍ال‍ه‌ه‍ای‌ ف‍ل‍س‍ف‍ی‌ - م‍ن‍طق‍ی‌

نویسنده:

ض‍ی‍ا، موحد

نوع منبع :

کتابشناسی(نمایه کتاب) , مجموعه مقالات

وضعیت نشر :

تهران: هرمس,

کلیدواژه‌های اصلی :

فلسفه ریاضی , فلسفه منطق , فلسفه ارسطو , اصطلاحنامه منطق , منطق ریاضی , منطق جدید , منطق قدیم , منطق کلاسیک , منطق غیر کلاسیک (منطق های توسعه یافته) , منطق گزاره ها , منطق محمولها , منطق این همانی , منطق موجهات , منطق شناختی , منطق گودل , کتابشناسی ارسطو

چکیده :

مقالات این مجموعه، برگزیده ای است از نوشته های فلسفی _ منطقی "ضیاء موحد" که در قالب چهار بخش تدوین شده است : 1_ فلسفه منطق و زبان، 2 _ نقد منطق سنتی، 3 _ معرفی دو فیلسوف قرن بیستم ("ای .جی . ایر" و "ویلارد وَن اورمن کواین")، 4 _ فلسفه ریاضی ("مسئله پیوستار کانتور چیست ؟/ کورت گودل" و "صدق ریاضی / پال بنا سراف". "مقاله های بخش اول، بیشتر جنبه توضیحی و تعلیمی دارند. مقاله "مفهوم صورت در منطق جدید" نقدی است بر پیشنهادی از مرحوم دکتر حائری یزدی که قضیه های جزئی را هم به قیاس قضیه های کلی تاویل به شرطی کرده بودند... در این مقاله نقص این تاویل و ایرادهای آن به تفصیل شرح داده شده است....".

مشخصات اثر

عنوان :

وجود محمولی در منطق آزاد و نتایج فلسفی آن

نویسنده:

رضا تقی‌زاده نائینی

نوع منبع :

رساله تحصیلی

مشخصات اثر

عنوان :

بسط‌هایی از ساختارهای ت-کمینه ضعیف غیرارزیابی

نویسنده:

اکرم رضائی

نوع منبع :

رساله تحصیلی

منابع دیجیتالی :

متن ناقص پایان نامه

وضعیت نشر :

تبریز: دانشگاه تبریز,

کلیدواژه‌های اصلی :

منطق محمولات , منطق جدید , منطق کلاسیک , منطق محمولها , نظریه ارزه , کمینه‌سازی , درجه تعالی , چندجمله‌ای کراندار

چکیده :

در این پایان‌نامه که براساس دو مقاله از رومن ونسل (Roman Wencel )نوشته می‌شود، ابتدا نشان داده می‌شود که اگر M,<,+,...)‎ ) = Mیک بسط ت-کمینه ضعیف غیرارزیابی از یک گروه مرتب ‎(M,<,+)‎ باشد، آنگاه بسط آن با گردایه‌ای از محمولات تک‌موضعی غیرارزیابی همچنان غیرارزیابی باقی می‌ماند. سپس با به‌کار بردن نتیجه‌ای از دایاز درباره استقلال جبری دنباله‌های معینی از اعداد، نشان داده می‌شود که اگرK⊆R یک میدان از درجه تعالی متناهی روی میدان اعداد گویا باشد، آنگاه هر بسط ت-کمینه ضعیف ازK,<,‎+,.)‎ )به‌طور چندجمله‌ای کراندار است.

مشخصات اثر

عنوان :

محمول وجود در منطق فرگه‌ای

نویسنده:

مهدی محمدی؛ علی‌اکبر احمدی افرمجانی

نوع منبع :

مقاله

منابع دیجیتالی :

نسخه PDF

وضعیت نشر :

تهران: منطق پژوهی,

کلیدواژه‌های اصلی :

محمول وجود , فلسفه تحلیل زبانی ( تحلیل زبان ) , فلسفه منطق , فلسفه زبان , فلسفه تحلیلی , منطق جدید , منطق کلاسیک , منطق محمولها , منطق فرگه ای

چکیده :

یکی از مقدماتی‌ترین مطالبی که در هر کتاب آموزشیِ منطقِ فرگه‌ای در بحث منطق محمولات به چشم می‌خورد، این است که «وجود داشتن» نمی‌تواند در هیچ گزاره‌ای محمول واقع شود؛ بلکه جایگاه «وجودْ» سور گزاره‌ی جزئی است. هدف من در این مقاله این است که نشان دهم بنیان‌گذاران منطق فرگه‌ای چه دیدی به ساختار گزاره داشتند و چرا وجود در این ساختار نمی‌تواند محمول واقع شود. سپس تبیین و راه‌حل این منطق‌دانان از گزاره‌های وجودی را بیان می‌کنم؛ و در پی آن، اشکالات و نارسایی‌های تحلیل ارائه‌شده را بررسی خواهم کرد. بسیاری از فیلسوفان تحلیلی، چون مور (Moore, 1936)، نیل (Kneale, 1936)، ویزدم (Wisdom, 1931)، اِیِر (Ayer, 1947) و دیگران، بیش‌تر در بحث‌های مربوط به برهان وجودی برای اثبات خدا، به محمول نبودن وجود اشاره کرده‌اند. اما من در این مقاله تنها به فرگه، راسل، و کواین خواهم پرداخت. آرای فیلسوفان نامبرده با اندکی مسامحه ذیل رای این سه می‌گنجد.

صفحات :

از صفحه 109 تا 125

مشخصات اثر

عنوان :

قضایای حفظ در منطق محمولات شهودی

نویسنده:

پریسا دلیری حسنجانی

نوع منبع :

رساله تحصیلی

منابع دیجیتالی :

متن ناقص پایان نامه

وضعیت نشر :

دامغان: دانشگاه دامغان,

کلیدواژه‌های اصلی :

منطق ریاضی , منطق جدید , منطق کلاسیک , منطق غیر کلاسیک (منطق های توسعه یافته) , منطق گزاره ها , منطق محمولها , منطق محمولی شهودی , مدل کریپکی , منطق محمولی کلاسیک

چکیده :

در این پایان نامه نظریه مدل های کریپکی منطق محمولات مشهودی را مطالعه می کنیم مفاهیم همریختی، زیرمدول و ساندویچ از مدل های کریپگی تعریف می شود. هم چنین دو عملگر U(·, ·) و E(·) به ترتیب متناظر با بستار عمومی و بستار وجودی تعریف می شود. سپس یک نظیر شهودی از تعمیم (دوگان) قضیه لیندن-لاش-تارسکی ثابت می شود که جملاتی که تحت تصویر معکوس همریختی های مدل های کریپکی حفظ می شوند را مشخص می کند. هم چنین تعمیمی از قضیه لاش-تارسکی ثابت می شود که جملاتی که تحت زیرمدول های کریپکی حفظ می شوند را مشخص می کند. در ادامه تعمیمی از قضیه ساندویچ کیسلر ثابت می شود که جملاتی که تحت ساندویچ های مدول کریپکی حفظ می شوند را مشخص می کند هر یک از این قضایا در حضور اصل طرد شق ثالث نظیر کلاسیک شان را نتیجه می دهند.

مشخصات اثر