Tarskian consequence relations bilaterally: some familiar notions

Synthese 198 (S22):5213-5240 (2019)
  Copy   BIBTEX

Abstract

This paper is dedicated to developing a formalism that takes rejection seriously. Bilateral notation of signed formulas with force indicators is adopted to define signed consequences which can be viewed as the bilateral counterpart of Tarskian consequence relations. Its relation to some other bilateral approaches is discussed. It is shown how David Nelson’s logic N4 can be characterized bilaterally and the corresponding completeness result is proved. Further, bilateral variants of three familiar notions are considered and investigated: that of a fragment, of definitional equivalence, and of a conservative extension.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2019-05-30

Downloads
40 (#589,329)

6 months
7 (#469,699)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical Multilateralism.Heinrich Wansing & Sara Ayhan - 2023 - Journal of Philosophical Logic 52 (6):1603-1636.
Uniqueness of Logical Connectives in a Bilateralist Setting.Sara Ayhan - 2021 - In Martin Blicha & Igor Sedlár, The Logica Yearbook 2020. College Publications. pp. 1-16.

Add more citations

References found in this work

Translations from the philosophical writings of Gottlob Frege.Gottlob Frege - 1980 - Oxford, England: Blackwell. Edited by P. T. Geach & Max Black.
The seas of language.Michael Dummett - 1993 - New York: Oxford University Press.
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle, Contemporary aspects of philosophy. Boston: Oriel Press.
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.

View all 32 references / Add more references