| 释义 |
- 〔symbolic logic〕数学的演算ができるように論理形式を記号化して取り扳う論理学。19世紀後半ブールらの論理代数に始まり，フレーゲ·ラッセルらにより論理学の主要部分として発展した。アリストテレス以来の古典論理学を明晰(めいせき)化するのみならず，数学あるいは他の科学·哲学の基礎をも論ずる。数学的論理学。数理論理学。←→古典論理学符号逻辑(学)。把逻辑形式进行符号化处理，以便能够进行数学演算的逻辑学。始于19世纪后半叶布尔等的逻辑代数，并由弗雷格、罗素等作为逻辑学的主要部分将其发展。不仅使亚里士多德以来的古典逻辑学明晰化，而且也论述了数学或其他科学、哲学的基础。
|