-
133Explication of WillTetsugaku 59 131-148. 2008.Although written in Japanese, 意志の解明(Explication of Will) pursues a Davidson-style logical formula of will-stating sentences.
-
129Existential Import : an Extensional ApproachThe Basis : The Annual Bulletin of Research Center for Liberal Education, Musashino University 13 (1): 85-102. 2023.The original interest of this article lies in existential import. It provides a broader view on the problem by reference to modern, symbolic logic (ch.1). Gradually, however, our interest will change into the amalgamated expressions often used in logic; that is, why are such expressions as “x is a round triangle” applied in logic? We critically discuss this question from an extensional viewpoint, namely model theoretic semantics (ch.2). We also touch on Church’s λ-calculus in the appendix (app.…Read more
-
28The Constitution of Space and Time in the Aufbau Viewed from a Kantian PerspectiveKagaku Tetsugaku 47 (1): 19-36. 2014.
-
24What is LK? Vol.1. Sequent (Textbook Series in Symbolic Logic)Amazon Kindle. 2023.LK is much more difficult than NK, and to make matters worse, Gentzen's intention is still unclear when it comes to that system (LK). This book, Vol.1 of the series titled What is LK?, tackles this issue, focusing on the sequent, the most enigmatic notion we find in LK. The dependence-relation we find in NK shall play a crucial role in that investigation. The style is typically textbook-like, so readers can learn the system of LK, using this series as a guidance, too.
-
21Logic of My Mind (心の論理 Kokoro no ronri)Koyo-shobo, Inc.. 2016.Although written in Japanese, this book becomes a landmark of my works so far: that on Zangwill (Kaneko, 2011), that on Utilitarianism (2013), and so on. The novelty shown in it is a formalization of traditional philosophy including Kant (its practical philosophy), Utilitarianism (Hume, Bentham, and Mill), and furthermore, Descartes. I try to locate these traditional thoughts within modern forms which I make in the name of "practical syllogism." This attempt would open up a new approach to ethic…Read more
-
10What is LK? Vol.2. Structural Inference-Figures (Textbook Series in Symbolic Logic)Amazon Kindle. 2024.LK is much more difficult than NK, and to make matters worse, Gentzen's intention is still unclear when it comes to that system (LK). The second and third volumes of the series titled What is LK? conduct the detailed survey of each inference-figure in a toe-to-toe way, as it were, which most mathematicians looked through. The present volume, Vol.2, looks deeper into structural inference-figures, which is never an easy task.
-
2LK is much more difficult than NK, and to make matters worse, Gentzen's intention is still unclear when it comes to that system (LK). The second and third volumes of the series titled What is LK? conduct the detailed survey of each inference-figure in a toe-to-toe way, as it were, which most mathematicians looked through. The present volume, Vol.3, looks deeper into those operational inference-figures which concerns propositional logic.
-
Symbolic Logic for the Humanities: from Propositional Logic to Gödel's Incompletenss Theorem(文系のための記号論理入門:命題論理から不完全性定理まで)Asakura Publishing Co., Ltd.. 2021.
-
Logic of my mind, 2nd ed. (新版 心の論理 Shin-pan Kokoro No Ronri)Koyo-shobo, Inc.. 2017.The second, final edition of Logic of my mind.
-
Meiji UniversityOther (Part-time)
Areas of Interest
20th Century Philosophy |
17th/18th Century Philosophy |