The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been (...) noted that in order to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

I first show that most authors who developed Plural Quantification Logic (PQL) argued it could capture various features of natural language better than can other logic systems. I then show that it fails to do so: it radically departs from natural language in two of its essential features; namely, in distinguishing plural from singular quantification and in its use of an relation. Next, I sketch a different approach that is more adequate than PQL for capturing plural (...) aspects of natural language semantics and logic. I conclude with a criticism of the claim that PQL should replace natural language for specific philosophical or scientific purposes. (shrink)

Kripke’s Fregean quantification logic FQ fails to formalize the usual first-order logic with identity due to the interpretation of the conditional operator. Motivated by Kripke’s syntax and semantics, the three-valued Fregean quantification logic FQ3 is proposed. This three valued logic differs from Kleene and Łukasiewicz’s three-valued logics. The logic FQ3 is decidable. A sound and complete Hilbert-style axiomatic system for the logic FQ3 is presented.

Frege explained the notion of generality by stating that each its instance is a fact, and added only later the crucial observation that a generality can be inferred from an arbitrary instance. The reception of Frege’s quantifiers was a fifty-year struggle over a conceptual priority: truth or provability. With the former as the basic notion, generality had to be faced as an infinite collection of facts, whereas with the latter, generality was based on a uniformity with a finitary sense: the (...) provability of an arbitrary instance. (shrink)

Drawing on the original conception of Kant’s synthetic a priori and the relevant related developments in philosophy, this book presents a reconstruction of the intellectual history of the conception of quantity and offers an entirely ...

Originally published in 1981. This is a book for the final year undergraduate or first year graduate who intends to proceed with serious research in philosophical logic. It will be welcomed by both lecturers and students for its careful consideration of main themes ranging from Gricean accounts of meaning to two dimensional modal logic. The first part of the book is concerned with the nature of the semantic theorist's project, and particularly with the crucial concepts of meaning, truth, (...) and semantic structure. The second and third parts deal with various constructions that are found in natural languages: names, quantifiers, definite descriptions, and modal operators. Throughout, while assuming some familiarity with philosophical logic and elementary formal logic, the text provides a clear exposition. It brings together related ideas, and in some places refines and improves upon existing accounts. (shrink)

This paper deals with the logical form of quantified sentences. Its purpose is to elucidate one plausible sense in which quantified sentences can adequately be represented in the language of first-order logic. Section 1 introduces some basic notions drawn from general quantification theory. Section 2 outlines a crucial assumption, namely, that logical form is a matter of truth-conditions. Section 3 shows how the truth-conditions of quantified sentences can be represented in the language of first-order logic consistently with (...) some established undefinability results. Section 4 sketches an account of vague quantifier expressions along the lines suggested. Finally, section 5 addresses the vexed issue of logicality. (shrink)

Brentano's innovations in logical theory are considered in the context of his descriptive psychology, with its distinction between differences in quality and in object of mental phenomena. Objections are raised to interpretations that depend on a parallel between Urteil and assertion of a proposition. A more appropriate parallel is drawn between the assertion as subject to description in a metalanguage and the Urteil as secondary object in inner perception. This parallel is then applied so as to suggest a reinterpretation of (...) substitutional quantification, rendering the substitutional interpretation immune to problems that often arise as to the relation between substitutional range and referential range. (shrink)

This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested for classical modal systems (...) by Stolpe, 557–575, 2003), but unfortunately that work used only models and not frames. (shrink)

Henry Leonard and Karel Lambert first introduced so-called presupposition-free (or just simply: free) logics in the 1950’s in order to provide a logical framework allowing for non-denoting singular terms (be they descriptions or constants) such as “the largest prime” or “Pegasus” (see Leonard [1956] and Lambert [1960]). Of course, ever since Russell’s paradigmatic treatment of definite descriptions (Russell [1905]), philosophers have had a way to deal with such terms. A sentence such as “the..

Noun phrases with overt determiners, such as <i>some apples</i> or <i>a quantity of milk</i>, differ from bare noun phrases like <i>apples</i> or <i>milk</i> in their contribution to aspectual composition. While this has been attributed to syntactic or algebraic properties of these noun phrases, such accounts have explanatory shortcomings. We suggest instead that the relevant property that distinguishes between the two classes of noun phrases derives from two modes of existential quantification, one of which holds the values of a variable (...) fixed throughout a quantificational context while the other allows them to vary. Inspired by Dynamic Plural Logic and Dependence Logic, we propose Plural Predicate Logic as an extension of Predicate Logic to formalize this difference. We suggest that temporal <i>for</i>-adverbials are sensitive to aspect because of the way they manipulate quantificational contexts, and that analogous manipulations occur with spatial <i>for</i>-adverbials, habituals, and the quantifier <i>all</i>. (shrink)

We show how sequent calculi for some generalized quantifiers can be obtained by generalizing the Herbrand approach to ordinary first order proof theory. Typical of the Herbrand approach, as compared to plain sequent calculus, is increased control over relations of dependence between variables. In the case of generalized quantifiers, explicit attention to relations of dependence becomes indispensible for setting up proof systems. It is shown that this can be done by turning variables into structured objects, governed by various types of (...) structural rules. These structured variables are interpreted semantically by means of a dependence relation. This relation is an analogue of the accessibility relation in modal logic. We then isolate a class of axioms for generalized quantifiers which correspond to first-order conditions on the dependence relation. (shrink)

We show how sequent calculi for some generalized quantifiers can be obtained by generalizing the Herbrand approach to ordinary first order proof theory. Typical of the Herbrand approach, as compared to plain sequent calculus, is increased control over relations of dependence between variables. In the case of generalized quantifiers, explicit attention to relations of dependence becomes indispensible for setting up proof systems. It is shown that this can be done by turning variables into structured objects, governed by various types of (...) structural rules. These structured variables are interpreted semantically by means of a dependence relation. This relation is an analogue of the accessibility relation in modal logic. We then isolate a class of axioms for generalized quantifiers which correspond to first-order conditions on the dependence relation. (shrink)

We develop a variant of Least Fixed Point logic based on First Orderlogic with a relaxed version of guarded quantification. We develop aGame Theoretic Semantics of this logic, and find that under reasonableconditions, guarding quantification does not reduce the expressibilityof Least Fixed Point logic. But we also find that the guarded version ofa least fixed point algorithm may have a greater time complexity thanthe unguarded version, by a linear factor.

Quantification, in the form of accountability measures, organizational rankings, and personal metrics, plays an increasingly prominent role in modern society. While past research tends to depict quantification primarily as either an external intervention or a tool that can be employed by organizations, we propose that conceptualizing quantification as a logic provides a more complete understanding of its influence and the profound transformations it can generate. Drawing on a 14-month ethnographic study of Korean higher education and 100 (...) in-depth interviews with key actors in this field, this study demonstrates four pathways through which the logic of quantification is embedded into organizations. Specifically, we show how this new logic reshaped organizational structure, practices, power, and culture—changes that in turn buttress and reproduce the logic. Theoretically, this study provides a new perspective on the deep institutionalization of quantification: why quantification is often intractable and “de-quantification” so rare. In addition, this work contributes to the organizational literature on institutional logics by demonstrating how prevailing logics build defenses to resist challengers and thus maintain their influence. Most generally, we consider how the self-reinforcing nature of this logic contributes to the intensification of rationalization in contemporary society. (shrink)

We introduce quantificational modal operators as dynamic modalities with (extensions of) Henkin quantifiers as indices. The adoption of matrices of indices (with action identifiers, variables and/or quantified variables as entries) gives an expressive formalism which is here motivated with examples from the area of multi-agent systems. We study the formal properties of the resulting logic which, formally speaking, does not satisfy the normality condition. However, the logic admits a semantics in terms of (an extension of) Kripke structures. As (...) a consequence, standard techniques for normal modal logic become available. We apply these to prove completeness and decidability, and to extend some standard frame results to this logic. (shrink)

We describe an extension to our quantifier-free computational logic to provide the expressive power and convenience of bounded quantifiers and partial functions. By quantifier we mean a formal construct which introduces a bound or indicial variable whose scope is some subexpression of the quantifier expression. A familiar quantifier is the Σ operator which sums the values of an expression over some range of values on the bound variable. Our method is to represent expressions of the logic as objects (...) in the logic, to define an interpreter for such expressions as a function in the logic, and then define quantifiers as "mapping functions." The novelty of our approach lies in the formalization of the interpreter and its interaction with the underlying logic. Our method has several advantages over other formal systems that provide quantifiers and partial functions in a logical setting. The most important advantage is that proofs not involving quantification or partial recursive functions are not complicated by such notions as "capturing," "bottom," or "continuity." Naturally enough, our formalization of the partial functions is nonconstructive. The theorem prover for the logic has been modified to support these new features. We describe the modifications. The system has proved many theorems that could not previously be stated in our logic. Among them are. (shrink)

The optimal balance between decidability and expressiveness is a big problem of logical systems, in particular, of quantified epistemic logics (QELs). On the one hand, decidability is a very significant characteristic of logics that allows us to use such logics in the framework of artificial intelligence. On the other hand, QELs have important expressive capabilities that should not be lost when we construct decidable fragments of these logics. QELs are known to be much more expressive than first-order logics. One important (...) example of their extra expressive power is that they allow us to distinguish between de dicto and de re readings of epistemic sentences. It is clear that such capabilities should be preserved as much as possible in decidable fragments. In this paper, we consider extensions of QELs that include quantification over modalities. Denote this extensions by $$\hbox {Q}_{\Box }$$ Ls. $$\hbox {Q}_{\Box }$$ Ls allows us to make more subtle distinctions between de dicto and de re readings of epistemic sentences, and we also should keep these new features as much as possible in decidable fragments. It is known that there are not much interesting decidable QELs. The situation with $$\hbox {Q}_{\Box }$$ Ls is the same. But in recent years (after 2018), we have obtained a variety of decidable $$\hbox {Q}_{\Box }$$ Ls constructed in different ways. We distinguish between (1) the approach in which for every undecidable $$\hbox {Q}_{\Box }$$ L and for every variant of its decidable fragment, a specific proof is constructed, and (2) the approach in which a class of decidable $$\hbox {Q}_{\Box }$$ Ls is obtained using general tools and a uniform method for all $$\hbox {Q}_{\Box }$$ Ls of this class. In this paper, we compare the results of these approaches. (shrink)

Brentano's innovations in logical theory are considered in the context of his descriptive psychology, with its distinction between differences in quality and in object of mental phenomena. Objections are raised to interpretations that depend on a parallel between Urteil and assertion of a proposition. A more appropriate parallel is drawn between the assertion as subject to description in a metalanguage and the Urteil as secondary object in inner perception. This parallel is then applied so as to suggest a reinterpretation of (...) substitutional quantification, rendering the substitutional interpretation immune to problems that often arise as to the relation between substitutional range and referential range. (shrink)

Brentano's innovations in logical theory are considered in the context of his descriptive psychology, with its distinction between differences in quality and in object of mental phenomena. Objections are raised to interpretations that depend on a parallel between Urteil and assertion of a proposition. A more appropriate parallel is drawn between the assertion as subject to description in a metalanguage and the Urteil as secondary object in inner perception. This parallel is then applied so as to suggest a reinterpretation of (...) substitutional quantification, rendering the substitutional interpretation immune to problems that often arise as to the relation between substitutional range and referential range. (shrink)

We study the monadic fragment of second order intuitionistic propositional logic in the language containing the standard propositional connectives and propositional quantifiers. It is proved that under the topological interpretation over any dense-in-itself metric space, the considered fragment collapses to Heyting calculus. Moreover, we prove that the topological interpretation over any dense-in-itself metric space of fragment in question coincides with the so-called Pitts' interpretation. We also prove that all the nonstandard propositional operators of the form q $\mapsto \exists$p ), (...) where F is an arbitrary monadic formula of the variable p, are definable in the language of Heyting calculus under the topological interpretation of intuitionistic logic over sufficiently regular spaces. (shrink)

In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as `at some branch, or history (passing through the moment at hand)'. Both the bundled-trees semantics [Burgess 79] and the $\langle moment, history\rangle$ semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames (...) are (3-modal) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames. (shrink)

In this work we define contingency logic with arbitrary announcement. In contingency logic, the primitive modality contingency formalises that a proposition may be true but also may be false, so that if it is non-contingent then it is necessarily true or necessarily false. To this logic one can add dynamic operators to describe change of contingency. Our logic has operators for public announcement and operators for arbitrary public announcement, as in the dynamic epistemic logic called (...) arbitrary public announcement logic. However, our language primitive is the more suitable notion of public announcement whether, instead of the public announcement that. We compare the expressive power of our logic and its various fragments to related dynamic epistemic logics. We further present an axiomatisation and show its completeness by adapting a method to demonstrate completeness of arbitrary public announcement logic. Various extensions are also shown to be complete with respect to the corresponding frame classes. (shrink)

We analyze the expressive resources of \ logic that do not stem from Henkin quantification. When one restricts attention to regular \ sentences, this amounts to the study of the fragment of \ logic which is individuated by the game-theoretical property of action recall. We prove that the fragment of prenex AR sentences can express all existential second-order properties. We then show that the same can be achieved in the non-prenex fragment of AR, by using “signalling by (...) disjunction” instead of Henkin or signalling patterns. We also study irregular IF logic and analyze its correspondence to regular IF logic. By using new methods, we prove that the game-theoretical property of knowledge memory is a first-order syntactical constraint also for irregular sentences, and we identify another new first-order fragment. Finally we discover that irregular prefixes behave quite differently in finite and infinite models. In particular, we show that, over infinite structures, every irregular prefix is equivalent to a regular one; and we present an irregular prefix which is second order on finite models but collapses to a first-order prefix on infinite models. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, (...) the categoricity problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

This paper investigates a problem related to quantifiers which has some analogies to that of propositional completeness I give a definition of quantifier in many-valued logics generalizing the cases which already occur in first order many- valued logics. Though other definitions are possible, this particular one, which I call distribution quantifiers, generalizes the classical quantifiers in a very natural way, and occurs in finite numbers in every m-valued logic. We then call the problem of quantificationa2 completeness in m-valued (...) class='Hi'>logic the problem of characterizing which are the quantifiers in a given language which can generate all other quantifiers in this language, using the connectives, as is the case, for example, of the universal and exis- tential quantifiers in classical logic, using negation. We are interested, in particular, in those many-valued quantifiers which closely mimic the behavior of existential an universal quantifiers in generating all other quantifiers using negation: these I call perfect quantifiers, as defined below. The main result of this paper is the characterization of all perfect quantifiers in 3-valued logics, which are complete if the logic is functionally complete. As a byproduct, we obtain the same result for the classical logic, which we include mainly for motivation. (shrink)