0227考える名無しさん垢版 | 大砲2017/09/19(火) 16:44:57.960 >>226 だが、その論理学つまり論理の中核である推論の正しさや推論の限界を曖昧さを排して厳密に議論しようとすると 数学から様々な道具立てを借りて行わねばならない、日本語でも英語でもラテン語でも自然言語で議論していたのでは 厳密さや曖昧さの排除に限界があるからね そしてこの論理学が数学の軍門に下りその代わりに曖昧さを可能な限り完全に排除した結果として生まれたのが数理論理学