Journal of Philosophical Logic

, Volume 41, Issue 4, pp 671–709

Consequence Mining

Constants Versus Consequence Relations


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 outsideX, yields a function mapping X to a consequence relation \(\Rightarrow_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.


Consequence relation Constant Logical constant Bolzano Tarski Galois connection Replacement Substitution 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Département de PhilosophieUniversité Paris Ouest NanterreParisFrance
  2. 2.University of GothenburgGothenburgSweden
  3. 3.Stockholm UniversityStockholmSweden

Personalised recommendations