Research Interests

My major is Philosophical Logic. However, I am also interested in Philosophy of Logic and Philosophy of Language.

The contents that  I am interested in are described in the following.

If you would like to know what I am doing now in detail, please see Current Research.

Philosophical Logic

Classical Logic / Intuitionistic Logic / Subintuitionistic Logic / The Logic of Strict Implication / Sequent Calculus / Tree-sequent Calculus / Hypersequent Calculus / Display Calculus / Super-intuitionistic Logic / Negation / Implication /  Proof-theoretic Semantics / Modal Logic / Cut Elimination / Craig (and other) interpolation / Relevance Logic / Hybrid Logic / Bi-intuitionistic Logic / Dual-intuitionistic logic / Paraconsistent Logic / Combination of Various Logics / Hilbert System / Global Consequence / Local Consequence / Neighborhood Semantics / Topological Semantics / Possibility Semantics / Free Logic / Beth Semantics / Deontic Logic / Nelson Logics / Geometric Axioms and Rules / Global Intuitionistic Logic / Intuitionistic Modal Logic / Routley Star  / Baaz Delta / Gödel Logics / First-Order Modal Logics / Propositional Quantification / Refutation System

Philosophy of Logic

Unilateralism / Bilateralism / Logical Monism / Logical Pluralism / Logical Positivism / Logical Nihilism / Rudolf Carnap / Constructivism / Formalism / Logical Consequence / Vagueness / BHK-interpretation / Meaning-variance / Logical Normativism / Logical Minimalism / Meaning Variance / Theory of Induction 

Philosophy of Language

Verificationism / Empiricism / Michael Dummett / Robert Brandom / Willard van Orman Quine / Donald Davidson / Nelson Goodman / Truth / Intensionality / Hyperintensionality / Possible World Semantics / Necessity / Possibility / Actuality / Name / Definite Description / Metaethics / Reference / Meaning as Use / Ludwig Wittgenstein / Wittgenstein's Paradox / Inferentialism / Counterfactual Conditional / Realism / Anti-realism 

Other Areas

Metaethics / AI Ethics / Philosophy of Mathematics / The History of Logic / Education of Logic / Epistemology