* * * Logic: Language and Information —Greg Restall, Jen Davoren
This is an introduction to formal logic and how it is applied in computer science, electronic engineering, linguistics and philosophy. You will learn propositional logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines. Propositional Logic 5 weeks long, start Mar 10th, 2014 https://www.coursera.org/course/logic1 First-order logic 8 weeks long, start Apr 22nd, 2014 https://www.coursera.org/course/logic2 * * * Greg Restall's lectures @ Vimeo Introductory Logic http://vimeo.com/album/2262403 Advanced Logic (Kurt Gödel’s Greatest Hits) http://vimeo.com/album/2262409 Modal and Non-Classical Logic (Meaning, Possibility and Paradox) http://vimeo.com/album/2470375 * * * _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
