Další formáty:
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}. 1. vyd. London: College Publications, 2020, 243 s. Studies in Logic 88. ISBN~978-1-84890-334-0.
|