logic

(名) 論理学; 論理; 道理

論理学（ろんりがく）とは、論理を研究する学問。古くは（広い意味での）哲学の一分野であったが、数学の一分野としての論理学（記号論理学、または数理論理学）と、その他の哲学的な論理学とに分化した。記号論理学に属する論理として例えば命題論理、述語論理、様相論理、直観主義論理、量子論理がある。 記号論理学は論理を単なる記号操作として扱う事に特徴があり、記号操作で表せないものは記号論理学では決して扱うことができない。 たとえば、帰納法は記号論理学としては定式化できない。
Wikipedia.orgをもっと見ると…