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

عنوان :

معرفی منطق خطی

نویسنده:

پریسا طلوعی

نوع منبع :

رساله تحصیلی

وضعیت نشر :

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

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

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

چکیده :

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

مشخصات اثر

عنوان :

واژه‌نامه‌ی توصیفی منطق: انگلیسی به فارسی

نویسنده:

ض‍ی‍ا، موحد

نوع منبع :

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

مشخصات اثر

عنوان :

فرهنگ نامه منطق

نویسنده:

نرگس نیمروزی

نوع منبع :

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

مشخصات اثر

عنوان :

الگویی برای منطق خواست بر مبنای منطق‌های نیمه‌کلاسیک

نویسنده:

عامر آمیخته

نوع منبع :

رساله تحصیلی

وضعیت نشر :

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

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

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

چکیده :

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

مشخصات اثر

عنوان :

طرحی نو از اصول و مبانی منطق و دو نظام منطقی غیر کلاسیک

نویسنده:

مرتضی حاج‌حسینی

نوع منبع :

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

مشخصات اثر

عنوان :

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

نویسنده:

ض‍ی‍ا، موحد

نوع منبع :

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

وضعیت نشر :

تهران: هرمس,

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

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

چکیده :

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

مشخصات اثر