Existential Import and Relations of Categorical and Modal
Categorical Statements

J 2018

Existential Import and Relations of Categorical and Modal Categorical Statements

RACLAVSKÝ, Jiří

Basic information

Original name

Existential Import and Relations of Categorical and Modal Categorical Statements

Authors

RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution)

Edition

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

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

60300 6.3 Philosophy, Ethics and Religion

Country of publisher

Poland

Confidentiality degree

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

References:

URL

RIV identification code

RIV/00216224:14210/18:00101101

Organization unit

Faculty of Arts

DOI

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

UT WoS

000441098800001

Keywords in English

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

Abstract

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.

Links

GA16-19395S, research and development project

Name: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Acronym: Sémantické pojmy)

Investor: Czech Science Foundation

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, vol. 27, No 3, p. 271-300. ISSN 1425-3305. Available from: 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, vol.~27, No~3, p.~271-300. ISSN~1425-3305. Available from: https://dx.doi.org/10.12775/LLP.2017.026.

Detailed Information on Publication Record