研究者詳細

顔写真

アイハン　サラ　カトリン
Ayhan Sara Katrin
Ayhan Sara Katrin
所属
大学院情報科学研究科　人間社会情報科学専攻　人間情報学講座（論理分析学分野）
職名
特任助教（研究）
学位

  • Ｐｈ．Ｄ．（Philosophy）（Ruhr University Bochum）

  • Ｍ．Ａ．（Philosophy）（Ruhr University Bochum）

e-Rad 研究者番号
31037526

研究キーワード 5

  • Contradictions

  • Non-classical logics

  • Proof-Theoretic Semantics

  • Philosophy

  • Logic

受賞 1

  1. Wolfgang Stegmüller Award

    2025年9月　German Society for Analytic Philosophy (GAP)　(Dissertation Prize)

論文 19

  1. Problems and Consequences of Bilateral Notions of (Meta-)Derivability 査読有り

    Sara Ayhan

    Erkenntnis　2026年8月

    DOI： 10.1007/s10670-025-01004-9 　

  2. Contradictions, Classical Logic and the Phenomenon of Ambiguity Tolerance: A Socio-political Argument for Paraconsistent and Contradictory Logics

    Sara Ayhan

    Erkenntnis　2026年6月18日

    DOI： 10.1007/s10670-026-01112-0 　

  3. CONTRADICTIONS WITHOUT NEGATION AND A PROOF-THEORETIC, BILATERALIST ACCOUNT OF CONNEXIVE LOGICS 査読有り

    SARA AYHAN

    The Review of Symbolic Logic　2026年6月

    DOI： 10.1017/S1755020326101063 　

  4. Inferentialism Meets Feminist Logic 査読有り

    Sara Ayhan

    Topoi　2026年4月11日

    DOI： 10.1007/s11245-026-10394-6 　

  5. Queer feminist logic and contradictions: Or how logic and feminism can be relevant to each other 査読有り

    Sara Ayhan

    Synthese　2025年9月29日

    DOI： 10.1007/s11229-025-05220-2 　

  6. Proof-Theoretic Functional Completeness for the Connexive Logic C 査読有り

    Sara Ayhan, Hrafn Valtýr Oddsson

    Studia Logica　2025年7月8日

    DOI： 10.1007/s11225-025-10200-1 　

  7. A Generalized Notion of Refutation for Gentzen Calculi*

    Franz von Kutschera, translated by Sara Ayhan

    History and Philosophy of Logic　2025年7月3日

    DOI： 10.1080/01445340.2024.2393970 　

  8. Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics 査読有り

    Sara Ayhan

    History and Philosophy of Logic　46　(3)　449-455　2025年7月3日

    DOI： 10.1080/01445340.2024.2393964 　

  9. Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations 査読有り

    Sara Ayhan

    Bulletin of the Section of Logic　54　(1)　23-58　2025年5月30日

    DOI： 10.18778/0138-0680.2025.03 　

  10. Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations 査読有り

    Sara Ayhan

    Journal of Logic and Computation　35　(2)　2024年4月1日

    DOI： 10.1093/logcom/exae014 　

    ISSN：0955-792X 1465-363X

    詳細を見る 詳細を閉じる

    <jats:title>Abstract</jats:title> <jats:p>In this paper, I will develop a $\lambda $-term calculus, $\lambda ^{2Int}$, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry–Howard correspondence, which has been well-established between the simply typed $\lambda $-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system of Wansing’s bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed $\lambda $-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results, I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view.</jats:p>

  11. Logical Multilateralism 査読有り

    Heinrich Wansing, Sara Ayhan

    Journal of Philosophical Logic　52　1603-1636　2023年12月

    DOI： 10.1007/s10992-023-09720-9 　

    ISSN：0022-3611 1573-0433

  12. What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory 査読有り

    Sara Ayhan

    The Australasian journal of logic　20　(3)　412-428　2023年10月19日

    DOI： 10.26686/ajl.v20i3.7692 　

    ISSN：1448-5052

  13. Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)

    Sara Ayhan

    Bulletin of the section of logic　52　(2)　101-108　2023年10月11日

    DOI： 10.18778/0138-0680.2023.12 　

    ISSN：0138-0680 2449-836X

  14. Bilateralism and Proof-Theoretic Semantics (Part II)

    Sara Ayhan

    Bulletin of the section of logic　52　(3)　267-274　2023年9月30日

    DOI： 10.18778/0138-0680.2023.24 　

    ISSN：0138-0680 2449-836X

  15. On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) 査読有り

    Sara Ayhan, Heinrich Wansing

    Bulletin of the Section of Logic　52　(2)　187-237　2023年7月18日

    DOI： 10.18778/0138-0680.2023.18 　

    ISSN：0138-0680 2449-836X

  16. Meaning and identity of proofs in (bilateralist) proof-theoretic semantics

    Sara Ayhan

    Fakultät für Philosophie und Erziehungswissenschaft, Ruhr University Bochum　2023年

    DOI： 10.13154/294-9281 　

  17. What is the Meaning of Proofs? A Fregean Distinction in Proof-Theoretic Semantics 査読有り

    Sara Ayhan

    Journal of Philosophical Logic　50　(3)　571-591　2021年6月22日

    出版者・発行元： Springer Science and Business Media {LLC}

    DOI： 10.1007/s10992-020-09577-2 　

  18. Uniqueness of Logical Connectives in a Bilateralist Setting 査読有り

    Sara Ayhan

    The Logica Yearbook 2020, ed. by Martin Blicha & Igor Sedlár, College Publications　1-16　2021年

  19. A cut-free sequent calculus for the bi-intuitionistic logic 2Int

    Sara Ayhan

    arXiv:2009.14787　2020年

︎全件表示 ︎最初の5件までを表示