DEPARTMENT OF PHILOSOPHY I
LOGIC AND EPISTEMOLOGY
"Then Logic would take you by the throat, and force you to do it!"
(Lewis Carroll (1895): "What the Tortoise Said to Achilles")
|
|
CONTACT DETAILS |
Homepage of our logic team: Logic in Bochum
About me
- Since March 2018: Research Assistant/PhD Student, Ruhr-University Bochum. Supervisors: Prof. Dr. Heinrich Wansing, Prof. Dr. Peter Schroeder-Heister
- 2018: M. A. Philosophy, Ruhr-University Bochum. Master's Thesis: Proof-theoretic semantics and paradoxes, Supervisor: Prof. Dr. Heinrich Wansing
- 2015: First State Exam in Philosophy, English and History, University of Siegen. State Exam Thesis: Donald Davidson's Conception of Truth, Supervisor: Prof. Dr. Richard Schantz
- 2014: Semester Abroad, University of Adelaide, South Australia
- 2010: Abitur, Städtisches Gymnasium Selm
Research Interests
- Philosophical logic: Non-classical logics, proof-theoretic semantics, (logical) paradoxes, properties of consequence relations, identity of proofs, comparing different proof systems
- Philosophy of language/epistemology: Vagueness, theories of truth
Other interests
I've been doing ballet and Krav Maga for a couple of years now and I also try out other sports from time to time that are related to dance or martial arts. To relax, I like carving wood and once in a while I even manage to get something useful out of it.
Teaching
Consultation hours (room GA 3/37) by appointment
Seminars
| Seminar |
Room, Time |
|
| SoSe 2020 |
Block Seminar: Logical argumentation and manipulation |
HNC 10, Dates: Preliminary appointment: 3.8., 16-18 Wed, 19.8., 10 -18 Thu, 20.8., 10-18 Fr, 21.8., 10-18 |
| SoSe 2020 |
Introduction to Analytical Philosophy (together with Christopher Badura) - Online-Seminar |
GA 3/143, Mo 10-12 |
| SoSe 2020 |
Classical Texts in Philosophy of Language - Online-Seminar |
GABF 04/352, Mo 14-16 |
| WS 2019/20 |
Paradoxes |
GABF 04/716, Mon 16-18 |
| WS 2019/20 |
Exercise class "Grundzüge der Logik" |
GA 03/46, Mon 12-14 1. session on October, 21, 2019! |
| SoSe 2019 |
Block Seminar: Logical argumentation and manipulation |
GA 03/46, Dates: Preliminary appointment: 29.4., 18-20 Fr, 10.5., 14 -18 Sa, 11.5., 10-18 So, 12.5., 10-17 |
| SoSe 2019 |
Introduction to philosophy of logic |
GA 3/143, Mo 12-14 |
| WS 2018/19 |
Paradoxes |
Room changed (!): UFO 0/04, Thurs 12-14 |
| WS 2018/19 |
Exercise class "Grundzüge der Logik" |
GA 03/46, Mon 12-14 1. session on October, 22, 2018! |
Talks
- What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics, Thirteenth Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, January 2020, St John's College, Cambridge.
- Uniqueness of logical connectives in a bilateralist setting, Paris-Bochum-Moscow Workshop in Mathematical Philosophy , December 2019, École normale supérieure, Paris.
- Uniqueness of logical connectives in a bilateralist setting, GAP-Workshop for PhD students in Mathematical Philosophy, October 2019, MCMP, LMU Munich.
- The meaning of proofs in different proof systems, PhDs in Logic XI, April 2019, Bern, Institut für Exakte Wissenschaften.
- The meaning of proofs in different proof systems, Proof-Theoretic Semantics: Assessment and Future Perspectives, Third Tübingen Conference on Proof-Theoretic Semantics, March 2019, Eberhard Karls University Tübingen.
- Why tonk is nonsensical...and paradoxes aren't: An approach in a typed sequent calculus system, SOPhiA 2018, September 2018, University of Salzburg.
- Proof-theoretic semantics and paradoxes: Distinguishing non-standard phenomena in sequent calculus, Oberseminar "Logik und Sprachtheorie", July 2018, Faculty of Mathematics and Natural Sciences, Eberhard Karls University Tübingen.
- Proof-theoretic semantics and paradoxes: Distinguishing non-standard phenomena in sequent calculus, PhDs in Logic X, May 2018, Prague, Institute of Philosophy of the Czech Academy of Sciences.
- Paraconsistent accounts of vagueness and semantic dialetheism, Studierendenkongress für Philosophie (DGPhil Kongress), September 2017, Humboldt-University of Berlin.
- Proof-theoretic semantics and paradoxes: Choosing the right (?) calculus, SOPhiA 2017, September 2017, University of Salzburg.
- Vagueness as the route to semantic dialetheism, 5th WFaP Graduate Conference: What in the World(s)?!, September 2016, University of Vienna.
- Vagueness as the route to semantic dialetheism, SOPhiA 2016, September 2016, University of Salzburg.
- Can truth lead us the way to meaning? A critical examination of Davidson's project of giving a semantic theory, think! First Bayreuth Student Conference in Analytic Philosophy, July 2016, University of Bayreuth.
- The relation between Davidson's semantic theory and his theory of truth, Workshop: Why Does Davidson (and Why Do We) Need a Semantic Theory?, April 2016, University of Zurich.
Summer Schools
- Sept. 2018: 1st International Summer School on Proof Theory (Poster Presentation)
Ghent University - July 2018: 5th Summer School on Mathematical Philosophy for Female Students (participation)
Main lecture stream: "Modality: Metaphysics, Logic, Semantics" (Lectures: Prof. Dr. Barbara Vetter)
MCMP, LMU Munich - Aug. 2017: 4th Summer School on Mathematical Philosophy for Female Students (participation)
Main lecture stream: "Paradoxes and Self-Reference" (Lectures: Prof. Roy T. Cook)
MCMP, LMU Munich
Projects
- PhD-Dissertation: working title: Consequence relations and identity of proofs in proof-theoretic semantics
Upcoming Events
- April 2021: Co-Organization: PhDs in Logic XII, Freie Universität Berlin.