PHIL/MATH 330: Symbolic Logic

"Contrariwise," continued Tweedledee, "if it was so, it might be; and if it were so, it would be; but as it isn't, it ain't. That's logic." --Lewis Carroll


Spring Semester, 2014

Dr. Scott Kimbrough

Office Hours: M/W 1:00-2:00, T/R 1:30-2:30, or by appointment

Office: Council 121

Phone: 256-7118

 


Resources and Announcements

Course Description

Logic, according to Gottlob Frege, the founder of modern symbolic logic, is the science of thought. By this, he did not mean that logic studies how we actually do think -- psychology does that. Rather, he meant logic is the most general science, the study of rules of correct thinking that govern every discipline. No matter what you're thinking about, you have to obey the laws of logic if you want to avoid error. Following Frege, this course studies rules of formal deductive reasoning. We will study validity and invalidity of argument forms, consistency, and translation between the formal system and ordinary language. We will study truth-functional logic (the logic of sentences related by 'and', 'or', 'not', 'if...then', and 'if and only if') and predicate logic (the logic of sentences containing terms such as 'all', 'every', and 'some').

Required Book

Hausman, Kahane & Tidman. Logic and Philosophy: A Modern Introduction, 12th Edition. Thomson Wadsworth Publishing. 2012.

Course Requirements

Grading

Disclaimer

Reading assignments

 


 

Return to Dr. Kimbrough's homepage.