Year:

Forthcoming articles
  1.  11
    Guillermo Badia (forthcoming). The Relevant Fragment of First Order Logic. Review of Symbolic Logic:1-24.
    Under a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulations. Furthermore, the properties of pointed models axiomatizable by sets of propositional relevant formulas have a purely algebraic characterization. Finally, a form of the interpolation property holds for the relevant fragment of first order logic.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  2.  32
    Michael Caie (forthcoming). Agreement Theorems for Self-Locating Belief. Review of Symbolic Logic.
  3. Hartry Field (forthcoming). Indicative Conditionals, Restricted Quantifiers and Naive Truth. Review of Symbolic Logic:1-28.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4.  88
    Peter Fritz (forthcoming). Propositional Contingentism. Review of Symbolic Logic:1-20.
    According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is to explain, expand, (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  10
    Luca Incurvati & Benedikt Löwe (forthcoming). Restrictiveness Relative to Notions of Interpretation. Review of Symbolic Logic.
    Maddy gave a semi-formal account of restrictiveness by defining a formal notion based on a class of interpretations and explaining how to handle false positives and false negatives. Recently, Hamkins pointed out some structural issues with Maddy's definition. We look at Maddy's formal definitions from the point of view of an abstract interpretation relation. We consider various candidates for this interpretation relation, including one that is close to Maddy's original notion, but fixes the issues raised by Hamkins. Our work brings (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  6.  13
    Benjamin G. Rin & Sean Walsh (forthcoming). Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction. Review of Symbolic Logic.
    A semantics for quantified modal logic is presented that is based on Kleene's notion of realizability. This semantics generalizes Flagg's 1985 construction of a model of a modal version of Church's Thesis and first-order arithmetic. While the bulk of the paper is devoted to developing the details of the semantics, to illustrate the scope of this approach, we show that the construction produces (i) a model of a modal version of Church's Thesis and a variant of a modal set theory (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  85
    Robert Williams (forthcoming). Degree Supervaluational Logic. Review of Symbolic Logic.
    Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the barebones idea to include a characterization of logical consequence. In a recent paper, Achille Varzi writes: it is pretty clear that there is not just one supervaluational semantics out there–there are lots of such semantics; and although it is true that they all exploit the same insight, their relative differences are by no means immaterial . . . a (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  12
    Jacopo Amidei, Duccio Pianigiani, Luca San Mauro, Giulia Simi & Andrea Sorbi (forthcoming). Trial and Error Mathematics I: Dialectical and Quasidialectical Systems. Review of Symbolic Logic:1-26.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  40
    Fabrice Correia (forthcoming). On the Logic of Factual Equivalence. Review of Symbolic Logic:1-20.
    Say that two sentences are factually equivalent when they describe the same facts or situations, understood as worldly items, i.e. as bits of reality rather than as representations of reality. The notion of factual equivalence is certainly of central interest to philosophical semantics, but it plays a role in a much wider range of philosophical areas. What is the logic of factual equivalence? This paper attempts to give a partial answer to this question, by providing an answer the following, more (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  15
    David R. Gilbert & Giorgio Venturi (forthcoming). Reflexive-Insensitive Modal Logics. Review of Symbolic Logic:1-14.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  3
    Joseph Y. Halpern (forthcoming). Appropriate Causal Models and the Stability of Causation. Review of Symbolic Logic:1-27.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  14
    Sara Negri & Giorgio Sbardolini (forthcoming). Proof Analysis for Lewis Counterfactuals. Review of Symbolic Logic:1-32.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  12
    Victor Pambuccian (forthcoming). The Arithmetic of the Even and the Odd. Review of Symbolic Logic:1-11.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  3
    Annika Siders (forthcoming). From Stenius’ Consistency Proof to Schütte’s Cut Elimination for Ω-Arithmetic. Review of Symbolic Logic:1-22.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  14
    Alan Weir (forthcoming). Informal Proof, Formal Proof, Formalism. Review of Symbolic Logic:1-21.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  6
    Jan Von Plato & Annika Siders (forthcoming). Normal Derivability in Classical Natural Deduction. Review of Symbolic Logic.
  17. E. Zardini (forthcoming). First-Order Tolerant Logics. Review of Symbolic Logic.
     
    Export citation  
     
    My bibliography   9 citations  
 Previous issues
  
Next issues