＜代数ルールと量化ルールからなる論理システム＞　論理ルールの具体的な説明。数式を変形し、計算し、答えを出すのと同じように、記号化された言明（論理式）を変形し、別の言明を導出する、これが論理的な推論の一般的なプロセスです。「計算する、証明する

続きを読む

　私たちは言葉を使って考えます。その言葉は文法というルールをもっています。また、私たちの思考は論理のルールを使っていて、私たちはそれを使わないと考えることさえできません。ですから、私たちが考える時には、言葉のルールと思考のルール、つまり文法

続きを読む