Zkusil jsem nalézt nějaká úvodní výuková videa k modální logice. (Samozřejmě v angličtině, jak už to, hold, bývá). V podstatě jsem nenalezl nic, kromě tohoto:
(1) Rajeev P. Goré, “Introduction to Modal Logic” (50 minut): vynikající, nicméně hutný úvod do základní myšlenky Kripkeho sémantiky; předpokládá povědomí o klasické i modální logice, příp. teorii grafů; nevhodné jako elementární úvod.
(2) Jason J. Cambell (2010),"Introduction to Modal Logic" (5 x asi 8 minut): Elementární úvod, místy filosoficky nehluboký. Témata: modální symboly (◊,□), distribuční axiom pro systém K (□[p→q]→[□p→□q]) , základní definice (□p ↔ ~◊~p; ◊p ↔ ~□~p), axiom M pro systém T (□p→p), axiom S4 pro systém S4 (□p→□□p), axiom S5 pro systém S5 (◊p→□◊p).
Žádné komentáře:
Okomentovat