著書 - 岡田　光弘

Wittgenstein’s Struggle with Intuitionism

Marion M., Okada M., Wittgenstein's Philosophy in 1929, 2023年01月

　概要を見る

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月

担当範囲: Chapter authors

A Report of Reserch Center for Thinkingand and Behavioral Judgement

Mitsuhiro Okada, Research Centre for Thinking and Behavioral Judgment, Keio University, 2014年12月

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

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年

担当範囲: 17-23

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

Mathieu Marion and Mitsuhiro Okada, Ellipes, 2012年

担当範囲: 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月

担当範囲: 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年

担当範囲: 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年

担当範囲: 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月

担当範囲: 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月

担当範囲: 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年

担当範囲: 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年

担当範囲: 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年

担当範囲: 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年

担当範囲: 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)

岡田 光弘，ピエール グリアロ，安藤 寿康，敷島 千鶴，竹村 亮, 2005年03月

担当範囲: 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月

　概要を見る

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)

岡田 光弘，ピエール グリアロ, Keio University Press, 2005年03月

担当範囲: 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年

担当範囲: 27-69

　概要を見る

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月

担当範囲: 357-367

　概要を見る

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月

担当範囲: 40-77

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

岡田 光弘, 創成社出版, 2000年02月

担当範囲: 169-181

　概要を見る

法律および法解釈に関わる論理的分析手法を考察する章（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年

担当範囲: 255-295

　概要を見る

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

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

1993年06月

　概要を見る

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月

担当範囲: 64-76,145-157

　概要を見る

論理的手法を用いた言語分析をテーマとした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月

　概要を見る

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