whitefork
None of the above
- Joined
- Aug 6, 2001
- Messages
- 2,326
Originally posted by Mordred
Logic and math are abstract systems created by human beings. They are based on certain assumptions, such as A!=~A. The universe does not necessarily follow these assumptions. To assume that it does would be to ignore the evidence. An electron for instance can be both spin up and spin down at the same time (it's spin state is both A and ~A). This violates a basic assumption of omnivalent logic. Where there is a contradiction between logic and our observations of how the universe works, if the observations are not flawed (which they do not appear to be), we must conclude that it is our logic which is in error.
My only quibble with this - there is some risk that it might be taken to mean that logic can be abandoned for trivial reasons - if a formal fallacy is pointed out, someone may argue that the concept of formalism is nonsense. The overwhelming burden of proof (if proof is the right word) is on the person arguing that the rules of logic do not apply in such a case.
It's not as if logic or mathematics is static, after all. Of course those who cannot grasp the principles of syllogism are not in a position to contribute much to more advanced concepts, in my view.
Logic and math are abstract systems created by human beings. They are based on certain assumptions, such as A!=~A. The universe does not necessarily follow these assumptions. To assume that it does would be to ignore the evidence. An electron for instance can be both spin up and spin down at the same time (it's spin state is both A and ~A). This violates a basic assumption of omnivalent logic. Where there is a contradiction between logic and our observations of how the universe works, if the observations are not flawed (which they do not appear to be), we must conclude that it is our logic which is in error.
My only quibble with this - there is some risk that it might be taken to mean that logic can be abandoned for trivial reasons - if a formal fallacy is pointed out, someone may argue that the concept of formalism is nonsense. The overwhelming burden of proof (if proof is the right word) is on the person arguing that the rules of logic do not apply in such a case.
It's not as if logic or mathematics is static, after all. Of course those who cannot grasp the principles of syllogism are not in a position to contribute much to more advanced concepts, in my view.