3 ideas
| 10355 | Facts can't make claims true, because they are true claims [Brandom, by Kusch] |
| Full Idea: Brandom says that facts do not make claims true, because facts simply are true claims. | |
| From: report of Robert B. Brandom (Making It Explicit [1994], p.327) by Martin Kusch - Knowledge by Agreement Ch.18 | |
| A reaction: Nice. Notoriously, anyone defending the correspondence theory of truth in terms of facts had better say what they mean by a 'fact'. Personally I take a fact to be a non-verbal, mind-independent situation in the world, so I disagree with Brandom. |
| 10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
| Full Idea: Contradiction is not a sign of falsity, nor the lack of contradiction a sign of truth. | |
| From: Blaise Pascal (works [1660]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: [Quoted in Auden and Kronenberger's Book of Aphorisms] Presumably we would now say that contradiction is a purely formal, syntactic notion, and not a semantic one. If you hit a contradiction, something has certainly gone wrong. |
| 9159 | You can't simply convert geometry into algebra, as some spatial content is lost [Burge] |
| Full Idea: Although one can translate geometrical propositions into algebraic ones and produce equivalent models, the meaning of geometrical propositions seems to me to be thereby lost. Pure geometry involves spatial content, even if abstracted from physical space. | |
| From: Tyler Burge (Frege on Apriority [2000], IV) | |
| A reaction: This supports Frege's view (against Quine) that geometry won't easily fit into the programme of logicism. I agree with Burge. You would be focusing on the syntax of geometry, and leaving out the semantics. |