Universal Logical Reasoning (with exemplary applications in Mathematics, Metapyhsics, Ethics, AI and CS).
This lecture is intended to extend the previously awarded lecture "Computational Metaphysics" (SS16, 19323701/2) by further exciting and highly topical application topics.
Students from Computer Science, Mathematics and Philosophy are welcome.