Rchr
J-GLOBAL ID:201501042537058005   Update date: Jan. 31, 2018

Suzuki Ukyo

Suzuki Ukyo
Affiliation and department:
Research field  (1): Philosophy and ethics
Research keywords  (7): 数理哲学 ,  構成主義 ,  証明論的意味論 ,  分析哲学 ,  型理論 ,  哲学 ,  論理の哲学
Papers (3):
  • Ukyo Suzuki. Falsificationism and Bilateralism. Contemporary and Applied Philosophy. 2017. 9. 1-32
  • Ukyo Suzuki. Why is PRA special? --a note on Tait's "Finitism" --. 2015. 42
  • 鈴木 佑京. 論理主義の再構築-フレーゲ構造と論理的集合観-. 東京大学卒業論文
MISC (7):
  • Ukyo Suzuki. Frege's Logical Conception of Sets. The Dark Side of Forcing. 2017. 9
  • Ukyo Suzuki. Nonstandard Models In Logic from a inferentialist point of view. The Dark Side of Forcing. 2016. 8
  • Ukyo Suzuki. Something Strange about Intuitionism. 2016. 7
  • Ukyo Suzuki. Gentzen's Insights, proof as a list or proof as a tree. The Dark Side of Forcing. 2015. 5
  • Ukyo Suzuki. Introduction to Proof-Theoretic Semantics. The Dark Side of Forcing. 2015. 6
more...
Lectures and oral presentations  (10):
  • 後ろ向き推論とは何か?--『不完全性定理』をよく読む
    (日本科学哲学会 2017)
  • 論理の存在論的コミットメント-反実在論的観点から
    (日本大学文理学部人文科学研究所 第12回哲学ワークショップ 2017)
  • use-theory and incompleteness
    (2016)
  • 協調規則と否認の眼目
    (応用哲学会 2016)
  • Ontological Commitment from an anti-realist point view
    (2016)
more...
Education (2):
  • 2014 - 2016 The University of Tokyo Graduate School of Arts and Sciences
  • 2010 - 2014 The University of Tokyo College of Arts and Sciences Department of Basic Science
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page