"All philosophers are wise and Socrates is a philosopher; therefore, Socrates is wise." Our topic is this mysterious "therefore." We shall expose the hidden structure of everyday statements on which the correctness of our reasoning turns. To aid us, we shall develop a logical language that makes this underlying structure more perspicuous. We shall also examine fundamental concepts of logic and use them to explore the logical properties of statements and the logical relations between them. This is a first course in formal logic, the study of correct reasoning; no previous philosophical, mathematical, or logical training needed.
One lecture each week and three discussion sections each limited to 15 students; section one of the discussion is restricted to first-years.
Fall semester. Professor A. George.