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

عنوان :

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

نویسنده:

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

نوع منبع :

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

مشخصات اثر

عنوان :

بسط‌هایی از ساختارهای ت-کمینه ضعیف غیرارزیابی

نویسنده:

اکرم رضائی

نوع منبع :

رساله تحصیلی

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

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

وضعیت نشر :

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

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

منطق محمولات , منطق جدید , منطق کلاسیک , منطق محمولها , نظریه ارزه , کمینه‌سازی , درجه تعالی , چندجمله‌ای کراندار

چکیده :

در این پایان‌نامه که براساس دو مقاله از رومن ونسل (Roman Wencel )نوشته می‌شود، ابتدا نشان داده می‌شود که اگر M,<,+,...)‎ ) = Mیک بسط ت-کمینه ضعیف غیرارزیابی از یک گروه مرتب ‎(M,<,+)‎ باشد، آنگاه بسط آن با گردایه‌ای از محمولات تک‌موضعی غیرارزیابی همچنان غیرارزیابی باقی می‌ماند. سپس با به‌کار بردن نتیجه‌ای از دایاز درباره استقلال جبری دنباله‌های معینی از اعداد، نشان داده می‌شود که اگرK⊆R یک میدان از درجه تعالی متناهی روی میدان اعداد گویا باشد، آنگاه هر بسط ت-کمینه ضعیف ازK,<,‎+,.)‎ )به‌طور چندجمله‌ای کراندار است.

مشخصات اثر

عنوان :

تصمیم ناپذیری منطق محمولات مرتبه اول و مسایل کلمه ای

نویسنده:

حجتی سیدمحمد, مزگی نژاد مرتضی

نوع منبع :

کتابخانه عمومی , نمایه مقاله

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

تصمیم ناپذیری , منطق محمولات , مسایل کلمه ای , مساله توقف

چکیده :

با شیوه های متعددی، تصمیم ناپذیری منطق محمولات اثبات شده که در هر کدام از این روش ها به نحوی از دیگر حوزه های علوم استفاده شده است. یکی از شیوه های نسبتا پیچیده، اثباتی است که مبتنی بر مفاهیم جبری مانند گروه ها، نیم گروه ها (semi groups) و مسایل کلمه ای (word problems) مرتبط با آن است. پس از بررسی این شیوه برخی مسایل تازه نمود پیدا می کند، مثلا به نظر می رسد تمامی اثبات های ارایه شده یک هسته مرکزی دارند که در همه آن مشترک است و متاثر از مساله توقف (halting problem) هیلبرت است. با مشخص شدن این موضوع به نظر می رسد تصمیم ناپذیری منطق محمولات امر تبعی است؛ یعنی منطق محمولات مانند زبان گسترده ای است که قابلیت بیان مسایل تصمیم ناپذیر را داراست.

صفحات :

از صفحه 161 تا 182

مشخصات اثر

عنوان :

وجود محمولی و اشاره پذیری

نویسنده:

مهدی اسدی

نوع منبع :

مقاله

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

نسخه PDF

مشخصات اثر

عنوان :

جهت جمله ای و جهت شیئی

نویسنده:

محمد سعیدی مهر

نوع منبع :

مقاله , کتابخانه عمومی

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

نسخه PDF

مشخصات اثر

عنوان :

دلالت بدون مدلول در اسامی خاص

نویسنده:

محسن زمانی

نوع منبع :

مقاله , کتابخانه عمومی

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

نسخه PDF

وضعیت نشر :

تهران: دانشگاه امام صادق (ع),

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

منطق آزاد , نام خاص , نام تهی , تعمید ناخواسته , فلسفه زبان , فلسفه تحلیلی

کلیدواژه‌های فرعی :

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

چکیده :

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

صفحات :

از صفحه 167 تا 186

مشخصات اثر

عنوان :

برهان صدیقین صدرایی ابن سینا، تأمّلی در نظر صدرالمتالهین دربارۀ صدیقین بودن برهان سینوی

نویسنده:

هما رنجبر؛ داود حسینی

نوع منبع :

مقاله

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

نسخه PDF

مشخصات اثر

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

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

ورود

ثبت نام

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