{"product_id":"classical-firstorder-logic-9781108987004","title":"Classical First-Order Logic","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003eFirst-order classical logic is a commonly proposed system for logical reasoning. It develops a language, proof theory, and model theory, and provides theorems about the system, such as unique readability and the Lindenbaum lemma. It also compares it to other systems, such as classical higher order logic, intuitionistic logic, and paraconsistent logics. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 75 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 19 May 2022\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Cambridge University Press\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eWhen one engages in logical reasoning, it is commonly acknowledged that they are employing sound reasoning. Numerous proposals have been made to define logical reasoning, yet one widely accepted system is first-order classical logic. This Element will delve into the fundamentals of first-order classical logic and explore various philosophical implications surrounding it.\u003cbr\u003e\u003cbr\u003eThe first half of the Element establishes a framework for the system, encompassing a language, proof theory, and model theory. The authors present theorems that they have developed, such as the unique readability theorem and the Lindenbaum lemma. They also discuss the meta-theory of the system, presenting several results, including proving soundness and completeness theorems.\u003cbr\u003e\u003cbr\u003eIn the second half of the Element, first-order classical logic is compared to other systems: classical higher-order logic, intuitionistic logic, and several paraconsistent logics that deviate from the law of ex falso quodlibet. The authors analyze the strengths and weaknesses of each system and discuss their respective applications and implications.\u003cbr\u003e\u003cbr\u003eBy examining the basics of first-order classical logic and exploring its philosophical implications, this Element aims to provide a comprehensive understanding of this important branch of logic and its role in shaping our understanding of the world.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 136g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 152 x 228 x 9 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9781108987004\u003c\/p\u003e","brand":"StewartShapiro,Teresa KouriKissel","offers":[{"title":"Paperback \/ softback","offer_id":44094991139066,"sku":"9781108987004","price":17.14,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/1654869518033_book.jpg?v=1655301081","url":"https:\/\/shulphink.com\/products\/classical-firstorder-logic-9781108987004","provider":"Shulph Ink","version":"1.0","type":"link"}