Search: onr:"swepub:oai:gup.ub.gu.se/159100" >
Consequence mining:...
Consequence mining: constants versus consequence relations
-
Bonnay, Denis (author)
-
- Westerståhl, Dag, 1946 (author)
- Stockholms universitet,Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science,Filosofiska institutionen,University of Gothenburg, Sweden
-
(creator_code:org_t)
- 2012-05-26
- 2012
- English.
-
In: Journal of Philosophical Logic. - : Springer Science and Business Media LLC. - 0022-3611 .- 1573-0433. ; 41:4, s. 671-709
- Related links:
-
https://gup.ub.gu.se...
-
show more...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
show less...
Abstract
Subject headings
Close
- 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.
Subject headings
- HUMANIORA -- Filosofi, etik och religion -- Filosofi (hsv//swe)
- HUMANITIES -- Philosophy, Ethics and Religion -- Philosophy (hsv//eng)
Keyword
- Consequence relation
- Constant
- Logical constant
- Bolzano
- Tarski
- Galois connection
- Replacement
- Substitution
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
To the university's database