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
Vor Corona habe ich längere Zeit Ballett und Krav Maga beim Unisport gemacht und auch andere Kurse aus dem Fitnessbereich. Zurzeit findet Sport natürlich eher draußen oder im Homeoffice statt, aber ich hoffe, dass sich das bald wieder ändern kann. Zur Entspannung schnitze ich gerne und schaffe es auch manchmal dabei brauchbare Gegenstände herzustellen.
Für den Podcast „Der Funke – Geschichten aus dem Leben“ (Audible Original) wurde ich dazu interviewt, wie ich zu meiner Promotion in Logik gekommen bin, wie es ist in diesem Bereich (als Frau) zu arbeiten und was mir an meinem Job gefällt und wichtig ist. Hier ist ein Link zum Podcast (Folge 17 „In der Fremde zu Gast und in der Logik zu Hause“).
Publikationen
- Ayhan, S. (2021): What is the Meaning of Proofs? A Fregean Distinction in Proof-Theoretic Semantics, Journal of Philosophical Logic 50, 571–591.
- Ayhan, S. (2021):
, in The Logica Yearbook 2020, ed. by Igor Sedlár & Martin Blicha, pp. 1-16, College Publications.
- Ayhan, S. (2020): A cut-free sequent calculus for the bi-intuitionistic logic 2Int, unpublished manuscript: arXiv:2009.14787.
Lehre
Sprechstunde (Raum GB 04/148) nach Vereinbarung
Veranstaltungen
Veranstaltung |
Raum, Zeit |
|
WS 2021/22 |
Übung "Grundzüge der Logik" | Mo 10-12, GA 03/46 |
WS 2021/22 |
Einführung in die allgemeine Beweistheorie |
Mo 14-16, GA 03/46 |
SoSe 2021 |
Blockseminar: Logische Argumentation und Manipulation |
Termine: Vorbesprechung: 5.7., 18-20 Uhr Mi, 15.9., 10 -18 Uhr Do, 16.9., 10-18 Uhr Fr, 17.9., 10-18 Uhr |
- Übung: Grundzüge der Logik (WiSe 2018/19, WiSe 2019/20)
- Paradoxien (WiSe 2018/19, WiSe 2019/20)
- Einführung in die Philosophie der Logik (SoSe 2019)
- Blockseminar: Logische Argumentation und Manipulation (SoSe 2019, SoSe 2020)
- Klassiker der Sprachphilosophie - Online-Kurs (SoSe 2020, WiSe 2020/21)
- Einführung in die Analytische Philosophie (gemeinsam mit Christopher Badura) - Online-Kurs (SoSe 2020)
- Formale Methoden und Techniken der Philosophie - Online-Kurs (WiSe 2020/21)
Vorträge (Auswahl)
- Bilateralism, logical consequence, and uniqueness of logical connectives (invited), Explanatory Inference Seminar, Januar 2022, Institut supérieur de philosophie, UCLouvain.
- On the distinctions between sense vs. denotation and identity vs. synonymy of proofs (invited, online), Celebrating the World Logic Day - 2022: The meaning of proofs, Januar 2022, University College London. (Slides)
- Bilateralism, logical consequence, and uniqueness of logical connectives, 25th Oxford Graduate Philosophy Conference, November 2021, University of Oxford.
- Reduction procedures and the meaning of proofs (invited), Seminar on Applied Mathematical Logic, Oktober 2021, Department of Logic, Czech Academy of Sciences, Prag.
- Reduction procedures and the meaning of proofs (invited, online), The Logic Supergroup - Early Career Researcher Workshop, Oktober 2021.
- Bilateralism, logical consequence, and uniqueness of logical connectives, PhD-Konferenz: Open Minds XV, Oktober 2021, University of Manchester.
- Bilateralism, logical consequence, and uniqueness of logical connectives (online, invited), Buenos Aires Logic Group - 10th Workshop on Philosophical Logic , August 2021, Universität Buenos Aires.
- Reduction procedures and the meaning of proofs (invited), Łódź-Bochum Workshop, Juli 2021, Ruhr-Universität Bochum und Universität Łódź.
- What are good reduction procedures? Perspectives from proof-theoretic semantics and type theory (online), AAL 2021 - Annual Conference of the Australasian Association for Logic, Juni 2021, University of Queensland and the University of Melbourne.
- Uniqueness of logical connectives in a bilateralist setting, Logic in Bochum VI, Dezember 2020, Ruhr-Universität Bochum.
- 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 (invited), Paris-Bochum-Moscow Workshop in Mathematical Philosophy , Dezember 2019, École normale supérieure, Paris.
- 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.
- 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.
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
- 8.-10. September 2021: Organisation: Doktorandenkonferenz: PhDs in Logic XII, Freie Universität Berlin.
- 17.-18. März 2022: Organisation: Konferenz: Bilateralism and Proof-Theoretic Semantics, Ruhr-Universität Bochum.
Videos
- Vortrag: Reduction procedures and the meaning of proofs (online, invited), The Logic Supergroup - Early Career Researcher Workshop, Oktober 2021.
- Vortrag: On the distinctions between sense vs. denotation and identity vs. synonymy of proofs (online, invited), Celebrating the World Logic Day - 2022: The meaning of proofs, Januar 2022, University College London.
- Tutorial video (Logica MX Outreach Project): Logic for the understanding of logical connectives