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).
-
SoSe 2024
Veranstaltungen im SoSe 2024
Einführende Veranstaltungen
- keine
Aufbauveranstaltungen
- Collegium Philosophicum mit Schwerpunktthema "Logik in der Philosophiegeschichte" (VortragsreiheExterner LinkExterner LinkExterner Link)
Fortgeschrittene Veranstaltungen
- Komplexität & Logik (SeminarExterner LinkExterner LinkExterner Link)
- Algorthmisches Beweisen (Vorlesung/ÜbungExterner LinkExterner LinkExterner Link)
-
SoSe 2023
Einführende Veranstaltungen
- keine
Aufbauveranstaltungen
- Syllogistische Logik (HauptseminarExterner Link)
Fortgeschrittene Veranstaltungen
- Logik und Beweisbarkeit (Vorlesung, Übung, TutoriumExterner Link)
-
WiSe 2022/23
Einführende Veranstaltungen
- Logik und Argumentationslehre (VorlesungExterner Link, ÜbungExterner Link, TutoriumExterner Link)
- Diskrete Strukturen I (VorlesungExterner Link, ÜbungExterner Link)
Aufbauveranstaltungen
- Logiksysteme (Vorlesung und ÜbungExterner Link, TutoriumExterner Link)
Fortgeschrittene Veranstaltungen
- Komplexität und Logik (SeminarExterner Link)
-
WiSe 2021/22
Einführende Veranstaltungen
- Logik und Argumentationslehre (Kurs in FriedolinExterner Link)
- Diskrete Strukturen I (Kurse in Friedolin: VorlesungExterner Link, ÜbungExterner Link)
Aufbauveranstaltungen
- Logiksysteme (Kurs in FriedolinExterner Link)
- Wittgenstein: Logisch-Philosophische Abhandlung (Kurs in FriedolinExterner Link)
Fortgeschrittene Veranstaltungen
- Seminar: Komplexität und Logik (Kurs in FriedolinExterner Link)
-
WiSe 2020/21
Einführende Veranstaltungen
- Logik und Argumentationslehre (Kurse in Friedolin: VorlesungExterner Link, ÜbungExterner Link)
- Diskrete Strukturen I (Kurse in Friedolin: VorlesungExterner Link, ÜbungExterner Link)
Aufbauveranstaltungen
- Einführung in die Sprachtechnologie (Kurs in FriedolinExterner Link)
- Frege: Über Sinn und Bedeutung (Kurs in FriedolinExterner Link)
Fortgeschrittene Veranstaltungen
- Logik und Beweisbarkeit (Kurs in FriedolinExterner Link)
-
SoSe 2020
Einführende Veranstaltungen
- keine
Aufbauveranstaltungen
- Logik in der Philosophie (Kurs in FriedolinExterner Link)
- Einführung in die Sprachphilosophie (Kurs in FriedolinExterner Link)
- Wittgensteins Philosophie der Mathematik (Kurs in FriedolinExterner Link)
- Frege - Grundgesetze der Arithmetik (Kurs in FriedolinExterner Link)
Fortgeschrittene Veranstaltungen
- Seminar: Theoretische Informatik: Logik (Kurs in FriedolinExterner Link)
- Seminar: Komplexität und Logik (Kurs in FriedolinExterner Link)
- Vorlesung: Mengenlehre als Fundament für Mathematik und Informatik (Kurs in FriedolinExterner Link)
-
WiSe 2019/20
Einführende Veranstaltungen
- Logik und Argumentationslehre (Kurse in Friedolin: VorlesungExterner Link, ÜbungExterner Link)
- Diskrete Strukturen 1 / Mathematische und logische Grundlagen (Kurse in Friedolin: VorlesungExterner Link, ÜbungExterner Link)
Aufbauveranstaltungen
- Logiksysteme (Kurs in FriedolinExterner Link)
- Wittgenstein: Tractatus (Kurs in FriedolinExterner Link)
- ALG: Mengenlehre und ihre Philosophie (Kurs in FriedolinExterner Link)
Fortgeschrittene Veranstaltungen
- Logik und Beweisbarkeit (Kurs in FriedolinExterner Link)
- ALG: Mengenlehre und ihre Philosophie (Kurs in FriedolinExterner Link)
-
SoSe 2019
Einführende Veranstaltungen
- keine
Aufbauveranstaltungen
- Aufbauseminar Logik in der Philosophie (Kurs in FriedolinExterner Link)
- Quine: Word and Object (Kurs in FriedolinExterner Link)
- Notwendigkeit. Kant, Wittgenstein, Kripke (Kurs in FriedolinExterner Link)
Fortgeschrittene Veranstaltungen
- Seminar Theoretische Informatik: Logik (Kurs in FriedolinExterner Link)
-
WiSe 2018/19
Einführende Veranstaltungen
- Logik und Argumentationslehre (Kurse in Friedolin: VorlesungExterner Link, ÜbungExterner Link)
- Diskrete Strukturen 1 / Mathematische und logische Grundlagen (Kurse in Friedolin: VorlesungExterner Link, ÜbungExterner Link)
Aufbauveranstaltungen
- Logiksysteme (Kurs in FriedolinExterner Link)
- Einführung in die Sprachphilosophie (Kurs in FriedolinExterner Link)
- Kripke: Naming and Necessity (Kurs in FriedolinExterner Link)
Fortgeschrittene Veranstaltungen
- Logik und Beweisbarkeit (Kurs in FriedolinExterner Link)
-
SoSe 2018
Einführende Veranstaltungen
- Logik und Argumentationslehre (Kurse in Friedolin: VorlesungExterner Link, ÜbungExterner Link)
Aufbauveranstaltungen
- Einführung in die Wissenschaftstheorie (Kurs in FriedolinExterner Link)
Fortgeschrittene Veranstaltungen
- Seminar Theoretische Informatik: Logik (Kurs in FriedolinExterner Link)
- Summer School: 100 Years of Model Theory (WebsiteExterner Link)
-
WiSe 2017/18
Einführende Veranstaltungen
- Logik und Argumentationslehre (Kurse in Friedolin: VorlesungExterner Link, ÜbungExterner Link)
- Diskrete Strukturen 1 / Mathematische und logische Grundlagen (Kurse in Friedolin: VorlesungExterner Link, ÜbungExterner Link)
Aufbauveranstaltungen
- Logiksysteme (Kurs in FriedolinExterner Link)
- Dedekind: Was sind und was sollen Zahlen? (Kurs in FriedolinExterner Link)
- Wittgenstein: Grundlagen der Mathematik (Kurs in FriedolinExterner Link)
Fortgeschrittene Veranstaltungen
- keine
-
Rohr, Tabea, Juniorprof. Dr. Junior-Professur für Logik Arbeitsbereich Philosophie mit Schwerpunkt Logik
Raum 1. OG 103
Zwätzengasse 9
07743 JenaSprechzeiten:
nach Vereinbarung -
Beyersdorff, Olaf, Univ.-Prof. Dr. Professur für Theoretische Informatik I
Raum 3323
Ernst-Abbe-Platz 1-2
07743 Jena
-
Gottlob Frege (ca. 1879)Foto: Bild gemeinfrei (Wikimedia Commons)
-
Das Gründungsteam des Frege-Zertifikats: Tabea Rohr, Martin Mundhenk und David LöwensteinFoto: Anne Günther (Universität Jena)
-
Übergabe der ersten Frege-Zertifikate im Februar 2020 an Hauke Rehr, Valentin Müller und Evan Lucas Möller-Stechbart (von rechts bis Mitte)Foto: Anne Günther (Universität Jena)
-
Übergabe der ersten Frege-Zertifikate im Februar 2020 an Hauke Rehr, Evan Lucas Möller-Stechbart und Valentin Müller (von links nach rechts)Foto: Anne Günther (Universität Jena)
-
Übergabe eines Frege-Zertifikates im Herbst 2020 an Vincent VoigtFoto: Anne Günther (Universität Jena)
-
Übergabe eines Frege-Zertifikates im Herbst 2020 an Vincent VoigtFoto: Anne Günther (Universität Jena)