{"product_id":"logic-and-fixed-domain-reasoning","title":"Logic and Fixed-Domain Reasoning","description":"The author develops, incrementally over the course of several chapters, related concepts of logical system over fixed domain, both classical and nonclassical, by means of pragmatism-inspired translations into paradigmatic, infinitary, quantifier-free languages having rigidly designating constants for all elements of a fixed domain.  Each concept fully accommodates both the descriptive (model-theoretic) and deductive (proof-theoretic) tasks of any logic. Chapters 1 through 7 concern first-order logics over fixed domain.  Final Chapter 8 takes up second-order logics whereby standard names for each and every boolean-valued function are now introduced.  Along the way, substitutional theories of first-, alternatively, second-order relations are presented following Russell.  Clarification of classification questions (What is a logical vs. mathematical term? A logical law? A logical operation?) is achieved, for logics over fixed domain, in a manner that may be unattainable in the case of variable-domain logics.  The author adopts a nonstandard view according to which the fixed-domain logics of Peirce, Zermelo, and Carnap are no mere stepping stones on the path to variable-domain logics but, rather, constitute an alternative conception having certain clarificatory advantages. Consequently, the book should be of interest to both logicians and philosophers of logic.","brand":"Gardners","offers":[{"title":"Default Title","offer_id":57510253592949,"sku":"9783031981883","price":109.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0612\/7193\/3106\/files\/9783031981883.jpg?v=1787130593","url":"https:\/\/backstory.london\/products\/logic-and-fixed-domain-reasoning","provider":"Backstory","version":"1.0","type":"link"}