INSTITUT FÜR PHILOSOPHIE I
LOGIK UND ERKENNTNISTHEORIE
"Then Logic would take you by the throat, and force you to do it!"
(Lewis Carroll (1895): "What the Tortoise Said to Achilles")
|
|
KONTAKT |
Homepage unserer Arbeitsgruppe: Logic in Bochum
Über mich
- Seit März 2018: Wissenschaftliche Mitarbeiterin/Doktorandin, Ruhr-Universität Bochum. Betreuer: Prof. Dr. Heinrich Wansing, Prof. Dr. Peter Schroeder-Heister
- 2018: M. A. Philosophie, Ruhr-Universität Bochum. Masterarbeit: Proof-theoretic semantics and paradoxes, Betreuer: Prof. Dr. Heinrich Wansing
- 2015: Erstes Staatsexamen in Philosophie, Englisch und Geschichte, Universität Siegen. Staatsarbeit: Donald Davidson's Theorie der Wahrheit, Betreuer: Prof. Dr. Richard Schantz
- 2014: Auslandssemester, University of Adelaide, South Australia
- 2010: Abitur, Städtisches Gymnasium Selm
Forschungsinteressen
- Philosophische Logik: Nicht-klassische Logiken, beweistheoretische Semantik, (logische) Paradoxien, Eigenschaften von Konsequenzrelationen, Identität von Beweisen, Vergleich verschiedener Beweissysteme
- Sprachphilosophie/Erkenntnistheorie: Vagheit, Wahrheitstheorien
Sonstige Interessen
Ich mache seit einigen Jahren Ballett und Krav Maga beim Unisport und probiere nebenher auch ab und zu andere Kurse aus dem Bereich Tanz und Kampfsport aus. Zur Entspannung schnitze ich gerne und schaffe es auch manchmal dabei brauchbare Gegenstände herzustellen.
Lehre
Sprechstunde (Raum GA 3/37) nach Vereinbarung
Veranstaltungen
| Veranstaltung |
Raum, Zeit |
|
| SoSe 2020 |
Blockseminar: Logische Argumentation und Manipulation |
HNC 10, Termine: Vorbesprechung: 3.8., 16-18 Uhr Mi, 19.8., 10 -18 Uhr Do, 20.8., 10-18 Uhr Fr, 21.8., 10-18 Uhr |
| SoSe 2020 |
Einführung in die Analytische Philosophie (gemeinsam mit Christopher Badura) - Online-Kurs |
GA 3/143, Mo 10-12 |
| SoSe 2020 |
Klassiker der Sprachphilosophie - Online-Kurs |
GABF 04/352, Mo 14-16 |
| WS 2019/20 |
Paradoxien |
GABF 04/716, Mo, 16-18 |
| WS 2019/20 |
Übung "Grundzüge der Logik" | GA 03/46, Mo 12-14 1. Sitzung am 21. Oktober 2019! |
| SoSe 2019 |
Blockseminar: Logische Argumentation und Manipulation |
GA 03/46, Termine: Vorbesprechung: 29.4., 18-20 Uhr Fr, 10.5., 14 -18 Uhr Sa, 11.5., 10-18 Uhr So, 12.5., 10-17 Uhr |
| SoSe 2019 |
Einführung in die Philosophie der Logik |
GA 3/143, Mo 12-14 |
| WiSe 2018/19 |
Paradoxien |
Geänderter Raum (!): UFO 0/04, Do 12-14 |
| WiSe 2018/19 |
Übung "Grundzüge der Logik" |
GA 03/46, Mo 12-14 1. Sitzung am 22. Oktober 2018! |
Vorträge
- 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, Januar 2020, St John's College, Cambridge.
- Uniqueness of logical connectives in a bilateralist setting, Paris-Bochum-Moscow Workshop in Mathematical Philosophy , Dezember 2019, École normale supérieure, Paris.
- Uniqueness of logical connectives in a bilateralist setting, GAP-Doktorandenworkshop Mathematische Philosophie, Oktober 2019, MCMP, LMU München.
- 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, März 2019, Eberhard Karls Universität Tübingen.
- Why tonk is nonsensical...and paradoxes aren't: An approach in a typed sequent calculus system, SOPhiA 2018, September 2018, Universität Salzburg.
- Proof-theoretic semantics and paradoxes: Distinguishing non-standard phenomena in sequent calculus, Oberseminar "Logik und Sprachtheorie", Juli 2018, Mathematisch-naturwissenschaftliche Fakultät, Eberhard Karls Universität Tübingen.
- Proof-theoretic semantics and paradoxes: Distinguishing non-standard phenomena in sequent calculus, PhDs in Logic X, Mai 2018, Prag, Institut für Philosophie der Akademie der Wissenschaften der Tschechischen Republik.
- Paraconsistent accounts of vagueness and semantic dialetheism, Studierendenkongress für Philosophie (DGPhil Kongress), September 2017, Humboldt-Universität zu Berlin.
- Proof-theoretic semantics and paradoxes: Choosing the right (?) calculus, SOPhiA 2017, September 2017, Universität Salzburg.
- Vagueness as the route to semantic dialetheism, 5th WFaP Graduate Conference: What in the World(s)?!, September 2016, Universität Wien.
- Vagueness as the route to semantic dialetheism, SOPhiA 2016, September 2016, Universität 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, Juli 2016, Universität 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, Universität Zürich.
Summer Schools
- Sept. 2018: 1st International Summer School on Proof Theory (Poster Präsentation)
Universität Gent - Juli 2018: 5th Summer School on Mathematical Philosophy for Female Students (Teilnahme)
Schwerpunkt: "Modality: Metaphysics, Logic, Semantics" (Lectures: Prof. Dr. Barbara Vetter)
MCMP, LMU München - Aug. 2017: 4th Summer School on Mathematical Philosophy for Female Students (Teilnahme)
Schwerpunkt: "Paradoxes and Self-Reference" (Lectures: Prof. Roy T. Cook)
MCMP, LMU München
Projekte
- Dissertation: Arbeitstitel: Consequence relations and identity of proofs in proof-theoretic semantics
Publikationen
- Ayhan, S. (2020): What is the Meaning of Proofs? A Fregean Distinction in Proof-Theoretic Semantics, Journal of Philosophical Logic.
Upcoming Events
- Dezember 2020: Vortrag (online): Uniqueness of logical connectives in a bilateralist setting, Logic in Bochum VI, Ruhr-Universität Bochum.
- April 2021: Organisation: PhDs in Logic XII, Freie Universität Berlin.