modálna logika
Z STD
Verzia z 13:11, 8. jún 2021, ktorú vytvoril Kristina.bobekova (diskusia | príspevky)$7
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. |