@kennethamy,
kennethamy;157158 wrote:Yes. We have to be careful about the notion of property. Suppose that I believe that Santa exists. Can we infer from that, that Santa exists? (That would be a quick way of proving that God exists, wouldn't it?) Being talked about, like, being believed are intensional properties (notice the 's' in "intension") and they are very peculiar properties, if they are at all. But that is a good point, and needs discussing, not dismissing.
I agree, but this can be a sticky situation because natural languages often imply some things exist which we want to exist, while also implying that some things exist which we don't want to exist. For instance, all of the following are logially valid.
Obama is president.
That Obama is president is true
So there is somethng, a proposition, namely, that Obama is president, and that proposition is true.
Fido is a dog.
There exists something that is a dog.
Santa wears boots.
There exists something that wears boots.
Fido is a dog.
Fido has the property of being a dog.
So there exists a property Fido has, namely, doghood.
Santa is fat.
So Santa has the property of being fat.
So there exists a property Santa has, namely, fathood.