Books - Okada, Mitsuhiro

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