display all the ideas for this combination of texts
2 ideas
15347 | A theory of syntax can be based on Peano arithmetic, thanks to the translation by Gödel coding [Horsten] |
Full Idea: A notion of formal provability can be articulated in Peano arithmetic. ..This is surprisingly 'linguistic' rather than mathematical, but the key is in the Gödel coding. ..Hence we use Peano arithmetic as a theory of syntax. | |
From: Leon Horsten (The Tarskian Turn [2011], 02.4) | |
A reaction: This is the explanation of why issues in formal semantics end up being studied in systems based on formal arithmetic. And I had thought it was just because they were geeks who dream in numbers, and can't speak language properly... |
7323 | If truth is deflationary, sentence truth-conditions just need good declarative syntax [Miller,A] |
Full Idea: On a deflationary concept of truth, for a sentence to possess truth-conditions it is sufficient that it be disciplined by norms of correct usage, and that it possess the syntax distinctive of declarative sentences. | |
From: Alexander Miller (Philosophy of Language [1998], 5.3) | |
A reaction: Idea 6337 gives the basic deflationary claim. He mentions Boghossian as source of this point. So much the worse for the deflationary concept of truth, say I. What are the truth-conditions of "Truth rotates"? |