-
經典邏輯
鎖定
- 中文名
- 經典邏輯
- 創始人
- 亞里士多德
- 所屬範圍
- 邏輯學
- 英文名
- Classical Logic
- 所屬學科
- 哲學, 邏輯學
經典邏輯簡介
經典邏輯
[1-2]
標識已經被最深入的研究和最廣泛的使用的一類形式邏輯。它們被特徵化為一些性質;非經典邏輯缺乏一個或多個這種特性,它們是:
1:排中律;
2:無矛盾律;
3:藴涵的單調性和藴涵的冪等性;
4:合取的交換性;
De Morgan 對偶性: 所有邏輯算子都對偶於另一個。
經典邏輯邏輯例子
喬治·布爾的代數的重新邏輯形式化為布爾邏輯;
Gottlob Frege 的概念文字。
Clarence Irving Lewis 的真勢模態邏輯的系統 S1-S5。
經典邏輯非經典邏輯
直覺邏輯拒絕排中律和 De Morgan 律;
線性邏輯拒絕藴涵的冪等性;
可計算性邏輯是可計算性的語義構造的形式理論,相對於是真值的形式理論的經典邏輯;它整和並擴展了經典、線性和直覺邏輯;
模態邏輯向經典邏輯擴展了非真值泛函("模態")算子。
- 參考資料
-
- 1. Classical Logic (經典邏輯) .Stanford Encyclopedia of Philosophy 《斯坦福哲學百科全書》[引用日期2020-12-18]
- 2. Aristotle’s Logic (亞里士多德的邏輯) .Stanford Encyclopedia of Philosophy 《斯坦福哲學百科全書》[引用日期2020-12-18]