184.266 History of Logic This course is in all assigned curricula part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_21",{id:"j_id_21",showEffect:"fade",hideEffect:"fade",target:"isAllSteop"});});This course is in at least 1 assigned curriculum part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_23",{id:"j_id_23",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});}); 2023W 2022S 2019S 2017W 2016S 2014W 2013W 2012W 2011W 2011S 2009S 2008W 2007W 2006W

2023W, VO, 2.0h, 3.0EC, to be held in blocked form

Properties

• Semester hours: 2.0
• Credits: 3.0
• Type: VO Lecture
• Format: Presence

Learning outcomes

After successful completion of the course, students are able to name and explain the most imporant milestones in the development of formal logic, as well as to correctly argue theoretical relations of the considered formalisms and their relevance for modern logic.

Subject of course

This lecture deals with a brief overview on the history of logic.

Formal logic has a tradition spanning more than 2000. Today, it is a powerful tool for knowledge representation and fundamental not only in computer science but for science in general. In this lecture, we deal with a brief overview on the historical development of logic. Topics include:

1. Aristotle's system of syllogisms
2. Leibniz's work on logic (algebraic calculi, the idea of a complete and automated language of reasoning - "calculus ratiocinator")
3. algebra and geometry
4. Boole's algebra of logic
5. Cantor's theory of sets
6. Frege's logic
7. Whitehead and Russell's Principia Mathematica
8. Hilbert and Gödel

Frontal lecture.

Mode of examination

Oral

ECTS breakdown: 3 ECTS = 75 Hours

• Lecture 24h
• Lecture introduction 0.5h
• Preparation for exam 50h
• Oral exam 0.5h

Course dates

DayTimeDateLocationDescription
Fri13:00 - 16:0010.11.2023 - 19.01.2024GM 7 Kleiner Schiffbau Lecture
Fri12:00 - 13:0024.11.2023 - 19.01.2024GM 7 Kleiner Schiffbau Lecture
Mon15:00 - 17:0015.01.2024Theresianumgasse HS 2 Lecture
Wed16:00 - 18:0017.01.2024Theresianumgasse HS 2 Lecture
Fri13:00 - 16:0019.01.2024Theresianumgasse HS 2 Lecture
History of Logic - Single appointments
DayDateTimeLocationDescription
Fri10.11.202313:00 - 16:00GM 7 Kleiner Schiffbau Lecture
Fri17.11.202313:00 - 16:00GM 7 Kleiner Schiffbau Lecture
Fri24.11.202312:00 - 13:00GM 7 Kleiner Schiffbau Lecture
Fri24.11.202313:00 - 16:00GM 7 Kleiner Schiffbau Lecture
Fri01.12.202312:00 - 13:00GM 7 Kleiner Schiffbau Lecture
Fri01.12.202313:00 - 16:00GM 7 Kleiner Schiffbau Lecture
Fri15.12.202312:00 - 13:00GM 7 Kleiner Schiffbau Lecture
Fri15.12.202313:00 - 16:00GM 7 Kleiner Schiffbau Lecture
Fri12.01.202412:00 - 13:00GM 7 Kleiner Schiffbau Lecture
Fri12.01.202413:00 - 16:00GM 7 Kleiner Schiffbau Lecture
Mon15.01.202415:00 - 17:00Theresianumgasse HS 2 Lecture
Wed17.01.202416:00 - 18:00Theresianumgasse HS 2 Lecture
Fri19.01.202412:00 - 13:00GM 7 Kleiner Schiffbau Lecture
Fri19.01.202413:00 - 16:00Theresianumgasse HS 2 Lecture
Fri19.01.202413:00 - 16:00GM 7 Kleiner Schiffbau Lecture
Course is held blocked

Oral exam.

Course registration

Begin End Deregistration end
11.08.2023 10:00 15.12.2023 23:59 15.12.2023 23:59

Curricula

Study CodeObligationSemesterPrecon.Info
066 011 Double degree programme "Computational Logic (Erasmus-Mundus)" Not specified
066 931 Logic and Computation Mandatory elective

Literature

Kneale & Kneale: The Development of Logic

Nidditch: The Development of Mathematical Logic

Doxiadis & Papadimitriou:Logicomix - An Epic Search for Truth

Cryan, Shatil, & Mayblin: Logic - A Graphic Guide

Previous knowledge

Basic knowledge in formal logic.

English