Order:
See also
Rea Golan
Freie Universität Berlin
  1. Metainferences From a Proof-Theoretic Perspective, and a Hierarchy of Validity Predicates.Rea Golan - forthcoming - Journal of Philosophical Logic 1:1-31.
    I explore, from a proof-theoretic perspective, the hierarchy of classical and paraconsistent logics introduced by Barrio, Pailos and Szmuc in. First, I provide sequent rules and axioms for all the logics in the hierarchy, for all inferential levels, and establish soundness and completeness results. Second, I show how to extend those systems with a corresponding hierarchy of validity predicates, each one of which is meant to capture “validity” at a different inferential level. Then, I point out two potential philosophical implications (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  46
    There is No Tenable Notion of Global Metainferential Validity.Rea Golan - 2021 - Analysis 81 (3):411-420.
    The use of models to assign truth values to sentences and to counterexemplify invalid inferences is a basic feature of model theory. Yet sentences and inferences are not the only phenomena that model theory has to take care of. In particular, the development of sequent calculi raises the question of how metainferences are to be accounted for from a model-theoretic perspective. Unfortunately there is no agreement on this matter. Rather, one can find in the literature two competing model-theoretic notions of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. A Simple Sequent System for Minimally Inconsisteny LP.Rea Golan - forthcoming - Review of Symbolic Logic:1-16.
    Minimally inconsistent LP (MiLP) is a nonmonotonic paraconsistent logic based on Graham Priest's logic of paradox (LP). Unlike LP, MiLP purports to recover, in consistent situations, all of classical reasoning. The present paper conducts a proof-theoretic analysis of MiLP. I highlight certain properties of this logic, introduce a simple sequent system for it, and establish soundness and completeness results. In addition, I show how to use my proof system in response to a criticism of this logic put forward by JC (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  47
    Reasoning and Grasping Objects.Rea Golan - 2021 - European Journal of Philosophy 29 (4):699-711.
    There is a pervasive view that inference—as opposed, notably, to a grasp of objects—is an intralinguistic process that does not draw on extralinguistic resources. The present paper aims to show that this dichotomy between inferring and grasping objects can be resisted. Specifically, I offer an alternative view: a phenomenological account according to which our most basic inferences draw on our grasp of objects. I motivate this account on the grounds that, although it is restricted to such basic inferences, it has (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  73
    Is There a Neutral Metalanguage?Rea Golan - 2019 - Synthese 198 (Suppl 20):4831-4858.
    Logical pluralists are committed to the idea of a neutral metalanguage, which serves as a framework for debates in logic. Two versions of this neutrality can be found in the literature: an agreed upon collection of inferences, and a metalanguage that is neutral as such. I discuss both versions and show that they are not immune to Quinean criticism, which builds on the notion of meaning. In particular, I show that the first version of neutrality is sub-optimal, and hard to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark