邏輯指人們思考問題,從某些已知條件出發(fā)推出合理的結(jié)論的規(guī)律,說某人邏輯性強,就是說他善于推理,能夠得出正確的結(jié)論,說某人說話不合邏輯,就是說他的推理不正確,得出了錯誤的結(jié)論。
邏輯有時也指邏輯學,邏輯學是研究推理規(guī)律的理論,邏輯學分古典邏輯和現(xiàn)代邏輯,邏輯又有演繹邏輯,歸納邏輯,形式邏輯,非形式邏輯等不同類型。
用符號表示命題,謂詞,量詞,得到符號邏輯,符號邏輯常用來研究數(shù)學中的推理,因此也叫數(shù)理邏輯。