25 found
Order:
See also
Rohan French
University of California, Davis
  1. Williamson on Counterpossibles.Berto Francesco, David Ripley, Graham Priest & Rohan French - 2018 - Journal of Philosophical Logic 47 (4):693-713.
    A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  2.  73
    Structural Reflexivity and the Paradoxes of Self-Reference.Rohan French - 2016 - Ergo: An Open Access Journal of Philosophy 3.
  3.  40
    Classical Counterpossibles.Rohan French, Patrick Girard & David Ripley - 2022 - Review of Symbolic Logic 15 (1):259-275.
    We present four classical theories of counterpossibles that combine modalities and counterfactuals. Two theories are anti-vacuist and forbid vacuously true counterfactuals, two are quasi-vacuist and allow counterfactuals to be vacuously true when their antecedent is not only impossible, but also inconceivable. The theories vary on how they restrict the interaction of modalities and counterfactuals. We provide a logical cartography with precise acceptable boundaries, illustrating to what extent nonvacuism about counterpossibles can be reconciled with classical logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4. Contractions of Noncontractive Consequence Relations.Rohan French & David Ripley - 2015 - Review of Symbolic Logic 8 (3):506-528.
    Some theorists have developed formal approaches to truth that depend on counterexamples to the structural rules of contraction. Here, we study such approaches, with an eye to helping them respond to a certain kind of objection. We define a contractive relative of each noncontractive relation, for use in responding to the objection in question, and we explore one example: the contractive relative of multiplicative-additive affine logic with transparent truth, or MAALT. -/- .
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  5.  27
    A Simple Sequent Calculus for Angell’s Logic of Analytic Containment.Rohan French - 2017 - Studia Logica 105 (5):971-994.
    We give a simple sequent calculus presentation of R.B. Angell’s logic of analytic containment, recently championed by Kit Fine as a plausible logic of partial content.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  6.  68
    Notational Variance and Its Variants.Rohan French - 2019 - Topoi 38 (2):321-331.
    What does it take for two logics to be mere notational variants? The present paper proposes a variety of different ways of cashing out notational variance, in particular isolating a constraint on any reasonable account of notational variance which makes plausible that the only kinds of translations which can witness notational variance are what are sometimes called definitional translations.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  15
    Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
    This paper considers some issues to do with valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Some of what we present is known, and some even well-known; but much is new. The aim is a systematic overview of a range of results applicable to nonreflexive and nontransitive logics, as well as more familiar logics. We conclude by considering some connectives suggested by this approach.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  8.  21
    Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
    This paper considers some issues to do with valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Some of what we present is known, and some even well-known; but much is new. The aim is a systematic overview of a range of results applicable to nonreflexive and nontransitive logics, as well as more familiar logics. We conclude by considering some connectives suggested by this approach.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  32
    Paradoxes and Structural Rules From a Dialogical Perspective.Catarina Dutilh Novaes & Rohan French - 2018 - Philosophical Issues 28 (1):129-158.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  49
    Expressive Power, Mood, and Actuality.Rohan French - 2013 - Synthese 190 (9):1689-1699.
    In Wehmeier (J Philos Log 33:607–630, 2004) we are presented with the subjunctive modal language, a way of dealing with the expressive inadequacy of modal logic by marking atomic predicates as being either in the subjunctive or indicative mood. Wehmeier claims that this language is expressively equivalent to the standard actuality language, and that despite this the marked-unmarked dichotomies are not the same in the two languages. In this paper we will attend to Wehmeier’s argument that this is the case, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  22
    Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants.Rohan French - 2012 - Notre Dame Journal of Formal Logic 53 (4):549-556.
    We show that there are denumerably many Post-complete normal modal logics in the language which includes an additional propositional constant. This contrasts with the case when there is no such constant present, for which it is well known that there are only two such logics.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  63
    An Argument for the Ontological Innocence of Mereology.Rohan French - 2016 - Erkenntnis 81 (4):683-704.
    In Parts of Classes David Lewis argued that mereology is ‘ontologically innocent’, mereological notions not incurring additional ontological commitments. Unfortunately, though, Lewis’s argument for this is not fully spelled out. Here we use some formal results concerning translations between formal languages to argue for the ontological innocence of mereology directly.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  23
    A Dialogical Route to Logical Pluralism.Rohan French - 2019 - Synthese 198 (Suppl 20):4969-4989.
    This paper argues that adopting a particular dialogical account of logical consequence quite directly gives rise to an interesting form of logical pluralism, the form of pluralism in question arising out of the requirement that deductive proofs be explanatory.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  19
    Two Traditions in Abstract Valuational Model Theory.Rohan French & David Ripley - 2019 - Synthese 198 (S22):5291-5313.
    We investigate two different broad traditions in the abstract valuational model theory for nontransitive and nonreflexive logics. The first of these traditions makes heavy use of the natural Galois connection between sets of valuations and sets of arguments. The other, originating with work by Grzegorz Malinowski on nonreflexive logics, and best systematized in Blasio et al. : 233–262, 2017), lets sets of arguments determine a more restricted set of valuations. After giving a systematic discussion of these two different traditions in (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  42
    Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic.Rohan French & Lloyd Humberstone - 2009 - Australasian Journal of Logic 7:56-61.
    The purpose of the present note is to advertise an interesting conjecture concerning a well-known translation in modal logic, by confirming a (highly restricted) special case of the conjecture.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  63
    An Argument Against General Validity?Rohan French - 2012 - Thought: A Journal of Philosophy 1 (1):4-9.
    This paper argues that a prominent—and oft-thought to be persuasive—argument against general validity as the best account of validity for languages containing the actuality operator is flawed, the flaw arising out of inadequate attention to the formalisation of mood distinctions.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  1
    Tolerance and the Bounds.Rohan French - 2021 - Análisis Filosófico 41 (2):303-316.
    The present note investigates the connection between nonreflexive and nontransitive logics from a bounds-theoretic perspective. What will emerge is one way in which, if we focus on the ways in which strict and tolerant acts constrain one another, nonreflexive and nontransitive notions of consequence can be seen as simply reflecting different aspects of the same underlying reality.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  18
    In the Mood for S4: The Expressive Power of the Subjunctive Modal Language in Weak Background Logics.Rohan French - 2015 - Studia Logica 103 (2):239-263.
    Our concern here is with the extent to which the expressive equivalence of Wehmeier’s Subjunctive Modal Language and the Actuality Modal Language is sensitive to the choice of background modal logic. In particular we will show that, when we are enriching quantified modal logics weaker than S5, AML is strictly expressively stronger than SML, this result following from general considerations regarding the relationship between operators and predicate markers. This would seem to complicate arguments given in favour of SML which rely (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  18
    Metasequents and Tetravaluations.Rohan French - forthcoming - Journal of Philosophical Logic:1-24.
    In this paper we treat metasequents—objects which stand to sequents as sequents stand to formulas—as first class logical citizens. To this end we provide a metasequent calculus, a sequent calculus which allows us to directly manipulate metasequents. We show that the various metasequent calculi we consider are sound and complete w.r.t. appropriate classes of tetravaluations where validity is understood locally. Finally we use our metasequent calculus to give direct syntactic proofs of various collapse results, closing a problem left open in (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  51
    The World-Time Parallel: Tense and Modality in Logic and Metaphysics, by by A. A. Rini and M. J. Cresswell: Cambridge: Cambridge University Press, 2012, Pp. Xvii + 260, AUD$125. [REVIEW]Rohan French - 2014 - Australasian Journal of Philosophy 92 (4):802-805.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  21.  6
    Proofs and Models in Naive Property Theory: A Response to Hartry Field's ‘Properties, Propositions and Conditionals’.Greg Restall, Rohan French & Shawn Standefer - 2020 - Australasian Philosophical Review 4 (2):162-177.
    ABSTRACT In our response Field's ‘Properties, Propositions and Conditionals’, we explore the methodology of Field's program. We begin by contrasting it with a proof-theoretic approach and then commenting on some of the particular choices made in the development of Field's theory. Then, we look at issues of property identity in connection with different notions of equivalence. We close with some comments relating our discussion to Field's response to Restall’s [2010] ‘What Are We to Accept, and What Are We to Reject, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  44
    A Simplified Embedding of E Into Monomodal K.Rohan French - 2009 - Logic Journal of the IGPL 17 (4):421-428.
    In this paper we will provide a modal-to-modal translational embedding of E into K, simplifying a similar result which is obtainable using a novel translation due to S.K. Thomason.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  30
    A Sequent Calculus for Urn Logic.Rohan French - 2015 - Journal of Logic, Language and Information 24 (2):131-147.
    Approximately speaking, an urn model for first-order logic is a model where the domain of quantification changes depending on the values of variables which have been bound by quantifiers previously. In this paper we introduce a model-changing semantics for urn-models, and then give a sequent calculus for urn logic by introducing formulas which can be read as saying that “after the individuals a1,..., an have been drawn, A is the case”.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  24.  17
    An Observation Concerning Porte's Rule in Modal Logic.Rohan French & Lloyd Humberstone - 2015 - Bulletin of the Section of Logic 44 (1/2):25-31.
    It is well known that no consistent normal modal logic contains (as theorems) both ♦A and ♦¬A (for any formula A). Here we observe that this claim can be strengthened to the following: for any formula A, either no consistent normal modal logic contains ♦A, or else no consistent normal modal logic contains ♦¬A.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  25
    A Note on the Logic of Eventual Permanence for Linear Time.Rohan French - 2008 - Notre Dame Journal of Formal Logic 49 (2):137-142.
    In a paper from the 1980s, Byrd claims that the logic of "eventual permanence" for linear time is KD5. In this note we take up Byrd's novel argument for this and, treating the problem as one concerning translational embeddings, show that rather than KD5 the correct logic of "eventual permanence" is KD45.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark