Termín:modálna logika: Rozdiel medzi revíziami
Z STD
Riadok 1: | Riadok 1: | ||
− | |||
{{Term | {{Term | ||
|Name=modálna logika | |Name=modálna logika | ||
− | | | + | |Definition=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 |
|Field=filozofia | |Field=filozofia | ||
− | | | + | |Related terms=modalita³ |
|Bibliography=Filozofický slovník. Bratislava: Pravda 1982. | |Bibliography=Filozofický slovník. Bratislava: Pravda 1982. | ||
− | | | + | |Translations={{Translation |
− | | | + | |Language=en |
+ | |Localized form=modal logic | ||
+ | }}{{Translation | ||
+ | |Language=de | ||
+ | |Localized form=Modallogik (die) | ||
+ | }} | ||
|Acceptability=Odporúčaný | |Acceptability=Odporúčaný | ||
− | | | + | |Context=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ť. |
− | | | + | |Context source=https://sk.wikipedia.org/wiki/Modálna_logika |
− | | | + | |URL=https://sk.wikipedia.org/wiki/Mod%C3%A1lna_logika |
− | |Comment=Modálna logika patrí medzi neklasické logiky, ktoré využívajú modálne spojky pre kvalitatívnu špecifikáciu pravdivosti usudzovania. | + | |Comment=Modálna logika patrí medzi neklasické logiky, ktoré využívajú modálne spojky pre kvalitatívnu špecifikáciu pravdivosti usudzovania. |
− | |||
}} | }} | ||
[[Kategória:Filozofia]] | [[Kategória:Filozofia]] | ||
[[Kategória:Logika]] | [[Kategória:Logika]] |
Verzia zo dňa a času 11:09, 5. december 2017
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. |
URL: | https://sk.wikipedia.org/wiki/Mod%C3%A1lna logika |