Follow along with the video below to see how to install our site as a web app on your home screen.
Note: This feature may not be available in some browsers.
It did said that laws are often inferior than concepts. So I was wondering if logic is treated similar to laws in terms of hierarchy.Our Metaphysical Aspects page already addresses this question. There is no inherent superiority between them
It was said as an example of such an order being applied in fiction, it in no way reflects our standardsIt did said that laws are often inferior than concepts. So I was wondering if logic is treated similar to laws in terms of hierarchy.
So likely not above concept, info, or plot
Definitely not. It would be an ontic category error if anythingI mean...isn't logic a concept?
Eh ok I don’t really know enough to sayDefinitely not. It would be an ontic category error if anything
Unless you speak of logic nominalistically, then you would have to assume that logic is a property or quality that a being can have.Eh ok I don’t really know enough to say
And from the page itselfLaws and concepts also has nothing to do with logic. Logic is prior to metaphysics.
I personally heavily disagree with DT. “Logic is prior to metaphysics” is genuinely an insane take lolFrom what DT say
And from the page itself
logic is likely superior to metaphysics it self, and it was more basic or fundamental than those. Well thats make sense because everything need logic for their existence and meaning, and logic doesnt need anything, it was a self-sufficient thing
An introduction to formal logic by Peter Smith2.1 Validity defined more carefully
(a)
We said in §1.3 that an inference step is deductively valid if it is completely watertight – in other words, assuming that the inference’s premisses are true, its conclusion is absolutely guaranteed to be true as well.
But talk of an inference being “watertight” and talk of a conclusion being “guaranteed” to be true is too metaphorical for comfort. So – now dropping the explicit “deductively” – here is a less metaphorical definition, already hinted at:
Take the plural “premisses”, here and in similar statements, to cover the one-premiss case too. Then this definition characterizes what is often called the classical concept of validity. It is, however, only as clear as the notion of a “possible situation”. So we certainly need to pause over this.An inference step is valid if and only if there is no possible situation in which its premisses would be true and its conclusion false.
Equivalently, in such a case, we will say that the inference’s premisses entail its conclusion.
(b)
Consider the following bit of reasoning:
Let’s grant that, with the laws of nature as they are, there is no way in which the premiss could be true and the conclusion false (assume that we are talking about here on Earth, that Jo is a human, not a beetle, etc.). In the actual world, falling unimpeded onto concrete from twenty floors up will always produce serious – very probably fatal – injury. Does that make the inference from A’s premiss to its conclusion valid?A
Jo jumped out of a twentieth floor window (without parachute, safety net, etc.) and fell unimpeded onto a concrete pavement.
So she was injured.
No. It isn’t, let’s agree, physically possible in our actual circumstances to jump without being injured. But we can coherently, without self-contradiction, conceive of a situation in which the laws of nature are different or are miraculously suspended, and someone jumping from twenty floors up can float delicately down like a feather. We can imagine a capricious deity bringing about such a situation. In this very weak sense, it is possible that A’s premiss could be true while its conclusion is false. And that is enough for the inference to be deductively invalid.
(c)
So our definition of validity is to be read like this: a deductively valid inference is one where it is not possible even in the most generously inclusive sense – roughly, it is not even coherently conceivable – that the inference’s premisses are true and its conclusion false.
Let’s elaborate. We ordinarily talk of many different kinds of possibility – about what is physically possible (given the laws of nature), what is technologically possible (given our engineering skills), what is politically possible (given the make-up of the electorate), what is financially possible (given the state of your bank balance), and so on. These different kinds of possibility are related in various ways. For example, something that is technologically possible has to be physically possible, but may not be financially possible for anyone to engineer.
But note that if some situation is M-ly possible (for any suitable modifier “M”), then, at the very least, a description of that situation has to be internally coherent. In other words, if some situation is M-ly possible, then it must be possible in the thin sense that the very idea of such a situation occurring isn’t ruled out as nonsense. The notion of possibility we need in defining validity is possibility in this weakest, most inclusive sense. And from now on, when we talk in an unqualified way about possibility, it is this very weak sense that we will have in mind.
(d)
Kinds of possibility go together with matching kinds of necessity – “necessary” means “not-possibly-not”. For example, it is legally necessary for an enforceable will to be signed if and only if it is not legally possible for a will to be enforceable yet not signed. It is physically necessary that massive objects gravitationally attract each other if and only if it is not physically possible that those objects not attract each other. And so on. Generalizing, we can massage such equivalences into the standard form:
where “C” stands in for some statement, and “not-C” stands in for the denial of that statement.It is M-ly necessary that C if and only if it is not M-ly possible that not-C,
Likewise, our very weak inclusive notion of possibility goes with a correspondingly strong notion of necessity: it is necessary that C in this sense just in case it is not even weakly possible that not-C. Putting it another way:
From now on, when we talk in an unqualified way about necessity, it is this very strong sense that we will have in mind.It is necessarily true that C if and only if it is true that C in every possible situation, in our most inclusive sense of “possible”.
And yes, being necessarily true is a very strong requirement, as strong as can be. However, it is one that can be met in some cases. For example, it is necessary in this sense that Jill is not both married and unmarried (at the same time, in the same jurisdiction). It is necessary in our strong sense that all triangles have three sides (in any coherently conceivable situation, the straight-sided figures with three internal angles are three-sided). Again, it is necessary that whenever a mother smiles, a parent smiles.
It is equally necessary that if all philosophers are eccentric and Jack is a philosopher, then Jack is eccentric. And this last example illustrates a general point, which gives us an equivalent definition of deductive validity:
An inference step is valid if and only if it is necessary, in the strongest sense, that if the inference’s premisses are true, so is its conclusion.
For short, valid inferences are necessarily truth-preserving.
Wouldn't those stuff just... be asserted as a logical impossibility if you assume platonism is fully true as plato intended?In other words, I can coherently conceive a world in which platonic concepts aren't a thing, because nominalism or trope theory are true instead. So those metaphysics are not absolutes in the realm of logic.
Because to a platonist they would just reject a universal-less world, and that any sort of logical discussion inherently uses universals/forms since they're what's behind intelligibility itself. A world without universals here would be only logical on a very surface level, but actually be logically impossible because for an intelligible thing to exist it must have an intelligible form. Otherwise to a platonist you're essentially saying reality is some unintelligible blob.Wouldn't those stuff just... be asserted as a logical impossibility if you assume platonism is fully true as plato intended?
Uh, this is why I should go backwards and read more normal Plato stuff, but from my knowledge this would be the case, yea.Wouldn't those stuff just... be asserted as a logical impossibility if you assume platonism is fully true as plato intended?
You’re conflating conceivability for metaphysical necessity.An introduction to formal logic by Peter Smith
The case of laws of nature is already covered and for platonic concepts just set M = "platonic". Talking about what is possible in a world of platonic concepts is talking about what is platonically possible and being logically possible is more inclusive by definition. Meanwhile, talking about what is necessarily true in a world of platonic concepts, is then by definition less exclusive than talking about what is logically necessary.
In other words, I can coherently conceive a world in which platonic concepts aren't a thing, because nominalism or trope theory are true instead. So those metaphysics are not absolutes in the realm of logic.
Given, as usual fiction can do whatever the hell it wants, so no absolutes there. Hence also no defaults.
I didn't say anything involving necessity and conceivability.You’re conflating conceivability for metaphysical necessity.
"If you assumed the law of universal gravitation is true, wouldn't that mean that it's logically impossible for two things with mass not to attract each other."Wouldn't those stuff just... be asserted as a logical impossibility if you assume platonism is fully true as plato intended?
All of that hinges on the assumption that a platonist can not coherently conceive a world in which intelligibility is not tied to universals. However, exeprience-wise even platoists can actually do so.Because to a platonist they would just reject a universal-less world, and that any sort of logical discussion inherently uses universals/forms since they're what's behind intelligibility itself. Thus making a world without universals be only logical on a surface level, but be logically impossible because for an intelligible thing to exist it must have an intelligible form. Otherwise to a platonist you're essentially saying reality is some unintelligible blob.
There isn't really a default because there are many ways of understanding the abilities involved. Depending on the verse's particular metaphysics, "Conceptual Manipulation" could encompass Logic Manipulation, for instance.By default.
Unless the priority you're talking about is purely an epistemic one (i.e. It's a priority in our thinking, not in reality as such), saying logic is an absolute just ends up being a species of mathematical platonism, ironically enough (In this case, one about logic and its laws).The case of laws of nature is already covered and for platonic concepts just set M = "platonic". Talking about what is possible in a world of platonic concepts is talking about what is platonically possible and being logically possible is more inclusive by definition. Meanwhile, talking about what is necessarily true in a world of platonic concepts, is then by definition less exclusive than talking about what is logically necessary.
In other words, I can coherently conceive a world in which platonic concepts aren't a thing, because nominalism or trope theory are true instead. So those metaphysics are not absolutes in the realm of logic.
You can conceive that a married bachelor is a contradiction but that doesn't make the contents of "married bachelor" any more coherent. This is essentially how a platonist would view stuff without universals. Logic in any fashion whatsoever would inherently entail universals to them.All of that hinges on the assumption that a platonist can not coherently conceive a world in which intelligibility is not tied to universals. However, exeprience-wise even platoists can actually do so.
Their not believing in different metaphysical systems doesn't mean they can't conceive of them.
You don’t need to because it is implied by virtue of you attempting to delimit the existence of Forms through conceivability, which as I mentioned in my first comment in this thread is an ontic category error.I didn't say anything involving necessity and conceivability.
Awh, I wouldn't go that far. In classical Platonism, e.g., Sameness and Otherness are both Forms and they, so to speak, administer the relationships between the other Forms under their purview, so you can say that "Horse-itself is not Man-itself" and so on. What fails to obtain at the intelligible level is discursive rationalizing where we move from premise to conclusion, as, for instance, when one argues: "Man is an animal. Ultima is a man. Therefore, Ultima is an animal." Operating at the "intellectual" level would entail not going through that process and instead just knowing all of this immediately, but it's not an abolishing of identity and difference altogether.Logic is fundamentally a discursive and descriptive tool; and discourse is explicitly posterior to intelligible principles. So stuff like “X is Y and not Z”, contrary to your belief, does not actually apply to things of this level.
Yeaaa, that’s on me. I worded it pretty badly.Awh, I wouldn't go that far. In classical Platonism, e.g., Sameness and Otherness are both Forms and they, so to speak, administer the relationships between the other Forms under their purview, so you can say that "Horse-itself is not Man-itself" and so on. What fails to obtain at the intelligible level is discursive rationalizing where we move from premise to conclusion, as, for instance, when one argues: "Man is an animal. Ultima is a man. Therefore, Ultima is an animal." Operating at the "intellectual" level would entail not going through that process and instead just knowing all of this immediately, but it's not an abolishing of identity and difference altogether.
idk man I'm not an expert on this stuffUnless you speak of logic nominalistically, then you would have to assume that logic is a property or quality that a being can have.
If it were part of something’s substance or essence, then any certain being that isn’t actualized does not “have logic”; so you’d be claiming all non-existents break the laws of thought. Which is rather absurd. And loads and loads of other bs
Now, try doing it in a world where informations aren't a thingI can coherently conceive a world in which platonic concepts aren't a thing
What about in a world where matter dont exist?Now, try doing it in a world where informations aren't a thing
Dream/Imagination ?What about in a world where matter dont exist?
What about in a world where matter dont exist?Everything is NEP.
Jake’s vision became a flood wave of colors as he felt himself being torn in all directions at once. It was as if the space energy was trying to atomize him, though he was pretty sure atoms weren’t really a thing anymore. In either case, a B-grade was simply too naturally durable to find itself torn apart by what Jake was going through, and he even found time to ponder what was happening.
To summarise: the statues depicted a bunch of weaker gods or subordinate gods from larger organizations. Nothing interesting or fancy going on at all. Of course, to the populace of Haven, any god was an absolutely insurmountable existence. It kind of made sense. To a regular human. It didn’t matter if a black hole was small or large; it could rip you apart atom by atom no matter what. If atoms were still a thing after the system. Probably not. Did black holes still exist? Probably. Jake couldn’t wait to go see one. Event horizons looked dope in pictures, and seeing one in person would be awesome.