توضیحات
The book is a research monograph on the notions of truth and assertibility as they relate to the foundations of mathematics. It is aimed at a general mathematical and philosophical audience. The central novelty is an axiomatic treatment of the concept of assertibility. This provides us with a device that can be used to handle difficulties that have plagued philosophical logic for over a century. Two examples are Frege’s formulation of second order logic and Tarski’s characterization of truth predicates for formal languages. Both are widely recognized as fundamental advances, but both are also seen as being seriously flawed: Frege’s system, as Russell showed, is inconsistent, and Tarski’s definition fails to capture the compositionality of truth. A formal assertibility predicate can be used to repair both problems. The repairs are technically interesting and conceptually compelling. The approach in this book will be of interest not only for the uses the author has put it to, but also as a flexible tool that may have many more applications in logic and the foundations of mathematics.
Readership: Undergraduates, graduates and researchers in mathematics, logic and philosophy.
————————————————————–
ترجمه ماشینی :
این کتاب یک تک نگاری تحقیقاتی در مورد مفاهیم صدق و اثبات پذیری است زیرا آنها با مبانی ریاضیات مرتبط هستند. مخاطبان عمومی ریاضی و فلسفی هستند. نوآوری محوری، درمان بدیهی مفهوم ادعاپذیری است. این ابزاری را در اختیار ما قرار میدهد که میتوان از آن برای رسیدگی به مشکلاتی استفاده کرد که بیش از یک قرن است که منطق فلسفی را درگیر کرده است. دو نمونه عبارتند از فرمول بندی منطق مرتبه دوم فرگه و توصیف تارسکی از محمولات صدق برای زبان های رسمی. هر دو به طور گسترده ای به عنوان پیشرفت های اساسی شناخته می شوند، اما هر دو نیز دارای نقص های جدی هستند: سیستم فرگه، همانطور که راسل نشان داد، ناسازگار است، و تعریف تارسکی نمی تواند ترکیبی بودن حقیقت را درک کند. برای ترمیم هر دو مشکل می توان از گزاره رسمی ادعایی استفاده کرد. تعمیرات از نظر فنی جالب و از نظر مفهومی قانع کننده هستند. رویکرد این کتاب نه تنها برای کاربردهایی که نویسنده از آن استفاده کرده است، بلکه به عنوان ابزاری انعطافپذیر که ممکن است کاربردهای بیشتری در منطق و مبانی ریاضیات داشته باشد، جالب خواهد بود.
خوانندگان: دانشجویان کارشناسی ، فارغ التحصیلان و محققین ریاضیات، منطق و فلسفه.
tag : دانلود کتاب حقیقت و اثبات پذیری , Download حقیقت و اثبات پذیری , دانلود حقیقت و اثبات پذیری , Download Truth and Assertibility Book , حقیقت و اثبات پذیری دانلود , buy حقیقت و اثبات پذیری , خرید کتاب حقیقت و اثبات پذیری , دانلود کتاب Truth and Assertibility , کتاب Truth and Assertibility , دانلود Truth and Assertibility , خرید Truth and Assertibility , خرید کتاب Truth and Assertibility ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.