Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic
| Authors | |
|---|---|
| Year of publication | 2020 |
| Type | Monograph |
| MU Faculty or unit | |
| Citation | |
| Description | 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 Kuchynka'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. |
| Related projects: |