2,619
次編輯
「東大圖書《弗雷格》筆記」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 44： | 行 44： | ||
二元關係（可以視為二元謂詞，離散數學應該會提到），「|----R(x, y)」放在現在數學，可以表示為：「x R y」。 | 二元關係（可以視為二元謂詞，離散數學應該會提到），「|----R(x, y)」放在現在數學，可以表示為：「x R y」。 | ||
傳統邏輯「主詞+繫辭+謂詞」被打破，個體c和自變元一起引入邏輯。 | |||
邏輯以前用自然語言表達，和心理學和認識論綁在一起，影響發展。後來發展形式邏輯，邏輯快速發展 | |||
*數理邏輯 | |||
** 證明論 | |||
** 公理集合論 | |||
** 遞迴論 | |||
** 模型論 | |||
*哲學邏輯 | |||
**模態邏輯 | |||
**時態邏輯 | |||
**道義邏輯 | |||
**認知邏輯 | |||
**命令句邏輯 | |||
**問句邏輯 | |||
等等 | |||
因為使用形式語言和數學方法，所以促使邏輯從哲學獨立，現今邏輯學應用於哲學、工程學、語言學等等。 | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||
[[category:數學]] | [[category:數學]] | ||