Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic - Jiri Raclavsky - Livres - College Publications - 9781848903340 - 27 mai 2020
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Jiri Raclavsky

Prix
€ 24,49

Commandé depuis un entrepôt distant

Livraison prévue 8 - 17 avr.
Ajouter à votre liste de souhaits iMusic

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).

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