Principles for Object-Linguistic Consequence : from Logical to Irreflexive
We discuss the principles for a primitive, object-linguistic notion of consequence proposed by (Beall and Murzi, Journal of Philosophy, 3 pp. 143-65 (2013)) that yield a version of Curry's paradox. We propose and study several strategies to weaken these principles and overcome paradox: all these strategies are based on the intuition that the object-linguistic consequence predicate internalizes whichever meta-linguistic notion of consequence we accept in the first place. To these solutions will correspond different conceptions of consequence. In one possible reading of these principles, they give rise to a notion of logical consequence: we study the corresponding theory of validity (and some of its variants) by showing that it is conservative over a wide range of base theories: this result is achieved via a well-behaved form of local reduction. The theory of logical consequence is based on a restriction of the introduction rule for the consequence predicate. To unrestrictedly maintain this principle, we develop a conception of object-linguistic consequence, which we call grounded consequence, that displays a restriction of the structural rule of reflexivity. This construction is obtained by generalizing Saul Kripke's inductive theory of truth (strong Kleene version). Grounded validity will be shown to satisfy several desirable principles for a naïve, self-applicable notion of consequence.
Medienart: |
E-Artikel |
---|
Erscheinungsjahr: |
2018 |
---|---|
Erschienen: |
2018 |
Enthalten in: |
Zur Gesamtaufnahme - volume:47 |
---|---|
Enthalten in: |
Journal of philosophical logic - 47(2018), 3 vom: 15., Seite 549-577 |
Sprache: |
Englisch |
---|
Beteiligte Personen: |
Nicolai, Carlo [VerfasserIn] |
---|
Links: |
---|
Themen: |
Irreflexive consequence |
---|
Anmerkungen: |
Date Revised 29.09.2020 published: Print-Electronic Citation Status PubMed-not-MEDLINE |
---|
doi: |
10.1007/s10992-017-9438-x |
---|
funding: |
|
---|---|
Förderinstitution / Projekttitel: |
|
PPN (Katalog-ID): |
NLM296170240 |
---|
LEADER | 01000naa a22002652 4500 | ||
---|---|---|---|
001 | NLM296170240 | ||
003 | DE-627 | ||
005 | 20231225085246.0 | ||
007 | cr uuu---uuuuu | ||
008 | 231225s2018 xx |||||o 00| ||eng c | ||
024 | 7 | |a 10.1007/s10992-017-9438-x |2 doi | |
028 | 5 | 2 | |a pubmed24n0987.xml |
035 | |a (DE-627)NLM296170240 | ||
035 | |a (NLM)30996470 | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
041 | |a eng | ||
100 | 1 | |a Nicolai, Carlo |e verfasserin |4 aut | |
245 | 1 | 0 | |a Principles for Object-Linguistic Consequence |b from Logical to Irreflexive |
264 | 1 | |c 2018 | |
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ƒaComputermedien |b c |2 rdamedia | ||
338 | |a ƒa Online-Ressource |b cr |2 rdacarrier | ||
500 | |a Date Revised 29.09.2020 | ||
500 | |a published: Print-Electronic | ||
500 | |a Citation Status PubMed-not-MEDLINE | ||
520 | |a We discuss the principles for a primitive, object-linguistic notion of consequence proposed by (Beall and Murzi, Journal of Philosophy, 3 pp. 143-65 (2013)) that yield a version of Curry's paradox. We propose and study several strategies to weaken these principles and overcome paradox: all these strategies are based on the intuition that the object-linguistic consequence predicate internalizes whichever meta-linguistic notion of consequence we accept in the first place. To these solutions will correspond different conceptions of consequence. In one possible reading of these principles, they give rise to a notion of logical consequence: we study the corresponding theory of validity (and some of its variants) by showing that it is conservative over a wide range of base theories: this result is achieved via a well-behaved form of local reduction. The theory of logical consequence is based on a restriction of the introduction rule for the consequence predicate. To unrestrictedly maintain this principle, we develop a conception of object-linguistic consequence, which we call grounded consequence, that displays a restriction of the structural rule of reflexivity. This construction is obtained by generalizing Saul Kripke's inductive theory of truth (strong Kleene version). Grounded validity will be shown to satisfy several desirable principles for a naïve, self-applicable notion of consequence | ||
650 | 4 | |a Journal Article | |
650 | 4 | |a Irreflexive consequence | |
650 | 4 | |a Logical consequence | |
650 | 4 | |a Object-linguistic consequence | |
650 | 4 | |a V-Curry paradox | |
700 | 1 | |a Rossi, Lorenzo |e verfasserin |4 aut | |
773 | 0 | 8 | |i Enthalten in |t Journal of philosophical logic |d 2014 |g 47(2018), 3 vom: 15., Seite 549-577 |w (DE-627)NLM256328366 |x 0022-3611 |7 nnns |
773 | 1 | 8 | |g volume:47 |g year:2018 |g number:3 |g day:15 |g pages:549-577 |
856 | 4 | 0 | |u http://dx.doi.org/10.1007/s10992-017-9438-x |3 Volltext |
912 | |a GBV_USEFLAG_A | ||
912 | |a GBV_NLM | ||
951 | |a AR | ||
952 | |d 47 |j 2018 |e 3 |b 15 |h 549-577 |