Teaching
Current lecture courses and seminars [2022/2023 Winter semester]
Blockseminar: Logische Argumentation und Manipulation, Fr & Sat: 4.-5. Nov & 9.-10. Dec [Ayhan]
Übung Grundzüge der Logik I, Mon. 10:00 - 12:00 [Hesse]
Seminar Logische Techniken, Tue. 10:00 - 12:00 [Skurt & Omori]
Seminar Bertrand Russell: Probleme der Philosophie, Tue. 10:00 - 12:00 [Gooßens]
Research Seminar Contradictory Logics., Tue. 14.00 - 16.00 [Wansing]
Übung Grundzüge der Logik I, Tue. 18:00 - 20:00 [Rami]
Vorlesung Grundzüge der Logik I, Wed. 14:00 - 16:00 [Rami]
Work in progress seminar in logic, Wed. 14:00 - 16:00 [Wansing & Omori]
Seminar Mengenlehre für Philosophen Wed. 16:00 - 18:00 [Skurt]
Begleitseminar Erkenntnistheorie, Wed. 16.00 - 18.00 [Kürbis]
Research Colloquium "Philosophy of Language, Logic, and Information", Wed. 17:30 - 19:00 [Rami & Liefke]
Seminar Existenz, Quantifikation und Modalität bei W.V.O. Quine, Thu. 10:00 - 12:00 [Gooßens]
Vorlesung Einführung in die Theoretische Philosophie, Thu. 12.00 - 14.00 [Rami]
Research Colloquium "Logic and Epistemology", Thu. 14:00 - 16:00. [Omori]
Bochum Language Colloquium, Thu. 16.00 - 18.00 [Liefke & Werning]
Seminar The Analytic/ Synthetic Distinction, Fr. 10:00 - 12:00 [von Lanthen]
Begleitseminar Über das Unendliche, Fr. 12.00 - 14.00 [Weiß]
Seminar Philosophy of Alternative Mathematics, Fr. 14.00 - 16.00 [Mangraviti & De Martin Polo]
Einführung Sprachphilosophie, tba [Liefke]
Blockseminar, tba [Weber & Omori]
Past lecture courses and seminars [2022 Summer semester]
Übung zu "Grundzüge der Logik", Mon. 10:00--12:00 [Hesse]
Formale Methoden und Techniken der Philosophie, Mon. 14:00--16:00 [Ayhan]
Lektürekurs: Saul Kripke - Name und Notwendigkeit, Mon. 14:00--16:00 [Liefke]
Ontologie und Metaontologie, Tue. 10:00--12:00 [Gooßens]
Research Seminar on Contradictory Logics, Tue. 14:00--16:00. [Wansing]
Grundzüge der Logik I, Tue. 16:00-18:00 [Kürbis]
Work in progress seminar in logic, Wed. 14:00--16:00 [Wansing & Omori]
Übung zu "Grundzüge der Logik", Wed. 16:00--18:00 [Kürbis]
Research Colloquium "Philosophy of Language, Logic, and Information", Wed. 17:00--19:00 [Liefke]
Logik-Texte: Zur Geschichte der modernen Logik, Thu. 10:00--12:00 [Omori & Skurt]
Übung zu "Grundzüge der Logik", Thu. 14:00--16:00 [Kürbis]
Übung: Darstellungsformen der Logik, Thu. 14:00--16:00 [Skurt]
Kommunikation und Bedeutung, Thu. 14:00--16:00 [Liefke]
Research Colloquium "Logic and Epistemology", Thu. 16:00--18:00 [Omori]
Reading Seminar: The Contradictory Christ, Fri. 10:00--12:00 [Omori & Tedder]
Tutorial: Introduction to Artificial Intelligence, Fri. 10:00-12:00 [Straßer et al.]
Prädikatenlogik - Logik II, Fri. 10:00-11:30 [Straßer]
Übung: "Prädikatenlogik - Logik II", Fri. 11:30-12:00 [Straßer]
Introduction to Artificial Intelligence, Fri. 12:00-14:00 [Straßer et al.]
Logic and Artificial Intelligence, Fri. 14:30-15:30 [Straßer]
Exercises: Logic and Artificial Intelligence, Fri. 15:30-17:00 [Straßer]
Blockseminar: Verification, Falsification and empirical Negation. Developments of Themes from the Work of Michael Dummett [Omori & Kürbis]
Blockseminar: Darstellungsformen der Logik [Skurt & Steinacker]
Past lecture courses and seminars [2021/2022 Winter semester]
Übung zu "Grundzüge der Logik", Mon. 10:00--12:00 [Ayhan]
Logische Techniken, Mon. 10:00--12:00 [Skurt & Omori]
Einführung in die allgemeine Beweistheorie, Mon. 14:00--16:00 [Ayhan]
Übung zu "Grundzüge der Logik", Mon. 14:00--16:00 [Skurt]
Einführung in die (analytische) Ontologie, Mon. 14:00--16:00 [Liefke]
Übung zu "Grundzüge der Logik", Tue. 14:00--16:00 [Skurt]
Intuitionistic Modal Logic, Tue. 16:00-18:00 [Omori]
Grundzüge der Logik I, Wed. 14:00-16:00 [Skurt]
Work in progress seminar in logic, Wed. 14:00--16:00 [Wansing & Omori]
Research Colloquium "Philosophy of Language, Logic, and Information", Wed. 17:00--19:00 [Rami & Liefke]
Philosophische Logik, Thu. 10:00--12:00. [Straßer]
Übung zu "Philosophische Logik", Thu. 12:00--14:00. [Straßer]
What is information, Thu. 14:00--16:00 [Liefke]
Research Colloquium "Logic and Epistemology", Thu. 14:00--16:00. [Wansing & Straßer]
Blockseminar: "Core Logic", dates: tba [Wansing & Omori]
Past lecture courses and seminars [2021 Summer semester]
An Introduction to Connexive Logic, Online, Tue. 10:00--12:00 [Wansing & Omori]
Philosophische Logik, Online, Tue. 10:00-12:00 [Badura]
Bedeutung, Wahrheit und Kontext: Einführung in die philosophische Semantik, Online, Tue. 12:00-14:00 [Liefke]
Übung zu Grundzüge der Logik, Online, Tue. 18:00--20:00 [Rami]
Grundzüge der Logik: Logik I, Online [prerecorded], Wed. 14:00--16:00. [Rami]
Work in progress seminar in logic, Online, Wed. 14:00--16:00 [Wansing & Omori]
Research Colloquium "Philosophy of Language, Logic, and Information", Online, Wed. 17:00--19:00 [Rami & Liefke]
Reading seminar "History of Connexive Logic", Online, Thu. 10:00--12:00. [Wansing & Omori]
Übung zu Grundzüge der Logik, Online, Thu. 14:00--16:00 [Badura]
Propositional Attitudes, Online, Thu. 14:00--16:00 [Liefke]
Research Colloquium "Logic and Epistemology", Online, Thu. 16:00--18:00 [Wansing]
Blockseminar: "Constructive Logic", Online, 15.07--18.07 [Wansing & Omori]
Blockseminar: "Logische Argumentation und Manipulation", September 2021 (exact dates tba) [Ayhan]
Past lecture courses and seminars [2020/2021 Winter semester]
Klassiker der Sprachphilosophie - Online-Kurs, Mon. 12:00--14:00 [Ayhan]
Formale Methoden und Techniken der Philosophie - Online-Kurs, Mon. 16-18 [Ayhan]
Reading seminar "Negation",
GABF 05/707/Online, Tue. 10:00--12:00. [Wansing & Omori]Grundzüge der Logik: Logik I, Online, Tue. 16:00--18:00. [Wansing]
Work in progress seminar in logic,
GABF 04/716/Online, Wed. 10:00--12:00. [Wansing & Omori]Research Colloquium "Logic and Epistemology",
GABF 04/516/Online, Thu. 16:00--18:00. [Wansing & Omori]
Past lecture courses and seminars [2020 Summer semester]
Einführung in die Analytische Philosophie - Online-Kurs, Mon. 10:00--12:00. [Ayhan & Badura]
Klassiker der Sprachphilosophie - Online-Kurs, Mon. 14:00--16:00. [Ayhan]
Modale Prädikatenlogik, Online/Moodle, self-study. [Badura]
Reading seminar "Relevant Logic", Online, Tue. 10:00--12:00. [Omori]
Work in progress seminar in logic, Online, Wed. 10:00--12:00. [Omori]
Existenz - Bezugnahme - Wahrheit: Anwendungen der freien Logik in der Philosophie, Online, Thu. 10:00--13:00. [Rami]
Research Colloquium "Logic and Epistemology", Online, Thu. 17:00--. [Rami]
Blockseminar: Logische Argumentation und Manipulation, Dates: t.b.a. [Ayhan]
Past lecture courses and seminars [2019/2020 Winter semester]
Übung "Grundzüge der Logik", GA 03/46, Mon. 12:00--14:00. [Ayhan]
Paradoxien, GABF 04/716, Mon. 16:00--18:00. [Ayhan]
Philosophische Logik, GABF 04/352, Tue. 10:00--12:00. [Wansing]
Grundzüge der Logik: Logik I, HGA 10, Tue. 12:00--14:00. [Straßer]
Einführung in die Erkenntnistheorie, GABF 04/716, Tue. 14:00--16:00. [Wansing]
Übung zur Vorlesung: "Grundzüge der Logik", GABF 04/716, Tue. 16:00--18:00. [Straßer]
Mehrwertige Logiken, GABF 04/358, Tue. 16:00--18:00. [Skurt]
Work in progress seminar in logic, GABF 04/354, Wed. 10:00--12:00. [Wansing & Omori]
Reading seminar "Connexive Logic", GABF 04/358, Thu. 10:00--12:00. [Wansing & Omori]
Research Colloquium "Logic and Epistemology", GABF 04/358, Thu. 14:00--16:00. [Wansing & Omori]
Freges Philosophie der Sprache und Logik, GA 3/143, Fri. 11:00--14:00. [Rami]