Books etc
Okada, Mitsuhiro
1-20 items (total 51)
Wittgenstein and Goodstein on Uniqueness of Primitive recursive arithmetic, in "Wittgenstein in the 1930s:Investigations to Philosophical Investigations" (ed. by David Stern)
- Author
- Mathieu Marion and Mitsuhiro Okada
- Publisher
- Cambridge University Press
- Role
- Joint author
- Scope of Responsibility
- Chapter authors
- Book Category
- Scholarly book
Wittgenstein’s Struggle with Intuitionism
- Author
- Marion M., Okada M.
- Publisher
- Wittgenstein's Philosophy in 1929
Logic for everybody anytime (in Japanese)
- Author
- Mitsuhiro Okada and Koji Mineshima
- Publisher
- Keio University Press
- Total Pages
- 136
- Original Author
- Mitsuhiro Okada and Koji Mineshima
- Role
- Joint author
- Scope of Responsibility
- All chapters 1-136
'Arithmetic in the Tractatus Logico-Philosophicus', in J. Zalabardo (ed.), Wittgenstein’s Tractatus Logico-philosophicus. A Critical Guide, Cambridge
- Author
- M. Marion & M. Okada,
- Publisher
- Cambridge University Press
- Total Pages
- 1
- Original Author
- M. Marion & M. Okada,
- Role
- Contributor
- Scope of Responsibility
- Arithmetic in the Tractatus Logico-Philosophicus 145-166
- Book Category
- Scholarly book
- International Co-authorship
- Yes
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)
- Author
- Mitsuhiro Okada
- Publisher
- Mathematical Society of Japan
- Role
- Sole author
- Scope of Responsibility
- 255-295
- Book Category
- Scholarly book
JSSS Tutorial Lectures Notesシリーズ 日本ソフトウェア科学会
- Role
- Sole author
- Book Category
- Other
Thaehaksa Publishing（Seonl)
- Author
- 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
- Role
- Joint author
- Scope of Responsibility
- 64-76,145-157
- Book Category
- Other
Conditional and Typed Rewriting Systems
- Author
- Stephane Kaplan and Mitsuhiro Okada
- Publisher
- Springer
- Role
- Edit
- Book Category
- Scholarly book
On the theory of quasi-ordinal diagrams, In Logic and Combinatorics (ed. by Stephen G. Simpson)
- Author
- Mitsuhiro Okada and Gaisi Takeuti
- Publisher
- Contemporary Mathematics, American Mathematical Society
- Role
- Joint author
- Book Category
- Scholarly book
Logic and Cognition in Reasoning with Euler Diagrams: A Relational Perspective
- Author
- Mitsuhiro Okada
- Publisher
- Global COE, GRALS
Interdisciplinary Ontology Vol.4
- Author
- Barry Smith and Mitsuhiro Okada(editors and chapter authors)
- Publisher
- Keio University Center for Logic and Formal Ontology
- Role
- Joint author
Logic and connition in reasoning with Euler diagrams
- Author
- Koji Mineshima, Mitsuhiro Okada, Yuri Sato and Ryo Takemura
- Publisher
- CARLS (Serise of Advanced Study of Logic and Sensibility,Vol.5) Keio University Press,2012(Researcg report as the group leader)
- Role
- Joint author
La philosophiedes mathmatiques de Wittgenstein Wittgenstein(eds.Christine Chauvire and Sabine Plaud)
- Author
- Mathieu Marion and Mitsuhiro Okada
- Publisher
- Ellipes
- Role
- Joint author
- Scope of Responsibility
- 79-103
Husserlian “Manifold” and Tarskian “Model” for Formal Logic (extended abstract)
- Author
- Mitsuhiro Okada and Shigeyuki Nakayamma
- Role
- Joint author
- Book Category
- Scholarly book
A Report on Euler Diagrammatic Reasoning System: Theory and Experiment Design
- Author
- Koji Mineshima, Mitsuhiro Okada, Yuri Sato, and Ryo Takemura
- Publisher
- Keio University Press
- Role
- Joint author
- Book Category
- Scholarly book
Ontology and Phenomenology
- Author
- Mitsuhiro Okada
- Publisher
- Open Research Centre for Logic and Ontology, Keio University
- Role
- Edit
- Book Category
- Scholarly book
Interdisciplinary Ontology vol.2 (Proceedings of the Second Interdisciplinary Ontology Meeting, February 28th-March 1st, 2009, Tokyo)
- Author
- Mitsuhiro Okada and Barry Smith , Editors (and chapter authors)
- Publisher
- Open Reserch Center for Logic and Formal Ontology, Keio University
- Role
- Joint editor
- Book Category
- Scholarly book
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)
- Author
- Yuri Sato, Ryo Takemura, Koji Mineshima, Chizuru Shikishima, Yutaro Sugimoto, Juko Ando, and Mitsuhiro Okada
- Publisher
- Keio University Press
- Role
- Joint author
- Scope of Responsibility
- 3-32
- Book Category
- Scholarly book
Interdisciplinary Logic
- Author
- Mitsuhiro Okada, chapter author and the coordinate editor
- Publisher
- Open Research Centre for Logic and Formal ontology, Keio University
- Role
- Contributor
- Book Category
- Scholarly book
Mapping-theory and contextual-theory of meaning: Husserl and Wittgenstein.
- Author
- Mitsuhiro Okada
- Publisher
- Keio University Press
- Role
- Sole author
- Book Category
- Scholarly book