Combining Texts

Ideas for 'Parmenides', 'Begriffsschrift' and 'Pref to new 'Materialist Theory''

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
We couldn't discuss the non-existence of the One without knowledge of it [Plato]
     Full Idea: There must be knowledge of the one, or else not even the meaning of the words 'if the one does not exist' would be known.
     From: Plato (Parmenides [c.364 BCE], 160d)
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
The predicate 'exists' is actually a natural language expression for a quantifier [Frege, by Weiner]
     Full Idea: On Frege's logical analysis, the predicate 'exists' is actually a natural language expression for a quantifier.
     From: report of Gottlob Frege (Begriffsschrift [1879]) by Joan Weiner - Frege Ch.8
     A reaction: However see Idea 6067, for McGinn's alternative view of quantifiers. In the normal conventions of predicate logic it may be that existence is treated as a quantifier, but that is not the same as saying that existence just IS a quantifier.