Uniqueness of Logical Connectives in a Bilateralist Setting

In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 1-16 (2021)
  Copy   BIBTEX

Abstract

In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is suitable, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of consequence relations, with which we can maintain uniqueness in a bilateralist setting.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Verification, falsification, and the logic of enquiry.Peter Milne - 1991 - Erkenntnis 34 (1):23 - 54.
Coordination and Harmony in Bilateral Logic.Pedro del Valle-Inclan & Julian J. Schlöder - 2023 - Mind 132 (525):192-207.
Subatomic Inferences: An Inferentialist Semantics for Atomics, Predicates, and Names.Kai Tanter - 2021 - Review of Symbolic Logic:1-28.
Bilateralism does not provide a proof theoretic treatment of classical logic.Michael Gabbay - 2017 - Journal of Applied Logic 25:S108-S122.
Imperative Bilateralism.Kai Tanter - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 237-252.
Logical connectives.Varol Akman - 2006 - In A. C. Grayling, Naomi Goulder & Andrew Pyle (eds.), The Continuum Encyclopedia of British Philosophy (4 volumes). London: Continuum. pp. 1939-1940.
Restall’s Proof-Theoretic Pluralism and Relevance Logic.Teresa Kouri - 2016 - Erkenntnis 81 (6):1243-1252.
A proof-theoretic defence of meaning-invariant logical pluralism.Bogdan Dicher - 2016 - Mind 125 (499):727-757.
Noisy vs. Merely Equivocal Logics.Patrick Allo - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 57--79.
Connectives stranger than tonk.Heinrich Wansing - 2006 - Journal of Philosophical Logic 35 (6):653 - 660.
Logical Concepts vs. Logical Operations.Tabea Rohr - 2021 - Journal for the History of Analytical Philosophy 9 (11):56 - 74.
Proof-theoretic semantic values for logical operators.Nissim Francez & Gilad Ben-avi - 2011 - Review of Symbolic Logic 4 (3):466-478.
Uniqueness and Logical Disagreement.Frederik J. Andersen - 2020 - Logos and Episteme 11 (1):7-18.
Existence, freedom, identity, and the logic of abstractionist realism.Peter Milne - 2007 - Mind 116 (461):23-53.
On Combined Connectives.A. Sernadas, C. Sernadas & J. Rasga - 2011 - Logica Universalis 5 (2):205-224.

Analytics

Added to PP
2023-06-26

Downloads
132 (#139,465)

6 months
75 (#64,295)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Sara Ayhan
Ruhr-Universität Bochum

Citations of this work

Logical Multilateralism.Heinrich Wansing & Sara Ayhan - 2023 - Journal of Philosophical Logic 52 (6):1603-1636.
A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic:1-34.

Add more citations

References found in this work

The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
The Connectives.Lloyd Humberstone - 2011 - MIT Press. Edited by Lloyd Humberstone.
The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.

View all 26 references / Add more references