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

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

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرور > مرور کلید واژه ها
>
منطق ربط
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 25
کاربردهای سمانتیک‌های چندارزشی در منطق‌های ربط
نویسنده:
فاطمه میرطاهری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
اندرسون و بلنپ در سال 1975 در کتاب Entailment تلاشهای فراوانی برای نشان دادن همه کاربردهای ماتریسهای چندارزشی در منطقهای ربط کرده اند و ما هم در این پایان نامه برخی از این کاربردها را به تفصیل از این کتاب گزارش می کنیم و هدف عمده ما معرفی مواردی است که اندرسون و بلنپ به عنوان کاربردهای ماتریسهای چندارزشی در منطقهای ربط ذکر کرده اند. در این پایان نامه یرای تشخیص فرمولهای فاقد «ضرورت» و «ربط» بین مقدم و تالی که نمی توانند قضایای منطقهای E و R باشند، دو روش کلی معرفی میشود، از طرف دیگر تعریف پذیری «ضرورت» در منطق E و تعریف ناپذیری «ضرورت» در منطقهای T و R نیز اثبات شده و برای ااثبات استقلال اصول موضوعه منطقهای ربط نیز یک روش کلی معرفی میشود که در اثبات تمامی موارد فوق و چند مطلب دیگر هم از ماتریسهای چندارزشی استفاده میشود.
مشخصات اثر
ساختار نحوی و سمانتیکی منطق ربط
نویسنده:
سکینه تولمی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
متن ناقص پایان نامه
وضعیت نشر :
تهران: دانشگاه علامه طباطبایی,
چکیده :
منطق ربط شاخه‌ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می‌کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می‌شود. در این پایان‌نامه با معرفی این روشِ ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال‌های ربطی و غیر ربطی را نشان داده‌ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سال 1992 پریست و سیلوان (روتلی) آن سمانتیک را ساده‌تر ساختند. در این پایان نامه به شرح سمانتیک پریست و سیلوان پرداخته‌ایم؛ این سمانتیک دو ویژگی برجسته دارد: نخست اینکه ساختارهای این سمانتیک تنها یک جهان نرمال دارند (سمانتیک کاهشی)؛ دوم اینکه این سمانتیک به جای رابطه ( ≤ ) از رابطه ( = ) استفاده می‌کند (سمانتیک ساده شده). سمانتیک پریست و سیلوان با اینکه بسیار ساده شده است همچنان پیچیدگی‌های فراوانی دارد که پاره‌ای از این پیچیدگی‌ها را در قالب مثال‌های گوناگون نشان داده‌ایم. در پایان دو ادات مهم تلفیق و تفریق را به روش اصل موضوعی و استنتاج طبیعی معرفی کرده‌، اعتبار چند استدلال مربوط به این دو ادات را در سمانتیک پریست و سیلوان نشان داده‌ایم.
مشخصات اثر
الگویی برای منطق خواست بر مبنای منطق‌های نیمه‌کلاسیک
نویسنده:
عامر آمیخته
نوع منبع :
رساله تحصیلی
وضعیت نشر :
تهران: دانشگاه تربیت مدرس,
چکیده :
در پی توسعه‌ی منطق جدید، «منطق کلاسیک» در مقوله‌هایی چون «ضرورت»، «زمان»، «معرفت»، «تکلیف» و ... گسترش پیدا کرده است. با پرداختن به مقوله‌ی «خواست»، الگو از «منطق‌های نیمه‌کلاسیک» بالاخص «منطق تکلیف» و به کمک «منطق ترجیح»، گسترشی نو از منطق کلاسیک را برساختیم. این گسترش، در حوزه‌های «موجهات نرمال»، «موجهات غیرنرمال»، «محمولات»، «عوامل»، «شرط» و «مقدار خواستن» بسط داده شده است. با تاکید بر تکنیک‌های ریاضی منطق جدید، کمی فلسفیدن و اشاراتی بر روانشناسی به تحلیل مفهوم «خواستن» و تاسیس «منطق‌های خواست» پرداختیم. به علاوه سیستم‌هایی با محوریت مفاهیم «تمایل» و «ترجیح» را معرفی کردیم. و در مورد ارتباط بین «خواستن» و «ترجیح دادن» نیز نظام‌هایی را پیشنهاد دادیم. در میان منطق‌ها به طور مستقیم یا غیرمستقیم از «منطق موجهات محمولی»، «منطق زمان»، «منطق معرفت»، «منطق تکلیف شرطی»، «منطق ترجیح»، «منطق ترجیح موجهاتی»، «منطق ربط» و «منطق شرطی» استفاده کرده‌ایم. در بیان ساختار معنایی «منطق‌های خواست نرمال» نیز از ایده‌ی «جهان‌های ممکن تکلیفی» در دلالت شناسی کریپکیایی «منطق تکلیف» بهره برده‌ایم.
مشخصات اثر
ف‍ل‍س‍ف‍ه‌ م‍ن‍طق‌ رب‍ط گ‍زاره‌ه‍ا و م‍وج‍ه‍ات‌
نویسنده:
اس‍ت‍ی‍ون‌ ری‍د
نوع منبع :
کتابشناسی(نمایه کتاب) , ترجمه اثر
وضعیت نشر :
قم: دان‍ش‍گ‍اه‌ ع‍ل‍وم‌ ان‍س‍ان‍ی‌ م‍ف‍ی‍,
چکیده :
پیدایش منطق ربط محصول تلاش منطقدانانی مانند اورلوف، الن اندرسون و آلونزو چرچ در نیمه دو قرن بیستم است که با نقد فرگه و راسل رویش و بالندگی شاخه‏ای جدید را در منطق موجب شدند. منطق ربط بازگشتی است به تصور شهودی و ما قبل فرگه‏ای منطق دان‏های گذشته و رجوعی است به قضیه‏های شرطی لزومی. این منطق در پی احیای ضرورت وجود ربط بین مقدم و تالی است. در این منطق یک گزاره شرطی به صرف صادق بودن مقدم و تالی صادق نیست بلکه اگر بین این دو پیوندی باشد که بر اساس آن، یکی مستلزم دیگری باشد آن گزاره شرطی صادق خواهد بود. نویسنده این کتاب که از طرفداران افراطی منطق ربط است با تأمل در ماهیت کلی نظریه‏ها، اعتبار، ترکیب عطفی، منطق گزاره‏ها به تدوین نظریه‏های صوری درباره استلزام ربطی پرداخته است.
مشخصات اثر
پارادوکس های استلزام مادی و تبیین آنها در منطق موجهات و ربط
نویسنده:
غلامرضا ذکیانی
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
ایرانداک,
چکیده :
استلزام مادی عبارت است از نسبت خاصی که بین مولفه های گزاره شرطی برقرار است یعنی گزاره شرطی تنها در صورتی کاذب است که دارای مقدم صادق وتالی کاذب باشد درغیراینصورت صادق است بنابراین هرگزاره شرطی با مقدم کاذب یا تالی صادق، صادق است و لازم نیست پیوندی بین مولفه های آن برقرار باشد . پارادوکس های استلزام مادی مولود این نگرش-تابع ارزشی است . استلزام اکید نیز که برای حل پارادوکس های مذکورپایه ریزی شده بود دچار پارادوکس های مشابهی شد زیرا دراین نگرش نیز گزاره شرطی نه براساس پیوند مقدم و تالی بلکه براساس صدق و کذب مولفه های آن تحلیل شد. در استلزام ربطی علاوه برصدق وکذب مولفه های شرطی پیوند آنها نیز لحاظ شده و سیستمهای مختلفی از جمله ‏‎Rو E‎‏ پایه ریزی شده است ولی ازآنجا که صورتبندی عنصر ربط خالی از دشواری نیست لذا سیستم های ربطی در مقام نحو و دلالت شناسی بسیار پیچیده تر از سیستم های کلاسیک گشته اند .
مشخصات اثر
کثرت‏گرایی منطقی از دیدگاه بیل و رستال
نویسنده:
محمدزمان زمانی جمشیدی
نوع منبع :
رساله تحصیلی , کتابخانه عمومی , مطالعه تطبیقی
منابع دیجیتالی :
نسخه PDF
وضعیت نشر :
ایرانداک,
چکیده :
مسأله تنوع و تکثر نظریه‌های منطقی بویژه در قرن بیستم یکی از مسایل بغرنج در زمینه فلسفه منطق بوده و همواره این پرسش را به میان آورده که سرانجام از میان این همه منطق، کدامیک درست است؟ آیا می‌توان همه آنها را درست دانست یا اینکه پذیرش همه آنها مستلزم ناسازگاری است. بیشتر منطقدانان وحدتگرا هستند یعنی قائل‌اند به اینکه تنها یک منطق درست وجود دارد. در مقابل، کثرت گرایان معتقدند که بیش از یک منطق درست وجود دارد. در سال 2006م، بیل و رستال نظریه کثرتگرایی منطقی خود را ارایه کردند. این نظریه بر مبنای "تز تعمیم یافته تارسکی" یاGTT قائل به درستی دست کم سه منطق است: کلاسیک، ربط و شهودی. درستی منطق را به دو معنا می‌توان لحاظ کرد، از اینرو میان دو نوع تصدیق منطق می‌توان تمایز نهاد: تصدیق قوی وضعیف. این تمایز، به تمایز میان نظام‌های صوری محض و کاربردی نزدیک است. بر مبنای تعریف و انتظار ما از منطق، پرسش از کثرت منطق‌ها چشم‌انداز متفاوتی می‌یابد. اگر تصدیق منطق‌ را به معنای قوی در نظر بگیریم، نمی‌توان به کثرت منطق‌های درست قایل بود و اگر آنرا به معنای ضعیف در نظر بگیریم می‌توان چنین کثرتی را پذیرفت. این نظریه هر چند بر مبنای GTT و حالت استوار گردیده، دلیل کافی‌ای برای دفاع از آنها ارایه نکرده است از اینرو در برابر آسیب ها و پیامدهای این مفاهیم شکننده است . همچنین این نظریه با همه انواع وحدتگرایی بر سر ستیز نیست و می‌پذیرد که در برخی موارد میان منطق‌های درست رقابت وجود دارد.
مشخصات اثر
«الرسالة الزاهرة» نوشته اثیرالدین ابهری: نسخه شناسی، متن شناسی، تصحیح، و تحلیل
نویسنده:
مهدی عظیمی , هاشم قربانی
نوع منبع :
مقاله , مدخل آثار(دانشنامه آثار) , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF چکیده
وضعیت نشر :
تهران: دانشکده الهیات و معارف اسلامی,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
خواجه نصیرالدین طوسی , ابن سینا: ابوعلی سینا
چکیده :
اثیرالدین ابهری یکی از برجسته ترین منطق دانان دورۀ اسلامی است که کمتر شناخته شده است. جستار پیش رو، از یکسو، با تصحیح الرسالة الزاهرة، یکی از منطق نوشته های ارزشمند وی را از پستوی فراموشی به پیشخوان چاپ و انتشار درمی آورد و، از دیگر سو، با شرح و واشکافی و تحلیل آن از دریچه ی منطق جدید، بر گوشه ای از اندیشه های منطقی ابهری پرتو می افکند. مهمترین دستآوردهای این جستار در مقام بازشناسی اندیشه های منطقی ابهری بدین قرارند: 1. ابهری قاعدۀ تعدّی استلزام را منتجِ شرطی متّصل نمی داند. 2. ابهری قاعدۀ دلیل شرطی را می شناخته است؛ 9. ابهری قاعدۀ عکس نقیض شرطی را به چالش می کشد. 4. ابهری بر آن است که در گزاره های حملی، عکس نقیض موافق اعتبار منطقی ندارد. 5. ابهری، همچون منطق دانان ربط، استلزام ربطی را معتبر می داند، درحالیکه جدلیان رقیب وی، همانند رواقیان و پیروان منطق فرگـه راسلی، استلزام مادّی را. الرسالة الزاهرة بر پایۀ نسخه های خطّی دانشگاه تهران، مجلس، و کتابخانه ی آیت الله مرعشی، به شیوۀ گزینشی تصحیح شده است.
صفحات :
از صفحه 129 تا 164
مشخصات اثر
اعتبار در جهان‌های ممکن
نویسنده:
اسداله فلاحی, لطف‌اله نبوی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
چکیده :
قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌های صدق و کذب، نظامی منطقی بر پایه منطق ربط طراحی کرده‌ایم که قضایا و قواعد آن در جهان‌های ممکن معتبرند. چنین نظامی، علاوه بر حفظ تقارن، به رفع ناسازگاری موجود میان منطق جدید و منطق ربط می‌انجامد زیرا مانند منطق جدید، جهان‌های ممکن را معیار اعتبار قرار می‌دهد.
صفحات :
از صفحه 69 تا 88
مشخصات اثر
تحلیل سور شرطی لزومی مبتنی بر منطق جدید
نویسنده:
علیرضا دارابی
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
چکیده :
نوشتار حاضر تلاشی برای تحلیل سور شرطی لزومی است. رویکرد های متفاوتی در تحلیل سور شرطی وجود دارد. بعضی آن را شبه سور می دانند و بعضی آن را مبتنی بر منطق زمان و یا منطق موجهات تحلیل نموده اند. در این مقاله پس از بررسی و نقد این رویکرد ها، ابتدا مصادیق شرطی لزومی در زبان طبیعی را مورد بررسی قرار داده ایم، سپس چگونگی فرمول بندی آنها را در منطق جدید مشخص نموده ایم. همچنین به بررسی پیش فرض های موجود در منطق قدیم پرداخته ایم که صحّت استنتاج های موجود در آن منطق، مبتنی بر آنهاست. در رویکرد حاضر نشان داده می شود که شرطی لزومی سرانجام تنها با استفاده از منطق ربط و منطق موجهات تحلیل می شود. همچنین برای درستی استنتاج ها، قبول دو پیش فرض «امکان مقدم» و «ضروری بودن رابطة مقدم و تالی در کلی ها» مورد نیاز است.
مشخصات اثر
باز تأملی انتقادی در بهره گیری از سور مرتبة دوم در تحلیل شرطی لزومی
نویسنده:
محمد ایزدی,علیرضا دارابی
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
نسخه PDF
چکیده :
نوشتار حاضر تلاشی برای تحلیل سور شرطی لزومی سینوی برپایۀ منطق مرتبۀ دوم است. محققان معاصر صورت بندی های متفاوتی از شرطی سینوی به زبان منطق جدید عرضه کرده اند. از تفاوت های اصلی این صورت بندی ها چگونگی تحلیل سور شرطی بوده است. دیدگاه خواجه نصیرالدین طوسی دربارۀ سور شرطی مبنای آخرین تحلیل های محققان قرار گرفته است و می توان آن را با زبان منطق مرتبۀ دوم صورت بندی کرد؛ بر این اساس، تحلیل های عرضه شده نشان می دهد با بهره گیری از منطق مرتبۀ دوم، شرطی لزومی فقط با استفاده از منطق ربط و موجهات صورت بندی می شود. در مقالۀ حاضر می بینیم که تحلیل های پیشین بر پیش فرض نازمانی بودن مقدم و تالی استوار است. با این پیش فرض این مبحث با مشکلاتی همراه است. برای بهبود این تحلیل، پیش فرض زمانی بودن مقدم و تالی را مبنا قرار داده ایم، سپس شرطی لزومی را با بهره گیری از منطق مرتبۀ دوم، منطق زمان، منطق ربط، و همچنین منطق موجهات بررسی کرده ایم. صورت بندیِ حاصل ترکیبی از منطق ربط و زمان و موجهات است.
مشخصات اثر
  • تعداد رکورد ها : 25