چکیده دیویدسون با تأثیرپذیری از فیلسوفانی چون فرگه، تارسکی و کواین، به طرح نظریة معنایی می‌پردازد که حاوی نظریة صدقی به شکل نظریة صدق تارسکی است. نظریة دیویدسونی، از یک‌سو، صوری و شرط صدقی و از سوی دیگر تجربی است؛ از این‌رو، کاربرد آن برای ارائة تعبیری از زبان و سخنان گویندگان، منوط به برآورده شدن محدودیت‌هایی صوری و تجربی است. محدودیت‌های صوری را دیویدسون، از کارهای تارسکی در باب کفایت صوری ت...

چکیده دیویدسون با تأثیرپذیری از فیلسوفانی چون فرگه، تارسکی و کواین، به طرح نظریة معنایی می پردازد که حاوی نظریة صدقی به شکل نظریة صدق تارسکی است. نظریة دیویدسونی، از یک سو، صوری و شرط صدقی و از سوی دیگر تجربی است؛ از این رو، کاربرد آن برای ارائة تعبیری از زبان و سخنان گویندگان، منوط به برآورده شدن محدودیت هایی صوری و تجربی است. محدودیت های صوری را دیویدسون، از کارهای تارسکی در باب کفایت صوری ت...

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

نزد رئالیست‌ها هدف علم، جست‏وجوی نظریه‌هایی است که توصیف- تقریباً- صادقی از جهان پیرامون ما ارائه کنند. اما صحبت از صدق نظریه‌های علمی، همواره با دشواری‌هایی روبه‎روست. در مقالۀ حاضر با یاری آموزه‌های منتج از نظریۀ صدق تارسکی توضیح می‌دهیم به چه معنا می‌توان از صدق نظریه‌های علمی و نسبت آنها با واقعیت سخن گفت. پیشنهاد مقاله این است که نظریۀ معناشناختی تارسکی دربارۀ...

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

داستان علمی - تخیلی درباره برخی مباحث در منطق و مبانی ریاضی.

در سال ‎۱۹۰۶‎، برتراند راسل در مقاله خود نشان داد که تقریباً تمامی پارادکس های نظریه مجموعه ها دارای یک شکل مشترک می باشند. در سال ‎۱۹۶۹‎، لاوور با استفاده از زبان نظریه رسته ها، به یک وحدت و یکپارچگی عمیق تر دست یافت که نه تنها پارادکس های نظریه مجموعه ها، بلکه پدیده ناتمامیت را نیز شامل می شد. در واقع لاوور طرحی مشترک ارایه داد که موضوعات بسیار همچون قضیه کانتور در مورد مجموعه های توانی، پاراد...

نظریه ی مدل یک نظریه ی منطقی سمانتیکی با هدف ارائه ی شیوه ی تفکر قیاسی سازگار از طریق رهیافت فرازبانی است. این نظریه مبتنی بر مفهوم تعبیرپذیری زبان است و به تبع آن ریشه در سنت و دیدگاه مدل انگارانه دارد که به روایت هینتیکا در اواخر قرن نوزدهم با هیلبرت آغاز شده است. این دیدگاه، به رغم مخالفت های سرسختانه ی یونیورسالیست های پیرو فرگه، در نیمه ی نخست قرن بیستم در مکتب لوف-ورشو بالیده و در میانه ی...