This is a very preliminary draft, where Grice attempts to recreate a paradox from his earlier work ("Paradox with just self-reference") albeit entirely within the language of arithmetic. (In lieu of self-referential expressions, G\"odel numbering is used to generate the paradox.) All this can suggest that Robinson arithmetic and its extensions are unsound; however, I suggest instead that the metalanguage may be unsound, owing to arithmetization of syntax.
Monday, February 26, 2018
Disimplicature
Speranza
This is a very preliminary draft, where Grice attempts to recreate a paradox from his earlier work ("Paradox with just self-reference") albeit entirely within the language of arithmetic. (In lieu of self-referential expressions, G\"odel numbering is used to generate the paradox.) All this can suggest that Robinson arithmetic and its extensions are unsound; however, I suggest instead that the metalanguage may be unsound, owing to arithmetization of syntax.
This is a very preliminary draft, where Grice attempts to recreate a paradox from his earlier work ("Paradox with just self-reference") albeit entirely within the language of arithmetic. (In lieu of self-referential expressions, G\"odel numbering is used to generate the paradox.) All this can suggest that Robinson arithmetic and its extensions are unsound; however, I suggest instead that the metalanguage may be unsound, owing to arithmetization of syntax.
Subscribe to:
Post Comments (Atom)
Posts
No comments:
Post a Comment