Modální logika: Porovnání verzí

'''Modální logika''' -je oblast [[logika|logiky]] zkoumající logické operace, tzv. modality (modální operátory jsou například "je„je možné, je nutné, je nemožné"nemožné“).

První, kdo se začal zajímat o modální logiku, byl [[AristotelesAristotelés]], který v rámci své [[wiki:sylogistika|sylogistiky]] objevil řadu principů modální logiky.

Ve středověku toto odvětví dále zkoumal [[wiki:williamWilliam ockhamOckham|W. Ockham]]. Analyzoval strukturu modálních výroků a modální sylogistiku.

Dalším podnětem pro hlubší zkoumání modální logiky se stala [[matematická logika]], na jejímž základě byly vytvořeny modální logiky [[wiki:trojhodnotová modální logika trojhodnotová|trojhodnotové]] ([[J. Lukasiewicz]]), [[systém striktní implikace]] ([[C. I. Lewis]]), Lewisovy systémy s šesti neredukovatelnými modalitami, [[systémy relativní modality]] ([[G. H. Wright]]).

Další kdo se zabýval různými formami modalit byli například [[H. B. Curry]], [[Willard Van Orman Quine|W. V. Quine]], [[W. Ackermann]], dosud však obecně teorii modální logiky nikdo nezpracoval.