@ughaibu,
ughaibu wrote:
Owen phil wrote:How do you assert that I do not exist?
As you assert that unnamed numbers have the property of being numbers. On which point, the false has the property of being false, so, if properties imply existence, then the false exists. What does it mean for the false to exist?
The x such that it is less than 5 and greater than 3, is an existent number .. even if we do not have a name for it. (some x: x<5 & x>3) is tautologous.
Of course, 'the false' exists. Because we can assert that: the negation of the false is the true. |-. ~(~p) <-> p.
Falsity is a property of propositions, therefore, falsity exists.
To say that eg. my car is blue when in fact (what is the case, physically) it is red, is false.
To say that: 1+2 = 4 when 1+2=3 is proven (what is the case, logically), is false.
Falsity includes both non-factual propositions and contradictory propositions.
There are many properties of falsity, imo.
ughaibu wrote:
Either you can decide that a thing exists by whether or not it has properties, or you can decide that a thing has properties by whether or not it exists.
"Either you can decide that a thing exists by whether or not it has properties, or you can decide that a thing has properties by whether or not it exists"
They are equivalent.
x exists =df (some F: x has the property F)
x exists, if and only if, x has some property F.
is equivalent to,
x has some property, if an only if, x exists.
ughaibu wrote:
The position that x exists because it has properties but y doesn't exist because it has no properties, is trivial, it is purely logical and as such is independent of reality. It isn't ontologically meaningful.
Why do you exclude purely logical truths from reality?
Surely, logical truths are shown to be the case, and factual truths are shown to be the case.
Do you deny that 'reality' is all that is the case?
Is logical truth denied in your ontology?
I'm interested in your view here. What is ontologically meaningful for you?