Immanuel Can wrote: ↑Fri Aug 12, 2022 2:30 am
Astro Cat wrote: ↑Fri Aug 12, 2022 1:57 amI hinted at the account when I mentioned limitation. Limitation is either a necessary consequence of reality or a part of the definition of what it means to be real:
That doesn't really help. It's
ex post facto. It means, maths and logic
have to be real, because we see they're
already real. It doesn't really explain why they exist in the first place, or how they can be are part of an (allegedly) random universal beginning.
Limitation exists because it necessarily exists; it is incorrigible: even its proposed absence entails its presence. As logical and mathematical objects are consequences of limitation existing, that makes them necessary too. That isn't
ex post facto: this would be true even if no material thing existed at all.
For instance, consider the hypothetical notion of absolute nonexistence:
P1) for any x such that x might exist, x does not exist.
Then consider the proposition:
P2) something cannot begin to exist from nothing
What I'm saying is that limitation is something about reality that's ontologically necessary: it self-contradicts to assert that it might be possible not to have it. Consider identity, for instance. If x is the existence of anything and we consider ¬x, it would still be true that ¬x=¬x, and paradoxically we would find that there is still an identity there.
Put another way, P1 leads to a contradiction with P2 for instance: if P2 is true, then something about P2 corresponds to reality. Yet if P1 is true, then that thing which corresponds to reality about P2 does not exist. Yet if that's the case, then there's no reason something couldn't exist under the supposition that there was nothing.
Put colloquially, if nothing exists, not even "rules," then there would be no rule ensuring that nothing exists (nothing = nothing wouldn't be true), and so there might be something. Yet if there is something, that thing must be limited to what it is and limited from what it is not. So there must be limitation. If there
is a "rule" like P2, then it's limited (limited to being what it is and not what it is not), if there
isn't a rule like P2 then something would exist anyway, which would then be limited anyway.
Limitation is incorrigible, self-evident, and properly basic. It isn't an "accident" or probabilistic in any way.
Immanuel Can wrote:Astro Cat wrote: ↑Thu Aug 11, 2022 10:12 pm
I’m not worried about the tactical element, though: I can defend the ontology of mathematics and logic as a consequence of limitation in reality; the moral realist won’t be able to defend “moral law” as a discovery. Or at least I’d love to see someone try.
Oooh. A challenge! I love it.
What do you mean by "as a discovery"? I want to make sure I hit your benchmark, if I try.
Well, that's just another way to say that if moral realism is objective and true, then it would be "discoverable" (as in, different thinkers from completely different backgrounds could independently come to the same conclusions in the same way mathematicians do). But our debate here is mostly about this. We've covered what "good" is, but the answer you've given has decoupled "good" from "ought," so we're just waiting on when you have the time to reply about that.
Immanuel Can wrote:Astro Cat wrote:In this instance I took umbrage with linking atheism to ontological materialism though.
Well, that's certainly the popular choice among Atheists. That, or Physicalism of one sort or another. Certainly nothing with metaphysics in it.
But if you think there's some ontology better to link with Atheism, tell us all about it. I'm interested.
Atheism isn't a worldview, it doesn't have a full ontology other than rejection, denial, or skepticism of theistic propositions. Atheists can be ontological materialists or not, neither is implied by the position. I'm an example of an atheist that is not an ontological materialist. ^_^