19323701 Lecture

SoSe 16: Computational Metaphysics

Christoph Benzmüller

Additional information / Pre-requisites

Target audience:

Advanced students of Computer Science, Mathematics and Philosophy.

Comments

Topics

Formal logic (and formal reasoning) constitutes an substantial role in philosophy, mathematics and computer science. Topics such as basic reasoning in propositional and (first-order) predicate logic are often dealt with in early lecture of the aforementioned study programs. Unfortunately, other core topics are often omitted.
This lecture addresses different advanced logic systems that are employed within modern studies in (theoretical) philosophy, mathematics and computer science. In conjunction therewith, a practical introduction to computer-assisted reasoning is given and their application to contemporary problems is demonstrated.

In the first part of the lecture we will retrace different variants of the Ontological Argument using computer deduction systems. Subsequently, we investigate the theory of abstract objects (by Edward Zalta) as a logical foundation of metaphysics as well as means of representation in a computer system. Finally we discuss the interdisciplinary impact of these results and their influence on the young research area of computational metaphysics.

In student projects the learned techniques will be applied to similar arguments of metaphysics. Every promising project can be extended (with further supervision, if necessary) towards a publication in the field of logics or logical philosophy.

close

Suggested reading

Literature:

See the website of the course.

22 Class schedule

Regular appointments

Tue, 2016-04-19 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Thu, 2016-04-21 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2016-04-26 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2016-04-28 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2016-05-03 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Thu, 2016-05-12 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Thu, 2016-05-19 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Thu, 2016-05-26 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Tue, 2016-05-31 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Thu, 2016-06-02 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Tue, 2016-06-07 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Thu, 2016-06-09 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Thu, 2016-06-16 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Tue, 2016-06-21 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Thu, 2016-06-23 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Tue, 2016-06-28 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Thu, 2016-06-30 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Tue, 2016-07-05 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Thu, 2016-07-07 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Tue, 2016-07-12 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Thu, 2016-07-14 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Tue, 2016-07-19 16:00 - 18:00

Lecturers:
Max Peter Wisniewski
Alexander Steen
Prof. Dr. Christoph Benzmüller

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Subjects A - Z