Elementary Logic I (150-0-20)

Instructors

Noam Steven Weinreich

Meeting Info

Online: Mon, Wed, Fri 12:00PM - 2:00PM

Overview of class

We often insist a conclusion "logically follows" from a statement, or that someone is being "illogical", but what does this mean? Logic is the study of good reasoning or argumentation, and formal logic, the focus of this course, looks at systems of logic defined by rules that guarantee the truth of conclusions from the truth of premises. In this course we will learn two formal systems of logic, propositional logic (or truth-functional logic), and first order logic (or predicate logic). For both systems, we will begin by exploring how to translate natural language sentences into the symbolic language of that system, followed by learning the system's corresponding semantics and proof theory. This course will be useful to those who study philosophy, mathematics, computer science, plan to go to law school, or just enjoy solving puzzles, and whoever is interested in understanding how to reason well from premises to conclusion.

Class Attributes

Empirical and Deductive Reasoning Foundational Dis
Formal Studies Distro Area
Synchronous:Class meets remotely at scheduled time