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")

 

20180315 080904-b

CONTACT DETAILS

Sara Ayhan, M. A.       

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

Tel.: +49-234-32-28074
Raum: GA 3/37
E-Mail: sara.ayhan@rub.de

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

CV

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.

Teaching

Consultation hours (room GA 3/37) during WiSe 2019/20: Thurs 12-13 (no office hours on 7.11., 28.11., 12.12.)

Seminars


 Seminar
 Room, Time
WS 2019/20
 Paradoxes
 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
 Compact course: 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
 Paradoxes
 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!

 

Talks

  • Uniqueness of logical connectives in a bilateralist setting, Paris-Bochum-Moscow Workshop in Mathematical Philosophy , December 2019, École normale supérieure, Paris.
  • Uniqueness of logical connectives in a bilateralist setting, GAP-Workshop for PhD students in Mathematical Philosophy, October 2019, MCMP, LMU Munich.
  • 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.
  • Why tonk is nonsensical...and paradoxes aren't: An approach in a typed sequent calculus system, SOPhiA 2018, September 2018, University of Salzburg.
  • Proof-theoretic semantics and paradoxes: Distinguishing non-standard phenomena in sequent calculus, Oberseminar "Logik und Sprachtheorie", July 2018, Faculty of Mathematics and Natural Sciences, 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.
  • Paraconsistent accounts of vagueness and semantic dialetheism, Studierendenkongress für Philosophie (DGPhil Kongress), September 2017, Humboldt-University of Berlin.
  • Proof-theoretic semantics and paradoxes: Choosing the right (?) calculus, SOPhiA 2017, September 2017, University of Salzburg.
  • Vagueness as the route to semantic dialetheism, 5th WFaP Graduate Conference: What in the World(s)?!, September 2016, University of Vienna.
  • Vagueness as the route to semantic dialetheism, SOPhiA 2016, September 2016, University of 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, July 2016, University of 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, University of Zurich.

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

Upcoming Events