modálna logika
Z STD
Verzia z 14:03, 1. december 2017, ktorú vytvoril Unknown user (diskusia)$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: die Modallogik |
| Poznámka: | Modálna logika patrí medzi neklasické logiky, ktoré využívajú modálne spojky pre kvalitatívnu špecifikáciu pravdivosti usudzovania. |
| URL: | https://sk.wikipedia.org/wiki/Mod%C3%A1lna logika |
