Termín:modálna logika: Rozdiel medzi revíziami

Z STD
Prejsť na: navigácia, hľadanie
 
(Jedna medziľahlá úprava od jedného ďalšieho používateľa nie je zobrazená)
Riadok 1: Riadok 1:
−
 
 
{{Term
 
{{Term
 
|Name=modálna logika
 
|Name=modálna logika
−
|Synonyms=
+
|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
−
|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
+
|Related terms=modalita³
 
|Bibliography=Filozofický slovník. Bratislava: Pravda 1982.
 
|Bibliography=Filozofický slovník. Bratislava: Pravda 1982.
−
|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ť.
+
|Translations={{Translation
−
|Context source=https://sk.wikipedia.org/wiki/Modálna_logika
+
|Language=en
 +
|Localized form=modal logic
 +
}}{{Translation
 +
|Language=de
 +
|Localized form=Modallogik (die)
 +
}}
 
|Acceptability=Odporúčaný
 
|Acceptability=Odporúčaný
−
|Approved=
+
|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ť.
−
|Related terms=modalita³
+
|Context source=https://sk.wikipedia.org/wiki/Modálna_logika.
−
|Translations={{Translation|Language=en|Localized form=modal logic}}{{Translation|Language=de|Localized form=die Modallogik}}
+
|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.  
 
−
|URL=https://sk.wikipedia.org/wiki/Mod%C3%A1lna_logika
 
 
}}
 
}}
 
[[Kategória:Filozofia]]
 
[[Kategória:Filozofia]]
 
[[Kategória:Logika]]
 
[[Kategória:Logika]]

Aktuálna revízia z 13:11, 8. jún 2021

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.
Zdroj: „http://terminologickyportal.sk/index.php?title=Termín:modálna_logika&oldid=397639“