Modálna logika: Rozdiel medzi revíziami

d
chýba zhrnutie úprav
(defilit, rozsirenie, stale velmi nedokonale)
d
'''Modálna logika''' je odvetvie [[logika|logiky]] ktoré skúma logickú štruktúru ''nutnosti'' a ''možnosti'' s ktorými klasická [[výroková logika|výroková]] alebo [[predikátová logika|predikátová]] logika nedokážu plnohodnotne narábať. Napríklad výrok
:"Je možné, že slnko práve prestalo svietiť."
je z hladiska klasickej výrokovej logiky [[atomárny fakt|atomárny]]. To znamená, že výroková logika ho chápe ako ďalej nedeliteľný celok a nezaujíma sa o jeho vnútornú štruktúru. Ale z pohľadu modálnej logiky má tento výrok netriviálnu vnútornú štruktúru. Modálna logika ide hlbšie a rozlišuje v tomto výroku dve komponenty:
*tak zvanú '''logickú modalitu''': "Je možné, že ... "
*a samotný výrok pod modalitou: "Slnko práve prestalo svietiť."
334

úprav