Results for 'Taishi Kurahashi'

25 found
Order:
  1.  5
    Arithmetical Completeness Theorem for Modal Logic $$Mathsf{}$$.Taishi Kurahashi - 2018 - Studia Logica 106 (2):219-235.
    We prove that for any recursively axiomatized consistent extension T of Peano Arithmetic, there exists a \ provability predicate of T whose provability logic is precisely the modal logic \. For this purpose, we introduce a new bimodal logic \, and prove the Kripke completeness theorem and the uniform arithmetical completeness theorem for \.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  16
    Henkin Sentences and Local Reflection Principles for Rosser Provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  22
    Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
    It is widely considered that Gödel’s and Rosser’s proofs of the incompleteness theorems are related to the Liar Paradox. Yablo’s paradox, a Liar-like paradox without self-reference, can also be used to prove Gödel’s first and second incompleteness theorems. We show that the situation with the formalization of Yablo’s paradox using Rosser’s provability predicate is different from that of Rosser’s proof. Namely, by using the technique of Guaspari and Solovay, we prove that the undecidability of each instance of Rosser-type formalizations of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  9
    Generalizations of Gödel’s Incompleteness Theorems for ∑N-Definable Theories of Arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2017 - Review of Symbolic Logic 10 (4):603-616.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  7
    Arithmetical Soundness and Completeness for $$Varvec{Sigma }_{Varvec{2}}$$ Numerations.Taishi Kurahashi - 2018 - Studia Logica 106 (6):1181-1196.
    We prove that for each recursively axiomatized consistent extension T of Peano Arithmetic and \, there exists a \ numeration \\) of T such that the provability logic of the provability predicate \\) naturally constructed from \\) is exactly \ \rightarrow \Box p\). This settles Sacchetti’s problem affirmatively.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  43
    On Proofs of the Incompleteness Theorems Based on Berry's Paradox by Vopěnka, Chaitin, and Boolos.Makoto Kikuchi, Taishi Kurahashi & Hiroshi Sakai - 2012 - Mathematical Logic Quarterly 58 (4-5):307-316.
    By formalizing Berry's paradox, Vopěnka, Chaitin, Boolos and others proved the incompleteness theorems without using the diagonal argument. In this paper, we shall examine these proofs closely and show their relationships. Firstly, we shall show that we can use the diagonal argument for proofs of the incompleteness theorems based on Berry's paradox. Then, we shall show that an extension of Boolos' proof can be considered as a special case of Chaitin's proof by defining a suitable Kolmogorov complexity. We shall show (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  10
    Universal Rosser Predicates.Makoto Kikuchi & Taishi Kurahashi - 2017 - Journal of Symbolic Logic 82 (1):292-302.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  7
    Rosser Provability and Normal Modal Logics.Taishi Kurahashi - forthcoming - Studia Logica:1-21.
    In this paper, we investigate Rosser provability predicates whose provability logics are normal modal logics. First, we prove that there exists a Rosser provability predicate whose provability logic is exactly the normal modal logic \. Secondly, we introduce a new normal modal logic \ which is a proper extension of \, and prove that there exists a Rosser provability predicate whose provability logic includes \.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  6
    Three Short Stories Around Gödel's Incompleteness Theorems.Makoto Kikuchi & Taishi Kurahashi - 2011 - Journal of the Japan Association for Philosophy of Science 38 (2):75-80.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  13
    Arithmetical Interpretations and Kripke Frames of Predicate Modal Logic of Provability.Taishi Kurahashi - 2013 - Review of Symbolic Logic 6 (1):1-18.
    Solovay proved the arithmetical completeness theorem for the system GL of propositional modal logic of provability. Montagna proved that this completeness does not hold for a natural extension QGL of GL to the predicate modal logic. Let Th(QGL) be the set of all theorems of QGL, Fr(QGL) be the set of all formulas valid in all transitive and conversely well-founded Kripke frames, and let PL(T) be the set of all predicate modal formulas provable in Tfor any arithmetical interpretation. Montagna’s results (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  32
    Liar-Type Paradoxes and the Incompleteness Phenomena.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Philosophical Logic 45 (4):381-398.
    We define a liar-type paradox as a consistent proposition in propositional modal logic which is obtained by attaching boxes to several subformulas of an inconsistent proposition in classical propositional logic, and show several famous paradoxes are liar-type. Then we show that we can generate a liar-type paradox from any inconsistent proposition in classical propositional logic and that undecidable sentences in arithmetic can be obtained from the existence of a liar-type paradox. We extend these results to predicate logic and discuss Yablo’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  5
    On Arithmetical Completeness of the Logic of Proofs.Sohei Iwata & Taishi Kurahashi - 2019 - Annals of Pure and Applied Logic 170 (2):163-179.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  6
    On Partial Disjunction Properties of Theories Containing Peano Arithmetic.Taishi Kurahashi - 2018 - Archive for Mathematical Logic 57 (7-8):953-980.
    Let \ be a class of formulas. We say that a theory T in classical logic has the \-disjunction property if for any \ sentences \ and \, either \ or \ whenever \. First, we characterize the \-disjunction property in terms of the notion of partial conservativity. Secondly, we prove a model theoretic characterization result for \-disjunction property. Thirdly, we investigate relationships between partial disjunction properties and several other properties of theories containing Peano arithmetic. Finally, we investigate unprovability of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  6
    Illusory Models of Peano Arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Symbolic Logic 81 (3):1163-1175.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  16
    On Predicate Provability Logics and Binumerations of Fragments of Peano Arithmetic.Taishi Kurahashi - 2013 - Archive for Mathematical Logic 52 (7-8):871-880.
    Solovay proved (Israel J Math 25(3–4):287–304, 1976) that the propositional provability logic of any ∑2-sound recursively enumerable extension of PA is characterized by the propositional modal logic GL. By contrast, Montagna proved in (Notre Dame J Form Log 25(2):179–189, 1984) that predicate provability logics of Peano arithmetic and Bernays–Gödel set theory are different. Moreover, Artemov proved in (Doklady Akademii Nauk SSSR 290(6):1289–1292, 1986) that the predicate provability logic of a theory essentially depends on the choice of a binumeration of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  2
    Provability Logics Relative to a Fixed Extension of Peano Arithmetic.Taishi Kurahashi - 2018 - Journal of Symbolic Logic 83 (3):1229-1246.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. On Rosser's Provability Predicates.Taishi Kurahashi - 2014 - Journal of the Japan Association for Philosophy of Science 41 (2):93-101.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  18
    Pharmacists Contribute to the Improved Efficiency of Medical Practices in the Outpatient Cancer Chemotherapy Clinic.Hirotoshi Iihara, Masashi Ishihara, Katsuhiko Matsuura, Sayoko Kurahashi, Takao Takahashi, Yoshihiro Kawaguchi, Kazuhiro Yoshida & Yoshinori Itoh - 2012 - Journal of Evaluation in Clinical Practice 18 (4):753-760.
  19.  8
    Group-Based Image Retrieval Method for Video Image Annotation.Noboru Murabayashi, Setsuya Kurahashi & Kenichi Yoshida - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24:203-213.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  3
    The Analysis of Bankruptcies’ Succession Using Inter-Bank Transactional Network Model.Morito Hashimoto & Setsuya Kurahashi - 2017 - Transactions of the Japanese Society for Artificial Intelligence 32 (5):B-H21_1-9.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  25
    Enriching Travel Guidebooks with Travel Blog Entries and Archives of Answered Question.Aya Ishino, Kazuki Fujii, Taishi Fujiwara, Tsuyoshi Maeda, Hidetsugu Nanba & Toshiyuki Takezawa - 2014 - Transactions of the Japanese Society for Artificial Intelligence 29 (3):328-342.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  5
    Preliminary Validation of Japanese Version of the Parental Burnout Inventory and Its Relationship With Perfectionism.Taishi Kawamoto, Kaichiro Furutani & Maryam Alimardani - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  16
    Relations Between Temperament, Sensory Processing, and Motor Coordination in 3-Year-Old Children.Atsuko Nakagawa, Masune Sukigara, Taishi Miyachi & Akio Nakai - 2016 - Frontiers in Psychology 7.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24.  10
    The Concept of Virtue in Compositions of Prince Shotoku.Lepekhova E. S. - 2008 - Proceedings of the Xxii World Congress of Philosophy 6:185-194.
    The theme of article is a short investigation of the problem of virtue in compositions of Prince Shotoku (Shotoku Taishi) such as “Seventeen-Article Constitution” and “Shomangyo gisho” (“Commentary on the Sri-mala Sutra”). Prince Shotoku (574 - 622) is a well-known religious leader in a history of Ancient Japan whoplayed a paramount role in Japanese Buddhism. He supervised over the construction of the first Buddhist temples and, more over, was a first Buddhist in Japan who interpreted Buddhist philosophical texts. Shotoku (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  3
    Trait Rejection Sensitivity is Associated with Vigilance and Defensive Response Rather Than Detection of Social Rejection Cues.Taishi Kawamoto, Hiroshi Nittono & Mitsuhiro Ura - 2015 - Frontiers in Psychology 6.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark