Hidenori Kurokawa [4]H. Kurokawa [1]
See also
Hidenori Kurokawa
City University of New York
  1. From the Knowability Paradox to the Existence of Proofs.W. Dean & H. Kurokawa - 2010 - Synthese 176 (2):177 - 225.
    The Knowability Paradox purports to show that the controversial but not patently absurd hypothesis that all truths are knowable entails the implausible conclusion that all truths are known. The notoriety of this argument owes to the negative light it appears to cast on the view that there can be no verification-transcendent truths. We argue that it is overly simplistic to formalize the views of contemporary verificationists like Dummett, Prawitz or Martin-Löf using the sort of propositional modal operators which are employed (...)
    Direct download (4 more)  
    Export citation  
    Bookmark   12 citations  
  2.  15
    Tableaux and Hypersequents for Justification Logics.Hidenori Kurokawa - 2012 - Annals of Pure and Applied Logic 163 (7):831-853.
  3.  49
    The Paradox of the Knower Revisited.Walter Dean & Hidenori Kurokawa - 2014 - Annals of Pure and Applied Logic 165 (1):199-224.
    The Paradox of the Knower was originally presented by Kaplan and Montague [26] as a puzzle about the everyday notion of knowledge in the face of self-reference. The paradox shows that any theory extending Robinson arithmetic with a predicate K satisfying the factivity axiom K → A as well as a few other epistemically plausible principles is inconsistent. After surveying the background of the paradox, we will focus on a recent debate about the role of epistemic closure principles in the (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   1 citation  
  4.  11
    Hypersequent Calculi for Intuitionistic Logic with Classical Atoms.Hidenori Kurokawa - 2010 - Annals of Pure and Applied Logic 161 (3):427-446.
    We discuss a propositional logic which combines classical reasoning with constructive reasoning, i.e., intuitionistic logic augmented with a class of propositional variables for which we postulate the decidability property. We call it intuitionistic logic with classical atoms. We introduce two hypersequent calculi for this logic. Our main results presented here are cut-elimination with the subformula property for the calculi. As corollaries, we show decidability, an extended form of the disjunction property, the existence of embedding into an intuitionistic modal logic and (...)
    Direct download (4 more)  
    Export citation  
  5.  2
    Review of Kazuyuki Nomoto "Frege Tetsugaku No Zenbou ". [REVIEW]Hidenori Kurokawa - 2014 - Journal of the Japan Association for Philosophy of Science 42 (1):39-54.
    No categories
    Direct download (2 more)  
    Export citation