Logic and Fixed-Domain Reasoning

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.

Describes, for the first time, two related concepts of logical system over fixed domain Presents a novel approach to logic demarcation questions Develops a substitutional theory of relations over fixed domain

Autorentext

Ralph Gregory Taylor has taught, most recently, in the Department of Philosophy at Baruch College in the City University of New York. He is currently Visiting Scholar at the Saul Kripke Center within the Graduate Center of the City University.

Inhalt

Chapter 1: A Paradigmatic Family of First-Order Logics over Fixed Domain.- Chapter 2: Deduction Calculi for First-Order Logics over Fixed Domain.- Chapter 3: A Substitutional Theory of First-Order Relations.- Chapter 4: Invariance under Domain Permutations.- Chapter 5: Infinitary First-Order Quantificational Logics.- Chapter 6: First-Order Logics with Generalized Quantification.- Chapter 7: The Province of Fixed-Domain Reasoning.- Chapter 8: Higher-Order Logics over Fixed Domain.