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
Pre-Corona 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).
Publications
- 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.
Teaching
Consultation hours (room GB 04/148) by appointment
Seminars
| Seminar |
Room, Time |
|
| WS 2021/22 |
Exercise class "Grundzüge der Logik" |
Mon 10-12, GA 03/46 |
| WS 2021/22 |
Introduction to General Proof Theory |
Mon 14-16, GA 03/46 |
| SoSe 2021 |
Block Seminar: Logical Argumentation and Manipulation |
Dates: Preliminary appointment: 5.7., 18-20 Wed, 15.9., 10 -18 Thu, 16.9., 10-18 Fr, 17.9., 10-18 |
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 - Online-Seminar (SoSe 2020, WiSe 2020/21)
- Introduction to Analytical Philosophy (together with Christopher Badura) - Online-Seminar (SoSe 2020)
- Philosophical Devices (Formal Methods in Philosophy) - Online-Seminar (WiSe 2020/21)
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, PhD-Konferenz: 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 proof-theoretic 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 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 (invited), Paris-Bochum-Moscow 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, Proof-Theoretic Semantics: Assessment and Future Perspectives, Third Tübingen Conference on Proof-Theoretic Semantics, March 2019, 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.
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
- September 8-10, 2021: Co-Organization: PhDs in Logic XII, Free University Berlin.
- March 17-18, 2022: Organization: Conference: Bilateralism and Proof-Theoretic Semantics, Ruhr University Bochum.
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