Partiality of Propositions and Existential Import of Modal / Non-Modal Categorical Statements

RACLAVSKÝ, Jiří. Partiality of Propositions and Existential Import of Modal / Non-Modal Categorical Statements. In Non-classical Modal and Predicate Logics (NCMPL 2017). 2017.

Základní údaje

• Originální název: Partiality of Propositions and Existential Import of Modal / Non-Modal Categorical Statements
• Autoři: RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí).
• Vydání: Non-classical Modal and Predicate Logics (NCMPL 2017), 2017.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Konferenční abstrakt
• Obor: 60301 Philosophy, History and Philosophy of science and technology
• Stát vydavatele: Čína
• Utajení: není předmětem státního či obchodního tajemství
• Kód RIV: RIV/00216224:14210/17:00113945
• Organizační jednotka: Filozofická fakulta
• Klíčová slova anglicky: existential import; categorical statements; partial type theory; higher-order modal logic; non-classical logic; applied logic; quantifiers
• Štítky: rivok
• Příznaky: Mezinárodní význam, Recenzováno

Anotace

I utilize a convenient higher-order modal predicate logic, a partial type theory, to provide an apt and satisfactory treatment of existential import of categorical and modal categorical statements. The approach accommodates the well defensible assumption that some propositions are truth-valueless.

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ů