- 相關推薦
關于傳統(tǒng)邏輯的公理
傳統(tǒng)邏輯的公理不是傳統(tǒng)邏輯的三段論的公理,也不是同一律、矛盾律、排中律和充足理由律,還不是亞里士多德系統(tǒng)中第一格的兩個全稱式。傳統(tǒng)邏輯的公理應具有自明性、不矛盾性和獨立性!安⒎莗”、“p并且q”、“p或者q”、“如果p則q”、“當且僅當p才q”這5個基本命題形式是作為經(jīng)典邏輯理論出發(fā)點的命題形式。它們之所以具有公理的性質,是因為人們在長期的經(jīng)驗中沒有發(fā)現(xiàn)以它為前提衍生出假結論的事例。
作 者: 李小虎 作者單位: 山東師范大學學報,山東 濟南 250014 刊 名: 山東大學學報(哲學社會科學版) PKU CSSCI 英文刊名: JOURNAL OF SHANDONG UNIVERSITY(PHILOSOPHY AND SOCIAL SCIENCES) 年,卷(期): 2000 ""(4) 分類號: B81 關鍵詞: 傳統(tǒng)邏輯 公理 基本命題形式【傳統(tǒng)邏輯的公理】相關文章:
引進數(shù)理邏輯的知識要符合傳統(tǒng)邏輯的特點04-28
從命題邏輯看現(xiàn)代符號邏輯對傳統(tǒng)形式邏輯的改造和發(fā)展04-30
道義邏輯、行動邏輯和規(guī)范邏輯04-28
eO-代數(shù)簇公理04-26
公理自在人心_700字05-02
對傳統(tǒng)邏輯中幾個問題的探析04-27
從現(xiàn)代邏輯的語言層次觀看邏輯04-27
均衡度公理化定義的改進04-26
邏輯魔方04-28
邏輯的概念04-27