Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic - Jiri Raclavsky - Books - College Publications - 9781848903340 - May 27, 2020
In case cover and title do not match, the title is correct

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

Jiri Raclavsky

Price
£ 19.49

Ordered from remote warehouse

Expected delivery Apr 10 - 21
Add to your iMusic wish list
Eller

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 27, 2020
ISBN13 9781848903340
Publishers College Publications
Pages 248
Dimensions 156 × 234 × 13 mm   ·   353 g
Language English