主講人：陳湘韻
講題：A little bit of Logics
Part II
台灣聊天室：如何協助李弘祺教授演講
Part I
Speaker: Hsinag-Yun Chen
Topic: A little bit of Logics Slides
Outline
- Syllogism and some traditional topics (fallacies, induction/dedection)
- Modern symbolic logic (syntac, semantics and proofs in propositional logic & predicate logic)
- Beyond classical logic and some other interesting stories (second-order logic, modal logic, set theory, Frege's logicism and Russell's paradox)
Part II
Taiwan Chatting Room: how to assist Dr.Lee's coming talk
host: 綱華
