Logical reasoning is essential in most areas of human inquiry. The discipline of Logic treats logical reasoning itself as an object of study. Logic has been one of the main branches of philosophy since Aristotle; it revolutionized the foundations of mathematics in the 20th century; and it has been called “the calculus of computer science,” with applications in many areas. Logic has also played an important role in the investigation of language and the mind, as the basis for formal semantics in linguistics and automated reasoning in artificial intelligence. Today, Logic is an interdisciplinary subject with many applications.
PHILOS 12A is intended as a first course in logic for students with no previous exposure to the subject. The course treats symbolic logic. Students will learn to formalize reasoning in symbolic languages with precisely defined meanings and precisely defined rules of inference. Symbolic logic is by nature a mathematical subject, but the course does not presuppose any prior coursework in mathematics—only an openness to mathematical reasoning.
Office of Undergraduate Admissions, University of California, Berkeley
110 Sproul Hall
#5800
Berkeley, CA 94720