On the basis of their knowledge and comprehension of techniques covered in class, students will be able to:
- Identify, explain, and apply the notion and basic concepts of truth-functional and first-order formal logic
- Translate natural language sentences into sentences in truth-functional and first-order logic
- Test the validity of arguments and the consistency of sets of sentences in truth-functional logic and first-order logic
- State and apply a proof system for truth-functional and first-order logic
- Define and demonstrate familiarity with metalogical notions and concepts, including the expressive adequacy, soundness, and completeness of truth-functional logic
- Define and demonstrate knowledge of fundamental notions and concepts in set theory
Logic plays a fundamental role in a wide variety of disciplines and topics, including in computer architecture (Boolean logic, digital gates, hardware verification), software engineering (specification, verification), programming languages (semantics, type theory, logic programming), databases (relational algebra, database query language), artificial intelligence (automated theorem proving, knowledge representation), algorithms, and theories of computation (complexity, computability, expressiveness).
This course serves as an introduction to logic, providing students with a grasp of certain formal tools that will prove invaluable for future study. It particularly focuses on two logical systems: Truth-Functional Logic (TFL) and First Order Logic (FOL). For each, we discuss the syntax (what it means to construct a well formed sentence in the logic), the semantics (how one decides whether or not a sentence in the logic is true), a proof theory (how, if you know some true things, you can figure out what else is true), and how to translate between natural language and these formal languages. We will also discuss some meta-logic, as well as some basic set-theory.
These are open source textbooks, the former of which is based upon P.D. Magnus’ forallx
. Because of their licenses, students are able to freely download & print copies.
|Written test opportunities|
|Written test opportunities (HIST)|
|Midterm 30% / Midterm 30%||MIDTERM_01||SM 1||1||16-10-2018|
|Schriftelijk 50% / Written 50%||EXAM_01||SM 1||1||14-12-2018|
|Schriftelijk 50% / Written 50%||EXAM_01||SM 1||2||18-01-2019|
|Midterm 30% / Midterm 30%||MIDTERM_01||SM 1||2||18-01-2019||Required materials|
|(1) Forallx: Cambridge, 2017, T. Button. http://people.ds.cam.ac.uk/tecb2/forallx.shtml
(2) Metatheory, 2017, T. Button. http://people.ds.cam.ac.uk/tecb2/metatheory.shtml
Both are open source textbooks.|
|10 Papers 20%|