命題演算是在什麼的基礎上發展起來的？一、邏輯學的發源地有三個，即古代的中國、印度和希臘。 二、近代邏輯學的發展 1 ?17世紀，英國哲學家弗朗西斯。培根提出了科學歸納法，奠定了歸納邏輯的基礎。培根的主要著作是《新工具》，在書中他提出了“三表法”和“排除法”。 在培根以後，英國哲學家約翰。穆勒繼承並發展了培根的歸納邏輯，在他所著的《邏輯體系： 歸納和演繹》（中譯本為嚴復的《穆勒名學》）中，系統闡述了尋找因果聯絡的五種方法，即契合法、差異法、契合差異並用法、共變法和剩餘法，邏輯史上稱為“穆勒五法”。 1662年，《波爾。羅亞爾邏輯》一書的出版標誌著集演繹、歸納和一般方法為一體的傳統邏輯已基本定型。 2 ?18世紀到19世紀，德國古典哲學家康德、黑格爾也研究了邏輯問題。康德第一次使用了“形式邏輯”這個名稱，從此以後，“形式邏輯”得到了廣泛的採用。黑格爾在邏輯史上提出了第一個辯證邏輯的體系，雖然他的辯證邏輯體系是建立在唯心主義基礎上的，但是，其中卻包含著不少合理核心和深刻思想。 3 ?19世紀中葉以後，馬克思、恩格斯和列寧對邏輯學有許多精闢的論述，為豐富和發展普通邏輯作出了重要貢獻。 三、17世紀德國哲學家萊布尼茲因提出用數學方法處理演繹邏輯、把推理變成邏輯演算的思想而被公認為數理邏輯的奠基人。19世紀英國數學家布林建立了“邏輯代數”（即布林代數），把萊布尼茲的思想變為現實。隨後，弗雷格、羅素和懷德海等人建立了數理邏輯的兩個基礎演算，即命題演算和謂詞演算，在此基礎上，數理邏輯發展成為一門新興學科。
命題演算是在什麼的基礎上發展起來的？一、邏輯學的發源地有三個，即古代的中國、印度和希臘。 二、近代邏輯學的發展 1 ?17世紀，英國哲學家弗朗西斯。培根提出了科學歸納法，奠定了歸納邏輯的基礎。培根的主要著作是《新工具》，在書中他提出了“三表法”和“排除法”。 在培根以後，英國哲學家約翰。穆勒繼承並發展了培根的歸納邏輯，在他所著的《邏輯體系： 歸納和演繹》（中譯本為嚴復的《穆勒名學》）中，系統闡述了尋找因果聯絡的五種方法，即契合法、差異法、契合差異並用法、共變法和剩餘法，邏輯史上稱為“穆勒五法”。 1662年，《波爾。羅亞爾邏輯》一書的出版標誌著集演繹、歸納和一般方法為一體的傳統邏輯已基本定型。 2 ?18世紀到19世紀，德國古典哲學家康德、黑格爾也研究了邏輯問題。康德第一次使用了“形式邏輯”這個名稱，從此以後，“形式邏輯”得到了廣泛的採用。黑格爾在邏輯史上提出了第一個辯證邏輯的體系，雖然他的辯證邏輯體系是建立在唯心主義基礎上的，但是，其中卻包含著不少合理核心和深刻思想。 3 ?19世紀中葉以後，馬克思、恩格斯和列寧對邏輯學有許多精闢的論述，為豐富和發展普通邏輯作出了重要貢獻。 三、17世紀德國哲學家萊布尼茲因提出用數學方法處理演繹邏輯、把推理變成邏輯演算的思想而被公認為數理邏輯的奠基人。19世紀英國數學家布林建立了“邏輯代數”（即布林代數），把萊布尼茲的思想變為現實。隨後，弗雷格、羅素和懷德海等人建立了數理邏輯的兩個基礎演算，即命題演算和謂詞演算，在此基礎上，數理邏輯發展成為一門新興學科。