Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having (...) only x free. An existential-import predicate Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

RésuméDans cet article, je pose le problème suivant: quelles propositions ont un import dans la logique modale d'Avicenne? Lesquelles n'en ont pas? Partant de l'assomption que les propositions singulières et quantifiées ont un import si elles requièrent l'existence de leur sujet pour être vraies, j'analyse d'abord l'import des propositions absolues, ensuite celui des propositions modales en tenant compte des définitions d'Avicenne et des relations entre ces propositions. Cette analyse conduit aux résultats suivants: Avicenne défend l'opinion générale selon (...) laquelle les affirmatives, qu'elles soient modales ou assertoriques, ont un import alors que les négatives n'en ont pas. Il attribue un import aux propositions possibles affirmatives aussi bien dans l'interprétation externaliste que dans l'interprétation internaliste des logiciens post-Avicenniens, pourvu que le sujet ne soit pas impossible. Toutefois, la théorie n'est pas toujours claire, car Avicenne attribue un import aux propositions contenant ‘parfois non’ et aux nécessaires négatives contenant ‘tant qu'il est P’ malgré leur caractère négatif; les propositions nécessaires affirmatives contenant ‘tant qu'il est P’ sont considérées comme ayant un import alors qu'elles ne l'exigent pas. De plus, l'analyse qu'il donne des assertoriques spéciales E et O et de leurs contradictoires est erronée, ce qui ne permet pas de déterminer clairement leur import. Mais quand elles sont correctement analysées, ces propositions E et O n'ont pas d'import, alors que leurs contradictoires – les assertoriques spéciales I et A respectivement – ont un import. (shrink)

The original interest of this article lies in existential import. It provides a broader view on the problem by reference to modern, symbolic logic (ch.1). Gradually, however, our interest will change into the amalgamated expressions often used in logic; that is, why are such expressions as “x is a round triangle” applied in logic? We critically discuss this question from an extensional viewpoint, namely model theoretic semantics (ch.2). We also touch on Church’s λ-calculus in the appendix (app.2).

Contemporary logicians continue to address problems associated with the existential import of categorical propositions. One notable problem concerns invalid instances of subalternation in the case of a universal proposition with an empty subject term. To remedy problems, logicians restrict first-order predicate logics to exclude such terms. Examining the historical origins of contemporary discussions reveals that logicians continue to make various category mistakes. We now believe that no proposition per se has existential import as commonly understood and (...) thus it is unnecessary to restrict first-order predicate logics to non-empty classes. After introducing the problem, we trace some nineteenth century treatments of the issue to locate a source of misconstruing propositional import in misconceptions of ‘implies’ and ‘affirms’ and name the process/product fallacy, along with the translation of categorical sentences using quantifiers and accommodating an empty class. Next we treat some metalogical matters to orient our discussion by which we provide a more precise nomenclature about ‘sentence’ and ‘proposition’ to correct previous misconceptions; here we uncover a common category mistake in respect of a proposition’s efficacy. The semantic distinction between agent and force is helpful in this connection. We conclude by showing that logicians have reinserted existence as a predicate, a position previously excised by Kant, and that the Frege-Russell ambiguity thesis applies only to relationships within a categorical sentence between grammatical predicate and subject. (shrink)

Aristotle draws what are, by our lights, two unusual relationships between predication and existence. First, true universal affirmations carry existential import. If ‘All humans are mortal’ is true, for example, then at least one human exists. And secondly, although affirmations with empty terms in subject position are all false, empty negations are all true: if ‘Socrates’ lacks a referent, then both ‘Socrates is well’ and ‘Socrates is ill’ are false but both ‘Socrates is not well’ and ‘Socrates is (...) not ill’ are true. In this paper, I conjecture that for Aristotle predications have mereological truth conditions: for example, ‘Socrates is pale’ is true just in case Socrates is a part of the mereological sum of pale things. The existential import of universal affirmations and the semantic profile of empty negations follow from this mereological semantics. (shrink)

First-order logic has limited existential import: the universalized conditional ∀x [S → P] implies its corresponding existentialized conjunction ∃x [S & P] in some but not all cases. We prove the Existential-Import Equivalence:∀x [S → P] implies ∃x [S & P] iff ∃x S is logically true.The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import: implies its corresponding existentialized conjunction.A predicate is a formula having only x free. (...) An existential-import predicate Q is one whose existentialization, ∃x Q, is logically true; otherwise, Q is existential-import-free or simply import-free. Existential-import predicates are also said to be import-carrying.How widespread is existential import? How widespread are import-carrying predicates in themselves or in comparison to import-free predicates? To answer, let L be any first-order language with any interpretation INT in any [sc. nonempty] universe U. A subset S of U is definable in L under INT iff for some predicate Q in L, S is the truth-set of Q under INT. S is import-carrying definable iff S is the truth-set of an import-carrying predicate. S is import-free definable iff S is the truth-set of an import-free predicate.Existential-Importance Theorem: Let L, INT, and U be arbitrary. Every nonempty definable subset of U is both import-carrying definable and import-free definable.Import-carrying predicates are quite abundant, and no less so than import-free predicates. Existential-import implications hold as widely as they fail.A particular conclusion cannot be validly drawn from a universal premise, or from any number of universal premises.—Lewis-Langford, 1932, p. 62. (shrink)

The paper uses the theory of generalized quantifiers to discuss existential import and its implications for Aristotelian logic, namely the square of opposition, conversions and the assertoric syllogistic, as well as for more recent generalizations to intermediate quantifiers like “most”. While this is a systematic discussion of the semantic background one should assume in order to obtain the inferences and oppositions Aristotle proposed, it also sheds some light on the interpretation of his writings. Moreover by applying tools from (...) modern formal semantics to the investigation of classical Aristotelian logic and its extensions, we combine different approaches to the logic of quantification. We will present variants of quantifiers that are associated to the four corners of the square of opposition with and without existential import and discuss their role for the logical square, conversions and the syllogistic. It will turn out that there is no way to ascribe existential import that validates all inferences and relations which one is willing to hold in Aristotelian logic. Two options, however, provide reasonable results. Existential import should either be ascribed only to affirmative statements or only be ascribed to universal quantification. The former option is preferable for a mere reconstruction of the classical Aristotelian logic while the latter option is more attractive if Aristotelian logic is generalized to intermediate quantifiers. (shrink)

The paper explores the existential import of universal affirmative in Descartes, Arnauld and Malebranche. Descartes holds, inconsistently, that eternal truths are true even if the subject term is empty but that a proposition with a false idea as subject is false. Malebranche extends Descartes? truth-conditions for eternal truths, which lack existential import, to all knowledge, allowing only for non-propositional knowledge of contingent existence. Malebranche's rather implausible Neoplatonic semantics is detailed as consisting of three key semantic relations: (...) illumination by which God's ideas cause mental terms, creation by which God's ideas cause material substances by a kind of ?ontic privation?, and sensation in which brain events occasion states of mental awareness. In contrast, Arnauld distinguishes two types of propositions ? necessary and contingent ? with distinct truth-conditions, one with and one without existential import. Arnauld's more modern semantics is laid out as a theory of reference that substitutes earlier causal accounts with one that adapts the medieval notion of objective being. His version anticipates modern notions of intentional content and appeals in its ontology only to substances and their modes. (shrink)

This article reconstructs Kant's view on the existential import of categorical sentences. Kant is widely taken to have held that affirmative sentences (the A and I sentences of the traditional square of opposition) have existential import, whereas negative sentences (E and O) lack existential import. The article challenges this standard interpretation. It is argued that Kant ascribes existential import only to some affirmative synthetic sentences. However, the reasons for this do not fall (...) within the remit of Kant's formal logic. Unlike traditional logic and modern standard quantification theory, Kant's formal logic is free from existential commitments. (shrink)

Originally published in 1905, this book presents a discussion regarding the nature of the subject-predicate relationship, or more specifically 'the Existential Import of Predication'. Textual notes are incorporated throughout. This book will be of value to anyone with an interest in logic and the development of philosophy.

It is shown that a linguistically well-motivated semantical analysis of certain extensions of categorical sentences is compatible with a semantics that fulfils the so-called existential import condition, but is not compatible with a semantics that does not fulfil this condition.

Jan Lukasiewicz's treatise on Aristotle's Syllogistic, published in the 1950s, has been very influential in framing contemporary understanding of Aristotle's logical systems. However, Lukasiewicz's interpretation is based on a number of tendentious claims, not least, the claim that the syllogistic was intended to apply only to non-empty terms. I show that this interpretation is not true to Aristotle's text and that a more coherent and faithful interpretation admits empty terms while maintaining all the relations of the traditional square of opposition.

It is a received view of the post-Fregean predicate logic that a universal statement has no existential import and thus does not entail its particular (existential) counterpart. This paper takes issue with the view by discussing the trespasser case, which has widely been employed for supporting the view. The trespasser case in fact involves a shift of context. Properly understood, the case provides no support for the received view but rather suggests that we rethink the ‘quantity view’ (...) of the existential import of quantifiers. (shrink)

Descartes famously states that God could have made any and all of the “eternal truths” that are now in place false. This has led scholars to attribute to Descartes’s God a radical sort of power: the power to do the logically impossible. While Descartes does claim that God could have made any of the eternal truths that are now in place false, I do not think that this commits him to the view that God could have made twice four equal (...) to nine, or anything of that sort. In this paper I show how, by placing Descartes’s doctrine of the eternal truths in its proper historical context, a new and more charitable interpretation of that doctrine becomes available. On this interpretation, Descartes’s God could have made the eternal truths false by choosing not to create the eternal essences to which these truths refer. (shrink)

Nazariyat, Journal for the History of Islamic Philosophy and Sciences, issued twice a year in English and Turkish (Nazariyat İslam Felsefe ve Bilim Tarihi Araştırmaları Dergisi), is a refereed international journal. It publishes original studies, critical editions of classical texts and book reviews on Islamic philosophy, kalām, theoretical aspects of Sufism and the history of sciences. The goal of Nazariyat is to contribute to the discovery, examination and reinterpretation of the theoretical traditions in the history of Islamic thought, by giving (...) special attention to the post-classical period of it. **ISSN: 2148-8088 E-ISBN: 2547-9415**. (shrink)

We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between (...) the 8 propositions having the first two kinds of import, the third one being trivial and rule out the squares where at least one relation does not hold. This leads to the following results: (1) three squares are valid when the domain is non-empty; (2) one of them is valid even in the empty domain: the square can thus be saved in arbitrary domains and (3) the aforementioned eight propositions give rise to a cube, which contains two more (non-classical) valid squares and several hexagons. A classical solution to the problem of existential import is thus possible, without resorting to deviant systems and merely relying upon the symbolism of First-order Logic (FOL). Aristotle’s system appears then as a fragment of a broader system which can be developed by using FOL. (shrink)

This paper undertakes an in-depth examination of the intriguing argument for the existential import of negative propositions by the fifteenth-century Ottoman scholar Hatibzâde Mehmed (d. 1496) and the counterarguments by his disciple, Taşköprizâde Kâsım (d. 1513). It argues that this discussion is a significant example of Ottoman scholars engaging in long-standing disputes concerning the nature and ontological ground of negative propositions, which date back to Plato and Aristotle. It is also intended to underline the need for considering not (...) only logic texts but also works primarily associated with other disciplines in order to attain a comprehensive picture of logical discussions in the post-classical period of Islamic thought. (shrink)

This article examines the traditional and modern doctrines of categorical propositions and argues that both doctrines have serious problems. While the doctrines disagree about existential imports...

Syllogistics reduces to only two rules of inference: monotonicity and symmetry, plus a third if one wants to take existential import into account. We give an implementation that uses only the monotonicity and symmetry rules, with an addendum for the treatment of existential import. Soundness follows from the monotonicity properties and symmetry properties of the Aristotelean quantifiers, while completeness for syllogistic theory is proved by direct inspection of the valid syllogisms. Next, the valid syllogisms are decomposed (...) in terms of the rules they involve. The implementation uses Haskell [8], and is given in ‘literate programming’ style [9]. (shrink)

Two subject-predicate calculi with equality,SP = and its extensionUSP =, are presented as systems of natural deduction. Both the calculi are systems of free logic. Their presentation is preceded by an intuitive motivation.It is shown that Aristotle's syllogistics without the laws of identitySaP andSiP is definable withinSP =, and that the first-order predicate logic is definable withinUSP =.

FRANZ BRENTANO has often been considered guilty of the‘psychologism’ which Edmund Husserl, his pupil, attacked. The charge is justified in only a limited sense: Brentano is dealing not with intentional acts but rather with intentional objects. His concern is directed, among other things, to certain logical and ontological problems such as those raised by a Meinong, even if Brentano makes use of psychological insight in order to shed light on them.