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

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

「錦木」と言えば、幕内力士のしこ名であるが、日本、中国に自生する紅葉が見事な樹でもある。ニシキギはその名のごとく「錦」を思わす秋の紅葉の美しさをそのまま名前にしている。また、緑色の若い枝には浅い土色でコルク質の翼（よく）がある特徴的な枝を…