Sökning: onr:"swepub:oai:gup.ub.gu.se/159100" >
Consequence mining:...
Consequence mining: constants versus consequence relations
-
Bonnay, Denis (författare)
-
- Westerståhl, Dag, 1946 (författare)
- 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
- Engelska.
-
Ingår i: Journal of Philosophical Logic. - : Springer Science and Business Media LLC. - 0022-3611 .- 1573-0433. ; 41:4, s. 671-709
- Relaterad länk:
-
https://gup.ub.gu.se...
-
visa fler...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- HUMANIORA -- Filosofi, etik och religion -- Filosofi (hsv//swe)
- HUMANITIES -- Philosophy, Ethics and Religion -- Philosophy (hsv//eng)
Nyckelord
- Consequence relation
- Constant
- Logical constant
- Bolzano
- Tarski
- Galois connection
- Replacement
- Substitution
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas