Okada, Mitsuhiro

Towards clarifying logical thinking: An interdisciplinary,integrated research of logical reasoning Logic is one of the oldest forms of classical scholarship, and a great amount of research has been done since it was formulated by Aristotle in the 4th century BC. However, there are still a number of unresolved issues that remain in the study of logic and logical thinking in the 21st century. Through logic and logical research, I aim to clarify our understanding of how people think. In FY2013, I conducted multilateral logical research with a focus on philosopy, and from an intedisciplinary view including perspectives of mathematical logic, computational/informathion and cognitive science, neuroscience, and others. The main themes for the 2013 research were as found below. 1.Philosophical logic Presented a modern, re-evaluated perspectine of demonstration, computation theories, and philosophy of mathematics of such 20th century philosophers as Ludwig Wittgenstein and Edmund Husserl. 2.Cognitive science methods Began researching multi-attribute data design and presentathion(e.g.product catalogues)and decision-making by combining techniques from cognitive science(mainly eye tracking), social psychology and logical semantics. Moved foward with theoretical research and human subject research into diagrammatic reasoning and graphical reasoning theory. 3.Teoretical study of logical structure Researched basic logic theory known as linesr logic theory(a logic from which the distinction of the classical and intuitionistic logic emerges)with the aim of deconstructing it into a more basic set of logical inferences. 4.Behavioral genetics and logic, and decision-making Researched logical reasoning and rational decision-making through twin studies conducted with the behavioral genetics research group at Keio(the Ando lab). 5.Information logic and software science Researched logical methods of safety properties verification for software such as authentication(cryptographic communicathion) protocols. Much of the above research was conducted in the interdisciplinary research enviroment at the Global Research Center of Logic and Sensibility, for which I am currently serving as the head, as well as under the Next-Generation Research Projects program, the project of the Research Center for Thinking and Behavioral Judgement at Keio(Head:Prof.Ken Sekine), and the MEXT-funded research project, "Elucidation of the Neural Computation for Prediction and Decision Making". Finally, I cooperated with patner teams such as CNRS ans INRIA in France. My research in 2013 depended greatly on the help I received from collaborative partners both at Keio and beyond.

• Logic and Philosophy of Proof and Demonstration
• /Inference stidies with symbolic computation, LLMs, and cognitive science
• /Linear logic and its philosophy
• /ウィトゲンシュタイン研究
• /Husserl's logic and Husserl's philosophy of mathematics
• /Theoretical computer science
• /semantics for natural language
• /Default reasoning
• /Multi-attribute decision making and consumer behavior
• /Diagrammatic logic
• /Computer security
• /Logic
• /Philosophy
• /Interdisciplinary study of Inference
• /Mathematical logic
• /Philosophy of mathematics
• /Philosophy of logic
• /Logical philosophy and philosophy of language
• /Logic and Sensibility
• /証明の哲学
• /Proof theory
• /図形推論研究
• /Theoretical computer Science
• /Algorithmic ethics
• /Philosophy of AI
• /Network security and computer security
• /Decision making studies
• /Provably secure cryptographic protocols
• /Cognitive science on inference
• /Neuro-science for inference studies
• /logical and formal semantics

Philosophy and ethics / Philosophy/Ethics / Philosophy of logic, Philosophy of mathematics,Wittgenstein, Informatic ethics, Psychology of decision making and logic, informatic logic