Other formats:
BibTeX
LaTeX
RIS
@book{1661558,
author = {Raclavský, Jiří},
address = {London},
edition = {1.},
keywords = {belief attitudes; higher-order logic; modal logic; intensional logic; type theory; type-theoretical semantics; intensional type theory; hyperintensionality; modality; intensionality; epistemic paradoxes},
howpublished = {tištěná verze "print"},
language = {eng},
location = {London},
isbn = {978-1-84890-334-0},
publisher = {College Publications},
title = {Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic},
url = {https://www.collegepublications.co.uk/logic/?00046},
year = {2020}
}
TY - BOOK
ID - 1661558
AU - Raclavský, Jiří
PY - 2020
TI - Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic
VL - Studies in Logic 88
PB - College Publications
CY - London
SN - 9781848903340
KW - belief attitudes
KW - higher-order logic
KW - modal logic
KW - intensional logic
KW - type theory
KW - type-theoretical semantics
KW - intensional type theory
KW - hyperintensionality
KW - modality
KW - intensionality
KW - epistemic paradoxes
UR - https://www.collegepublications.co.uk/logic/?00046
L2 - https://www.collegepublications.co.uk/logic/?00046
N2 - 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.
ER -
RACLAVSKÝ, Jiří. \textit{Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic}. 1st ed. London: College Publications, 2020, 243 pp. Studies in Logic 88. ISBN~978-1-84890-334-0.
|
