"Then Logic would take you by the throat, and force you to do it!"

(Lewis Carroll (1895): "What the Tortoise Said to Achilles")


20180315 080904-b


Sara Ayhan, M. A.       

Ruhr-Universität Bochum
Institut für Philosophie I
Universitätsstraße 150
D-44780 Bochum

Tel.: +49-234-32-28074
Raum: GA 3/37

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.


Consultation hours (room GA 3/37) by appointment


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
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
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!



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


  • PhD-Dissertation: working title: Consequence relations and identity of proofs in proof-theoretic semantics

Upcoming Events