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

B 2020

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

RACLAVSKÝ, Jiří

Základní údaje

Originální název

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

Autoři

RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí)

Vydání

1. vyd. London, 243 s. Studies in Logic 88, 2020

Nakladatel

College Publications

Další údaje

Jazyk

angličtina

Typ výsledku

Odborná kniha

Obor

60301 Philosophy, History and Philosophy of science and technology

Stát vydavatele

Velká Británie a Severní Irsko

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Odkazy

URL

Kód RIV

RIV/00216224:14210/20:00114172

Organizační jednotka

Filozofická fakulta

ISBN

978-1-84890-334-0

Klíčová slova anglicky

belief attitudes; higher-order logic; modal logic; intensional logic; type theory; type-theoretical semantics; intensional type theory; hyperintensionality; modality; intensionality; epistemic paradoxes

Štítky

rivok

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 8. 4. 2021 21:13, prof. PhDr. BcA. Jiří Raclavský, Ph.D.

Anotace

V originále

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.

Návaznosti

GA16-19395S, projekt VaV

Název: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Akronym: Sémantické pojmy)

Investor: Grantová agentura ČR, Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů

GA19-12420S, projekt VaV

Název: Hyperintenzionální význam, teorie typů a logická dedukce (Akronym: Hyperintensionality and Types)

Investor: Grantová agentura ČR, Hyperintensional meaning, type theory and logical deduction

Citovat

RACLAVSKÝ, Jiří. 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.

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

Podrobný výpis o publikaci