Možné objekty a možné svety
Possibilia and Possible Worlds

Summary/Abstract: Rozvoj kvantifikovanej modálnej logiky (KML)2 znovuoživil záujem o systematické skúmania modalít. Na modálnu výrokovú logiku sa všeobecne pozeralo prinajlepšom ako na zavádzajúci spôsob reprezentácie metalogických a sémantických pojmov, napríklad platnosti, konzistentnosti, logického dôsledku a podobne, prostredníctvom výrazov ako „nevyhnutnosť", „možnosť" a „vyplývame".3 Pri kvantifikovanej modálnej logike sa tento útok zostril, lebo sa tvrdilo, že s a tu vynárajú hlboké omyly a zmätky, ktoré nie sú len zavádzajúcou reprezentáciou metalogických pojmov. Kritika padala na niekolko kategórií, ktoré sa často dostatočne nerozlišovali.

• Details
• Contents