Shunsuke Yatabe

J-GLOBAL         Last updated: Apr 27, 2019 at 09:18
 
Avatar
Name
Shunsuke Yatabe
Affiliation
West Japan Railway Company
Section
R&D section
Degree
Dr. (Sci)
Other affiliation
Kyoto University

Profile

I am a logician, and I am interested in logical theories of the circular phenomenon. So I am studying set theories and truth theories within non-classical logics.
The study of logical theories of the circularity is important not only in logic but also in computer science. For, one of the key concepts, the recursion, has a circular nature since we should calculate the value of 2+1 in order to calculate the value of 2+2. However, it is well-known that the full form of the circularity implies a contradiction, e.g. Russell paradox, the comprehension principle which guarantees the existence of term {x : P(x)} for any formula P(x) implies a contradiction, or the liar paradox in truth theories with full T-scheme in classical logic. Therefore we have to restrict the form of the recursion to have a consistent theory if we keep classical logic.
It is well-known that both the comprehension principle and the full T-scheme do not imply a contradiction in many non-classical logics. These theories allow a very strong form of the circularity, namely a general form of the recursive definition in set theories in substructural logics, and co-inductive definitions in fuzzy truth theories. Such form of the circularity is not only interesting as itself, but also worth studying, for it is an ideal generalization of recursion in classical recursion theory.

Research Areas

 
 

Academic & Professional Experience

 
Apr 2015
 - 
Today
R&D department, West japan Railway Company
 
Apr 2014
 - 
Today
Research fellow, Center for Applied Philosophy & Ethics, Graduate School of Letters, Kyoto University
 
Apr 2013
 - 
Mar 2015
R&D department, West Japan Railway Company
 
Apr 2012
 - 
Mar 2013
Research scientist (2), System Life-cycle group, Research institute for secure systems, AIST
 
Apr 2009
 - 
Today
part-time Lecturer, Faculty of letters, Graduate School of Kyoto University
 
Apr 2010
 - 
Mar 2012
Research scientist (2), Collaborate Research Team for Verification, AIST
 
Sep 2007
 - 
Mar 2010
Post-Doc Researcher, Research Center for Verification and Semantics (CVS), AIST
 
Apr 2007
 - 
Aug 2007
Assistant, Graduate School of Engineering, Kobe University
 
Jul 2004
 - 
Mar 2007
Research Assistant, Faculty of engineering, Kobe University
 

Published Papers

 
者 Takashi Mori, Shunsuke Yatabe, Daisuke Souma, Kenji Taguchi, Hideki Nishihara, Hidenori Kuwakado
The Proceedings of International Symposium on Seed-up and Service Technology for Railway and Maglev Systems: STECH 2015      Nov 2015   [Refereed]
Shunsuke Yatabe
Philosophy and History of Science Studies   (9)    Apr 2015   [Refereed]
Truth theories like the Friedman-Sheard’s truth theory (FS) have two rules, T-in rule and T-out rule, about introduction and elimination of the truth predicate. They look like the introduction rule and the elimination rule of a logical connective....
Shunsuke Yatabe
Logic and Engineering of Natural Language Semantics 12      Apr 2017   [Refereed]
Shunsuke Yatabe
Logic Journal of IGPL      Nov 2013   [Refereed]
We show that the crispness of ω is not provable in a constructive naive set theory CONS in FLew ∀, intuitionistic predicate logic minus the contraction rule. In the proof, we construct a circularly defined object fix, a fixed point of the successo...
MORI Takashi , Shunsuke YATABE, Hiroyuki YAMAMOTO, Takahiro ARAKAWA, Kenji TAGUCHI, Daisuke SOUMA, Izumi TAKEUTI, Sumitaka AKIBA and Hitoshi OHSAKI
Proceedings of WCRR      Oct 2013   [Refereed]
Shunsuke Yatabe
Philosophy and History of Science   7(1) 1-26   Feb 2013   [Refereed]
Recently some constructivists try to justify impredicative theories with coinduction which play a very significant role in computer science though it had been thought that predicativity is necessary for constructivity. In this paper we introduce t...
Shunsuke Yatabe
New Frontiers in Artificial Intelligence, Lecture Notes in Computer Science   7856 109-124   Jan 2013   [Refereed]
We generalize the framework of Barwise and Etchmendy’s “the liar” to that of coinductive language, and focus on two problems, the mutual identity of Yablo propositions coded by hypersets in ZFA and the difficulty of constructing semantics. We defi...
Takashi Kitamura, Ngoc Thi Bich Do, Hitoshi Ohsaki, Ling Fang, and Shunsuke Yatabe
Springer Lecture Notes in Computer Science   7609 458-473   Sep 2012   [Refereed]
Shunsuke Yatabe
6 1-15   Feb 2012   [Refereed]
In his 2003 paper, Peacocke insisted that our implicit conception of natural numbers essentially uses a primitive recursion which consists of three clauses, and claimed that this excludes the non-standard models of natural numbers. In this article...
Shunsuke Yatabe
The proceedings of MoL12, FoLLI LNAI, Springer Lecture Notes in Computer Science   6878    Sep 2011   [Refereed]
We investigate what happens if PALTr2 , a co-inductive language, formalizes itself. We analyze the truth concept in fuzzy logics by formalizing truth degree theory in the framework of truth theories in fuzzy logics. H´ajek-Paris-Shepherdson’s para...
Shunsuke Yatabe
Springer Lecture Notes in Computer Science   6797 90-103   Jun 2011   [Refereed][Invited]
We review three pairwise similar paradoxes, the modest liar paradox, McGee’s paradox and Yablo’s paradox, which imply the ω- inconsistency. We show that is caused by the fact that co-inductive def- initions of formulae are possible because of the ...
Shunsuke Yatabe
Archive for Mathematical Logic   48(3-4) 265-268   2009   [Refereed]
We introduce the simpler and shorter proof of Hajek’s theorem that the mathematical induction on ω implies a contradiction in the set theory with the comprehension principle within Łukasiewicz predicate logic Ł{\forall} (Hajek Arch Math Logic ...
Shunsuke Yatabe
The proceedings of STFSSD 2009 IEEE Computer Society Press.      2009   [Refereed]
Shunsuke yatabe
Archive for Mathematical Logic   46 281-287   2007   [Refereed]
In H, a set theory with the comprehension principle within Łukasiewicz infinite-valued predicate logic, we prove that a statement which can be interpreted as “there is an infinite descending sequence of initial segments of ω” is truth value 1 in a...
Shunsuke Yatabe, Hiroyuki Inaoka
Journal of Philosophical Logic   35(4) 423-434   2006   [Refereed]
Gareth Evans proved that if two objects are indeterminately equal then they are different in reality. He insisted that this contradicts the assumption that there can be vague objects. However we show the consistency between Evans's proof and the e...
Shunsuke Yatabe
Logic Journal of IGPL   13(2) 261-266   Mar 2005   [Refereed]
We prove a set-theoretic version of Hájek, Paris and Shepherdson's theorem [HPS00] as follows: The set {omega} of natural numbers must contain a non-standard natural number in any natural Tarskian semantics of CL0({omega}), the set theory with com...
Jorg Brendle, Shunsuke Yatabe.
Annals of Pure and Applied Logic   132(2-3) 271-312   2005   [Refereed]
Shunsuke Yatabe, Hiroyuki Inaoka
Lecture Notes in Computer Science   3613 263-266   2005   [Refereed]
On a set theory with uncertain membership relations
Shunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi
Design and application of Hybrid Intelligent Systems   458-467   2003   [Refereed]
akanori Ambe; Shunsuke Yatabe; Yasuhiro Muneda; Yamato Fukuta; Takashi Mori; Takashi Kunifuji;
The proceedings of World Congress on Railway Research (WCRR) 2016, Milan, Italy      Jun 2016   [Refereed]

Misc

 
無線式ATC開発をモデルとしたRAMS規格の試行適用
R&M : Rolling stock & machinery   25(5) 25-29   May 2017
Takashi Mori, Shunsuke Yatabe
57(7) 638-643   Jun 2016
Shunsuke Yatabe
The procedings of LENLS 9      Dec 2012   [Refereed]
We generalize the framework of Barwise and Etchmendy's ``the liar" to that of coinductive language, and focus on two problems, the mutual identity of Yablo propositions coded by hypersets in ZFA and the difficulty of constructing semantics.
We def...
Yablo's paradox and Tex-inconsistency
Shunsuke Yatabe
The proceeding of Numbers and Truth      Oct 2012   [Refereed]
A constructive naive set theory and the Tex-rule
Shunsuke Yatabe
The proceeding of Logic, algebra and truth degrees 2012      Sep 2012   [Refereed]

Conference Activities & Talks

 
Thinking (deflation-theoretic) truth as a logical connective
Shunsuke Yatabe
Kyoto Philosophical Logic Workshop III   9 Sep 2017   
co-Harmony of Deflationary Truth
Shunsuke Yatabe
Kyoto Philosophical Logic Workshop II   19 Jun 2017   
Truth as a logical connective?
Shunsuke Yatabe
Kyoto Nonclassical Logic Workshop II   26 Oct 2016   
A constructive naive set theory and Infinity
Shunsuke Yatabe
Kyoto Nonclassical Logic Workshop   19 Nov 2015   
Truth as a logical connective
Shunsuke Yatabe
Logic and Engineering of Natural Language Semantics 12   12 Nov 2015   

Teaching Experience

 
 
  • logic (Faculity of letetrs, Kyoto University)