I would say the property is less fundamental than the concept it refers to; because it presupposes it. — Bob Ross
The interesting thing with 'being', is that it isn't really a property: that opens up the discussion to absurd ideas, like beings which themselves contain being in their essence and other beings which do not (e.g., Spinoza's view). — Bob Ross
This pecularity indicates, by my lights, that ‘being’ is a primitive concept and, as such, is absolutely simple, unanalyzable, and (yet) still perfectly valid. — Bob Ross
I think there are a lot of concepts that are not decomposable, that is, you cannot break them down into component parts without losing something. Perception might be one of these things. It's easy enough to describe perception. E.g., "you see a beautiful sunset over Death Valley."
If you try to decompose the experience into what causes it though, you end up losing elements. No amount of talk of neurons or light waves, B-minimal properties, etc., no matter how informative, seems to avoid losing something. — Count Timothy von Icarus
Right, there are some pretty good arguments out of the Thomist camp that all properties of things have to involve how they relate to other things or parts of themselves. — Count Timothy von Icarus
But then what does it mean for something to simple? — Count Timothy von Icarus
First of all, all definitions are essentially circular, as evidence by somebody not being able to immediately glean a language simply by by being handed a dictionary. But with some ideas, the circularity of the definition becomes very short, such as in your example. — noAxioms
How could that be? I am definitely not conscious of my experience 10 minutes ago. Either I am, or I am not; there is no in between. And the fact is, at some point I was, but I no longer am. That's change. — Ø implies everything
That still necessitates change; the change from experiencing a moment subconsciously to experiencing it consciously. — Ø implies everything
But I think I've ruled out eternalism as self-contradictory, which means there must be real change. — Ø implies everything
However, eternalism is itself very problematic, philosophically. How do you explain our changing experience? — Ø implies everything
I don't think that works, because it introduces the choice again. Since both worlds already existed separately, then they were two separate objects (despite their identicality). Thus, a paralogical choice is made between which of the two worlds gets a banana and which gets an apple. — Ø implies everything
If one simply answers that the original sentience is no longer present, and two new sentiences were born (both having access to the original sentience's memories, and experiencing their birth as continuous extension of the original sentience's experience), then you have answered the question. — Ø implies everything
Okay, now we are getting somewhere. This splitting of worlds; has it happened after sentience entered the picture? — Ø implies everything
Okay, let me take this step-by-step:
1. First moment in time, there is just being (I don't claim you believe this, but you have to deny it).
2. For this moment in time, due to the lack of any laws or anything specific, it would be logically consistent that a banana spawns at coordinates x,y,z.
3. By the same logic, it would also be logically consistent that an apple spawns at coordinates x,y,z.
So, in the next moment in time, what happens? Do both spawn? Well, each spawning is separately consistent, but together, they are inconsistent. — Ø implies everything
Sure, but in the real world, a banana and an apple cannot exist with their centers overlapping. — Ø implies everything
But then everything would have popped into existence simultaneously, and contradictions would have arisen. How did the universe remove these contradictions? How did it choose one thing over the other? — Ø implies everything
The purely logical donkey, when faced with two equally voluptuous hay stacks, starves to death. — Ø implies everything
In other words, I would have to pick out the lion first, before I have good reason to avoid it. — NotAristotle
What is your explanation for existence? — Benj96
You do see how the assertion that 'something just happened' does not actually amount to any kind of rationale? — Wayfarer
Yes - well, when you can demonstrate a self-creating machine that follows goals, then I will accept the answer. Because machines are human artefacts, produced intentionally to deliver a result. They embody the intention of the agent who builds them. — Wayfarer
Isn't it just lumpen materialism? You still haven't allowed for intentionality other than as a byproduct or epiphenomenon of these essentially unintentional relations. — Wayfarer
If someone is omnipotent, they're able to do anything. If there was something they couldn't do, they wouldn't be omnipotent. — Bartricks
You said if God created the world, then God created the world. Er, yes. And? — Bartricks
Again, you don't seem to understand what the issue is. — Bartricks
Yes they can. They can do anything, including things that violate the laws of logic. — Bartricks
Anyway, it's beside the point, for it is clearly not a violation of the laws of logic to refrain from creating something. — Bartricks
You've just said 'reality must be consistent......therefore God has created the world' — Bartricks
'If' God created a world, then he would create the best world. This isn't the best world, is it?! — Bartricks
But just as the wood and spring of the mouse trap in no way explain how a mouse trap could be consciousness, the laws of biology, chemistry, electricity, and quantum mechanics in no way explain consciousness—or even hint that consciousness is possible. — Art48
Then he wouldn't be omnipotent. God is by definition omnipotent. So God can do anything. That includes refraining from creating a world. — Bartricks
That's flagrantly question begging. — Bartricks
It gets worse, not only does omnipotence not positively imply that God created the world, omnibenevolence positively implies God did not create it. — Bartricks
But I don't believe God created the world we live in. It doesn't look like the kind of place an all-good person would create. But Christians typically do believe that God created the world. Why? — Bartricks
Sets exist in universes (domains of discourses) for model. The collection is a collection of models. The only things that exist in that collection are models. The set exists in the universe of one of the members of the collection. — TonesInDeepFreeze
What do you think set theory is?
What do you think is an inconsistent theory (You claim ZFC+CH+~CH is not an inconsistent theory, so it's clear you don't know what an inconsistent theory is.)
What do you think a model of set theory is? — TonesInDeepFreeze
No, you are missing the point that such a set exists in some models in the multiverse and not in other models of the multiverse. — TonesInDeepFreeze
I already told you. It a collection of models (or "worlds" informally). — TonesInDeepFreeze
But there does not exist any model of ZFC+CH+~CH, since inconsistent theories do not have models. — TonesInDeepFreeze
No, he mentions that there are separate universes. That is the multiverse. The collection of separate individual universes. He doesn't combine universes all into one big clump. — TonesInDeepFreeze
And there is no "the world of ZFC+CH" or "the world of ZFC+~CH". Rather, for each set theory, there are many non-isomorphic models. — TonesInDeepFreeze
Hamkins points out that we are free to work separately in different models. He doesn't say that we combine a model of ZFC+CH with a model of ZFC+~CH. — TonesInDeepFreeze
The union of all axiomatized set theories does. — litewave
That is an inconsistent theory. — TonesInDeepFreeze
But if ZFC is the context of your notions, at least a kind of "base" theory for your uncountably many theories — TonesInDeepFreeze
But the more basic point is that, no matter your own views (or even Hamkins's, for that matter), it is not the case that "according to set theory, all logically possible (consistent) collections exist".
Set theory does not say that. — TonesInDeepFreeze
. Please say exactly what passages in part 7 you regard as saying that there is a set with cardinality between the naturals that is decided ('settled' in context) by the consistency of ZFC+~CH. — TonesInDeepFreeze
And no retraction from you that you falsely put words in my mouth by claiming that I said naive set theory must obey the axiom of regularity. — TonesInDeepFreeze
So, please quote the specific passages you contend claim that all sets exist that are "selected" by at least one consistent axiomatic set theory. Tell me the exact formulations you have in mind that Hamkins mentions in his own words. — TonesInDeepFreeze
And please cite where Hamkins says there is a set with cardinality between the naturals and the reals and that that is decided by the fact that ZFC+~CH is consistent. — TonesInDeepFreeze
And that is not what anyone means by 'naive set theory'. So your notion is not set theory and it's not naive set theory. — TonesInDeepFreeze
What are all the axiomatized set theories? There is no definitive list, and there is no conceptual limit. For that reason alone your notion is fatally vague. — TonesInDeepFreeze
And what does "included" mean? — TonesInDeepFreeze
since ZFC+CH is now ruled out by your requirement that there exists a set of cardinality strictly between the naturals and the reals — TonesInDeepFreeze
(5) Set theory does preclude certain kinds of sets that otherwise it would be consistent to say they exist. In particular, the axiom of regularity precludes certain kinds of sets that otherwise would be consistent to say they exist.
Since you did not reply to that, I'll add: I surmise that naively (informally, intuitively) most set theorists' notion of 'set' includes that sets are not members of themselves, and that, more generally, every set has a minimal member. That is especially witnessed as the axiom of regularity is a standard axiom, which is especially relevant since you say that naive set theory is "elaborated upon" by axiomatizations such as ZFC. This is a point blank refutation of your claim that "according to set theory, all logically possible (consistent) collections exist", as indeed both the naive notion of sets and the standard axiomatizations exactly preclude the existence of certain kinds of sets that would not be inconsistent to assert their existence otherwise. That point cannot be skipped and it alone decisively refutes your claim. — TonesInDeepFreeze
Yes, a world which is called a possible world ... — Shawn
Every day we make choices where seemingly we could have done something otherwise. — Shawn
Even taking your argument to the extreme, there could be a possible world where causality would have allowed for a different event cone to allow a counterfactual to arise. — Shawn