關(guān)于傳統(tǒng)邏輯的公理

傳統(tǒng)邏輯的公理不是傳統(tǒng)邏輯的三段論的公理，也不是同一律、矛盾律、排中律和充足理由律，還不是亞里士多德系統(tǒng)中第一格的兩個全稱式。傳統(tǒng)邏輯的公理應(yīng)具有自明性、不矛盾性和獨立性。“并非p”、“p并且q”、“p或者q”、“如果p則q”、“當且僅當p才q”這5個基本命題形式是作為經(jīng)典邏輯理論出發(fā)點的命題形式。它們之所以具有公理的性質(zhì)，是因為人們在長期的經(jīng)驗中沒有發(fā)現(xiàn)以它為前提衍生出假結(jié)論的事例。

作 者： 李小虎   作者單位： 山東師范大學學報，山東 濟南 250014  刊 名： 山東大學學報(哲學社會科學版)  PKU CSSCI 英文刊名： JOURNAL OF SHANDONG UNIVERSITY(PHILOSOPHY AND SOCIAL SCIENCES)  年，卷(期)： 2000 ""(4)  分類號： B81  關(guān)鍵詞： 傳統(tǒng)邏輯   公理   基本命題形式  

【傳統(tǒng)邏輯的公理】相關(guān)文章：

引進數(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