توضیحات
This Element is an introduction to recent work proofs and models in philosophical logic, with a focus on the semantic paradoxes the sorites paradox. It introduces and motivates different proof systems and different kinds of models for a range of logics, including classical logic, intuitionistic logic, a range of three-valued and four-valued logics, and substructural logics. It also compares and contrasts the different approaches to substructural treatments of the paradox, showing how the structural rules of contraction, cut and identity feature in paradoxical derivations. It then introduces model theoretic treatments of the paradoxes, including a simple fixed-point model construction which generates three-valued models for theories of truth, which can provide models for a range of different non-classical logics. The Element closes with a discussion of the relationship between proofs and models, arguing that both have their place in the philosophers’ and logicians’ toolkits.
————————————————————–
ترجمه ماشینی :
این عنصر مقدمهای است بر برهانها و مدلهای کار اخیر در منطق فلسفی، با تمرکز بر پارادوکسهای معنایی و پارادوکس sorites. این سیستمهای اثباتی مختلف و انواع مدلهای مختلف را برای طیف وسیعی از منطقها، از جمله منطق کلاسیک، منطق شهودی، طیفی از منطقهای سه ارزشی و چهار ارزشی، و منطقهای زیرساختی معرفی و برانگیخت. همچنین رویکردهای مختلف به درمانهای زیرساختی پارادوکس را مقایسه و مقایسه میکند، و نشان میدهد که چگونه قوانین ساختاری انقباض، برش و هویت در مشتقات متناقض مشخص میشوند. سپس مدلهای تئوریک پارادوکسها را معرفی میکند، از جمله ساخت مدل نقطه ثابت ساده که مدلهای سه ارزشی را برای نظریههای صدق ایجاد میکند، که میتواند مدلهایی را برای طیف وسیعی از منطقهای غیر کلاسیک مختلف ارائه دهد. عنصر با بحث در مورد رابطه بین برهان و مدل ها پایان می یابد و استدلال می کند که هر دو جایگاه خود را در جعبه ابزار فیلسوفان و منطق دانان دارند.
tag : دانلود کتاب براهین و الگوها در منطق فلسفی , Download براهین و الگوها در منطق فلسفی , دانلود براهین و الگوها در منطق فلسفی , Download Proofs and Models in Philosophical Logic Book , براهین و الگوها در منطق فلسفی دانلود , buy براهین و الگوها در منطق فلسفی , خرید کتاب براهین و الگوها در منطق فلسفی , دانلود کتاب Proofs and Models in Philosophical Logic , کتاب Proofs and Models in Philosophical Logic , دانلود Proofs and Models in Philosophical Logic , خرید Proofs and Models in Philosophical Logic , خرید کتاب Proofs and Models in Philosophical Logic ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.