@Krumple,
Krumple;155512 wrote:The flying pink elephant exists, if the flying pink elephant has properties. Since wings and pink are the properties of the flying pink elephant then the flying pink elephant exists? Seriously?
Yes. If we define existence as having a property then, Exists(the x:Gx) <-> EF(F(the x:Gx)).
And, ~(Exists(the x:Gx)) <-> ~EF(F(the x:Gx)).
If 'the flying pink elephant' has the property of flying, then it exists.
If 'the flying pink elephant' has the property of being pink, then it exists.
If 'the flying pink elephant' has the property of being an elephant, then it exists.
If 'the flying pink elephant' has any property at all, then it exists.
B(the x: Bx & Cx) -> E!(the x: Bx & Cx), is a theorem.