Dva standardní a dva modální logické čtverce

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F14%3A00077436" target="_blank" >RIV/00216224:14210/14:00077436 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Dva standardní a dva modální logické čtverce

Popis výsledku v původním jazyce

V přednášce provádím analýzu logického čtverce prostředky Transparentní intenzionální logiky. Tento aparát není k analýze žádoucí jen kvůli vystižení existenčního importu jakožto jevu parciality. Podstatnější je schopnost explicitní analýzy skryté modality. Ukazuji dvě dvojice základních možných čtení logického čtverce, které nevědomky stojí v pozadě neutuchajících debat o tom, zda např. "Některé chiméry jsou stvůry" z "Všechny chiméry jsou stvůry". Dvě čtení jsou standardní a liší se jen nestejnou, byťpodobnou čtveřicí nemodálních tvrzení. Dvě čtení jsou modální a liší se opět jen nestejnou, byť podobnou čtveřicí, ale tentokrát modálních tvrzení. Každý ze čtverců tedy fixuje jiné inference.

Název v anglickém jazyce

Two standard and two modal squares of opposition

Popis výsledku anglicky

n this study, we examine modern reading of the Square of Opposition by means of intensional logic. Explicit use of possible world semantics helps us to sharply discriminate between the standard and modal ('alethic') readings of categorical statements. Weget thus two basic versions of the Square. The Modal Square has not been introduced in the contemporary debate yet and so it is in the centre of interest. Some properties ascribed by mediaeval logicians to the Square require a shift from its Standard toModal version. Not inevitably, because for each of the two squares there exists its mate which can be easily confused with it. The discrimination between the initial and modified versions of the Standard and Modal Square enable us to separate findings about properties of the Square into four groups, which makes their proper com-parison possible. The disambiguation so achieved leads to the solution of various puzzles often mentioned in recent literature.

Druh

O - Ostatní výsledky

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2014

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ů