Gila Sher

Following Henkin’s discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or “cardinality” quantifiers, e.g., “most”, “few”, “finitely many”, “exactly α ”, where α is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a general definition of monotone-increasing (M↑) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwise’s 1979 analysis of the basic case of M↑ POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional 1st-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages.

In this paper I present a pluralist view of truth of a special kind: correspondence-pluralism. Correspondence-pluralism is the view that to fulfill its function in knowledge, truth requires correspondence principles rather than mere coherence, pragmatist, or deflationist principles. But these correspondence principles do not need to be the naive principles of traditional correspondence: copy, mirror image, direct isomorphism. Furthermore, these correspondence principles may vary, in certain disciplined ways, from one field of knowledge to another. This combination of correspondence and pluralism enables us to set high standards of truth for all fields of knowledge while allowing sufficient flexibility to adjust these principles to the special conditions of different fields. In so doing, it provides us with new tools for addressing old as well as new questions about truth: Is there correspondence-truth in mathematics? In ethics? Correspondence with what? What patterns of correspondence? The paper is divided into four parts: (I) Why correspondence? What kind of correspondence? (II) Why pluralism? What kind of pluralism? (III) Applications: mathematics and ethics. (IV) Avoidance of criticisms of other types of truth-pluralism.

To understand logic is, first and foremost, to understand logical consequence. This Element provides an in-depth, accessible, up-to-date account of and philosophical insight into the semantic, model-theoretic conception of logical consequence, its Tarskian roots, and its ideas, grounding, and challenges. The topics discussed include: the passage from Tarski's definition of truth to his definition of logical consequence, the need for a non-proof-theoretic definition, the idea of a semantic definition, the adequacy conditions of preservation of truth, formality, and necessity, the nature, structure, and totality of models, the logicality problem that threatens the definition of logical consequence, a general solution to the logicality, formality, and necessity problems/challenges, based on the isomorphism-invariance criterion of logicality, philosophical background and justification of the isomorphism-invariance criterion, and major criticisms of the semantic definition and the isomorphism-invariance criterion.

The question motivating my investigation is: Are the basic philosophical principles underlying the "core" system of contemporary logic exhausted by the standard version? In particular, is the accepted narrow construal of the notion "logical term" justified? ;As a point of comparison I refer to systems of 1st-order logic with generalized quantifiers developed by mathematicians and linguists . Based on an analysis of the Tarskian conception of the role of logic I show that the standard division of terms into logical and extra-logical is partly arbitrary. I argue that the semantic principles of Tarskian logic allow any higher order mathematical predicate or relation to function as a logical term in a 1st-order system, provided it is introduced in the right way into the syntactic-semantic apparatus. ;Formally, I propose a new, "constructive", semantic characterization of logical terms. A logical term is defined by a function which, given a model, "shows" how to construct relations, sets, or n-tuples of individuals which satisfy it. I discuss the linguistic applicability of the extended logic and bring numerous examples. ;One chapter is devoted to branching quantification--a non-standard logico-linguistic construction obtained by affixing a non-linear, partially-ordered quantifier-prefix to a well-formed formula. Although standard branching quantifiers were given a complete account by Henkin and Walkoe, it is not altogether clear what the meaning of branching generalized quantifiers is. I propose a new analysis of the generalized branching prefix which extends the existent, partial, definitions due to Barwise, and I develop a generalization leading to a "family" of branching structures. ;In conclusion I discuss the philosophical impact of the generalized conception of logic on such issues as the logicist thesis, the interaction between mathematics and logic, ontological commitment via logic, metaphysics and logical semantics