Combining Texts

All the ideas for 'Exigency to Exist in Essences', 'Frege' and 'The Problem of Empty Names'

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


5 ideas

4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
Aristotelian logic dealt with inferences about concepts, and there were also proposition inferences [Weiner]
     Full Idea: Till the nineteenth century, it was a common view that Aristotelian logic could evaluate inferences whose validity was based on relations between concepts, while propositional logic could evaluate inferences based on relations between propositions.
     From: Joan Weiner (Frege [1999], Ch.3)
     A reaction: Venn diagrams relate closely to Aristotelian syllogisms, as each concept is represented by a circle, and shows relations between sets. Arrows seem needed to represent how to go from one proposition to another. Is one static, the other dynamic?
5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names
Unreflectively, we all assume there are nonexistents, and we can refer to them [Reimer]
     Full Idea: As speakers of the language, we unreflectively assume that there are nonexistents, and that reference to them is possible.
     From: Marga Reimer (The Problem of Empty Names [2001], p.499), quoted by Sarah Sawyer - Empty Names 4
     A reaction: Sarah Swoyer quotes this as a good solution to the problem of empty names, and I like it. It introduces a two-tier picture of our understanding of the world, as 'unreflective' and 'reflective', but that seems good. We accept numbers 'unreflectively'.
7. Existence / A. Nature of Existence / 5. Reason for Existence
Possibles demand existence, so as many of them as possible must actually exist [Leibniz]
     Full Idea: From the conflict of all the possibles demanding existence, this at once follows, that there exists that series of things by which as many of them as possible exist.
     From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.91)
     A reaction: I'm in tune with a lot of Leibniz, but my head swims with this one. He seems to be a Lewisian about possible worlds - that they are concrete existing entities (with appetites!). Could Lewis include Leibniz's idea in his system?
God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz]
     Full Idea: The sufficient reason for God's choice can be found only in the fitness (convenance) or in the degree of perfection that the several worlds possess.
     From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92)
     A reaction: The 'fitness' of a world and its 'perfection' seem very different things. A piece of a jigsaw can have wonderful fitness, without perfection. Occasionally you get that sinking feeling with metaphysicians that they just make it up.
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
The actual universe is the richest composite of what is possible [Leibniz]
     Full Idea: The actual universe is the collection of the possibles which forms the richest composite.
     From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92)
     A reaction: 'Richest' for Leibniz means a maximum combination of existence, order and variety. It's rather like picking the best starting team from a squad of footballers.