@Humanity,
Humanity;141170 wrote:Using 'exist' as a predicate meant,
"Barrack Obama's grandfather exists and he is a father".
There is no need to use the word 'exist' in the above, it is presupposed.
If you are trying to establish whether a thing existed in the past or not, then it is a different story and not related to 'exist is not a real predicate'.
Only certain classes of objects presuppose existence. The famous example used by GE Moore is tame tigers. It makes perfectly good sense to say:
All tame tigers growl
Most tame tigers growl
Two tame tigers growl
A few tame tigers growl
Many tame tigers growl
etc.
However, when we predicate tame tigers with existence, we can say:
Two tame tigers exist
A few tame tigers exist
Many tame tigers exist
But some of the quantifying adjectives don't work:
Most tame tigers exist
Some tame tigers do not exist (i.e. 'Some but not all tame tigers exist')
All tame tigers exist (It 'works' grammatically, but is a vacuous tautology)
Compare with the similar case of presupposition:
Some/most grandfathers are fathers.
To look at this another way, we might represent the quantifying adjectives graphically. Imagine shading in a circle drawn on a piece of paper; for 'one' we shade a tiny section of the circle, for 'a few' we shade a bigger section, for 'most' we shade over half of the circle, and for 'all' we shade the entire thing. For the existential case, however, there is no circle already drawn. If we want to say 'one tame tiger exists' we would have to draw the smallest circle possible, for 'a few' a slightly larger one; however, we can get nowhere with 'most' or 'all' because they depend upon a circle already being drawn. (note: in the grandfather case we might think of a circle representing grandfathers being subsumed by a larger circle representing fathers, while in the tame tigers case we may think of just one circle, which may explain why the cases differ slightly e.g. when using 'many').
My point is that there are some cases in which existence is not presupposed of the class we are discussing. For example, if I were telling somebody with very little knowledge of history about Tolstoy's
War and Peace I might quite rightly say, "Some of the characters in this novel did not exist", and I may correctly use any of the other quantifying adjectives in a similar vane. In this case I might imagine two, overlapping circles, one representing the class under discussion, and the other representing all that exists, with the quantifier determining how much overlap there is, but I may just as easily use shading as above; in both cases I'm assigning members of a class to a certain subclass (things that growl and things that exist). I would say that this kind of discourse takes place across a broader area of language than in discussing historical fiction or legendary Kings. For example, when we suspend judgement on a certain matter of fact, which seems to occur a lot in philosophy.
Quote:
I disagree with your kingly characters example. I don't see how there can be a distinction between a kingly character who exists, and one who does not exist when there are no kingly characters who do not exist. Nothing cannot be distinguished from something, for nothing has no properties. For something to be distinct from something else, both somethings must exist. "King Arthur does not exist" does not mean that something that is King Arthur does not exist. It means that nothing is King Arthur.
King Arthur had twelve knights?
Heathcliffe is a character in Emily Bronte's novel?
How about,
Heathcliffe does not exist, he is a character in Wuthering Heights?
I certainly seem to be able to talk about things that don't exist, and I seem to be able to use 'exists' like other predicate, at least in some situations. One approach might be to use definite descriptions, but definite description is an unnatural analysis of language, and it certainly doesn't seem to be able to handle cases like these very well.
Quote:Nobody would disagree on the concept of 'existence' if they define the term precisely and all have consensus on that definition.
But in philosophy there are disagreements on what existence is.
1. There are philosophers who disagree with 'ontology' at the fundamental level.
2. Philosophical realists and non-realists have different concept of what existence is.
The philosophical realist believes that things exist independent of mind while non-realist do not agree with that.
The above are not related to what types of things exists, but in what manner and context they exist.
Surely this is just another distinction between types of thing, mind dependant and mind independent?