CloseHelpPrint
Kies de Nederlandse taal
Course module: 822181-B-6
822181-B-6
Introduction to Logic & Philosophy
Course info
Course module822181-B-6
Credits (ECTS)6
CategoryBA (Bachelor)
Course typeCourse
Language of instructionEnglish
Offered byTilburg University; Tilburg School of Humanities and Digital Sciences; TSH: Department Cognitive Science and AI; TSH: Department Cognitive Science and AI;
Is part of
B Communication and Information Sciences
B Communication and Information Sciences (Spc.Cog.Sc & AI)
B Cognitive Science and Artificial Intelligence
Contact personDr N.W. Wildman
Lecturer(s)
Lecturer
dr. M. Postma
Other course modules lecturer
Lecturer
Dr N.W. Wildman
Other course modules lecturer
Academic year2018
Starting block
SM 1
Course mode
Full-time
RemarksThis information is not up to date. Check the Course Catalog 2019 or select the course via “Register”.
Registration openfrom 20/08/2018 09:00 up to and including 31/07/2019
Aims
On the basis of their knowledge and comprehension of techniques covered in class, students will be able to:
  1. Identify, explain, and apply the notion and basic concepts of truth-functional and first-order formal logic 
  2. Translate natural language sentences into sentences in truth-functional and first-order logic 
  3. Test the validity of arguments and the consistency of sets of sentences in truth-functional logic and first-order logic
  4. State and apply a proof system for truth-functional and first-order logic 
  5. Define and demonstrate familiarity with metalogical notions and concepts, including the expressive adequacy, soundness, and completeness of truth-functional logic
  6. Define and demonstrate knowledge of fundamental notions and concepts in set theory
Content
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.

Required Literature
   
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.
Timetable information
822181-B-6|Introduction to Logic & Philosophy
Written test opportunities
Omschrijving/DescriptionToets/TestBlok/BlockGelegenheid/OpportunityDatum/Date
Written test opportunities (HIST)
Omschrijving/DescriptionToets/TestBlok/BlockGelegenheid/OpportunityDatum/Date
Midterm 30% / Midterm 30%MIDTERM_01SM 1116-10-2018
Schriftelijk 50% / Written 50%EXAM_01SM 1114-12-2018
Schriftelijk 50% / Written 50%EXAM_01SM 1218-01-2019
Midterm 30% / Midterm 30%MIDTERM_01SM 1218-01-2019
Required materials
Literature
(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.
Recommended materials
-
Tests
Written 50%

Midterm 30%

10 Papers 20%

CloseHelpPrint
Kies de Nederlandse taal