@kennethamy,
kennethamy;138466 wrote:Well, we may, of course, ascribe properties to imaginary things, but since those have to be imaginary properties. it does follow from the fact that N has a property that it exists. Whether that argument is of use, I cannot tell. But that argument, whether or not it is of use, is certainly a valid argument. In fact, in the predicate calculus, it is called, the rule of existential generalization. You can check it here:
Tutorial- Existential Generalization
Fa -> (some x)(Fx) is a tautology but, (some x)(Fx) does not say a exists. Rather it says there is some existent x which has the property F, ie. 'F exists'.
Fa -> (some G)(Ga) is also a tautology and, (some G)(Ga) does say 'a exists'.
Fa -> (F exists & a exists).
Santa wears black boots, is true within the fiction/myth/story of Santa.
Santa wears black boots, is false in reality..because Santa does not exist in reality.
a exists =df (some F)(Fa). To exist is to have some property.