as title.
既然有一階邏輯,想必有二階三階乃至於 n 階邏輯 ?
請問什麼是一階邏輯? 謝謝....
--
※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw)
◆ From: 61.224.134.36
> -------------------------------------------------------------------------- <
作者: aletheia (HERESY) 看板: Logic
標題: Re: 何謂一階邏輯?
時間: Sun Aug 17 15:11:23 2003
※ 引述《cabe (小黑)》之銘言：
: as title.
: 既然有一階邏輯,想必有二階三階乃至於 n 階邏輯 ?
: 請問什麼是一階邏輯? 謝謝....
命題邏輯（或叫語句邏輯）、量詞邏輯與同一性。
這三者通常合稱為初階邏輯。
--
※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw)
◆ From: 210.85.6.233
> -------------------------------------------------------------------------- <
作者: catawu ( ggg) 看板: Logic
標題: Re: 何謂一階邏輯?
時間: Sun Aug 31 19:12:23 2003
※ 引述《cabe (小黑)》之銘言：
: as title.
: 既然有一階邏輯,想必有二階三階乃至於 n 階邏輯 ?
: 請問什麼是一階邏輯? 謝謝....
一階
嗯 好棒 居然有人問這個問題
當然有二階邏輯
再上去都跟二階邏輯差不多了
看你要叫多階也可以
我們都叫二階而已
所謂一階 指的是量號的使用對象
比如說:所有的人都會死掉
其中 (所有)是一個全稱量號
所有用在(人)這個(東西)上
東西算是一階的
比如說:亞歷山大擁有所有的領導者的美德
其中 (所有)是一個全稱量號
所有用在(領導者的美德)這個概念上
概念算二階的
所以就是二階邏輯
一階二階就是降分的
古典邏輯(包括命題邏輯跟數詞邏輯)都是一階邏輯
二階邏輯因為種種複雜原因難產
有近一布問題可在問
--
※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw)
◆ From: 140.112.143.101