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, RuhrUniversity Bochum. Supervisors: Prof. Dr. Heinrich Wansing, Prof. Dr. Peter SchroederHeister
 2018: M. A. Philosophy, RuhrUniversity Bochum. Master's Thesis: Prooftheoretic 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
Publications
 Ayhan, S. (2021): What is the Meaning of Proofs? A Fregean Distinction in ProofTheoretic Semantics, Journal of Philosophical Logic 50, 571–591.
 Ayhan, S. (2021): , in The Logica Yearbook 2020, ed. by Igor Sedlár & Martin Blicha, pp. 116, College Publications.
 Ayhan, S. (2020): A cutfree sequent calculus for the biintuitionistic logic 2Int, unpublished manuscript: arXiv:2009.14787.
Talks (Selection)
 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, January 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, October 2021, Department of Logic, Czech Academy of Sciences, Prague.
 Reduction procedures and the meaning of proofs (online, invited), The Logic Supergroup  Early Career Researcher Workshop, October 2021.
 Bilateralism, logical consequence, and uniqueness of logical connectives, PhDKonferenz: Open Minds XV, October 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, July 2021, Ruhr University Bochum and University of Łódź.
 What are good reduction procedures? Perspectives from prooftheoretic semantics and type theory (online), AAL 2021  Annual Conference of the Australasian Association for Logic, June 2021, University of Queensland and the University of Melbourne.
 Uniqueness of logical connectives in a bilateralist setting (online), Logic in Bochum VI, December 2020, Ruhr University Bochum.
 What is the meaning of proofs? A Fregean distinction in prooftheoretic 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 (invited), ParisBochumMoscow Workshop in Mathematical Philosophy , December 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, ProofTheoretic Semantics: Assessment and Future Perspectives, Third Tübingen Conference on ProofTheoretic Semantics, March 2019, Eberhard Karls University Tübingen.
 Prooftheoretic semantics and paradoxes: Distinguishing nonstandard phenomena in sequent calculus, PhDs in Logic X, May 2018, Prague, Institute of Philosophy of the Czech Academy of Sciences.
Projects
 PhDDissertation: working title: Consequence relations and identity of proofs in prooftheoretic semantics
 September 810, 2021: CoOrganization: PhDs in Logic XII, Free University Berlin.
 March 1718, 2022: Organization: Conference: Bilateralism and ProofTheoretic Semantics, Ruhr University Bochum.
 Editing Special Issue of the Bulletin of the Section of Logic: Bilateralism and ProofTheoretic Semantics (Call for Papers)
Upcoming Events
 10.12. August: Talk (invited) Meaning and identity of proofs in a bilateralist setting: A twosorted typed lambdacalculus for 2Int, XI Workshop on Philosophical Logic, Argentinean Society of Philosophical Analysis (SADAF), Buenos Aires.
 5. September: Talk Why Ekmanreduction is no reduction (and therefore Ekman’s paradox is no paradox), PhDs in Logic XIII  2022, University of Turin.
 11.15. September: Talk ‘Bad’ reductions, paradoxes and the meaning of proofs, Logica 2022, Department of Logic, Academy of Sciences of the Czech Republic.
 9.11. November: Talk (invited) tba, Symposium on Prooftheoretic Semantics, University College London.
Teaching
Consultation hours (room GB 04/148) by appointment
Seminars
Seminar 
Room, Time 

WS 2021/22 
Exercise class "Grundzüge der Logik" 
Mon 1012, GA 03/46 
WS 2021/22 
Introduction to General Proof Theory 
Mon 1416, GA 03/46 
SoSe 2021 
Block Seminar: Logical Argumentation and Manipulation 
Dates: Preliminary appointment: 5.7., 1820 Wed, 15.9., 10 18 Thu, 16.9., 1018 Fr, 17.9., 1018 
Past Seminars
 Exercise class: Logic I (WiSe 2018/19, WiSe 2019/20)
 Paradoxes (WiSe 2018/19, WiSe 2019/20)
 Introduction to Philosophy of Logic (SoSe 2019)
 Block Seminar: Logical Argumentation and Manipulation (SoSe 2019, SoSe 2020)
 Classical Texts in Philosophy of Language  OnlineSeminar (SoSe 2020, WiSe 2020/21)
 Introduction to Analytical Philosophy (together with Christopher Badura)  OnlineSeminar (SoSe 2020)
 Philosophical Devices (Formal Methods in Philosophy)  OnlineSeminar (WiSe 2020/21)
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 SelfReference" (Lectures: Prof. Roy T. Cook)
MCMP, LMU Munich
Research Interests
 Philosophical logic: Nonclassical logics, prooftheoretic semantics, (logical) paradoxes, properties of consequence relations, identity of proofs, comparing different proof systems
 Philosophy of language/epistemology: Vagueness, theories of truth
Other interests
PreCorona I've been doing ballet and Krav Maga for a couple of years and also tried out other sports from time to time related to fitness, dance or martial arts. At the moment the choice of sports is a bit restricted to outdoors or homeoffice compatibility but I hope that this will be different again soon. To relax, I like carving wood and once in a while I even manage to get something useful out of it.
I was recently interviewed for a podcast, „Der Funke – Geschichten aus dem Leben“ (Audible Original), about how I came to do my PhD in Logic, what it is like to work in this area (as a woman) and at a university. Here’s a link to the podcast (Episode 17 „In der Fremde zu Gast und in der Logik zu Hause“  the interview is in German, though).
Videos
 Talk: Reduction procedures and the meaning of proofs (online, invited), The Logic Supergroup  Early Career Researcher Workshop, Oktober 2021.
 Talk: 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