Year:

  1.  3
    Stable Modal Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2018 - Review of Symbolic Logic 11 (3):436-469.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  5
    Triangulating Non-Archimedean Probability.Hazel Brickhill & Leon Horsten - 2018 - Review of Symbolic Logic 11 (3):519-546.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  2
    Logics for Propositional Determinacy and Independence.Valentin Goranko & Antti Kuusisto - 2018 - Review of Symbolic Logic 11 (3):470-506.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  16
    The Concept Horse is a Concept.Ansten Klev - 2018 - Review of Symbolic Logic 11 (3):547-572.
    I offer an analysis of the sentence "the concept horse is a concept". It will be argued that the grammatical subject of this sentence, "the concept horse", indeed refers to a concept, and not to an object, as Frege once held. The argument is based on a criterion of proper-namehood according to which an expression is a proper name if it is so rendered in Frege's ideography. The predicate "is a concept", on the other hand, should not be thought of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  2
    Completeness of Second-Order Propositional S4 and H in Topological Semantics.Philip Kremer - 2018 - Review of Symbolic Logic 11 (3):507-518.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  24
    Pure Logic of Iterated Full Ground.Jon Erling Litland - 2018 - Review of Symbolic Logic 11 (3):411-435.
    This article develops the Pure Logic of Iterated Full Ground (PLIFG), a logic of ground that can deal with claims of the form “ϕ grounds that (ψ grounds θ)”—what we call iterated grounding claims. The core idea is that some truths Γ ground a truth ϕ when there is an explanatory argument (of a certain sort) from premisses Γ to conclusion ϕ. By developing a deductive system that distinguishes between explanatory and nonexplanatory arguments we can give introduction rules for operators (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  28
    Reference in Arithmetic.Lavinia Picollo - 2018 - Review of Symbolic Logic 11 (3):573-603.
    Self-reference has played a prominent role in the development of metamathematics in the past century, starting with Gödel’s first incompleteness theorem. Given the nature of this and other results in the area, the informal understanding of self-reference in arithmetic has sufficed so far. Recently, however, it has been argued that for other related issues in metamathematics and philosophical logic a precise notion of self-reference and, more generally, reference is actually required. These notions have been so far elusive and are surrounded (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  8.  1
    Another Arithmetic of the Even and the Odd.Celia Schacht - 2018 - Review of Symbolic Logic 11 (3):604-608.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  6
    The Logic of Resources and Capabilities.Marta Bílková, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis & Nachoem Wijnberg - 2018 - Review of Symbolic Logic 11 (2):371-410.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  5
    An Analysis of the Rules of Gentzen’s Nj and Lj.Mirjana Borisavljević - 2018 - Review of Symbolic Logic 11 (2):347-370.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  13
    Strict Finitism, Feasibility, and the Sorites.Walter Dean - 2018 - Review of Symbolic Logic 11 (2):295-346.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  4
    Many-Valued Logic of Informal Provability: A Non-Deterministic Strategy.Pawel Pawlowski & Rafal Urbaniak - 2018 - Review of Symbolic Logic 11 (2):207-223.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  6
    Classically Archetypal Rules.Tomasz Połacik & Lloyd Humberstone - 2018 - Review of Symbolic Logic 11 (2):279-294.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  12
    The Semantics of Value-Range Names and Frege’s Proof of Referentiality.Matthias Schirn - 2018 - Review of Symbolic Logic 11 (2):224-278.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  1
    Tychonoff Hed-Spaces and Zemanian Extensions of S4.3.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2018 - Review of Symbolic Logic 11 (1):115-132.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  14
    Hilbert, Duality, and the Geometrical Roots of Model Theory.Günther Eder & Georg Schiemer - 2018 - Review of Symbolic Logic 11 (1):48-86.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  25
    Can Modalities Save Naive Set Theory?Peter Fritz, Harvey Lederman, Tiankai Liu & Dana Scott - 2018 - Review of Symbolic Logic 11 (1):21-47.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  9
    Logical Contextuality in Frege.Brice Halimi - 2018 - Review of Symbolic Logic 11 (1):1-20.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  6
    The Logic and Topology of Kant’s Temporal Continuum.Riccardo Pinosio & Michiel van Lambalgen - 2018 - Review of Symbolic Logic 11 (1):160-206.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  44
    Logicality and Meaning.Gil Sagi - 2018 - Review of Symbolic Logic 11 (1):133-159.
    In standard model-theoretic semantics, the meaning of logical terms is said to be fixed in the system while that of nonlogical terms remains variable. Much effort has been devoted to characterizing logical terms, those terms that should be fixed, but little has been said on their role in logical systems: on what fixing their meaning precisely amounts to. My proposal is that when a term is considered logical in model theory, what gets fixed is its intension rather than its extension. (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21. Believing Epistemic Contradictions.Beddor Bob & Simon Goldstein - 2018 - Review of Symbolic Logic (1):87-114.
    What is it to believe something might be the case? We develop a puzzle that creates difficulties for standard answers to this question. We go on to propose our own solution, which integrates a Bayesian approach to belief with a dynamic semantics for epistemic modals. After showing how our account solves the puzzle, we explore a surprising consequence: virtually all of our beliefs about what might be the case provide counterexamples to the view that rational belief is closed under logical (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  76
    Logic for Exact Entailment.Kit Fine & Mark Jago - 2018 - Review of Symbolic Logic.
    An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion of (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues