I don't think that there's a need for "F: x is a thing" in the glossary (at leas based on what we're taught and based on what we're tested on anyway)
'Everything exists' should be translated into '∀xFx' where Fx: x exists
You see. x has to be a thing. Being a thing is a property. If x is not a thing, then it doesn't exist.
F: x is a thing
G: x exists
This is of course disputable. That's why philosophy should not have exams.
Last edited:



