Combining Texts

All the ideas for 'Necessary Existents', 'Building Blocks of Mathematical Logic' and 'The Courtier and the Heretic'

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


3 ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]
     Full Idea: A variable in a proposition of logic ....has the status of a mere auxiliary notion that is really inappropriate to the constant, 'eternal' essence of the propositions of logic.
     From: Moses Schönfinkel (Building Blocks of Mathematical Logic [1924], §1)
     A reaction: He presumably thinks that what the variables stand for (and he mentions 'argument places' and 'operators') will be included in the essence. My attention was caught by the thought that he takes logic to have an essence.
19. Language / D. Propositions / 3. Concrete Propositions
Propositions (such as 'that dog is barking') only exist if their items exist [Williamson]
     Full Idea: A proposition about an item exists only if that item exists... how could something be the proposition that that dog is barking in circumstances in which that dog does not exist?
     From: Timothy Williamson (Necessary Existents [2002], p.240), quoted by Trenton Merricks - Propositions
     A reaction: This is a view of propositions I can't make sense of. If I'm under an illusion that there is a dog barking nearby, when there isn't one, can I not say 'that dog is barking'? If I haven't expressed a proposition, what have I done?
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.