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
Return to Previous Page