← Back to context

Comment by danbruc

13 hours ago

I was wrong about the law of excluded middle, that is not an issue. Intuitionistic logic rejects it, because it says P or not P is definitely true, whether or not we have any proof for P or not P. But that is not really relevant here, the real question is whether there are things that are neither determined nor random. If random means not determined, then no such thing can exist, unless you accept a violation of the law of noncontradiction [1]. So are random things and determined things complementary sets with respect to some universe of things under consideration?

[1] https://en.wikipedia.org/wiki/Law_of_noncontradiction