著書

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.

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

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

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