Existential Import and Relations of Categorical and Modal Categorical Statements

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F18%3A00101101" target="_blank" >RIV/00216224:14210/18:00101101 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.12775/LLP.2017.026" target="_blank" >http://dx.doi.org/10.12775/LLP.2017.026</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.12775/LLP.2017.026" target="_blank" >10.12775/LLP.2017.026</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Existential Import and Relations of Categorical and Modal Categorical Statements

Popis výsledku v původním jazyce

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ázev v anglickém jazyce

Existential Import and Relations of Categorical and Modal Categorical Statements

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60300 - Philosophy, Ethics and Religion

Projekt

<a href="/cs/project/GA16-19395S" target="_blank" >GA16-19395S: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2018

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Logic and Logical Philosophy

ISSN

1425-3305

e-ISSN

—

Svazek periodika

27

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

PL - Polská republika

Počet stran výsledku

30

Strana od-do

271-300

Kód UT WoS článku

000441098800001

EID výsledku v databázi Scopus

2-s2.0-85055876257