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... |
| 9836 | Fregean semantics assumes a domain articulated into individual objects [Dummett] |
| Full Idea: A Fregean semantics assumes a domain already determinately articulated into individual objects. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch. 8) | |
| A reaction: A more interesting criticism than most of Dummett's other challenges to the Frege/Davidson view. I am beginning to doubt whether the semantics and the ontology can ever be divorced from the psychology, of thought, interests, focus etc. |