There is no paradox of logical validity (Q2254573)

From MaRDI portal
scientific article
Language Label Description Also known as
English
There is no paradox of logical validity
scientific article

    Statements

    There is no paradox of logical validity (English)
    0 references
    0 references
    5 February 2015
    0 references
    The paper deals with the notion of logical validity expressed by a ``predicate that applies to a premise and a conclusion if and only if the argument from premise to conclusion is logically valid''. Some authors (Field, Shapiro, Beall and Murzi among them) argue to the effect that ``Peano Arithmetic (PA) supplied with a logical validity predicate is inconsistent in much the same manner as is PA supplemented with an unrestricted truth predicate''. Let \(\mathrm{Val}(x,y)\) be the validity predicate ``that holds of the Gödel code \(\ulcorner\Phi\urcorner\) of \(\Phi\) and the Gödel code \(\ulcorner\Psi\urcorner\) of \(\Psi\) (in that order) if and only if the argument whose sole premise is \(\Phi\) and whose conclusion is \(\Psi\) is logically valid''. Let the validity predicate be subjected to the following introduction rule (\(\mathrm{VS}_1\)): If \(\Phi\vdash\Psi \), then \(\varnothing\vdash \mathrm{Val}(\ulcorner\Phi\urcorner, \ulcorner\Psi\urcorner)\), and elimination rule (\(\mathrm{VS}_2\)): \(\varnothing\vdash \mathrm{Val}(\ulcorner\Phi\urcorner, \ulcorner\Psi\urcorner) \rightarrow (\Phi\rightarrow\Psi)\). Consider the Gödelian diagonalization lemma applied to the predicate \(\mathrm{Val}(x,\ulcorner\perp\urcorner)\) to obtain a sentence \(\Pi\) such that \(\Pi \leftrightarrow \mathrm{Val}(\ulcorner\Pi\urcorner, \ulcorner\perp\urcorner)\) is a theorem. Then one can construct a formal derivation of \(\perp\) by using diagonalization, \(\mathrm{VS}_1\), \(\mathrm{VS}_2\) together with the standard first-order logic. Exactly this derivation is sometimes considered to constitute the so-called ``paradox of logical validity''. However, as the author claims, ``there is no paradox of logical validity since the construction of the paradox requires a context into which we can diagonalize. Such a context requires, in turn, a logical validity predicate (either primitive or defined in terms of a logical validity connective and the truth predicate). Such a predicate, however, requires Gödel coding or some other naming device. The presence of such coding function, however, brings with it violations of the substitutivity requirement, thus preventing \(\mathrm{VS}_1\) and \(\mathrm{VS}_2\) from being logically valid.''
    0 references
    validity
    0 references
    paradox
    0 references
    Curry paradox
    0 references
    first-order logic
    0 references
    logical consequence
    0 references
    Alfred Tarski
    0 references

    Identifiers