理則學上指用改造的語言將推理思想作成符號式的演算。由十九世紀中期英國的兩位數學家戴莫根（A. de Morgan）和布爾（G. Boole）所開創。