|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 Tichý (based in New Zealand) and contributes to the current type-theoretic semantics.
The type theory receives here a Henkin-style modeltheoretic specification and the supplemented Tichý’s natural deduction in sequent style provides its proof-theoretic specifi cation. 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 Tichý’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.
27 May 2020
Buy from Amazon: UK US