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

B 2020

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

RACLAVSKÝ, Jiří

Basic information

Original name

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

Authors

RACLAVSKÝ, Jiří

Edition

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

Publisher

College Publications

Other information

Language

English

Type of outcome

Book on a specialized topic

Field of Study

60301 Philosophy, History and Philosophy of science and technology

Country of publisher

United Kingdom of Great Britain and Northern Ireland

Confidentiality degree

is not subject to a state or trade secret

Publication form

printed version "print"

References:

URL

RIV identification code

RIV/00216224:14210/20:00114172

Organization unit

Faculty of Arts

ISBN

978-1-84890-334-0

Keywords in English

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

Abstract

In the original language

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.

Links

GA16-19395S, research and development project

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

Investor: Czech Science Foundation

GA19-12420S, research and development project

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

Investor: Czech Science Foundation

Cite

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

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

Přehled o publikaci