Frege-Zertifikat für Logik

Angebote für ein interdisziplinäres Logik-Studium

Logo des Frege-Zertifikats

Grafik: Tabea Rohr

Was?

Das Frege-Zertifikat für Logik ist eine fakultätsübergreifende Lehrkooperation zwischen dem Institut für Informatik und dem Institut für Philosophie, um für Studierende Brücken und Wege in den interdisziplinären Forschungsbereich der Logik zu bauen.

In der Philosophie ist die Logik sowohl ein Werkzeug zur Analyse von sprachlichen Argumenten als auch ein Gegenstand philosophischer Reflektion. In der Informatik ist sie ein Hilfsmittel zur programmiersprachlichen Modellierung und Gegenstand algorithmischer Betrachtungen. Diese und weitere Aspekte des vielfältigen Forschungsbereichs der Logik werden durch das Frege-Zertifikat von Anfang an für Studierende zugänglich.

Wie?

Für den Erwerb des Frege-Zertifikats müssen insgesamt vier Veranstaltungen zur Logik, jeweils zwei an jedem der beiden Institute, erfolgreich abgeschlossen werden. Dazu zählen auch interdisziplinäre Veranstaltungen, die an beiden Instituten angeboten werden.

Studierende der Fakultät für Mathematik und Informatik können sich die Veranstaltungen des Instituts für Philosophie zusätzlich auch im freien Nebenfachbereich ihres eigenen Studiengangs anrechnen lassen.

Studierende der Philosophischen Fakultät können sich die Veranstaltungen des Instituts für Informatik zusätzlich auch im Bereich "Allgemeine Schlüsselqualifikationen" ihres eigenen Studiengangs anrechnen lassen.

Bei Fragen zur Anrechnung und Modulbuchung, kontaktieren Sie uns gern (siehe unten).

Veranstaltungen im WiSe 2020/21

Einführende Veranstaltungen

Logik und Argumentationslehre (Kurs in Friedolin)
Diskrete Strukturen I (Kurse in Friedolin: Vorlesung, Übung)

Aufbauveranstaltungen

Logiksysteme (Kurs in Friedolin)
Wittgenstein: Logisch-Philosophische Abhandlung (Kurs in Friedolin)

Fortgeschrittene Veranstaltungen

Seminar: Komplexität und Logik (Kurs in Friedolin)

Skript "Einführung in das mathematische Beweisen"

Valentin Müller hat ein Skript zur Einführung in das mathematische Beweisen [pdf, 312 kb] erstellt, das hier zum Download bereitsteht.

Diese Einführung ist so gestaltet, dass sie ohne Vorkenntnisse als Einführung gelesen werden kann. Sie ist insbesondere für Studierende am Anfang des Studiums der Mathematik oder Informatik geeignet. Auch Studierende, die das Modul "Logik und Argumentationslehre" am Institut für Philosophie besucht haben und danach in das Modul "Logiksysteme" am Institut für Informatik wechseln möchten, können sich mit diesem Skript bereits eigenständig mit mathematischen Beweistechniken vertraut machen, ehe diese Dinge zu Beginn des Moduls "Logiksysteme" noch einmal gemeinsam besprochen werden.

Regelmäßige Veranstaltungen

Die folgenden Veranstaltungen werden in der Regel mindestens einmal pro Jahr angeboten:

Einführende Veranstaltungen

Logik und Argumentationslehre (Modulbeschreibung)
Diskrete Strukturen 1 / Mathematische und logische Grundlagen (Modulbeschreibung)

Aufbauveranstaltungen

Logiksysteme (Modulbeschreibung)
ausgewählte Veranstaltungen des Instituts für Philosophie aus den Bereichen Philosophische Logik, Sprachphilosophie, Philosophie der Mathematik und Wissenschaftstheorie

Fortgeschrittene Veranstaltungen

Logik und Beweisbarkeit (Modulbeschreibung)
Theoretische Informatik: Logik / Algorithmik (Modulbeschreibung)
ausgewählte Veranstaltungen des Instituts für Philosophie aus den Bereichen Philosophische Logik, Sprachphilosophie, Philosophie der Mathematik und Wissenschaftstheorie

Bisherige Veranstaltungen

WiSe 2021/22

Einführende Veranstaltungen

Logik und Argumentationslehre (Kurs in Friedolin)
Diskrete Strukturen I (Kurse in Friedolin: Vorlesung, Übung)

Aufbauveranstaltungen

Logiksysteme (Kurs in Friedolin)
Wittgenstein: Logisch-Philosophische Abhandlung (Kurs in Friedolin)

Fortgeschrittene Veranstaltungen

Seminar: Komplexität und Logik (Kurs in Friedolin)

WiSe 2020/21

Einführende Veranstaltungen

Logik und Argumentationslehre (Kurse in Friedolin: Vorlesung, Übung)
Diskrete Strukturen I (Kurse in Friedolin: Vorlesung, Übung)

Aufbauveranstaltungen

Einführung in die Sprachtechnologie (Kurs in Friedolin)
Frege: Über Sinn und Bedeutung (Kurs in Friedolin)

Fortgeschrittene Veranstaltungen

Logik und Beweisbarkeit (Kurs in Friedolin)

SoSe 2020

Einführende Veranstaltungen

keine

Aufbauveranstaltungen

Logik in der Philosophie (Kurs in Friedolin)
Einführung in die Sprachphilosophie (Kurs in Friedolin)
Wittgensteins Philosophie der Mathematik (Kurs in Friedolin)
Frege - Grundgesetze der Arithmetik (Kurs in Friedolin)

Fortgeschrittene Veranstaltungen

Seminar: Theoretische Informatik: Logik (Kurs in Friedolin)
Seminar: Komplexität und Logik (Kurs in Friedolin)
Vorlesung: Mengenlehre als Fundament für Mathematik und Informatik (Kurs in Friedolin)

WiSe 2019/20

Einführende Veranstaltungen

Logik und Argumentationslehre (Kurse in Friedolin: Vorlesung, Übung)
Diskrete Strukturen 1 / Mathematische und logische Grundlagen (Kurse in Friedolin: Vorlesung, Übung)

Aufbauveranstaltungen

Logiksysteme (Kurs in Friedolin)
Wittgenstein: Tractatus (Kurs in Friedolin)
ALG: Mengenlehre und ihre Philosophie (Kurs in Friedolin)

Fortgeschrittene Veranstaltungen

Logik und Beweisbarkeit (Kurs in Friedolin)
ALG: Mengenlehre und ihre Philosophie (Kurs in Friedolin)

SoSe 2019

Einführende Veranstaltungen

keine

Aufbauveranstaltungen

Aufbauseminar Logik in der Philosophie (Kurs in Friedolin)
Quine: Word and Object (Kurs in Friedolin)
Notwendigkeit. Kant, Wittgenstein, Kripke (Kurs in Friedolin)

Fortgeschrittene Veranstaltungen

Seminar Theoretische Informatik: Logik (Kurs in Friedolin)

WiSe 2018/19

Einführende Veranstaltungen

Logik und Argumentationslehre (Kurse in Friedolin: Vorlesung, Übung)
Diskrete Strukturen 1 / Mathematische und logische Grundlagen (Kurse in Friedolin: Vorlesung, Übung)

Aufbauveranstaltungen

Logiksysteme (Kurs in Friedolin)
Einführung in die Sprachphilosophie (Kurs in Friedolin)
Kripke: Naming and Necessity (Kurs in Friedolin)

Fortgeschrittene Veranstaltungen

Logik und Beweisbarkeit (Kurs in Friedolin)

SoSe 2018

Einführende Veranstaltungen

Logik und Argumentationslehre (Kurse in Friedolin: Vorlesung, Übung)

Aufbauveranstaltungen

Einführung in die Wissenschaftstheorie (Kurs in Friedolin)

Fortgeschrittene Veranstaltungen

Seminar Theoretische Informatik: Logik (Kurs in Friedolin)
Summer School: 100 Years of Model Theory (Website)

WiSe 2017/18

Einführende Veranstaltungen

Logik und Argumentationslehre (Kurse in Friedolin: Vorlesung, Übung)
Diskrete Strukturen 1 / Mathematische und logische Grundlagen (Kurse in Friedolin: Vorlesung, Übung)

Aufbauveranstaltungen

Logiksysteme (Kurs in Friedolin)
Dedekind: Was sind und was sollen Zahlen? (Kurs in Friedolin)
Wittgenstein: Grundlagen der Mathematik (Kurs in Friedolin)

Fortgeschrittene Veranstaltungen

keine

Organisation

Mundhenk, Martin, Univ.-Prof. Dr. Professur Informatik: martin.mundhenk@uni-jena.de

+49 3641 9-46315

Raum 3313

Ernst-Abbe-Platz 1-2

07743 Jena

Professur Informatik

Google Maps – Lageplan

Ehemalige

Dr. David Löwenstein (Website)
ehemals Juniorprofessor für Philosophie mit Schwerpunkt Logik
Kontakt: loewenstein@hhu.de
Valentin Müller
ehemals wissenschaftliche Hilfskraft
Dr. Tabea Rohr (Website)
ehemals wissenschaftliche Mitarbeiterin am Institut für Philosophie und am Institut für Informatik
Kontakt: tabea.rohr@uni-jena.de