Existential Import and Relations of Categorical and Modal
Categorical Statements

J 2018

Existential Import and Relations of Categorical and Modal Categorical Statements

RACLAVSKÝ, Jiří

Základní údaje

Originální název

Existential Import and Relations of Categorical and Modal Categorical Statements

Autoři

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

Vydání

Logic and Logical Philosophy, Torun, Nicolaus Copernicus University Scientific Publishing House, 2018, 1425-3305

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Polsko

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Kód RIV

RIV/00216224:14210/18:00101101

Organizační jednotka

Filozofická fakulta

DOI

http://dx.doi.org/10.12775/LLP.2017.026

UT WoS

000441098800001

Klíčová slova anglicky

existential import; categorical statements; Square of Opposition; properties; quantified modal logic; partiality; type theory

Štítky

rivok

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 11. 6. 2020 09:37, prof. PhDr. BcA. Jiří Raclavský, Ph.D.

Anotace

V originále

I examine the familiar quadruple of categorical statements “Every F is/is not G.”, “Some F is/is not G.” as well as the quadruple of their modal versions “Necessarily, every F is/is not G.”, “Possibly, some F is/is not G.”. I focus on their existential import and its impact on the resulting Squares of Opposition. Though my construal of existential import follows modern approach, I add some extra details which are enabled by framing my definition of existential import within expressively rich higher-order partial type logic. As regards the modal categorical statements, I find that so-called void properties bring existential import to them, so they are the only properties which invalidate subalternation, and thus also contrariety and subcontrariety, in the corresponding Square of Opposition.

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ů

Citovat

RACLAVSKÝ, Jiří. Existential Import and Relations of Categorical and Modal Categorical Statements. Logic and Logical Philosophy. Torun: Nicolaus Copernicus University Scientific Publishing House, 2018, roč. 27, č. 3, s. 271-300. ISSN 1425-3305. Dostupné z: https://dx.doi.org/10.12775/LLP.2017.026.

@article{1427922,
   author = {Raclavský, Jiří},
   article_location = {Torun},
   article_number = {3},
   doi = {http://dx.doi.org/10.12775/LLP.2017.026},
   keywords = {existential import; categorical statements; Square of Opposition; properties; quantified modal logic; partiality; type theory},
   language = {eng},
   issn = {1425-3305},
   journal = {Logic and Logical Philosophy},
   note = {WOS:000441098800001},
   title = {Existential Import and Relations of Categorical and Modal Categorical Statements},
   url = {http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.026},
   volume = {27},
   year = {2018}
}

TY  - JOUR
ID  - 1427922
AU  - Raclavský, Jiří
PY  - 2018
TI  - Existential Import and Relations of Categorical and Modal Categorical Statements
JF  - Logic and Logical Philosophy
VL  - 27
IS  - 3
SP  - 271-300
EP  - 271-300
PB  - Nicolaus Copernicus University Scientific Publishing House
SN  - 14253305
N1  - WOS:000441098800001
KW  - existential import
KW  - categorical statements
KW  - Square of Opposition
KW  - properties
KW  - quantified modal logic
KW  - partiality
KW  - type theory
UR  - http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.026
L2  - http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.026
N2  - I examine the familiar quadruple of categorical statements “Every F is/is not G.”, “Some F is/is not G.” as well as the quadruple of their modal versions “Necessarily, every F is/is not G.”, “Possibly, some F is/is not G.”. I focus on their existential import and its impact on the resulting Squares of Opposition. Though my construal of existential import follows modern approach, I add some extra details which are enabled by framing my definition of existential import within expressively rich higher-order partial type logic. As regards the modal categorical statements, I find that so-called void properties bring existential import to them, so they are the only properties which invalidate subalternation, and thus also contrariety and subcontrariety, in the corresponding Square of Opposition.
ER  -

RACLAVSKÝ, Jiří. Existential Import and Relations of Categorical and Modal Categorical Statements. \textit{Logic and Logical Philosophy}. Torun: Nicolaus Copernicus University Scientific Publishing House, 2018, roč.~27, č.~3, s.~271-300. ISSN~1425-3305. Dostupné z: https://dx.doi.org/10.12775/LLP.2017.026.

Podrobný výpis o publikaci