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

Autoři

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

Vydání

6th Congress on the Square of Opposition (SQUARE 2018), 2018

Další údaje

Jazyk

angličtina

Typ výsledku

Konferenční abstrakt

Obor

60301 Philosophy, History and Philosophy of science and technology

Stát vydavatele

Řecko

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

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 22. 2. 2023 14:49, Mgr. Kateřina Urubková

Anotace

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ů