How does it follow from your premises that the statements (already) exist? — Echarmion
How does it follow from your premises that the statements (already) exist? - Echarmion
That (which exists as pixels on a screen) is not a true statement?
It doesn't follow from any of this that any particular statement (concerning a necessary truth or something else) necessarily exists.
I would like you to imagine a world in which there are no minds. You will imagine our world as it exists minus the minds, and you will use the knowledge we have ( intentional content ) to infer what would be true in such a world, depending on whether you are a direct/indirect realist or irrealist and your metaphysical commitments to what exists independent of the mind
But hold on.
All you did in this thought experiment is imagine a mind less world from a world in which there are minds and languages. In other words, you mentally allocated to the world which had no minds with your mind to describe it. — Sirius
Using your mind to describe a mindless world ( in which a mind doesn't exist ) is a wrong step. — Sirius
1. True statements can only exist as cognitive content.
2. Cognitive content depends on the existence of a mind which can comprehend it. — Sirius
1. True statements can only exist as cognitive content — Sirius
Can you point out the specific flaw. Saying the conclusion doesn't follow isn't helpful. — Sirius
1. True statements can only exist as cognitive content
2. Cognitive content depends on the existence of a mind which can comprehend it
3. There are infinitely many statements that are necessarily true, independent of spacetime itself
Reason 1 : How can our physical theories which describe our universe to a great degree of accuracy prior to the existence of any symbolic language be true if the mathematical entities they refer to or depend on constructions which never even existed ? Your physical theory is definitely false if its meaning and truth-falsity depends on something which is non-existent.
Reason 2 : Let's suppose mathematical statements are just symbols we draw with some rules. Given the fact our universe can only contain finite information, there can only be finite mathematical statements that are true, but this is false on face value ( There is no logical impossibility in adding additional axioms and theorems to the most comprehensive mathematical system )
What do you mean by ‘true statements’? Propositions? If so, I see no reason to believe that propositions could not exist as platonic forms (or something like that) independently of any mind.
For example, why can’t the true proposition ‘p > q’ not exist acausally as the a part of the form of reality?
Another route, is to just deny:
Another route, is to just deny:
3. There are infinitely many statements that are necessarily true, independent of spacetime itself
For your argument to work, one has to be a mathematical and logical realist—i.e., one has to believe that math and logic pertain to the structure of reality and are not our mere estimations of it—which I am not seeing why this would be implausible.
You are conflating the map with the territory: just because I can measure a door with a ruler and get a rough estimate of its size it does not follow that the door has a fixed size (mathematically). However, if one is a mathematical realist, again, they could just say that numbers, math operators, etc. are platonic forms (or something similar), which doesn’t require a universal mind.
What we estimate about reality will always be an finite underestimate of what is happening: no matter how precise it is.
But not all possible statements already exist. You would need to show that the statement about the necessary truth also necessarily exists.
As far I can see you are just begging the question that there is no such thing as a mind-independent reality. I'm sure lots of people would say that: just because truths can only be evaluated by a mind, doesn't mean there isn't some kind of objective reality beyond it.
I never claimed all contingent truths must exist, only logically neccesary truths. I have already given reasons why mathematical truths can not depend on material representation ( refuting logicism ) — Sirius
If a statement is logically neccesary, then it exists irrespective of whether there is a physical world or not, since it isn't about the physical world. — Sirius
Here is a proof of the existence of neccesarily logically true statements and a mind :
Definition :
Existence for neccesarily true statements means "X is neccesarily" exists as an evaluation.
If it doesn't, then we can't say "X is neccesarily true", but X is neccesarily true, so an evaluation neccesarily exists. But if an evaluation neccesarily exists, a mind neccesarily exists for the evaluation. — Sirius
Yes. You would have to establish some kind of necessary connection between the existence of a necessary truth and the existence of the conditions that make the necessary truth true.
I do agree that necessary truths implicate a cognizer though. — Pantagruel
1. True statements can only exist as cognitive content
— Sirius
That (which exists as pixels on a screen) is not a true statement? — wonderer1
What does it mean for truths to exist? Are truths metaphysically real "states of affairs"? Or are they constructions of a particular mind?
This does not make sense to me. The content of a statement doesn't change its ontological status.
This proof only works conceptually if truths are the results of evaluation, which is to say truths are (mental) constructs.
But this means also that necessary truths only ever exist for specific minds, and a mindless world has no truths, necessary or otherwise. So a mindless world is perfectly self consistent, and necessary truths only arise for specific minds.
Only if a mind is observing the pixels on a screen. Otherwise, they're just pixels on a screen. It takes mentation to turn the pixels into something else. Whenever we get into this area, I always ask, "is a simulation of a tornado a simulation if no one is observing it?" If there's no mind interpreting the results of the simulation of the tornado, it's just pixels and noise. How could it be anything else?
Excellent reply.
People confuse data with information. The latter is meaningful. I was tempted to bring up information realism and pancomputationalism , the "It from bit" hypothesis of John Wheeler, but didn't since it would cause more confusion. Nevertheless, it is a stronger version of my conclusion, in which reality emerges from an immaterial reality where Yes/No decisions take place. — Sirius
I addressed this in the beginning. Given any theory of truth, whether it assumes the truth criterion is a metaphysical representation or otherwise, its conception and operation depends on a mind. — Sirius
Ask yourself. Does it make sense to say X statement was always true, but it never always existed. How can a statement be true and not exist ? And if a true statement an an evaluation must exist, it will exist in a mind — Sirius
True statements are a mental evaluation, but what they represent isn't. A mindless world may have truths, but we cannot speak of them, which is no different from not having any truths.
Let's suppose there is no God. We can do without him actually.
Was "Big bang just occurred" a true statement when the big bang occurred ? Here is the tricky part. We can say it is a true statement from an evaluation in our time w.r.t the time when the big bang occurred, but it involves us taking our mind to the time when the big bang occurred CONCEPTUALLY. But even if we didn't exist, It is neccesary condition for this universe that there be a mind in the relative distant future which can evaluate the conditions of the past when there were no minds.
How is this possible ? — Sirius
As you know from special relativity, the past/present/future exists on the same ontological plane. So when the big bang occurred, we were thinking of it having occurred in the future from the refrence of big bang. But even if we didn't exist, there must have been someone in the future who was thinking of the big bang. As we have eliminated God, we will need to take this universe to be infinite to have all the minds represent the infinitely many true mathematical statements and have them evaluated.
To sum it up, the existence of a mind is a neccesary condition for the existence of neccesarily logical truths, but not a sufficient condition. — Sirius
Not just propositions, but true propositions. Here is 2 reasons we should prefer true propositions to be cognitive content over platonic forms
1. Platonic forms lack intentional content. There is no meaning to them in refrence to themselves. Platonic forms don't think they are true. We with our minds do.
Let's suppose true statements existed as Platonic forms, then we would only be able to access true statements by coming into contact with platonic forms, but our minds cannot contact them or comprehend them.
Mathematics isn't an estimation of the world. You are confusing physics with mathematics. Yes, numbers may represent apples and chairs, but it's ludicrous to conflate them.
Mathematical theorems rest on axioms and inferences our minds derive from them. That's it. The axioms are taken as self-evident, not some a posteriori fact about the world.
If you say your door is 2 meters long and "2" doesn't exist, then your statement is false.
But you do have a mind which can conceptualize "2", even if it's a rough approximation, so your statement is somewhat right
If you improved your instrument, you would get a better measurement, but it still depends on the existence of some number inside your head.
Now, look at physics. It describes the universe with numbers before any mind existed in the universe. Such a theory is wrong if there were no numbers, the theory can't even be approximately correct.
So there must have been some mind which comprehended mathematical numbers/concepts
As for numbers being platonic entities, refer to my objection above
Are you saying there are only finitely true mathematical statements because of that ?
True statements are a mental evaluation, but what they represent isn't. A mindless world may have truths, but we cannot speak of them, which is no different from not having any truths. — Sirius
I don't see why stopping here wouldn't be the reasonable solution.
Right, but if only the evaluation of a truth depends on a mind, then it doesn't follow that necessary truths also necessitate a mind. — Echarmion
Therefore , an all encompassing mind necessarily exists — Sirius
Consider such a proposition as 'Edinburgh is north of London'. Here we have a relation between two places, and it seems plain that the relation subsists independently of our knowledge of it. When we come to know that Edinburgh is north of London, we come to know something which has to do only with Edinburgh and London: we do not cause the truth of the proposition by coming to know it, on the contrary we merely apprehend a fact which was there before we knew it. The part of the earth's surface where Edinburgh stands would be north of the part where London stands, even if there were no human being to know about north and south, and even if there were no minds at all in the universe. ...We may therefore now assume it to be true that nothing mental is presupposed in the fact that Edinburgh is north of London. But this fact involves the relation 'north of', which is a universal; and it would be impossible for the whole fact to involve nothing mental if the relation 'north of', which is a constituent part of the fact, did involve anything mental. Hence we must admit that the relation, like the terms it relates, is not dependent upon thought, but belongs to the independent world which thought apprehends but does not create.
This conclusion, however, is met by the difficulty that the relation 'north of' does not seem to exist in the same sense in which Edinburgh and London exist. If we ask 'Where and when does this relation exist?' the answer must be 'Nowhere and nowhen'. There is no place or time where we can find the relation 'north of'. It does not exist in Edinburgh any more than in London, for it relates the two and is neutral as between them. Nor can we say that it exists at any particular time. Now everything that can be apprehended by the senses or by introspection exists at some particular time. Hence the relation 'north of' is radically different from such things. It is neither in space nor in time, neither material nor mental; yet it is something.
It is largely the very peculiar kind of being that belongs to universals which has led many people to suppose that they are really mental. We can think of a universal, and our thinking then exists in a perfectly ordinary sense, like any other mental act. Suppose, for example, that we are thinking of whiteness. Then in one sense it may be said that whiteness is 'in our mind'. ...In the strict sense, it is not whiteness that is in our mind, but the act of thinking of whiteness. The connected ambiguity in the word 'idea', which we noted at the same time, also causes confusion here. In one sense of this word, namely the sense in which it denotes the object of an act of thought, whiteness is an 'idea'. Hence, if the ambiguity is not guarded against, we may come to think that whiteness is an 'idea' in the other sense, i.e. an act of thought; and thus we come to think that whiteness is mental. But in so thinking, we rob it of its essential quality of universality. One man's act of thought is necessarily a different thing from another man's; one man's act of thought at one time is necessarily a different thing from the same man's act of thought at another time. Hence, if whiteness were the thought as opposed to its object, no two different men could think of it, and no one man could think of it twice. That which many different thoughts of whiteness have in common is their object, and this object is different from all of them. Thus universals are not thoughts, though when known they are the objects of thoughts. — Bertrand Russell, The World of Universals
I want to flag an objection from the perspective of one sympathetic to the Platonic intuitions behind this post. And that is the sense in which it can be said that such an all-encompassing mind exists. Because it seems clear to me that whatever exists is composed of parts and has a beginning and an end in time. To challenge that would require proving the existence of something that doesn't exhibit those attributes, and I cannot conceive of such a thing. Everything I am aware of, that exists, exhibits these attributes.
You might say that intelligible objects, such as logical principles and real numbers, don't come into or go out of existence, nor are composed of parts. And that is true - but do they exist? You can tell me they do, but to demonstrate them you would need to explain them to me, and I would need to understand them. But they certainly don't exist as do rocks, trees, and stars. They are real as elements of rational thought, but they're not phenomenally existent. And I'm of the view that 'what exists' pertains to or describes the domain of phenomena.
I sense this is close in meaning to your OP, and something I fully agree with. The problematical part, is the meaning of the word 'exists' in this context, so also of the existence of the mind which comprehends such relations. Which is not to say that such a mind does not exist, but that it must necessarily transcend the distinction between existence and non-existence, a distinction which characterises everything that exists.
One will sometimes encounter the terminology in philosophical theology of God as 'beyond being' - and I think this is what this expression is driving at, although strictly speaking, the expression ought to be 'beyond existence', as there is a distinction, albeit one not commonly made, between 'being' and 'existence'. What is necessarily so, cannot not be.
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.