Conjunction

Fragmentalism allows incompatible facts to constitute reality in an absolute manner, provided that they fail to obtain together. In recent years, the view has been extensively discussed, with a focus on its formalisation in model-theoretic terms. This paper focuses on three formalisations: Lipman’s approach, the subvaluationist interpretation, and a novel view that has been so far overlooked. The aim of the paper is to explore the application of these formalisations to the alethic modal case. This logical exploration will allow us (...) to study (i) cases of metaphysical incompatibility between modal facts and (ii) cases of modal dialetheias. In turn, this will enrich our understanding of the role of impossibility in the fragmentalist framework. (shrink)

This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...) on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations. (shrink)

We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers that we suggest has a certain fundamental status. We present a Fitch-style natural deduction system for the logic that contains only the introduction and elimination rules for the logical constants. From this starting point, if one adds the rule that Fitch called Reiteration, one obtains a proof system for intuitionistic logic in the given signature; (...) if instead of adding Reiteration, one adds the rule of Reductio ad Absurdum, one obtains a proof system for orthologic; by adding both Reiteration and Reductio, one obtains a proof system for classical logic. Arguably neither Reiteration nor Reductio is as intimately related to the meaning of the connectives as the introduction and elimination rules are, so the base logic we identify serves as a more fundamental starting point and common ground between proponents of intuitionistic logic, orthologic, and classical logic. The algebraic semantics for the logic we motivate proof-theoretically is based on bounded lattices equipped with what has been called a weak pseudocomplementation. We show that such lattice expansions are representable using a set together with a reflexive binary relation satisfying a simple first-order condition, which yields an elegant relational semantics for the logic. This builds on our previous study of representations of lattices with negations, which we extend and specialize for several types of negation in addition to weak pseudocomplementation; in an appendix, we further extend this representation to lattices with implications. Finally, we discuss adding to our logic a conditional obeying only introduction and elimination rules, interpreted as a modality using a family of accessibility relations. (shrink)

In this paper, we study three representations of lattices by means of a set with a binary relation of compatibility in the tradition of Ploščica. The standard representations of complete ortholattices and complete perfect Heyting algebras drop out as special cases of the first representation, while the second covers arbitrary complete lattices, as well as complete lattices equipped with a negation we call a protocomplementation. The third topological representation is a variant of that of Craig, Haviar, and Priestley. We then (...) extend each of the three representations to lattices with a multiplicative unary modality; the representing structures, like so-called graph-based frames, add a second relation of accessibility interacting with compatibility. The three representations generalize possibility semantics for classical modal logics to non-classical modal logics, motivated by a recent application of modal orthologic to natural language semantics. (shrink)

Is the mechanism behind presupposition projection and filtering fundamentally asymmetric or symmetric? This is a foundational question for the theory of presupposition which has been at the centre of attention in recent literature. It also bears on broader issues concerning the source of asymmetries observed in natural language: are these simply rooted in superficial asymmetries of language use ; or are they, at least in part, directly encoded in linguistic knowledge and representations? In this paper we aim to make progress (...) on these questions by exploring presupposition projection across conjunction, which has traditionally been taken as a central piece of evidence that presupposition filtering is asymmetric in general. As a number of authors have recently pointed out, however, the evidence which has typically been used to support this conclusion is muddied by independent issues concerning redundancy; additional concerns have to do with the possibility of local accommodation. We report on a series of experiments, building on previous work by Chemla and Schlenker :177–226, 2012 and Schwarz 2015), using inference and acceptability tasks, which aim to control for both of these potential confounds. In our results, we find strong evidence for left-to-right filtering across conjunctions, but no evidence for right-to-left filtering—even when right-to-left filtering would, if available, rescue an otherwise unacceptable sentence. These results suggest that presupposition filtering across conjunction is asymmetric, contra suggestions in the recent literature :157–212, 2008a.), and pave the way for the investigation of further questions about the nature of this asymmetry and presupposition projection more generally. Our results also have broader implications for the study of presupposition: we find important differences in the verdicts of acceptability versus inference tasks in testing for projected content, which has both methodological ramifications for the question of how to distinguish presupposed content, and theoretical repercussions for understanding the nature of projection and presuppositions more generally. (shrink)

In this paper, we will motivate the application of specific rules of inference from the propositional calculus to natural language sentences. Specifically, we will analyse De Morgan’s laws, which pertain to the interaction of two central topics in syntactic research: negation and coordination. We will argue that the applicability of De Morgan’s laws to natural language structures can be derived from independently motivated operations of grammar and principles restricting the application of these operations. This has direct empirical consequences for the (...) hypothesised relations between natural language and logic. (shrink)

Import-Export says that a conditional 'If p, if q, r' is always equivalent to the conditional 'If p and q, r'. I argue that Import-Export does not sit well with a classical approach to conjunction: given some plausible and widely accepted principles about conditionals, Import-Export together with classical conjunction leads to absurd consequences. My main goal is to draw out these surprising connections. In concluding I argue that the right response is to reject Import-Export and adopt instead a limited version (...) which better fits natural language data; accounts for all the intuitions that motivate Import-Export in the first place; and fits better with a classical conjunction. (shrink)

Most philosophers seem to be under a misleading impression about the difference between ‘and’ and ‘but’. They hold that they are truth-functional equivalents but that ‘but’ adds a Gricean ‘conventional implicature’ to ‘and’. Frege thought that the implicature attached to ‘but’ was that the second clause is unlikely given the first; others have simply said they express a contrast between the two. Though the second formulation may seem more general, in practice writers seem to agree with Frege's idea. The present (...) note will argue against this conventional view. Indeed, ‘and’ and ‘but’ may both convey conflicting implicatures; and the traditional characterization of the implicature of ‘but’ is outright mistaken, or at least misleading. (shrink)

Various syntacticians have argued that coordinate structures involve a three-dimensional syntactic structure. This paper proposes an interpretation of three-dimensional syntactic structures in terms of plural reference and argues that such structures give further support for plural reference, the view that plural terms refer to several entities at once, rather than referring to a single plural individual.

In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them discusses (...) our main question. This is why we finally turn to the analysis of the truth-conditions for conjunction and disjunction in infectious logics, employing the framework of plurivalent logics, as discussed by Priest. In doing so, we arrive at the interesting conclusion that —in the context of infectious logics— conjunction is conjunction, whereas disjunction is not disjunction. (shrink)

This paper proposes a semantics for free choice permission that explains both the non-classical behavior of modals and disjunction in sentences used to grant permission, and their classical behavior under negation. It also explains why permissions can expire when new information comes in and why free choice arises even when modals scope under disjunction. On the proposed approach, deontic modals update preference orderings, and connectives operate on these updates rather than propositions. The success of this approach stems from its capacity (...) to capture the difference between expressing the preferences that give rise to permissions and conveying propositions about those preferences. (shrink)

Observe that complement questions can be either directly or indirectly conjoined, but they can only be indirectly disjoined. • What theories of questions and coordination predict this difference? • Look at Partition theory (Groenendijk & Stokhof 1984) and Inquisitive Semantics (Groenendijk & Roelofsen 2009, Ciardelli et al. 2012).

In many languages, the same particles that form quantifier words also serve as connectives, additive and scalar particles, question markers, roots of existential verbs, and so on. Do these have a unified semantics, or do they merely bear a family resemblance? Are they aided by silent operators in their varied roles―if yes, what operators? I dub the particles “quantifier particles” and refer to them generically with capitalized versions of the Japanese morphemes. I argue that both MO and KA can be (...) assigned a stable semantics across their various roles. The specific analysis I offer is motivated by the fact that MO and KA often combine with just one argument; I propose that this is their characteristic behavior. Their role is to impose semantic requirements that are satisfied when the immediately larger context is interpreted as the meet/join of their host’s semantic contribution with something else. They do not perform meet/join themselves. The obligatory vs. optional appearance of the particles depends on whether the meet/join interpretations arise by default in the given constellation. I explicate the proposal using the toolkit of basic Inquisitive Semantics. (shrink)

We argue that giving up on the closure of rational belief under conjunction comes with a substantial price. Either rational belief is closed under conjunction, or else the epistemology of belief has a serious diachronic deficit over and above the synchronic failures of conjunctive closure. The argument for this, which can be viewed as a sequel to the preface paradox, is called the ‘review paradox'; it is presented in four distinct, but closely related versions.

There are certain uses of and and or that cannot be explained by their normal meanings as truth-functional connectives, even with sophisticated pragmatic resources. These include examples such as The cops show up, and a fight will break out (‘If the cops show up, a fight will break out’), and I have no friends, or I would throw a party (‘I have no friends. If I did have friends, I would throw a party.’). We argue that these uses are indeed (...) distinct from the more ordinary uses of and and or, but that they are nonetheless related in a principled way. To explain them we give an analysis of what we call the dynamic effects of connectives, which arise in all their uses. The special uses at issue are then argued to be instances where the connectives exhibit their dynamic effects without their truth-conditional meaning. (shrink)

ABSTRACT: The 3rd BCE Stoic logician "Chrysippus says that the number of conjunctions constructible from ten propositions exceeds one million. Hipparchus refuted this, demonstrating that the affirmative encompasses 103,049 conjunctions and the negative 310,952." After laying dormant for over 2000 years, the numbers in this Plutarch passage were recently identified as the 10th (and a derivative of the 11th) Schröder number, and F. Acerbi showed how the 2nd BCE astronomer Hipparchus could have calculated them. What remained unexplained is why Hipparchus’ (...) logic differed from Stoic logic, and consequently, whether Hipparchus actually refuted Chrysippus. This paper closes these explanatory gaps. (1) I reconstruct Hipparchus’ notions of conjunction and negation, and show how they differ from Stoic logic. (2) Based on evidence from Stoic logic, I reconstruct Chrysippus’ calculations, thereby (a) showing that Chrysippus’ claim of over a million conjunctions was correct; and (b) shedding new light on Stoic logic and – possibly – on 3rd century BCE combinatorics. (3) Using evidence about the developments in logic from the 3rd to the 2nd centuries, including the amalgamation of Peripatetic and Stoic theories, I explain why Hipparchus, in his calculations, used the logical notions he did, and why he may have thought they were Stoic. OPEN ACCESS LINK. (shrink)

Using conjunction as an example, I show a technical and philosophical problem when trying to conciliate the currently prevailing views on the meaning of logical connectives: the inferientialist (also called 'syntactic') one based on introduction and elimination rules, and the representationalist (also called 'semantic') one given through truth tables. Mostly I show that the widespread strategy of using the truth theoretical definition of logical consequence to collapse both definitions must be rejected by inferentialists. An important consequence of my argument is (...) that there are different notions of conjunction at play in standard first order logic, and that the technical and philosophical connections between them are far from well established. (shrink)

Logical connectives (otherwise known as 'logical constants' or 'logical particles') have seemed challenging to philosophers of language. This article gives a concise account of logical connectives.

Because the conjunction pandq implies p, the value of a bet on pandq cannot exceed the value of a bet on p at the same stakes. We tested recognition of this principle in a betting paradigm that (a) discouraged misreading p as pandnotq, and (b) encouraged genuinely conjunctive reading of pandq. Frequent violations were nonetheless observed. The findings appear to discredit the idea that most people spontaneously integrate the logic of conjunction into their assessments of chance.

The central topic of this inquiry is a cross-linguistic contrast in the interaction of conjunction and negation. In Hungarian (Russian, Serbian, Italian, Japanese), in contrast to English (German), negated definite conjunctions are naturally and exclusively interpreted as `neither’. It is proposed that Hungarian-type languages conjunctions simply replicate the behavior of plurals, their closest semantic relatives. More puzzling is why English-type languages present a different range of interpretations. By teasing out finer distinctions in focus on connectives, syntactic structure, and context, the (...) paper tracks down missing readings and argues that it is eventually not necessary to postulate a radical cross-linguistic semantic difference. In the course of making that argument it is observed that negated conjunctions on the `neither’ reading carry the expectation that the predicate hold of both conjuncts. The paper investigates several hypotheses concerning the source of this expectation. (shrink)

It is easy to construct pairs of sentences X, Y that lead many people to ascribe higher probability to the conjunction X‐and‐Y than to the conjuncts X, Y. Whether an error is thereby committed depends on reasoners' interpretation of the expressions “probability” and “and.” We report two experiments designed to clarify the normative status of typical responses to conjunction problems.

In the first part of this article, we show that, contrary to the Gricean tradition, inter-clausal and is not semantically equivalent to logical conjunction and, contrary to temporal approaches such as Bar-Levand Palacas 1980, it is not temporallyloaded. We then explore a commonsenseidea – namely that while sentence juxtaposition might be interpreted either as discourse coordination or subordination, and indicates coordination. SDRT already includes notions of coordinating and subordinating discourse relations (cf. Lascarides and Asher 1993, Asher 1993), and the meaning (...) of and is related to this distinction. Similar distinctions that play a crucial role in anaphora resolution have also appeared in AI – cf. Scha and Polanyi 1988, or Webber 1991. However, this discourse-structure-based distinction has not been well defined yet, and our approach provides independent motivation for it. This paper argues that the semantics of and includes a notion of coordination expressed as the requirement of a Coordinated Discourse Topic (CDT).CDT characterizes aclass of discourse relations, among which are Narration and Result.Once the basic semanticcontribution of and is isolated, effects related to its presence such as changes in temporal structure, blocking of a Discourse Relation, or conditional meanings are shown to follow from the defeasiblearchitecture set up by SDRT. (shrink)

I argue that the conjunctive distribution of permissibility over or, which is a puzzling feature of free-choice permission is just one instance of a more general class of conjunctive occurrences of the word, and that these conjunctive uses are more directly explicable by the consideration that or is a descendant of oper than by reference to the disjunctive occurrences which logicalist prejudices may tempt us to regard as semantically more fundamental. I offer an account of how the disjunctive uses of (...) or may have come about through an intermediate discourse-adverbial use of or, drawing a parallel with but, which, etymologically, is disjunctive rather than conjunctive and whose conjunctive uses seem to represent just such a discourse-adverbial application. (shrink)

This is a comprehensive study of the English word 'or', and the logical operators variously proposed to present its meaning. Although there are indisputably disjunctive uses of or in English, it is a mistake to suppose that logical disjunction represents its core meaning. 'Or' is descended from the Anglo-Saxon word meaning second, a form which survives in such expressions as "every other day." Its disjunctive uses arise through metalinguistic applications of an intermediate adverbial meaning which is conjunctive rather than disjunctive (...) in character. These conjunctive uses have puzzled philosophers and logicians, and have been discussed extensively under such headings as "free choice permission." This study examines the textbook myths that have clouded our understanding of how or and other "logical" vocabulary comes to have something approaching its logical meaning in natural languages. It considers the various historical conceptions of disjunction and its place in logic from the Stoics to the present day. (shrink)

Plurality, Conjunction and Events presents a novel theory of plural and conjoined phrases, in an event-based semantic framework. It begins by reviewing options for treating the alternation between `collective' and `distributive' readings of sentences containing plural or conjoined noun phrases, including analyses from both the modern and the premodern literature. It is argued that plural and conjoined noun phrases are unambiguously group-denoting, and that the collective/distributive distinction therefore must be located in the predicates with which these noun phrases combine. More (...) specifically, predicates must have a hidden argument place for events; the collective/distributive distinction may then be represented in the part/whole structure of these events. This allows a natural treatment of `collectivizing' adverbial expressions, and of `pluractional' affixes; it also allows a unified semantics for conjunction, in which conjoined sentences and predicates denote groups of events, much like conjoined noun phrases denote groups of individuals. (shrink)

In this paper we introduce a theoretical framework and a logical application for analysing the semantics and pragmatics of contrastive conjunctions in natural language. It is shown how expressions like although, nevertheless, yet, and but are semantically definable as connectives using an operator for implication in natural language and how similar pragmatic principles affect the behaviour of both contrastive conjunctions and indicative conditionals. Following previous proposals, conditions on contrast in a conjunction are analysed as presuppositions of die conjunction. Further linguistic (...) evidence leads to a distinction between restrictive and non-restrictive connectives of contrast, and consequently between direct and indirect contrast, which are given a precise definition. A general interface for a theory of contrast using possible world semantics for implication is then presented. As a test case, we show how this interface is applicable to the semantics for conditionals that was introduced by Veltman in his article 'Data semantics and the pragmatics of indicative conditionals' (1986). This application yields an extension of Veltman's Data Logic, called Contrastive Data Logic Once appropriate modifications are added to Veltman's pragmatic considerations, we show that contrastive data logic provides an adequate tool for the analysis of substantial linguistic data concerning contrast and implication in natural language. (shrink)

In this paper we study the relations between the fragment L of classical logic having just conjunction and disjunction and the variety D of distributive lattices, within the context of Algebraic Logic. We prove that these relations cannot be fully expressed either with the tools of Blok and Pigozzi's theory of algebraizable logics or with the use of reduced matrices for L. However, these relations can be naturally formulated when we introduce a new notion of model of a sequent calculus. (...) When applied to a certain natural calculus for L, the resulting models are equivalent to a class of abstract logics (in the sense of Brown and Suszko) which we call distributive. Among other results, we prove that D is exactly the class of the algebraic reducts of the reduced models of L, that there is an embedding of the theories of L into the theories of the equational consequence (in the sense of Blok and Pigozzi) relative to D, and that for any algebra A of type (2,2) there is an isomorphism between the D-congruences of A and the models of L over A. In the second part of this paper (which will be published separately) we will also apply some results to give proofs with a logical flavour for several new or well-known lattice-theoretical properties. (shrink)

Argues for an assimilation of sentential and predicate conjunction to collective conjunction, based on modification of predicates by adverbs such as 'alternately'.

Syntacticians have proposed three-dimensional syntactic structures to account for the peculiarities of coordination. This paper proposes a way of interpreting such structures and gives an account of sentences of the sort 'John bought and Mary sold a total of ten cars' based on a notion of 'implicit' coordination.

This thesis explores the syntax and semantics of coordinate structures on the basis of three-dimensional syntactic structures. In particular it gives an analysis of sentences of the sort 'a man came and a woman left who knew each other well' on the basis of implicit coordination of NPs, made available within three-dimensionional syntactic structures..

In this paper we study the relations between the fragment L of classical logic having just conjunction and disjunction and the variety D of distributive lattices, within the context of Algebraic Logic. We prove that these relations cannot be fully expressed either with the tools of Blok and Pigozzi's theory of algebraizable logics or with the use of reduced matrices for L. However, these relations can be naturally formulated when we introduce a new notion of model of a sequent calculus. (...) When applied to a certain natural calculus for L, the resulting models are equivalent to a class of abstract logics (in the sense of Brown and Suszko) which we call distributive. Among other results, we prove that D is exactly the class of the algebraic reducts of the reduced models of L, that there is an embedding of the theories of L into the theories of the equational consequence (in the sense of Blok and Pigozzi) relative to D, and that for any algebra A of type (2,2) there is an isomorphism between the D-congruences of A and the models of L over A. In the second part of this paper (which will be published separately) we will also apply some results to give proofs with a logical flavour for several new or well-known lattice-theoretical properties. (shrink)

In this paper we address some central problems of combination of logics through the study of a very simple but highly informative case, the combination of the logics of disjunction and conjunction. At first it seems that it would be very easy to combine such logics, but the following problem arises: if we combine these logics in a straightforward way, distributivity holds. On the other hand, distributivity does not arise if we use the usual notion of extension between consequence relations. (...) A detailed discussion about this phenomenon, as well as some possible solutions for it, are given. (shrink)

Psychological experirnents have repeatedly shown that in judging the likelihood of uncertain events people do not follow the principles of probability theory. A notorious example is given by the so called conjunction fallacy. In this paper I argue that this fallacy is not really a fallacy when it is analysed in the light of a dynamic theory of default reasoning. The question that immediately rises is whether the fact that this theory conforms better to the way people actually think provides (...) a reason to prefer it to probability theory. (shrink)