3 ideas
| 17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
| Full Idea: In 1846 De Morgan introduced the enormously influential notion of a possibly arbitrary and stipulated 'universe of discourse'. It replaced Boole's original - and metaphysically a bit suspect - universe of 'all things'. | |
| From: report of Augustus De Morgan (works [1846]) by Michal Walicki - Introduction to Mathematical Logic History D.1.1 | |
| A reaction: This not only brings formal logic under control, but also reflects normal talk, because there is always an explicit or implicit domain of discourse when we talk. Of virtually any conversation, you can say what it is 'about'. |
| 17622 | We come to believe mathematical propositions via their grounding in the structure [Burge] |
| Full Idea: A deeper justification for believing in [mathematical] propositions [apart from pragmatism] lies in finding their place in a logicist proof structure, by understanding the grounds within this structure that support them. | |
| From: Tyler Burge (Frege on Knowing the Foundations [1998], 3) | |
| A reaction: This generalises to doubting something until you see what grounds it. |
| 18285 | All translation loses some content (but language does not create reality) [Carnap] |
| Full Idea: I do not believe in translatability without loss of content, and therefore I think that the content of a world description is influenced to a certain degree by choice of a language form. But that does not mean that reality is created through language. | |
| From: Rudolph Carnap (Letters to Schlick [1935], 1935.12.04), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 19 'Truth' | |
| A reaction: It is a mistake to think Quine was the first to spot the interest of translation in philosophy of language. 'Does translation always lose content?' is a very nice question for focusing the problem. |