關于傳統邏輯的公理

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

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

【傳統邏輯的公理】相關文章：

引進數理邏輯的知識要符合傳統邏輯的特點04-28

從命題邏輯看現代符號邏輯對傳統形式邏輯的改造和發展04-30

道義邏輯、行動邏輯和規范邏輯04-28

eO-代數簇公理04-26

公理自在人心_700字05-02

對傳統邏輯中幾個問題的探析04-27

從現代邏輯的語言層次觀看邏輯04-27

均衡度公理化定義的改進04-26

邏輯魔方04-28

邏輯的概念04-27