As with many philosophical issues, this one is hard to believe, but also difficult to refute. The second topic is the relationship of the mind to the body and its physical activity. There will be three short papers. Introduction to Symbolic Logic. No credit granted to those who have completed or are enrolled in Phil.
Symbolic logic is the application of formal, mathematical methods to human reasoning.
Its goal is to determine which forms of reasoning must produce true conclusions when applied to true premises. The first half of the course will focus on the propositional calculus. During this portion of the course, students will also be asked to master proofs by mathematical induction. The second half of the course will be dedicated to the study of first-order logic. Basic concepts of the proof theory and model theory for first-order monadic languages will be discussed, and the important metatheorems theorems will be stated, among them the completeness, compactness, and Lowenheim Skolem theorems.