-
Humans implicitly do “Logically Incorrect Reasoning”.
-
Humans tried to get computers to do “Logically Correct Reasoning”
-
Logical correctness is a very narrow application of the many measures of correctness.
-
We need to let computers make “logically incorrect inferences”.
-
Furthermore, it makes “logically incorrect inferences” explicitly rather than implicitly.
-
Self-consciously make “logically incorrect inferences” and remember that they are not logically correct.
-
Identify [Facts and Interpretations
- interpretation and then proceed with reasoning with the understanding that it is
- productive Turn the discussion in the right direction.
- pragmatism : what is productive is what is right
-
Machines make observable what humans do unknowingly.
-
This page is auto-translated from /nishio/暗黙の正しくない推論 using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I’m very happy to spread my thought to non-Japanese readers.