a 2017

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

RACLAVSKÝ, Jiří

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

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

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 12. 3. 2024 15:27, prof. PhDr. BcA. Jiří Raclavský, Ph.D.

Anotace

V originále

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ů