History of Mathematical Logic Aristotle(384-322 B C. theory of syllogistic o De Morgan(1806-71), Boole(1815-64) Schroder(1841-1902 o Fregel(1848-1925), Russell(18721970) Post(1897-1954), Godel(1906-78), Henkin(1921-2006), Herbrand(1908-31) o Robbinson(1930-): Beth and Smullyan o Leibniz(1646-1716)and Hilbert(1862-1943)
History of Mathematical Logic Aristotle(384-322 B.C.): theory of syllogistic De Morgan(1806-71), Boole(1815-64), Schr¨oder(1841-1902) Frege(1848-1925), Russell(1872-1970) Post(1897-1954), G¨odel (1906-78), Henkin(1921-2006), Herbrand(1908-31) Robbinson(1930-); Beth and Smullyan Leibniz(1646-1716) and Hilbert(1862-1943) Yi Li (Fudan University) Discrete Mathematics March 12, 2013 6 / 20
Introduction to Mathematical Logic o First order logic Propositional Logic o Predicate Logic o high order logic Other type of logic Modal logic Intuitionistic logic ● Temporal logic
Introduction to Mathematical Logic First order logic Propositional Logic Predicate Logic High order logic Other type of logic Modal logic Intuitionistic logic Temporal logic Yi Li (Fudan University) Discrete Mathematics March 12, 2013 7 / 20