Books - Okada, Mitsuhiro

Wittgenstein’s Struggle with Intuitionism

Marion M., Okada M., Wittgenstein's Philosophy in 1929, 2023.01

　View Summary

In this chapter, we study the emergence of Wittgenstein’s critical stance toward intuitionism within MS 105–107. We assume in accordance with elementary hermeneutics that in 1929, it is not the later Wittgenstein who struggled to understand but the author of the Tractatus, which formed the background to his reaction to Brouwer and Weyl. We shall argue that Wittgenstein was quite receptive to some aspects, notably the priority of mathematics over logic and the law of excluded middle, but for his own different reasons and that although he had a genuine understanding of some aspects of intuitionism, he made at least one important mistake.

• Access to Document (DOI)

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, 2018.11

Scope: Chapter authors

A Report of Reserch Center for Thinkingand and Behavioral Judgement

Mitsuhiro Okada, Tatsuya Kashiwabata, Hisanori Tsuge, Juko Ando, Jun ichi Yamamoto, Takayuki Sakagami, Satoshi Umeda, Masao Ogaki, Hideo Akabayashi, Noburu Notomi, and Keiko Fujisawa., Research Centre for Thinking and Behavioral Judgment, Keio University, 2014.12

Effects of Representation Patterns in Multi-Attribute Decision-Making: An Eye-Tracking Study

Masahiro Morii, Takashi Ideno, Shigetaka Okubo, and Mitsuhiro Okada, Research Centre for Thinking and Behavioral Judgment, Keio University, 2014.12

Eye-Tracking Study of Decision-Making with Graphically Represented Multi-Attribute Tables.

Okubo,S.& Okada,M., Report of the Reserch Center for Thinking and Behavioral Judgement(ed.M.Okada et al.),Keio University, 2014

Scope: 17-23

La philosophiedes mathmatiques de Wittgenstein Wittgenstein(eds.Christine Chauvire and Sabine Plaud)

Mathieu Marion and Mitsuhiro Okada, Ellipes, 2012

Scope: 79-103

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), 2012

Interdisciplinary Ontology Vol.4

Barry Smith and Mitsuhiro Okada(editors and chapter authors), Keio University Center for Logic and Formal Ontology, 2012

Logic and Cognition in Reasoning with Euler Diagrams: A Relational Perspective

Mitsuhiro Okada, Global COE, GRALS, 2012

Ontology and Phenomenology

Mitsuhiro Okada, Open Research Centre for Logic and Ontology, Keio University, 2009.03

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, 2009.02

A Report on Euler Diagrammatic Reasoning System: Theory and Experiment Design

Koji Mineshima, Mitsuhiro Okada, Yuri Sato, and Ryo Takemura, Keio University Press, 2009

Husserlian “Manifold” and Tarskian “Model” for Formal Logic (extended abstract)

Mitsuhiro Okada and Shigeyuki Nakayamma, 2009

Reports on Interdisciplinary Logical Reasoning Studies

Mitsuhiro Okada, Ryo Takemura, and Juko Ando, editors., Keio University Press, 2008.03

Interdisciplinary Ontology (Proceedings of the First Interdisciplinary Ontology Meeting, February 26th-27th, 2008, Tokyo)

Mitsuhiro Okada, Keio University Open Research Centre for Logic and Ontology, Keio University Press, 2008.02

Remarks on Logic for Process Descriptions in Ontological Reasoning: A drug Interaction Ontology (Dio) Case Study. In Interdisciplinary Ontology (eds. by Mitsuhiro Okada, Barry Smith, and Yutaro Sugimoto)

Mitsuhiro Okada, Barry Smith, and Yutaro Sugimoto, Keio University Press, 2008.02

Scope: 127-138

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, 2008

Scope: 3-32

Some remarks on linear logic. In One Hundred Years of Intuitionism (1907-2007) (eds. by Mark van Ateen,Pascal Boldini, Michel Bourdesu and Gerhard Heinzmann)

Mitsuhiro Okada, 2008

Some remarks on linear logic

Mitsuhiro Okada, 2008

Advances in Computer Science - ASIAN 2006 (eds. by Mitsuhiro Okada, Ryo Takemura and Juko-Ando)

Mitsuhiro Okada and Ichiro Satoh, editors, Springer, 2008

Mapping-theory and contextual-theory of meaning: Husserl and Wittgenstein.

Mitsuhiro Okada, Keio University Press, 2008

Interdisciplinary Logic

Mitsuhiro Okada, chapter author and the coordinate editor, Open Research Centre for Logic and Formal ontology, Keio University, 2008

On Wittgenstein's Remarks on Recursive Proofs: A Preliminary Report. In Essays in the Foundations of Logical and Phenomenological Studies (ed. by Mitsuhiro Okada)

Mitsuhiro Okada, Keio University Press, 2007

Scope: 121-131

Interdisciplinary Ontology

Mitshihiro Okada and Barry Smith,editors., 2007

Essays in the Foundations of Logical and Phenomenological Studies

Mitsuhiro Okada,editor, Keio University Press, 2007

Towards New Logic and Semantics: Franco-Japanese Collaborative Lectures on Philosophy of Logic (ed. by Mitsuhiro Okada)

Mitsuhiro Okada, Keio University Press, 2006.03

Resoning and Congnition

Daniel Andler,Yoshinori Ogawa,Mitsuhiro Okada,and Shigeru watanebe,editors., Keio University Press, 2006.03

Scope: Vol.2

Reasoning and Cognition: Proceedings of the Interdisciplinary Conference on Reasoning and Comgnition (eds. by Daniel Andler, Yoshinori Ogawa, Mitsuhiro Okada, and Shigeru Watanabe.)

Mitsuhiro Okada, Keio University Press, 2006.03

Hilbert School and Husserl on the Foundations of Mathematics: Consistency Problem and Evidence Theory. In Towards New Logic and Semantics: Franco-Japanese Collaborative Lectures on Philosophy of Logic (ed. by Mitsuhiro Okada)

Mitsuhiro Okada, Keio University Press, 2006.03

Scope: 127-184

A Linear Logical View of Intuitionistic Logic. In Towards New Logic and Semantics: Franco-Japanese Collaborative Lectures on Philosophy of Logic (ed. by Mitsuhiro Okada)

Mitsuhiro Okada, Keio University Press, 2006

Scope: 185-229

Drug Interaction Ontology (DIO) and the Resource-Sensitive lLogical Inferences.In Algebra, Meaning, and Computation: Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (eds. by Kokichi Futatsugi et al.)

Mitsuhiro Okada, Yutaro Sugimoto, and Akihiko Konagaya, Algebra,Meaning,and computation Springer Lecture Notes in Computer Science, Vol.4060 Springer, 2006

Scope: 616-642

Cognitive neuroscience for deductive reasoning and inhibitory mechanism:On the belief-bias effect. In Reasoning and Cognition: Proceedings of the Interdisciplinary Conference on Reasoning and Comgnition (eds. by Daniel Andler et al.)

Takeo Tsujii, Mitsuhiro Okada, and Shigeru Watanabe, Keio University Press, 2006

Scope: On the belief-bias effect

At the crossroads of logic, psychology, and behavioral genetics. In Reasoning and Cognition: Proceedings of the Interdisciplinary Conference on Reasoning and Comgnition (eds. by Daniel Andler et al.)

Juko Ando, Chizuru Sikishima, Kai Hiraishi, Yutaro Sugimoto, Ryo takemura, and Mitsuhiro Okada, Keio University Press, 2006

Scope: Development of the deductive resoning test in keio twin-baroco project

ああいえば幸福. In 幸福の逆説 (巽 孝之, 坂上 孝之, 宮坂 敬造, 岡田 光弘, 坂本 光 編)

岡田 光弘, 慶應義塾大学出版会, 2005.04

A Behavioural Genetic Study of Syllogism Solving Using Linguistic and Graphical Representations: A Preliminary Report. In Images and Reasoning, volume 1. (eds. by Pierre Grialou, Giuseppe Longo, and Mitsuhiro Okada)

Mitsuhiro Okada, Pierre Grialou, Ando Juko, Shikishima Chizuru, Takemura Ryo., 2005.03

Scope: 69-85

Images and Reasoning: Proceeddings of the Interdisciplinary Conference on Images, Reason and Reasoning (Paris, Mar. 2004), volume 1. (eds. by Pierre Grialou, Giuseppe Longo, and Mitsuhiro Okada)

Mitsuhiro Okada, Barbara Tversky, Pierre Grialou, Chizuru Shikishima, Juko Ando, Ryo Takemura, Jocelyn Benoist, Ludwig Huber, Shigeru Watanabe, Giuseppe Longo, Bernard Teissier, Dominique Lestel, Chris Herzfeld, Dieter Lohmar, Ulrike Aust, Wilfried Apfalter, Keio University Press, 2005.03

　View Summary

This book proposes an interdisciplinary view of the non-linguistic aspects of reasoning. It is based on the symposium "Images, reason and reasoning" held in Paris on March15, 2004 and co-organized by Keio University and Ecole Normale Superieure de Paris. This papers focus on the cases where reasoning has to deal with images, is performed through visuospatial cognitive processes, or performed by animals. The term "reasoning" is understood in a broad sense and covers topics such as categorization, inference in humans and animals, mathematical thinking. The aim of the book is to raise the issue of the continuity between human and animal reasoning and to provide new grounds to think about language as a necessary condition for inferences.

Questions on Two Cognitive Models of Deductive Reasoning. In Images and Reasoning, volume 1. (eds. by Pierre Grialou, Giuseppe Longo, and Mitsuhiro Okada)

Mitsuhiro Okada, Pierre Grialou, Keio University Press, 2005.03

Scope: 31-67

Images and Reasoning: Proceedings of the Intedisciplinary Conference on Images, Reason and Reasoning (Paris, Mar. 2004)

Pierre Grialou, Giuseooe Longo, and Mitsuhiro Okada, editors., Keio University Press, 2005

Correspondence-theory and contextual-theory of meaning in Husserl and Wittgenstein. In Husserl et Wittgenstein: de la description de l'expérience à la phénoménologie linguistique. (eds by Jocelyn Benoist and Sandra Laugier)

Mitsuhiro Okada, Georg Olms Verlag, 2004

Scope: 27-69

　View Summary

HusserlとWittgensteinの思想に含まれる意味の写像論的立場と文脈的意味論の立場とを比較検討した。

Software Security -- Theories and Systems

Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, and Akinori Yonezawa., Springer, 2003.02

A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic. In Software Security - Theories and Systems (eds. by Mitsuhiro Okada et al.)

Mitsuhiro Okada, Koji Hasebe, Springer, 2003.02

Scope: 357-367

　View Summary

BAN Logicと線形論理に基づいたセキュリティ・プロトコルの論理的検証法について考察した。

Ideal Concepts, Intuitions, and Mathematical Knowlegdge Acquisitions in Husserl and Hilbert (A Preliminary Report). In Progress in Discovery Science, Final Report of the Japanese Discovery Science Project (eds. by Setsuo Arikawa and Ayumi Shinohara)

Mitsuhiro Okada, Springer, 2002.01

Scope: 40-77

法律知識の論理による表現. In 法律人工知能 (吉野 一, 他 編)

岡田 光弘, 創成社出版, 2000.02

Scope: 169-181

　View Summary

法律および法解釈に関わる論理的分析手法を考察する章（5章）を担当している。（全394pp）

Theories of Types and Proofs, volume 2 of Memoirs of Mathematical Society of Japan.

(eds. by Masako Takahashi, Mitsuhiro Okada, and Mariangiola Dezani-Ciancaglini), Mathematical Society of Japan, 1998

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, 1998

Scope: 255-295

　View Summary

線形論理による時間概念の論理的表現と分析手法についての理論を与えた。

JSSS Tutorial Lectures Notesシリーズ　日本ソフトウェア科学会

1993.06

　View Summary

Girardの線形論理の概論を与えた。（早稲田大学国際会議場での８時間の講演録に基づいている。）

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, 1993.03

Scope: 64-76,145-157

　View Summary

論理的手法を用いた言語分析をテーマとしたFormal Seriesの第３巻で、Montague Grammarの日本語分析への応用についての2章を担当した。

Conditional and Typed Rewriting Systems

Stephane Kaplan and Mitsuhiro Okada, Springer, 1991

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, 1987.08

　View Summary

ゲーデルの不完全性定理に対する構文論的な新しい分析を超限順序数を用いて与えた。