Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic

The book Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic offers an extensively elaborated approach to belief attitudes (knowledge, belief, etc.). It provides a thorough and efficient revision of the partial type theory founded by the Czech logician Pavel Tichy (based in New Zealand) and contributes to the current type-theoretic semantics. The type theory receives here a Henkin-style model-theoretic specification and the supplemented Tichy's natural deduction in sequent style provides its proof-theoretic specification. After the analysis of a fragment of natural language, a number of arguments involving belief sentences is examined and adequately modelled.

The semantic system employed in this book involves rules for various logical and many extra-logical constants, it is called Transparent Hyperintensional Logic (THL). THL is a higher-order multimodal logic. It is an extensive development of Kuchyˇnka's initial revision of Tichy's Transparent Intensional Logic (TIL).

The proposal is tested against well-known paradoxes such as Frege's paradox of identity, Cresswell's paradox of hyperintensional contexts, Hintikka's paradox of logical omniscience, Church-Fitch's paradox of knowability, or Kaplan-Montague's Knower Paradox.

Jirı Raclavsky is Professor of Philosophy at Masaryk University (Brno, the Czech Republic).