In our research group, we study logic, especially in relation to philosophy.

The question of what philosophy is itself becomes a philosophical question. However, let's assume that it aims at making sense of things in the most general level. Then, the background assumptions that must be followed during the process of sense making are often not questioned. For example, in Western philosophy, the large majority does not question the status of the law of excluded middle and the law of non-contradiction formulated by Aristotle. However, there are also philosophers that critically reconsider the above laws. For instance, intuitionism in the philosophy of mathematics directly challenges the law of excluded middle and has had a significant impact not only in philosophy but also in mathematics and computer science.

The relationship between logic and philosophy is also a philosophical question. However, I believe that one important role of logic is to reflect the background assumptions involved in the process of sense making. In my research so far, I have focused on the possibility and implications of dialetheism, which directly challenges the law of non-contradiction, and on paraconsistent logic, which supports the formal aspects of dialetheism.

The discussion of logic is extremely rich and fruitful. Let’s explore logic together while looking at various topics, including the laws of non-contradiction and excluded middle, not only in philosophy, but also in mathematics and computer science, and enjoy the journey.