Combining Texts

All the ideas for 'works', 'Semantics for Natural Languages' and 'The Courtier and the Heretic'

unexpand these ideas     |    start again     |     specify just one area for these texts


4 ideas

5. Theory of Logic / G. Quantification / 2. Domain of Quantification
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'.
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
Davidson rejected ordinary meaning, and just used truth and reference instead [Davidson, by Soames]
     Full Idea: Davidson held that knowledge of truth and reference could give us a notion of meaning. He embraced Quine's rejection of analyticity, synonymy and ordinary meaning, and substituted truth and reference, when there was something genuine to capture.
     From: report of Donald Davidson (Semantics for Natural Languages [1970]) by Scott Soames - Philosophy of Language 2.3
     A reaction: I always get a warm glow when anyone suggests that the concept of meaning involves the concept of truth. I largely reject Quine. Davidson made a helpful suggestion!
Davidson aimed to show that language is structured by first-order logic [Davidson, by Smart]
     Full Idea: Davidson's program was to show the underlying structure of natural languages as that of first-order logic.
     From: report of Donald Davidson (Semantics for Natural Languages [1970], 2) by J.J.C. Smart - The Tenseless Theory of Time 2
     A reaction: First order logic just reasons about a domain of objects with predicates attached to them. Language appears to refer to properties and relations as well as objects.
24. Political Theory / D. Ideologies / 10. Theocracy
The politics of Leibniz was the reunification of Christianity [Stewart,M]
     Full Idea: The politics of Leibniz may be summed up in one word: theocracy. The specific agenda motivating much of his work was to reunite the Protestant and Catholic churches
     From: Matthew Stewart (The Courtier and the Heretic [2007], Ch. 5)
     A reaction: This would be a typical project for a rationalist philosopher, who thinks that good reasoning will gradually converge on the one truth.