جستجوي پيشرفته | کتابخانه مجازی الفبا

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

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

ف‍ل‍س‍ف‍ه‌ ری‍اض‍ی‌ : ک‍لاس‍ی‍ک‌، م‍درن‌، پ‍س‍ت‌م‍درن‌

نویسنده:

م‍ح‍م‍د ص‍ال‌م‍ص‍ل‍ح‍ی‍ان‌

نوع منبع :

کتابشناسی(نمایه کتاب)

وضعیت نشر :

مشهد: واژگ‍ان‌ خ‍رد,

زبان :

فارسی

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

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

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

منطق وجهی کلاسیک مرتبه اول

نویسنده:

ریحانه ذوقی‌فرد

نوع منبع :

رساله تحصیلی

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

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

وضعیت نشر :

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

زبان :

فارسی

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

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

چکیده :

در این پایان‌نامه گسترش مرتبه اول معناشناسی که نخستین بار دانا اسکات و ریچارد مونتاگ برای منطق وجهی معرفی کردند، مطالعه می‌شود. این معناشناسی برای مطالعه‌ی منطق‌های وجهی کلاسیک استفاده می‌شود.در ابتدا قاب‌های همسایگی دامنه ثابت معرفی شده و تمامیت تعدادی از سیستم های کلاسیک برجسته بررسی می‌شود. همچنین نشان داده می‌شود که اثبات تمامیت سیستم‌های نرمال بدون استفاده از فرمول بارکان در قاب‌های همسایگی با دامنه ثابت ممکن است.برای اثبات تمامیت قوی سیستم‌های وجهی کلاسیک، قاب‌های کلی تعریف می‌شود.در انتها مدل‌های همسایگی دامنه متغیر و تمامیت برخی سیستم‌ها نسبت به این مدل‌ها بررسی می‌شود.

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

بازتعریف مادی و مجرد با استفاده از منطق فازی

نویسنده:

محمد فروغی ؛ هادی وکیلی؛ اعظم قاسمی

نوع منبع :

مقاله

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

نسخه PDF

وضعیت نشر :

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

زبان :

فارسی

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

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

چکیده :

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

انتخاب :

صفحات :

از صفحه 87 تا 108

مشخصات اثر

ثبت نظر

عنوان :

نظریه‌های عمومی در منطق مرتبۀ اول شهودی

نویسنده:

مریم عبیری

نوع منبع :

رساله تحصیلی

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

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

وضعیت نشر :

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

زبان :

فارسی

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

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

چکیده :

در این پایان نامه نظریه مدل های کریپکی منطق مرتبه اول شهودی را مطالعه می کنیم. دو مفهوم زیرمدل و جملات عمومی در منطق مرتبه ی اول شهودی معرفی می شود: در تعریف زیرمدل کریپکی می توان قاب یا جهان های کلاسیک یا هر دو را تحدید کرد. در این پایان نامه تعرفی سود از زیرمدل را در نظر می گیریم. اگر مدل کریپکی را به عنوان یک تابعگون از یک رسته ی کوچک به رسته تمام مدل های کلاسیک همراه با همریختی های بین آنها در نظر بگیریم آناه مفهوم زیر مدل را به این صورت تعریف می کنم: یک زرمدل از یک مدل کریپکی از تحدید مدل کریپکی اصلی به یک زیررسته از دامنه اش بدست می آید به طوری که هر رأس از یان زیررسته به یک زیرمدل کلاسیک از مدل کلاسیک نظیر آن در مدل کریپکی اصلی نگاشته می شود. یک جمله را عمومی می نامیم اگر به صورت استقرائی از اتم ها (شامل ┬ و ┴ )، رابط های → ، ᵥ ، ᴧ و سور ɏ ساخته شود، به طوری که هر زیر فرمول شرطی آن دارای مقدم اتمی باشد. ثابت می کنیم یک نظریه ی شهودی تحت زیرمدل کریپکی حفظ می شود اگر و تنها اگر به وسیله جملات عمومی اصل پذیر باشد. در این پایان نامه، در تعریف مدل کریپکی، تغییر محمول تساوی، تساوی واقعی است و از هر جهان به جهان بالاتر یک همریختی وجود دارد. تغییر محمول تساوی می تواند یک رابطه هم ارزی باشد. همچنین ارتباط بین یک جهان و جهان بالاتر می تواند زیرساختار ضغیف باشد. از این رو، چهار کلاس از مدل های کریپکی می توان داشت. در فصل سوم، ضمن تعریف مفاهیم یکریختی و تشابه مدل های کریپکی این کلاس ها با یکدیگر مقایسه می شود.

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

منطق اثبات‌ها

نویسنده:

مهدیه گل رنگی

نوع منبع :

رساله تحصیلی

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

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

وضعیت نشر :

اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,

زبان :

فارسی

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

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

چکیده :

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (CP) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای S4 و صوری کردن تعبیر BHK برای منطق شهودی بود. CP گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بیان زمینه های تاریخی صوری سازی اثبات ها دستگاه CP را معرفی کرده و قضیه تمامیت حسابی آن را ثابت می کنیم. همچنین نشان می دهیم که Cp قابلیت تحقیق منطق موجه S4 را در خود دارد. یکی از گسترش های Cp منطق اثبات ها و اثبات پذیری CPP است این دستگاه از ترکیب هم زمان وجه اثبات پذری و احکام شامل ترم های اثبات به دست می آید. پس از معرفی مدلهای کریپکی، تمامیت حسابی CPP ثابت می شود. در خاتمه منطق اثبات ها برای HA مطرح می گردد . قواعد پذیرفتنی در HA که در واقع همان قواعد پذیرفتنی در IPC می باشد در اصل بندی کامل این دستگاه نقش مهمی دارا هستند.

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

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

نویسنده:

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

نوع منبع :

رساله تحصیلی

وضعیت نشر :

اص‍ف‍ه‍ان‌: دانشگاه صعنتی اصفهان,

زبان :

فارسی

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

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

چکیده :

- بررسی وجود محمولی در منطق آزاد و نتایج منطقی و فلسفی آن. - بررسی مبانی منطق آزاد در باب پذیرش محمول وجود؛ - بررسی نظریات جدید درباره وجود و محمول واقع شدن آن؛ - بررسی نظریات فلاسفه اسلامی و غربی در باب وجود محمولی.

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

تحلیل دلالت شناسانه‌ی منطق شهودی

نویسنده:

برزویه بگلری

نوع منبع :

مقاله

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

متن نسخه PDF

وضعیت نشر :

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

زبان :

فارسی

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

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

چکیده :

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

انتخاب :

صفحات :

از صفحه 53 تا 93

مشخصات اثر

ثبت نظر

عنوان :

پارادوکس یابلو در منطق مرتبه دوم

نویسنده:

محمد امین طریقی

نوع منبع :

رساله تحصیلی

وضعیت نشر :

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

زبان :

فارسی

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

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

چکیده :

استفان یابلو‎‎ در سال 1993 پارادوکسی غیرعادی شامل لیستی نامتناهی از جملات ‏در زبان غیر‌صوری ارایه کرد. بعد از معرفی دو حالت شناخته‌شده در بررسی تناقض در مجموعه‌ای از عبارات‏، ناسازگاری لیست جملات یابلو در زبان‌های مرتبه دوم بررسی‌ شده‌است. ‏در حالی ‌که حالت اول لیست متناقض نیست‏، نسخه‌ی مرتبه دوم لیست متناقض می‌باشد. از‏‌این‌رو نتیجه می‌گیریم ‏که لیست یابلو متناقض است و استدلال غیر‌صوری یابلو معتبر می‌باشد.

انتخاب :

مشخصات اثر

ثبت نظر

1 2 3 4

تعداد رکورد ها : 38

درخواست مدرک

کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید

چنانچه قبلا عضو سایت شده‌اید ورود به سایت در غیر اینصورت عضویت در سایت را انتخاب نمایید

ورود به سایت

عضویت در سایت

ارسال نظر

نوع

توضیحات

آدرس پست الکترونیکی

کد امنیتی **

با موفقیت به ثبت رسید

كليه حقوق محفوظ است ، استفاده از مطالب با ذكر منبع بلامانع است.