Modální logika

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

Historie a vývoj

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

Ve středověku toto odvětví dále zkoumal 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 trojhodnotové (Jan 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, W. V. Quine nebo W. Ackermann, dosud však obecně teorii modální logiky nikdo nezpracoval.

Externí odkazy

• Obrázky, zvuky či videa k tématu modální logika na Wikimedia Commons

Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.