نتایج جستجو برای: تارسکی
تعداد نتایج: 38 فیلتر نتایج به سال:
در برابر مساله کثرت منطق ها دو دیدگاه کلی وجود دارد:1-وحدتگرایی2-کثرتگرایی.بیشتر منطقدانان وحدتگرایند.جدیدترین نظریه در این باره از نوعی کثرتگرایی دفاع می کند که مبتنی بر تز تعمیم یافته تارسکی است.از این دیدگاه نظریه درست منطقی نظریه ای است که بتواند با این تز هماهنگ باشد.بر این اساس دست کم سه نظریه درست منطقی می توان تشخیص داد:منطق کلاسیک و ربط و شهودی.اگر تصدیق منطق به معنای ضعیف در نظر گرفته...
در این پایان نامه به بررسی برخی قضایای نقطه ثابت می پردازیم. برای این منظور ابتدا قضیه نقطه ثابت براور را روی r بیان نموده و آن را به فضای ?r تعمیم می دهیم. سپس قضیه نقطه ثابت کاکوتانی را روی یک تناظر اثبات می کنیم. در ادامه قضایای نقطه ثابت نگاشت انقباضی و تارسکی را اثبات می کنیم. در پایان به مطالعه ی قضایای نقطه ثابت هان و کاکوتانی بر روی شارش ها خواهیم پرداخت. همچنین قضیه نقطه ثابت دی که خ...
از بین هم? پارادوکسهای مطرح شده در حوزه های گوناگون علمی، پارادوکسهای خودارجاع از جمله مهمترین و بحث برانگیزترین پارادوکسها هستند که از زمان یونان باستان مطرح شده و از همان زمان سعی در یافتن پاسخی مناسب برای حل آنها صورت گرفته است. بسط و گسترش دامن? این بحث و یافتن راه حلهای متفاوت و جدید تاکنون ادامه داشته است. از میان تمامی پاسخهای طرح شده به منظور حل پارادوکسهای خودارجاع برخی پاسخها از اهمیت...
در چند دهه اخیر تلاش های زیادی برای ترکیب کردن نظریه نقطه ثابت با سایر شاخه های ریاضی از جمله معادلات دیفرانسیل،هندسه و توپولوژی جبری صورت گرفته است. درسال 2005 اچنکیو با ارایه یک اثبات کوتاه برای قضیه نقطه ثابت تارسکی ترکیب نظریه نقطه ثابت و نظریه گراف را شروع کرد. در سال 2006 اسپینولا و کرک ترکیب این دو نظریه را ادامه دادند و قضایای بسیار مفیدی ارائه نمودند. در سال 2008 یاچیمسکی با...
رأی سنتی درباره صدق های منطقی، آن ها را ضروری می داند اما به ضروری بودن این صدق ها از منظرهای مختلف انتقادهایی وارد شده است. دیوید کاپلان و ادوارد زالتا با معرفی عملگرهایی منطقی مدعی اند که می توان جملاتی ساخت که بنا بر تعریفِ متعارف صدق منطقی باشند، با این حال در همه جهان ها صادق نباشند. ویلیام هانسن مثال های زالتا را مبتنی بر پیش فرض هایی ناموجه می داند و به ویژه مفهوم اعتبار جهان بالفعل را تل...
مک داول، در بحث از نظریه ی معنا، در جستجوی یافتن پاسخی است به این پرسش که : چگونه می توان نظریه ای بدست داد که معرفت به آن، برای فهم یک زبان، کافی باشد؟ مک داول، در این راه، از آراء دو فیلسوف برجسته ی زبان بهره می برد، دیویدسون و فرگه؛ و نیز از آراء این دوفیلسوف، در مقابل انتقادات دامت، دفاع می کند. دیویدسون اصرار دارد که جزء مرکزی چنین نظریه ای یک نظریه ی صدق به شکل نظریه ی صدق تارسکی است. نظر...
در این مقاله با تکیه بر آراء بیل و رستال به بررسی نظریۀ کثرتگرایی در منطق خواهیم پرداخت. در ابتدا نظریات انحصارگراییِ منطقی، نسبیگرایی منطقی، انواع مختلف کثرتگراییِ منطقی و همچنین تفاوتِ کثرتگرایی بیل و رستال را نسبت به دیگر نظریاتِ کثرتگرایانۀ منطقی تشریح خواهیم کرد. توضیح خواهیم داد که بیل و رستال معتقد به نوعی کثرتگرایی منطقی معناگرایانه هستند که بر اساس آن میتوان تفاسیرِ متفاوت و قابل قبو...
هر زیر حلقه گسسته یک میدان مرتب که هر عضو میدان را با خطای کمتر از واحد (به طور معادل با خطای متناهی) تقریب می زند یک جزء صحیح آن میدان نامیده می شود. جزء صحیحهای میدانهای بسته حقیقی بنا به قضیه شفردسون دقیقا مدلهای زیر نظریه ای از حساب پئانو می باشند که استقراء را به فرمولهای خالی از سور محدود می نماید. مدل استاندارد حساب (حلقه اعداد صحیح) یک (و تنها) حزء صحیح هر مدل ارشمیدسی نظریه کامل میدانه...
ابتدا با عنوان "مقدمات قضایای ناتمامیت گودل" ، تعاریفی از بیان پذیری ، نمایش پذیری ، محاسبه پذیری ، توابع بازگشتی اولیه ، توابع بازگشتی ، تابع مشخصه و چند تابع مهم دیگر که در اثبات لم نقطه ثابت مورد نیاز است ، ارائه خواهد شد . سپس با بررسی این توابع ، هم ارزی رابطه بین بازگشتی و بیان پذیری مطرح می شود . در فصل اول ،اصول موضوعه دستگاه های نظریه صوری اعداد حساب و نظریه مجموعه ها ، معرفی ؛ وتلاش ه...
ویتگنشتاین دوم بر خلاف نظریات قبلی خود در باره زبان، آن را نه بازنمای عالم واقع بلکه همچون جعبه ابزاری در دست کاربر می داند که در هر شرایطی به یکی از ابزار های آن رو می کند. او با تشبیه کردن زبان به بازی، قواعد آن را مورد اشاره قرار می دهد و با جعل واژه بازی های زبانی مدعی می شود که مفاهیم زبان همانند حرکت ها در بازی ها مختلف دارای قواعد منحصر به خود دارند. بنابراین نمی توان فرض یک فرا بازی را ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید