著書
岡田 光弘
1~20件（全51件）
Wittgenstein and Goodstein on Uniqueness of Primitive recursive arithmetic, in "Wittgenstein in the 1930s:Investigations to Philosophical Investigations" (ed. by David Stern)
- 著者名
- Mathieu Marion and Mitsuhiro Okada
- 出版社
- Cambridge University Press
- 担当区分
- 共著
- 担当範囲
- Chapter authors
- 著書種別
- 学術書
Wittgenstein’s Struggle with Intuitionism
- 著者名
- Marion M., Okada M.
- 出版社
- Wittgenstein's Philosophy in 1929
誰でもどいつでも論理学
- 著者名
- 岡田光弘 峯島宏次
- 出版社
- 慶應義塾大学出版会
- ページ数
- 136
- 原著者
- 岡田光弘 峯島宏次
- 担当区分
- 共著
- 担当範囲
- 全章 担当頁1-136
'Arithmetic in the Tractatus Logico-Philosophicus', in J. Zalabardo (ed.), Wittgenstein’s Tractatus Logico-philosophicus. A Critical Guide, Cambridge, Cambridge University Press, 2024, p. 145-165
- 著者名
- M. Marion & M. Okada,
- 出版社
- Cambridge University Press
- ページ数
- 1
- 原著者
- M. Marion & M. Okada,
- 担当区分
- 分担執筆
- 担当範囲
- Arithmetic in the Tractatus Logico-Philosophicus 担当頁145-166
- 著書種別
- 学術書
- 国際共著
- している
An Introduction to Linear Logic: Expressiveness and Phase Semantics. In Theories of Types and Proofs (eds. by Masako Takahashi, Mitsuhiro Okada, and Mariangiola Dezani-Ciancaglini)
- 著者名
- Mitsuhiro Okada
- 出版社
- Mathematical Society of Japan
- 担当区分
- 単著
- 担当範囲
- 255-295
- 著書種別
- 学術書
JSSS Tutorial Lectures Notesシリーズ 日本ソフトウェア科学会
- 担当区分
- 単著
- 著書種別
- その他
Thaehaksa Publishing（Seonl)
- 著者名
- S-J. Chang, J. Choe,K. Lee, S-H. Ahn, A. Ikeya, M. Okada, K. Watanabe, M. Kawamori, C.D. Lee, Y. Nitta, C. Huang, M. Ishizuki, A. Ishikawa, Y. Abe, B. Park, M. Isoda, S. Kubo, K. Kim, M. Lee, B. Kang
- 担当区分
- 共著
- 担当範囲
- 64-76,145-157
- 著書種別
- その他
Conditional and Typed Rewriting Systems
- 著者名
- Stephane Kaplan and Mitsuhiro Okada
- 出版社
- Springer
- 担当区分
- 編集
- 著書種別
- 学術書
On the theory of quasi-ordinal diagrams, In Logic and Combinatorics (ed. by Stephen G. Simpson)
- 著者名
- Mitsuhiro Okada and Gaisi Takeuti
- 出版社
- Contemporary Mathematics, American Mathematical Society
- 担当区分
- 共著
- 著書種別
- 学術書
Logic and Cognition in Reasoning with Euler Diagrams: A Relational Perspective
- 著者名
- Mitsuhiro Okada
- 出版社
- Global COE, GRALS
Interdisciplinary Ontology Vol.4
- 著者名
- Barry Smith and Mitsuhiro Okada(editors and chapter authors)
- 出版社
- Keio University Center for Logic and Formal Ontology
- 担当区分
- 共著
Logic and connition in reasoning with Euler diagrams
- 著者名
- Koji Mineshima, Mitsuhiro Okada, Yuri Sato and Ryo Takemura
- 出版社
- CARLS (Serise of Advanced Study of Logic and Sensibility,Vol.5) Keio University Press,2012(Researcg report as the group leader)
- 担当区分
- 共著
La philosophiedes mathmatiques de Wittgenstein Wittgenstein(eds.Christine Chauvire and Sabine Plaud)
- 著者名
- Mathieu Marion and Mitsuhiro Okada
- 出版社
- Ellipes
- 担当区分
- 共著
- 担当範囲
- 79-103
Husserlian “Manifold” and Tarskian “Model” for Formal Logic (extended abstract)
- 著者名
- Mitsuhiro Okada and Shigeyuki Nakayamma
- 担当区分
- 共著
- 著書種別
- 学術書
A Report on Euler Diagrammatic Reasoning System: Theory and Experiment Design
- 著者名
- Koji Mineshima, Mitsuhiro Okada, Yuri Sato, and Ryo Takemura
- 出版社
- Keio University Press
- 担当区分
- 共著
- 著書種別
- 学術書
Ontology and Phenomenology
- 著者名
- Mitsuhiro Okada
- 出版社
- Open Research Centre for Logic and Ontology, Keio University
- 担当区分
- 編集
- 著書種別
- 学術書
Interdisciplinary Ontology vol.2 (Proceedings of the Second Interdisciplinary Ontology Meeting, February 28th-March 1st, 2009, Tokyo)
- 著者名
- Mitsuhiro Okada and Barry Smith , Editors (and chapter authors)
- 出版社
- Open Reserch Center for Logic and Formal Ontology, Keio University
- 担当区分
- 共編者(共編著者)
- 著書種別
- 学術書
Some Remarks on Deductive Syllogistic Reasoning Studies; Towards an Integrated Methodology of Logical and Psychological Approaches. In Reports on Interdisciplinary Logical Reasoning Studies (eds. by Mitsuhiro Okada, Ryo Takemura, and Juko Ando)
- 著者名
- Yuri Sato, Ryo Takemura, Koji Mineshima, Chizuru Shikishima, Yutaro Sugimoto, Juko Ando, and Mitsuhiro Okada
- 出版社
- Keio University Press
- 担当区分
- 共著
- 担当範囲
- 3-32
- 著書種別
- 学術書
Interdisciplinary Logic
- 著者名
- Mitsuhiro Okada, chapter-author and the coordinate editor
- 出版社
- Open Research Centre for Logic and Formal ontology, Keio University
- 担当区分
- 分担執筆
- 著書種別
- 学術書
Mapping-theory and contextual-theory of meaning: Husserl and Wittgenstein.
- 著者名
- Mitsuhiro Okada
- 出版社
- Keio University Press
- 担当区分
- 単著
- 著書種別
- 学術書