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

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

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

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

نویسنده:

مریم عبیری

نوع منبع :

رساله تحصیلی

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

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

وضعیت نشر :

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

زبان :

فارسی

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

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

چکیده :

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

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

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

نویسنده:

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

نوع منبع :

رساله تحصیلی

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

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

وضعیت نشر :

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

زبان :

فارسی

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

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

چکیده :

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

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

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

نویسنده:

ندا نعمتی

نوع منبع :

رساله تحصیلی

وضعیت نشر :

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

زبان :

فارسی

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

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

چکیده :

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

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

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

نویسنده:

محمد مرتضوی

نوع منبع :

رساله تحصیلی

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

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

وضعیت نشر :

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

زبان :

فارسی

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

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

چکیده :

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

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

منطق پیوسته و محاسبات احتمالاتی

نویسنده:

داوود عبدی

نوع منبع :

رساله تحصیلی

وضعیت نشر :

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

زبان :

فارسی

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

منطق مرتبه اول , منطق جدید , منطق غیر کلاسیک (منطق های توسعه یافته) , منطق گزاره ها , منطق احتمالاتی Probabilistic logic , منطق پیوسته , منطق کلاسیک مرتبه اول , نظریه مدل محاسبه پذیر , محاسبه احتمالی , نظریه محاسبه

چکیده :

منطق مرتبه اول پیوسته برای پیوند آنالیز مدل تئوریک با ساختارهای تحلیلی ( فضاهای هیلبرت، فضاهای باناخ، فضاهای احتمال و ... ) به کار گرفته شده است. نظریه مدل محاسبه پذیر کلاسیک برای بررسی ساختار الگوریتمی آن دسته از اشیای ریاضی که می توان در منطق مرتبه اول کلاسیک توصیف کرد به کار می رود. در این پایان نامه نشان می دهیم که محاسبه ی احتمالی ( که پاهی از آن با نام محاسبه ی تصادفی یاد می شود ) و منطق پیوسته ارتباط نزدیک و مشابهی دارند. پیامد اصلی این پایان نامه این است که هر نظریه ی مرتبه اول پیوسته ی تصمیم پذیر یک مدل به طور احتمالی تصمیم پذیر دارد. همچنین نشان می دهیم که ساختارهای به طور احتمالی محاسبه پذیر، در یک زمینه ی مناسب، مدلی از ACA0 را ارائه می کنند.

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

معرفی منطق های آزاد

نویسنده:

نصیبا تبریزیان

نوع منبع :

رساله تحصیلی

وضعیت نشر :

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

زبان :

فارسی

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

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

چکیده :

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

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

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

نویسنده:

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

نوع منبع :

رساله تحصیلی

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

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

وضعیت نشر :

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

زبان :

فارسی

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

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

چکیده :

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

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

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

نویسنده:

مهدیه گل رنگی

نوع منبع :

رساله تحصیلی

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

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

وضعیت نشر :

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

زبان :

فارسی

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

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

چکیده :

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

انتخاب :

مشخصات اثر

ثبت نظر

1 2 3 4

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

درخواست مدرک

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

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

ورود به سایت

عضویت در سایت

ارسال نظر

نوع

توضیحات

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

کد امنیتی **

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

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