alt Hacker NewsP ^ not P => _|_
The axioms of a logic that are consistent will definitely not let a statement be true and false at the same time.
P ^ not P => _|_
The axioms of a logic that are consistent will definitely not let a statement be true and false at the same time.
Those axioms do not have a basis other than observations at human scale.