# syll intlog s19

## Transcript

1 Introduction to (Formal ) Logic (via, and also to, AI ) Spring 19, M R 12–1:50 DCC308 Selmer Bringsjord Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department of Computer Science Lally School of Management Rensselaer Polytechnic Institute (RPI) Troy NY 12180 USA Office Hours: M R 345–5 CA 3rd flr; & by appointment (518) 276-6472 [email protected] version 0407192130NY Contents 1 1 General Orientation 2 2 Assistance to Bringsjord 2 3 Prerequisites 2 4 Textbook/Courseware 5 Schedule 3 5.1 Why Study Logic?; Its History (I) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 5.2 Propositional Calculus ( L ) & pc “Pure” Predicate Calculus ( L 4 ) (II) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0 5.3 First-Order Logic (FOL = L ); 1 Glimpse of SOL = 5 , TOL = L L (III) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 3 5.4 Theories (= Axiom Systems) (IV) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 5.5 Deontic Logic and Killer Robots (V) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 5.6 Beginning Heterogenous Logic & Beginning ductive Logic (BIL): Glimpses (VI) . . . . . . . . . . . 5 In 5.7 G ̈odel (VII) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 6 Grading 7 7 Some Learning Outcomes 7 8 Academic Honesty 7 References 8