4 ms·
A problem with "logic" is that there is no one, true system. There are many possible logics and at a certain level of complexity they are more or less equivalen
by protonfish 6y ago
A problem with "logic" is that there is no one, true system. There are many possible logics and at a certain level of complexity they are more or less equivalent (a Turing machine, for example) It's a just a system of symbols that we refine to represent our world. After we spend enough work inventing a powerful symbolic system we can get confused, turn it upside-down, and start thinking that it has some inherent meaning. That's silly.
- wruza 6y agoBut there are systems, and more to come, to test against whatever these supposed to work with. That doesn't invalidate platonism, only tells that models may not match something. But that is already obvious, like you cannot win chess by poker rules — they do not even match the problem space. A spherical infinite set of eternal mathematicians could think of and explore all of logic systems. What is a true system anyway?