-
Probabilistic consequence relations
Authors:
Paul Égré,
Ellie Ripley
Abstract:
This paper investigates logical consequence defined in terms of probability distributions, for a classical propositional language using a standard notion of probability. We examine three distinct probabilistic consequence notions, which we call material consequence, preservation consequence, and symmetric consequence. While material consequence is fully classical for any threshold, preservation co…
▽ More
This paper investigates logical consequence defined in terms of probability distributions, for a classical propositional language using a standard notion of probability. We examine three distinct probabilistic consequence notions, which we call material consequence, preservation consequence, and symmetric consequence. While material consequence is fully classical for any threshold, preservation consequence and symmetric consequence are subclassical, with only symmetric consequence gradually approaching classical logic at the limit threshold equal to 1. Our results extend earlier results obtained by J. Paris in a SET-FMLA setting to the SET-SET setting, and consider open thresholds beside closed ones. In the SET-SET setting, in particular, they reveal that probability 1 preservation does not yield classical logic, but supervaluationism, and conversely positive probability preservation yields subvaluationism.
△ Less
Submitted 2 July, 2025; v1 submitted 27 November, 2024;
originally announced November 2024.
-
ST and TS as Product and Sum
Authors:
Quentin Blomet,
Paul Égré
Abstract:
The set of $\mathsf{ST}$-valid inferences is neither the intersection, nor the union of the sets of $\mathsf{K}_3$- and $\mathsf{LP}$-valid inferences, but despite the proximity to both systems, an extensional characterization of $\mathsf{ST}$ in terms of a natural set-theoretic operation on the sets of $\mathsf{K}_3$- and $\mathsf{LP}$-valid inferences is still wanting. In this paper, we show tha…
▽ More
The set of $\mathsf{ST}$-valid inferences is neither the intersection, nor the union of the sets of $\mathsf{K}_3$- and $\mathsf{LP}$-valid inferences, but despite the proximity to both systems, an extensional characterization of $\mathsf{ST}$ in terms of a natural set-theoretic operation on the sets of $\mathsf{K}_3$- and $\mathsf{LP}$-valid inferences is still wanting. In this paper, we show that it is their relational product. Similarly, we prove that the set of $\mathsf{TS}$-valid inferences can be identified using a dual notion, namely as the relational sum of the sets of $\mathsf{LP}$- and $\mathsf{K}_3$-valid inferences. We discuss links between these results and the interpolation property of classical logic. We also use those results to revisit the duality between $\mathsf{ST}$ and $\mathsf{TS}$. We present a combined notion of duality on which $\mathsf{ST}$ and $\mathsf{TS}$ are dual in exactly the same sense in which $\mathsf{LP}$ and $\mathsf{K}_3$ are dual to each other.
△ Less
Submitted 7 January, 2024;
originally announced January 2024.
-
On three-valued presentations of classical logic
Authors:
Bruno da Ré,
Damian Szmuc,
Emmanuel Chemla,
Paul Égré
Abstract:
Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the an…
▽ More
Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, in which the middle value acts like one of the classical values). For $st$, the schemes in question are the Boolean normal schemes that are either monotonic or collapsible.
△ Less
Submitted 26 December, 2023;
originally announced December 2023.
-
Truth and Falsity in Buridan's Bridge
Authors:
Paul Égré
Abstract:
This paper revisits Buridan's Bridge paradox (Sophismata, chapter 8, Sophism 17), itself close kin to the Liar paradox, a version of which also appears in Bradwardine's Insolubilia. Prompted by the occurrence of the paradox in Cervantes's Don Quixote, I discuss and compare four distinct solutions to the problem, namely Bradwardine's "just false" conception, Buridan's "contingently true/false" theo…
▽ More
This paper revisits Buridan's Bridge paradox (Sophismata, chapter 8, Sophism 17), itself close kin to the Liar paradox, a version of which also appears in Bradwardine's Insolubilia. Prompted by the occurrence of the paradox in Cervantes's Don Quixote, I discuss and compare four distinct solutions to the problem, namely Bradwardine's "just false" conception, Buridan's "contingently true/false" theory, Cervantes's "both true and false" view, and then Jacquette's "neither true simpliciter nor false simpliciter" account. All have in common to accept that the Bridge expresses a truth-apt proposition, but only the latter three endorse the transparency of truth. Against some previous commentaries I first show that Buridan's solution is fully compliant with an account of the paradox within classical logic. I then show that Cervantes's insights, as well as Jacquette's treatment, are both supportive of a dialetheist account, and Jacquette's in particular of the strict-tolerant account of truth. I defend dialetheist intuitions (whether in LP or ST guise) against two objections: one concerning the future, the other concerning the alleged simplicity of the Bridge compared to the Liar.
△ Less
Submitted 28 September, 2022; v1 submitted 21 September, 2022;
originally announced September 2022.
-
Tolerance and degrees of truth
Authors:
Pablo Cobreros,
Paul Egré,
David Ripley,
Robert van Rooij
Abstract:
This paper explores the relations between two logical approaches to vagueness: on the one hand the fuzzy approach defended by Smith (2008), and on the other the strict-tolerant approach defended by Cobreros, Egré, Ripley and van Rooij (2012). Although the former approach uses continuum many values and the latter implicitly four, we show that both approaches can be subsumed under a common three-val…
▽ More
This paper explores the relations between two logical approaches to vagueness: on the one hand the fuzzy approach defended by Smith (2008), and on the other the strict-tolerant approach defended by Cobreros, Egré, Ripley and van Rooij (2012). Although the former approach uses continuum many values and the latter implicitly four, we show that both approaches can be subsumed under a common three-valued framework. In particular, we defend the claim that Smith's continuum many values are not needed to solve what Smith calls `the jolt problem', and we show that they are not needed for his account of logical consequence either. Not only are three values enough to satisfy Smith's central desiderata, but they also allow us to internalize Smith's closeness principle in the form of a tolerance principle at the object-language. The reduction, we argue, matters for the justification of many-valuedness in an adequate theory of vague language.
△ Less
Submitted 26 July, 2022;
originally announced July 2022.
-
Certain and Uncertain Inference with Indicative Conditionals
Authors:
Paul Égré,
Lorenzo Rossi,
Jan Sprenger
Abstract:
This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by W. Cooper and yields two logics of conditional reasoning: (i) a logic C of inference from certain premises; and (ii) a logic U of inference from uncertain premises. But whereas C is monotonic for t…
▽ More
This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by W. Cooper and yields two logics of conditional reasoning: (i) a logic C of inference from certain premises; and (ii) a logic U of inference from uncertain premises. But whereas C is monotonic for the conditional, U is not, and whereas C obeys Modus Ponens, U does not without restrictions. We show systematic correspondences between trivalent and probabilistic representations of inferences in either framework, and we use the distinction between the two systems to cast light, in particular, on McGee's puzzle about Modus Ponens. The result is a unified account of the semantics and epistemology of indicative conditionals that can be fruitfully applied to analyzing the validity of conditional inferences.
△ Less
Submitted 28 April, 2023; v1 submitted 17 July, 2022;
originally announced July 2022.
-
Gibbardian Collapse and Trivalent Conditionals
Authors:
Paul Egré,
Lorenzo Rossi,
Jan Sprenger
Abstract:
This paper discusses the scope and significance of the so-called triviality result stated by Allan Gibbard for indicative conditionals, showing that if a conditional operator satisfies the Law of Import-Export, is supraclassical, and is stronger than the material conditional, then it must collapse to the material conditional. Gibbard's result is taken to pose a dilemma for a truth-functional accou…
▽ More
This paper discusses the scope and significance of the so-called triviality result stated by Allan Gibbard for indicative conditionals, showing that if a conditional operator satisfies the Law of Import-Export, is supraclassical, and is stronger than the material conditional, then it must collapse to the material conditional. Gibbard's result is taken to pose a dilemma for a truth-functional account of indicative conditionals: give up Import-Export, or embrace the two-valued analysis. We show that this dilemma can be averted in trivalent logics of the conditional based on Reichenbach and de Finetti's idea that a conditional with a false antecedent is undefined. Import-Export and truth-functionality hold without triviality in such logics. We unravel some implicit assumptions in Gibbard's proof, and discuss a recent generalization of Gibbard's result due to Branden Fitelson.
△ Less
Submitted 15 June, 2020;
originally announced June 2020.
-
De Finettian Logics of Indicative Conditionals
Authors:
Paul Egré,
Lorenzo Rossi,
Jan Sprenger
Abstract:
This paper explores trivalent truth conditions for indicative conditionals, examining the "defective" table put forward by de Finetti 1936, as well as Reichenbach 1944, first sketched in Reichenbach 1935. On their approach, a conditional takes the value of its consequent whenever its antecedent is True, and the value Indeterminate otherwise. Here we deal with the problem of choosing an adequate no…
▽ More
This paper explores trivalent truth conditions for indicative conditionals, examining the "defective" table put forward by de Finetti 1936, as well as Reichenbach 1944, first sketched in Reichenbach 1935. On their approach, a conditional takes the value of its consequent whenever its antecedent is True, and the value Indeterminate otherwise. Here we deal with the problem of choosing an adequate notion of validity for this conditional. We show that all standard trivalent schemes are problematic, and highlight two ways out of the predicament: one pairs de Finetti's conditional (DF) with validity as the preservation of non-False values (TT-validity), but at the expense of Modus Ponens; the other modifies de Finetti's table to restore Modus Ponens. In Part I of this paper, we present both alternatives, with specific attention to a variant of de Finetti's table (CC) proposed by Cooper 1968 and Cantwell 2008. In Part II, we give an in-depth treatment of the proof theory of the resulting logics, DF/TT and CC/TT: both are connexive logics, but with significantly different algebraic properties.
△ Less
Submitted 26 July, 2019; v1 submitted 29 January, 2019;
originally announced January 2019.
-
From Many-Valued Consequence to Many-Valued Connectives
Authors:
Emmanuel Chemla,
Paul Egré
Abstract:
Given a consequence relation in many-valued logic, what connectives can be defined? For instance, does there always exist a conditional operator internalizing the consequence relation, and which form should it take? In this paper, we pose this question in a multi-premise multi-conclusion setting for the class of so-called intersective mixed consequence relations, which extends the class of Tarskia…
▽ More
Given a consequence relation in many-valued logic, what connectives can be defined? For instance, does there always exist a conditional operator internalizing the consequence relation, and which form should it take? In this paper, we pose this question in a multi-premise multi-conclusion setting for the class of so-called intersective mixed consequence relations, which extends the class of Tarskian relations. Using computer-aided methods, we answer extensively for 3-valued and 4-valued logics, focusing not only on conditional operators, but on what we call Gentzen-regular connectives (including negation, conjunction, and disjunction). For arbitrary N-valued logics, we state necessary and sufficient conditions for the existence of such connectives in a multi-premise multi-conclusion setting. The results show that mixed consequence relations admit all classical connectives, and among them pure consequence relations are those that admit no other Gentzen-regular connectives. Conditionals can also be found for a broader class of intersective mixed consequence relations, but with the exclusion of order-theoretic consequence relations.
△ Less
Submitted 25 July, 2019; v1 submitted 4 September, 2018;
originally announced September 2018.
-
Suszko's Problem: Mixed Consequence and Compositionality
Authors:
Emmanuel Chemla,
Paul Egré
Abstract:
Suszko's problem is the problem of finding the minimal number of truth values needed to semantically characterize a syntactic consequence relation. Suszko proved that every Tarskian consequence relation can be characterized using only two truth values. Malinowski showed that this number can equal three if some of Tarski's structural constraints are relaxed. By so doing, Malinowski introduced a cas…
▽ More
Suszko's problem is the problem of finding the minimal number of truth values needed to semantically characterize a syntactic consequence relation. Suszko proved that every Tarskian consequence relation can be characterized using only two truth values. Malinowski showed that this number can equal three if some of Tarski's structural constraints are relaxed. By so doing, Malinowski introduced a case of so-called mixed consequence, allowing the notion of a designated value to vary between the premises and the conclusions of an argument. In this paper we give a more systematic perspective on Suszko's problem and on mixed consequence. First, we prove general representation theorems relating structural properties of a consequence relation to their semantic interpretation, uncovering the semantic counterpart of substitution-invariance, and establishing that (intersective) mixed consequence is fundamentally the semantic counterpart of the structural property of monotonicity. We use those to derive maximum-rank results proved recently in a different setting by French and Ripley, as well as by Blasio, Marcos and Wansing, for logics with various structural properties (reflexivity, transitivity, none, or both). We strengthen these results into exact rank results for non-permeable logics (roughly, those which distinguish the role of premises and conclusions). We discuss the underlying notion of rank, and the associated reduction proposed independently by Scott and Suszko. As emphasized by Suszko, that reduction fails to preserve compositionality in general, meaning that the resulting semantics is no longer truth-functional. We propose a modification of that notion of reduction, allowing us to prove that over compact logics with what we call regular connectives, rank results are maintained even if we request the preservation of truth-functionality and additional semantic properties.
△ Less
Submitted 9 February, 2019; v1 submitted 25 July, 2017;
originally announced July 2017.
