邏輯

邏輯可分爲形式邏輯 ， 與非形式邏輯 。 在數學裏 ， 邏輯是指形式邏輯和數理邏輯 ， 形式邏輯是研究某個形式語言的有效推論 。 主要是演繹推理 。 在辯證法中也涉及到邏輯 。 數理邏輯是研究抽象邏輯關係和數學基本的問題 。 在學習 、 推論統計學裏 ， 是研究最大可能的結論 。 在電腦科學裏 ， 是研究各種方法的性質 ， 可能性 ， 和實現在機器上 。 從古文明開始 （ 如古印度 、 中國古代和古希臘 ） 都有對邏輯進行研究 。 在西方 ， 亞里斯多德將邏輯建立成一門正式的學科 ， 並在哲學中給予它一個基本的位置 。