Is Existence a Property of Objects, or are Objects Properties of Existence?
If we formulate existence as a property of objects, then we must either admit that all objects exist, including fairies and square triangles, or we must allow non-existent objects into our ontology. Both of these options are counter-intuitive, and they both lead to problems. Russel's solution was to formulate existence as a second-order property, a property of statements rather than of individual nouns. So instead of phrasing the existence of tables as "tables have existence," he would have said "There exists at least one thing that is a table." In fact it might be better to say "There exists at least one thing that instantiates the properties of tableness." That way, nouns aren't seen as independent entities. Tableness is simply a value which the variable "at least one thing" can have. So, as Quine put it, to be is to be the value of a variable.
One of the problems I see with this view is that we have to admit an arbitrarily large number variables into our ontology. Whatever I can identify as a distinct entity would have to consist of properties and a variable underlying those properties. And all that seems to differentiate these variables is their respective values. Independent of values, the variables are all the same. So what if there were only one variable: existence, or perhaps it would better to call it Being. Under this view, all things that exist are merely clusters of properties which Being instantiates. A particular table is just the properties Being instantiates at a certain set of spatial and temporal locations. This also simplifies our ontology. Instead of having variables with first order properties and complete statements with second order properties, we just have Being and first order properties.
One of the problems I see with this view is that we have to admit an arbitrarily large number variables into our ontology. Whatever I can identify as a distinct entity would have to consist of properties and a variable underlying those properties. And all that seems to differentiate these variables is their respective values. Independent of values, the variables are all the same. So what if there were only one variable: existence, or perhaps it would better to call it Being. Under this view, all things that exist are merely clusters of properties which Being instantiates. A particular table is just the properties Being instantiates at a certain set of spatial and temporal locations. This also simplifies our ontology. Instead of having variables with first order properties and complete statements with second order properties, we just have Being and first order properties.
Comments (39)
What exists is what causal power. Fairies exist as ideas and ideas have causal power. Square trianges are impossible to even imagine and therefore only exist as a string of visual symbols, or words. Contradictions are ideas that exist and have causal power too.
So is existence a property with the same definition as causal power? And does causal power mean the potential to cause events or actual interaction in causal phenomena? If an effect is caused but is not itself capable of causing anything, does that effect exist? If it doesn't, then how do you deal with the problem on non-existent entities?
There are no such things as non-existent entities. Is that not what it means to be non-existent? Non-existent entities cannot form causal relationships. Non-existent entities is an idea and has causal power. Remember that I said that contradictions exist and have causal power.
I can't think of any effect that isn't also a cause. The effect exists and therefore is capable of forming new causal relationships. Everything that exists has the potential to interact causally.
My main problem the idea that existence is causal power is that causal power can't be observed. So different philosophers have different approaches to explaining what it is and how it works. For instance, some think causal power resides in particular entities, whereas others (including Russel, I think) believe it comes from universal laws which govern the behavior of entities.
But I think we can directly observe that things exist. For instance, if I hear a noise, I can conclude that the noise exists. I don't need to know what causal power is behind the noise appearing in my experience.
This is the same thing that someone else said in another thread. We observe causation all the time - even participate in it ourselves. How do you explain communication without causation?
If no one has ever observed causation, then what is it that we're missing? What would proof of causation look like?
Causation is essentially a transfer of energy or a type of information flow.
I'm not denying that causation is real. But I do think it's difficult to observe it directly. Even when we participate in it by making decisions, we can't always trace those decisions back to their ultimate causal source.
Also, are you saying that all existing things have causal power (perhaps even necessarily), or are you saying that causal powers are the only real properties existing things have? I agree with the former point, but not the latter.
About causation, maybe we can't see it but we can perceive and conceive of it. It's like a disease, all we see are symptoms (effects) and micro-organisms which cause diseases (agents of causation) but the disease itself, the actual influence which is causation, does not produce impact in the senses. However, through the corresponding factors a disease could be monitored. So we know a disease as the resultant of various aspects working in conjunction. Isn't causation alike?
Agreed. Almost every event has a multitude of causes, some of which it's unlikely we're even aware of.
Simple Reference...quantum theory...'there are no 'things'....only interactions..
So conceptually, there is a set of all ontic objects (E). Existence = being a member of E.
Of all the objects we can conceive, some belong to E and all the others are fictions.
There are also unconceived objects that belong to E. (knowledge of existence is not a prerequisite for belonging to the set. This is ontology, no epistemology)
There are no unconceived fictions. (i.e. fictions are things that have been or will be conceived).
Dinosaurs do not exist today; are they fictions? No. The set E is cross temporal. Anything that has ever existed and ever will exist belongs to E, but there are tensed facts about them.
Reference ...Comparative Physiology...what humans call 'dead insects' dont 'exist' for frogs. And are we not merely bigger frogs who have selectively augmented our physiology with transducers ?
Acoording to this 'functionality view of existence', alll labelled 'things' have 'existence' but their functionality differs according to observers. Thus 'god exists' for 'believers' or 'electrons exist' at some levels of scientific theory but not others. Physicality is merely one aspect of 'thinghood'.
Would you say that goes for other properties, too? Either we have to admit that all objects are spherical, or we have to say that objects can have a property of "non-sphericalness"?
That sounds like a confusion of ontology and epistemology. Things exist irrespective of whether anyone has experienced, and labelled, them. Things have their intrinsic properties irrespective of whether minds have identified those properties and irrespective of their subjective experiences of those things.
I assert that 'existence' is relative to observers, never absolute. It is a word used in contexts where 'evidence' is being disputed. Other usage implying 'naive realism' is an example of Wittgenstein's 'language on holiday'.
This assertion is supported from a number of sources:
1 Comparative physiology of perceptual syetems.
2 The QM position stated by Niels Bohr, thwt tere are no 'things' only 'interaction events'.
3 Kant's point that 'noumena' (Dingen-an Sich) are inacessible.
4.Heidegger's point that Existenz is only applicable to Dasein
5 Nietsche's point that, no 'description' is closer to 'reality' than any other. Descriptions are more more or less functional according to context..
6. The subsequent rejection by philosophical pragmatist's like Rorty, of the 'Reality-Non Reality' debate as futile.
7 Autopoietic views of the life process which bypass the concept of 'sense data' (Maturana)
8 State transitional views of cognition (Genetic Epistemology) In which 'observer' and 'world' states are co -extensive and co-existent.
9...and finally the Budrhist concept of Tat Tvam Asi (Thou art That) in which 'self' and 'observed' are a holistic single 'reality'.
i
There are multiple arguments supporting this rejection of 'naive realism' ranging from Buddhism (Tat Tvam Asi), via Phenomenolgy through to philosophical pragmatism.
All 'things' do have 'existence' if you move away from naive realism. What matters is 'functionality for the thinger'. The functionality of 'Santa Claus' for me as an adult differs from that for my child. Physicality is merely one aspect of expectancies triggered by the words we use to do thinging.
This of course renders debates about 'the existence of God' futile. The functionality of the word 'God' fof me as an atheist is very different to that for a believer. But I cannot deny the 'existence of God' for him since 'evidence' for disputed 'things' lies in the eye of the beholder.
(Apologies for summary post...the edit function seemed to have deleted the post above but it then reappeared !.)
In fact, the constructivist Piaget, who initially applied this to child development with the terms 'assimilation-accommodation', extended the idea using the phrase 'genetic epistemology' to encompass to the progression of 'human knowledge' in general. By extrapolation we might for example compare Piaget's 'developmental stages' in the child to Kuhn's 'paradigm revolutions' in science. I use the term 'semi-continuous' since transitional states tend to have periods of relative stability before shifting.
Kierkegaard might have been pleased.
Since we've touched on the topic of 'time' via 'progression' I am also interested in recent views about time from authors like Rovelli. I would be pleased to hear any thoughts you might have on the matter.
I find particularly satisfying Heidegger's account of temporality, his modification of Husserl's concept of time consciousness.
The Rovelli point of interest to me is that 'order of events' could be 'local' not universal. i.e.'before and after' are no more universal than 'up and down'. Now this in turn seems to have an impact on rationality which is based on 'causality''...in other words both causality and teleology may become parochial.
Rovelli does indeed stress 'observer reference frames' and my own thoughts have involved extension of of that to the very perception of 'order/disorder' itself which underpins 'times arrow' (2nd. Law of Thermodynamics').
If you get the chance, have a look at Rovelli 'Order of Time'.
While this is indeed the case, without the Kantian context.....the theoretical background....for such a daring assertorial, you’re not gonna get much positive reaction.
If we're saying that existence is a special case here, we need to justify why it's a special case.
And I am not even saying I agree with the proposition, I am simply saying "existence" as a special case is inherently justified within the proposition.
For the most part, I tend to agree with Kant in that "existence" [at least in the way it is generally used] is not a real predicate.
You wrote a sentence constructed like this: "If we formulate F as a property of objects, then we must either admit that all objects have property F, or we must allow objects that have property not-F into our ontology."
"If we formulate F as a property of objects" is different than stipulating that all objects have property F, " as you seem to be trying to sneak in with "If existence is a real predicate that applies to all actual objects."
So again:
1. if existence is a predicate of ALL objects; and
2. if existence is the only predicate that is a predicate of ALL objects;
THEN we are necessarily "justified" in calling existence a special predicate. (it is the only predicate that is a predicate of ALL objects).
The argument is not that complicated.
Your resistance is futile.
There is nothing more I can do.
No. Pause for a moment. Dusty wrote, "If we formulate existence as a property of objects."
I confused you and Dusty, but I was responding to a comment that began, "If we formulate existence as a property of objects."
If he had instead written, "If we formulate existence as a property of all objects," then there's no either/or to it. Very noncontroversially, "all objects exist," because we just stipulated as much in our formulation.
In the real world, you cannot visit all objects. You do not have enough energy for that. You can only visit a sample.
"All X", i.e. ?x can only be visited in abstract, Platonic world, and not in the real, physical world.
You can visit (by induction) all integers, or all odd numbers, or something like that; because it is does not require energy to visit them in their abstract, Platonic world.
"Existence" is about the real, physical world.
Enumerating "all" physical objects in the real world, is simply not allowed. It is never done anyway. Experimental testing (empirical investigation) is about visiting just a few of these objects.
It is strictly forbidden to use the universal quantifier ? in the realm of science or any other empirical domain. You may only use it in an abstract, Platonic domain.
(all->Platonic) objects (exist->empirical) => forbidden mixing of domains