My contradiction? Your contradiction! I have shown that your assumption that ideas can be invented lets its own negation follow and thereby beats itse...
:up: Yes, I agree with you. So there are quite a few folks who think like that! This video is really great and very relevant. (I’ve already given it a...
Yes, and that property simply exists, as do the other abtract things which it’s closely linked with, like wavelengthhood, lighthood, nanometrehood, 57...
When I say “abstract”, I mean not physical, not mindly, not spatial, not temporal, and onefold (simple). That doesn’t work, for no group of objects on...
Well, that’s the definition of abstractness, see e.g. the third section of the SEP's entry on abstract things That assumes that everything must be eit...
Abstract entities, including (Platonish) Shapes (Forms, Ideas), do not exist in the mind or the external physical spacetimely realm. Rather, they exis...
Did I say otherwise? I still cannot make out coherent arguments in your posts, and you also don’t give justifications for your claims. You’re welcome ...
Why do you first say that it supposedly doesn’t follow, but then ask what it even means? How can you judge a my statement without knowing what it even...
It means that for every finitely expressible idea EID, there’s a time-point t(EID) finitely far into the future such that my algorithm has found EID b...
I mean to use the words “come up” and “find” in a neutral way, that is, as over-terms for “invent” and “discover”. Note that in German, the word “erfi...
My proof also works when starting from the assumption that ideas can be invented (in my text that you quoted, I should have used a neutral word, like ...
You’re right, of course. I must’ve gotten something mixed up. I wanted to say that if Alice finds the idea based on Bob’s coming-up, then she only dis...
... and has therefore always existed, for what may be possible is possible. See my answer to @"Janus". You seem to still not understand what I’m sayin...
Actually, what is actually possible can change, but only in one direction: possibilites can at most get fewer with time. That is so because it is a lo...
The mental instances were indeed nowhere and didn’t even exist at all, but the ideas of which they are instances have always existed. You have still n...
I broadly agree with you. Or ideas generally, not necessarily solutions to problems, I think. Yes, that’s true. Actually, I think that it does matter....
All the ideas that my algoritm may discover, it will discover. Let EID be an arbitrary idea that someone has found. Since someone has found EID, it mu...
Yes, of course, just as numbers, functions, sets, properties, relationships, and all the other abstract things exist in the ‘above-heavenly world (hyp...
Quite the contrary: In order for someone to come up with an idea, it must actually always have been possible that someone could someday come up with t...
Basically, J. K. Rowling’s books contain a very long definition of Harrihood and a great many other properties, too, such as Hagridhood. Since the mai...
I have already given compelling arguments showing that the observer cannot create that idea. The square was a square (and many other things, too) befo...
If each of two people make a chair independently of the other, would you say that they create chairhood? Would you say that the very first star to “fo...
But the possibilities themselves are actual; it’s actually true now and has always been actually true that the ideas can someday be discovered. Moreov...
By “this universe”, I mean the spacetime-continuum which we live in, along with all the physical things inside it. There’s a subtle point here. There ...
We have to wait to actually see the ideas, but it is already forechosen now that we will see them. Hence, they must already exist now. Might I ask why...
Exactly, and by the definition of abstractness, they are neither spatial nor temporal and thus cannot have a beginning in time. In particular, they ca...
Yes, he certainly does and always has – the property of being a male human wizard, having parents called “James” and “Lily”, being called “Harry Potte...
Individual squares do indeed not only instantiate squareness, but also rectangle-hood, parallelogram-hood, (four-sider)-hood, (geometrical-shape)-hood...
This is another thing that I’ve said before, but I’ll say it again. The algorithm will output an exact linguistic description of the Mona Lisa, for ex...
More importantly, the length of the list that you start with can be transfinite. By repeating the process an uncountable infinite number of times, you...
Yes, you bet that I am. The philosophy of platonism (lowercase ‘p’) is the only option which doesn’t contain contradictions or absurdities. It still s...
Of course it does. If something is possible, then it must always have been possible, so that possibility must have always existed. If something is imp...
So it’s even better: all the irrationals exist eternally even though no algorithm can find each of them after a finite time. The set of all linguistic...
Here, I actually disagree with you slightly on some (but not all) points. Firstly, I don’t think that all abstract things are possibilities, but wheth...
That is only one of three proofs which I have given and which independently of each other show the uncreatability of ideas. The other two are the one ...
Regarding timeless propositions or propositions about the present or past, I still think that you have misunderstood LEM. In general, (TRUE(A) v TRUE(...
Not at all; like all ideas and indeed all abstract entities, they are discovered, not invented. However, instantiations of them are invented. Abstract...
This has already been answered to the point by . I'd only like to add that Alice and Bob might also come up with the same idea by complete coincidence...
I also don’t think that ideas are the same as possibilities. However, that doesn’t matter. What matters is that ideas are essentially tied to possibil...
When you’re writing a poem, you are discovering it, not inventing it. There’s a fixed, eternal, uncreated 1-to-1 mapping between the set of all poems ...
Indeed :wink:. Here are some points with which Pfhorrest and I have shown that ideas are eternal and uncreated: We have given more than one proof for ...
Yes, and that’s precisely why we look at them. If we only consider either true or false propositions, then we presuppose PB from the start, so we won’...
Can you mind-read :wink:? I’m asking because you’re saying exactly what I think! Indeed, all ideas already exist, only waiting for minds to discover t...
Comments