
Faites connaître cet article à vos amis:
Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic
Jiri Raclavsky
Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic
Jiri Raclavsky
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).
Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
Validé | 27 mai 2020 |
ISBN13 | 9781848903340 |
Éditeurs | College Publications |
Pages | 248 |
Dimensions | 156 × 234 × 13 mm · 353 g |
Langue et grammaire | English |
Voir tous les Jiri Raclavsky ( par ex. Paperback Book )