形式邏輯

有狹義和廣義之分。狹義的形式邏輯,是指研究演繹推理及其規(guī)律的科學,包括對于詞項和命題形式的邏輯性質的研究。在西方國家中,這一研究開始于古希臘。亞里士多德建立了第一個演繹邏輯系統(tǒng),即三段論理論,從而被公認為形式邏 ......    （本文共 221 字 ）     [閱讀本文] >>