If you feel insulted by that, imagine how it is for people who you just told that their omnipotent god would lose to your omnipotent god.
Quite frankly, we have a rule not to make profiles for religious entities or generally talk about hypothetical placements of them. If we do this we may as well remove the rule, as we take a pretty clear stance on certain versions of the Abrahamic four letter god losing to Buddah and others being equal anyway.
I'm strongly in favor of a separation of church in state.
And, as said, if not that the absolute minimum we should do is put true omnipotence on the same tier. By its very idea and nature it can't be lesser.
I am not advocating for us to start tiering actual religious figures whatsoever and nor does that follow from anything here, especially since you can find the basic concept underlying the Tier 0 proposal in plenty of secular philosophy, too, so it's not even specifically a religious thing. At this point we might as well start refusing to tier
anything related to metaphysics, since all ideas in it have been incorporated into a religion at some point or another. I find this silly. We just do as we always did: We don't tier religious figures, even if they happen to fit the mold for a concept used in the system.
Really, my point is "The concept is not any more incoherent than a number of things we already abide, it's featured in fiction, and it has specific mechanisms that allow it to be picked and placed in a specific spot of the Tiering System."
So I'd much rather focus on the "Is it coherent?" part of the argument. You, yourself, said "
the proposal would be fine in this regard if it operated within logic", so, preferably, let's stay on that lane of discussion. There was hardly a reason to bring morality into this to begin with.
But that is the problem. I'm not sure if maybe you confuse the law of excluded middle with the law of non-contradiction here.
The law of excluded middle says that either A or not A is true for any statement A. In formal logic: The formula A∨¬A always evaluates to true. That also must be the case for A = "The Monad is red". If you claim this is non-contradicted then "the monad is red or the monad is not red" is true statement. Anything else is a contradicts the law. If it is a true statement, however, we have just found a quality that the monad has.
Your trashcan example appears irrelevant to the argument: Regardless of which definition of the word "outside" I decide to use, either "X is outside spacetime" is true or "X is not outside spacetime" is true. Meaning that it is in line with the law of excluded middle.
Since we can formulate the issue in formal logic, I challenge you to prove your point by means of formal logic. (Or at least use truth table evaluation to show where you think the error in my formal reasoning is)
That cuts out all the rhetoric fat and lets us determine truth with precision.
It contradicts one law of thought (the law of contradiction), while Monads contradict... at least as many. If you don't invent additional truth values not sure how you avoid the law of contradiction and the law of identity by rigorous definition of the subject should be contradicted, as it states the applicability of a quality.
So, for one, I don't see it a worse contradiction.
Real?
Anyway: That seems to have its root in the (Ironically exaggerated) view of what a "quality" or "property" is, in this case. By "quality," I just mean "A term that picks up something that exists within a substance as its referent," so essentially a realist (Rather than nominalist) account of what properties are (Which is needed, since I'm talking about a being who's necessarily abstract in nature). The lack of a property (e.g. Aspatiality) is not itself a property under such lenses.
So, is the proposition "The Monad is aspatial and atemporal" true? Yeah. Is "Aspatial and atemporal" a quality in the aforementioned sense, though? Not really, since it has no reference. The terms don't pick out anything in its substance, but a
lack of something (Space and time, in this case). So a more accurate descriptor would be moreso "The Monad is beyond differentiated qualities," keeping the above definition in mind. Hence I said that technically it
has one quality: Itself.
So, I'll pass on that challenge.
I don't really think it's pedantic to point out that the idea is inherently contradictory - a contradiction which you seemingly only resolve by handwaving it and saying you don't care about it. You might as well say Russell's antinomy is pedantic for pointing out an obscure contradiction.
You're ultimately saying that everyone should believe in something that doesn't really make sense.
You also seemed to skip over a part of my point there. "Heck, there being any evidence of the character's existence is a contradiction to the principle of its nature."
In order to make a profile for a character we require evidence that it exists, but any such evidence in the work will be contradictory to the principle of its existence. Even a partial or abridged experience of the character or an indirect indication of its existence would bestow it an additional quality, beyond just the quality of having no qualities.
And every attempt to rank it in a profile would involve giving the character abilities, attack potency, speed etc. which would all be against its nature. Basically, you can believe such a character exists, but once you provide evidence of it or present any information about it you are saying something that shouldn't apply to it (or contradicts the assumption of it being a Monad).
Basically, they are in nature incompatible with a tiering approach. The only accurate way to have a profile for such a character, if we are to buy into the theory, is to not have a profile at all. They are, in the most literal sense, untierable.
Ontop of the above: Like I said earlier, when you talk about "properties," you can have both intrinsic properties and extrinsic properties. The former are properties you have yourself, and the latter are properties you have from others. So, if my sister had a kid, I'd have gained the extrinsic property of being an uncle, for example.
In that sense, I don't have any issue with saying the Monad has extrinsic properties (E.g. "Is known about by someone"), since those don't actually have any impact on ontology whatsoever (If someone grows taller than me, I gained the extrinsic property of being shorter than them, but that didn't actually involve any change in my existence whatsoever).
Intrinsic properties is what it has only one of, since it completely lacks composition.
In that case, the Monad does have a property in a sense, but it's just the "absolute" version of everything that exists in lower beings. Does it have power? Of course it has. But that power is one and the same with its nature ("Power = Nature" is already the basic concept of qualitative superiority, by the way, so no reason to chastise it here), and isn't part of any hierarchy of degree.
You'll probably accuse that of being handwaving, but compare and contrast it with the following statements:
"This character has no volume whatsoever, they don't exist in space or dimensions, nor have physical constituents. But... they are still bigger than dimensioned realms. How? Can't tell you, but evidently they just are."
"This character is "bigger" than this realm. Not in the sense of 'size', though. They're just "more real" than it..."
Both of those are, by nature, pretty handwavey. We don't actually have any precise definition of the notion of "size" by which a realm above dimensionality and physical composition is bigger than a dimensioned realm, for example. Yet it's not really contradictory thing, and fiction features it, and it has sufficiently clear connotations to be picked out and put in a specific place. So we tier it. What I described above is no different.
Second, as you pointed out, we index logical paradoxes within what the verse has shown them to do (strictly limited by feats, no extrapolation). We do not by principle deny the existence of logic manipulation powers. A logic manipulator defeating a monad is an allowed ability, we just don't stretch it to anything beyond that feat.
That is to say, the power is contradictory, but the contradiction would not lie by the definition of the monad but by the nature of the superpower. There is nothing logically wrong with a monad being defeated by something illogical, there is just something logically wrong with the existence of something illogical. So by our current standard the illogical thing, the logic manipulation power, would be strictly restricted to feats. Meanwhile, there is no particular reason to doubt the monad's described nature (well, beyond the general reasons applying to all monads).
I mean, really, if an author gives a perfect description of a monad and then says "but via a logic manipulation power it was defeated. That seems to contradict its nature, but it actually had the nature, it's just that the power allowed for this contradiction to happen", do you then say "the author is wrong. They may not explore that idea. Since they are stupid we ignore how they explain it and just say the character was actually not a monad"? That would amount to overruling the author's ideas with your own.
You put it pretty well: There is no reason to doubt the Monad's nature,
beyond the general reasons applying to all Monads. I'm not really baking-in the unassailable nature of the Monad as part of its definition, I am
concluding it based on that definition. So, yeah, I would indeed say that such a thing happening to a Monad is incoherent. Just as incoherent as the things I objected about the old Tiering System, in the previous thread.
It's really just yet another manifestation of the principle of "If something claims to have that property but evidently doesn't, we don't tier it as if it had that property," which I don't believe is controversial.
For a start, you actually require no evidence of R>F transcendence for the Tier 0 state. I doubt such things would be included in statements about the nature of them in a verse that has no metafictional approach.
Second, you forget that when we talk about how the Tiering System is treating R>F that has, up to now, always been in the context of the lowest possible assumption on R>F. We do not, in general, take away the license from authors to have it function as something greater. I.e. if you wish to claim there can not be a R>F above a monad then you have to argue against the greatest possible interpretation of R>F, not the smallest one.
If you view R>F as your platoistic analogy of the higher world being similar to universals you might have a point that being below that would not be possible for a monad beyond universals. However, in general R>F jumps can incorporate things like jumping over universals or even logic itself. And then I don't see a reason why a monad in fiction can not be fictional in fiction.
I don't have to argue against "the greatest possible interpretation of R>F," no, because "Reality-Fiction Transcendence as it is in real life" (Which you're arguing for) is something that was already disavowed in the previous thread. For the specific reason that Reality-Fiction Transcendence doesn't... exist IRL, so it's not actually a valid interpretation of R>F to begin with under our lenses. I'll pass that too.
Don't strawman my arguments, please. A feat-based approach has no cap at 3-A. You can have feats of there actually being a multiverse which a character actually destroys.
I never said the concept of R>F is the end-all-be-all. It is merely a useful example to illustrate how there can always be a bigger fish. In a feat-based approach, R>F as well can be defeated by anything with better feats than the R>F in question. So no, there is no contradiction to 5.
In your system the R>F jumps below monads don't have the same quality as R>F above it would have. It's the above-mentioned mistake of smallest interpretation of R>F vs biggest interpretation again. So no, you're committing to equalizing two things of different quality.
I didn't strawman your point. I pointed out a consequence of it. Ultimately, everything infinite needs to rely on statements and not feats (In the sense of, I assume, "Direct demonstrations of transcendence over this particular object") since infinity is, by its very nature, impossible to demonstrate. So the thing destroyed being infinite to begin with relies on statements over feats.
So a character whose nature demands it be above certain things
will be rated as above those things.
Furthermore, Point 5 was:
5. R>F has no limit: Weird argument, but any character you read about in a book can for obvious reasons be part of a book. As such a Tier 0 character as proposed could exist within a R>F hierarchy. The exact same description as that of what we would classify as Tier 0 could be found in a book in some verse, with the contents of the book existing as a lower layer of fiction. You could argue that is a contradiction to their nature, but then the same would apply in real life. I.e. the same contradiction would apply because in reality they're fiction and this is not a nature can truly have even from a fictional perspective.
Basically saying "You say that there can be no R>F layers above the Monad, and yet we, the literal, actual, flesh-and-blood humans in real life, see it as fiction." Invalidity of the notion itself put aside: That contradicts Point 6 because by bringing up R>F at all you're already talking about something that bypasses "feats" and gets a high tier solely by its nature. Yet later you say that this proposal is bad because it... Does exactly that.
Not to mention the complete lack of proper evidence requirements. Like, really, even if we go by your reasoning, the assumption that standard statements regarding qualities cover meta-qualities is a huge stretch. Those characters should really at minimum have independent evidence of transcending meta-qualities before such are assumed to be included.
Hardly a stretch. Since, at the end of the day, even High 1-A (Meta-qualities) is just something you obtain by introducing
more differentiation, which the Monad lacks. And since this lack of qualitative distinction
is the cause of its superiority, it likewise is superior to anything with qualitative distinctions in it (And the jump from 1-A to High 1-A is still something operating in that same basic framework in that regard, which I suppose you could say is just the Identity of Indiscernibles, ultimately)