Consequence Mining: Constans Versus Consequence Relations

Journal of Philosophical Logic 41 (4):671-709 (2012)
  Copy   BIBTEX

Abstract

The standard semantic definition of consequence with respect to a selected set X of symbols, in terms of truth preservation under replacement (Bolzano) or reinterpretation (Tarski) of symbols outside X, yields a function mapping X to a consequence relation ⇒x. We investigate a function going in the other direction, thus extracting the constants of a given consequence relation, and we show that this function (a) retrieves the usual logical constants from the usual logical consequence relations, and (b) is an inverse to—more precisely, forms a Galois connection with—the Bolzano-Tarski function

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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
2012-05-26

Downloads
106 (#159,765)

6 months
15 (#143,114)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Denis Bonnay
Université Paris Nanterre
Dag Westerståhl
Stockholm University

Citations of this work

Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.
Logical Form: Between Logic and Natural Language.Andrea Iacona - 2018 - Cham, Switzerland: Springer Verlag.
Toward a general theory of knowledge.Luis M. Augusto - 2020 - Journal of Knowledge Structures and Systems 1 (1):63-97.

View all 11 citations / Add more citations

References found in this work

Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
The logical syntax of language.Rudolf Carnap - 1937 - London,: K. Paul, Trench, Trubner & co.. Edited by Amethe Smeaton.
The ways of paradox.W. V. Quine - 1966 - New York,: Random.
What are logical notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
Quantifiers in Language and Logic.Stanley Peters & Dag Westerståhl - 2006 - Oxford, England: Oxford University Press UK.

View all 22 references / Add more references