184.266 History of Logic
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

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

Properties

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

Aim of course

Overview about the development of logic.

Didactic procedure:lecture presentation using slides.

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:

  • Aristotle's system of syllogisms
  • Leibniz's work on logic (algebraic calculi, the idea of a complete and automated language of reasoning - "calculus ratiocinator")
  • Boole's algebra of logic
  • Cantor
  • Frege
  • Logicism: Russell and Hilbert
  • Brouwer and Gödel

Additional information

Attention:

  • First lecture: October 20, 11:00, in Seminar Room 8, Karlsplatz 13.
  • No lecture October 27 and November 3. Next lecture: November 10, 10:00.
  • Lecture on December 1: 11:00-14:00
  • Next lecture: January 12. Place: HS1 Theresianumgasse 27!
  • Lecture 19.1.: 12:00-14:00!

ECTS breakdown: 3 ECTS = 75 Hours

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

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Fri10:00 - 14:0020.10.2017 - 19.01.2018Seminarraum 8 Lecture
Wed12:00 - 14:0008.11.2017Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu12:00 - 14:0009.11.2017 - 30.11.2017Theresianumgasse HS 2 Lecture
Wed12:00 - 15:0022.11.2017 - 17.01.2018Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Tue18:00 - 21:0012.12.2017EI 5 Hochenegg HS Additional lecture
Fri10:00 - 12:0012.01.2018Theresianumgasse HS 1 - MWB Lecture
History of Logic - Single appointments
DayDateTimeLocationDescription
Fri20.10.201710:00 - 14:00Seminarraum 8 Lecture
Fri27.10.201710:00 - 14:00Seminarraum 8 Lecture
Fri03.11.201710:00 - 14:00Seminarraum 8 Lecture
Wed08.11.201712:00 - 14:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu09.11.201712:00 - 14:00Theresianumgasse HS 2 Lecture
Fri10.11.201710:00 - 14:00Seminarraum 8 Lecture
Thu16.11.201712:00 - 14:00Theresianumgasse HS 2 Lecture
Fri17.11.201710:00 - 14:00Seminarraum 8 Lecture
Wed22.11.201712:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu23.11.201712:00 - 14:00Theresianumgasse HS 2 Lecture
Fri24.11.201710:00 - 14:00Seminarraum 8 Lecture
Wed29.11.201712:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Thu30.11.201712:00 - 14:00Theresianumgasse HS 2 Lecture
Fri01.12.201710:00 - 14:00Seminarraum 8 Lecture
Wed06.12.201712:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Tue12.12.201718:00 - 21:00EI 5 Hochenegg HS Additional lecture
Wed13.12.201712:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Fri15.12.201710:00 - 14:00Seminarraum 8 Lecture
Wed20.12.201712:00 - 15:00Seminarraum FAV EG C (Seminarraum Gödel) Lecture
Fri22.12.201710:00 - 14:00Seminarraum 8 Lecture
Course is held blocked

Examination modalities

Oral exam.

Course registration

Not necessary

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.

Continuative courses

Language

English