modálna logika

Z STD
Verzia z 13:11, 8. jún 2021, ktorú vytvoril Kristina.bobekova (diskusia | príspevky)$7

(rozdiel) ← Staršia verzia | Approved revision (rozdiel) | Aktuálna úprava (rozdiel) | Novšia verzia → (rozdiel)
Prejsť na: navigácia, hľadanie

Odporúčaný termín [?]

Oblasť: filozofia
Definícia: logický systém, ktorý skúma štruktúru súdov, obsahujúcich modality (modálne operátory): „nevyhnutné“, „možné“, „skutočné“, „náhodné“ a ich negácie
Zdroj: Filozofický slovník. Bratislava: Pravda 1982.

Kontext: Modálna logika je odvetvie logiky, ktoré skúma logickú štruktúru nutnosti a možnosti, s ktorými klasická výroková alebo predikátová logika nedokážu plnohodnotne narábať.
Zdroj kontextu: https://sk.wikipedia.org/wiki/Modálna_logika.
Príbuzné termíny: modalita³
Cudzojazyčný ekvivalent: en: modal logic, de: Modallogik (die)
Poznámka: Modálna logika patrí medzi neklasické logiky, ktoré využívajú modálne spojky pre kvalitatívnu špecifikáciu pravdivosti usudzovania.