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

کانال ارتباطی از طریق پست الکترونیک : support@alefbalib.com

نام :*

نام خانوادگی :*

پست الکترونیک :*

* *

تلفن :

دورنگار :

آدرس :

بخش :

پیغام :*

حروف تصویر :

* *

ارسال انصراف

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

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

پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی

جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن

: جستجو در الفبا در گوگل

...جستجوی هوشمند

مرور > مرور پدیدآورندگان

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

جستجو در برای عبارت

مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو

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

عنوان :

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

نویسنده:

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

نوع منبع :

رساله تحصیلی

وضعیت نشر :

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

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

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

چکیده :

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

مشخصات اثر

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

از :	{0}
پست الکترونیک :	{1}
تلفن :	{2}
دورنگار :	{3}
Aaddress :	{4}
متن :	{5}

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

ورود

ثبت نام

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