a
2018
Existential Import, Partiality, and Squares of Opposition
RACLAVSKÝ, Jiří
Základní údaje
Originální název
Existential Import, Partiality, and Squares of Opposition
Vydání
6th Congress on the Square of Opposition (SQUARE 2018), 2018
Další údaje
Typ výsledku
Konferenční abstrakt
Obor
60301 Philosophy, History and Philosophy of science and technology
Utajení
není předmětem státního či obchodního tajemství
Kód RIV
RIV/00216224:14210/18:00113954
Organizační jednotka
Filozofická fakulta
Klíčová slova anglicky
partial type theory; existential import; square of opposition; higher-order modal logic
Příznaky
Mezinárodní význam, Recenzováno
V originále
The talk embraces partial propositions and partial predicates into a type-theoretic system which is used for analysis of modern as well as its extended modal square of opposition. Existential import is defined and the desiderata implemented in the definition are discussed.
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ů |
|
Zobrazeno: 19. 11. 2024 01:14