Re:US Navy Patent Antigravity Device
by lisper on Monday May 04, 2020 @03:14PM
(#23072096)
> I think it's certainly possible that a model built on propositional logic does not cover the whole of reality.
Not only is it possible, this is the normal state of affairs. Until we have a theory-of-everything, none of our models cover the whole of reality.
But all of our models rest on a foundation of certain basic assumptions. Among these are that (some) statements about reality can be classified as true or false, and that these are mutually exclusive possibilities. Not all statements can be classified as true or false (e.g. Euclid's fifth postulate) but for the ones that can, if it is true then it is not false, and if it is false then it is not true.
If you deny that, then the entire edifice of human intellectual achievement really does crumble into dust.
Not only is it possible, this is the normal state of affairs. Until we have a theory-of-everything, none of our models cover the whole of reality.
But all of our models rest on a foundation of certain basic assumptions. Among these are that (some) statements about reality can be classified as true or false, and that these are mutually exclusive possibilities. Not all statements can be classified as true or false (e.g. Euclid's fifth postulate) but for the ones that can, if it is true then it is not false, and if it is false then it is not true.
If you deny that, then the entire edifice of human intellectual achievement really does crumble into dust.