※ 引述《alfadick (悟道修行者)》之銘言：
: 寒假想讀一些數理邏輯的書。已經搜刮到了。只是在開始閱讀之前...
: 想請問符號邏輯、一階邏輯、命題邏輯、符號邏輯、述詞邏輯、
: 謂詞邏輯、數理邏輯...
: 這些邏輯的分別在哪裡？我想至少要知道他們這些邏輯分別是指什麼，
: 再往下念會覺得比較踏實。
: 手邊沒有書好查，wiki越看越混亂@@。
: 希望板上朋友能解釋一下，感激不盡！
古典邏輯是用"階"來分的
零階就是所謂的語句邏輯 用的語言就是語句符號 P Q R
每個符號有真或假兩種值
一階以上要設一個model 可以談論裡面的東西(通常稱作x y z等等)
可以用的語言包括關係、函數、等號、量詞等等
所以基本語句型態會有 P(x) x=y 對於所有x存在y使得Q(x,y) 等等
一階和二階的分別是對語言的限制
一階邏輯裡量詞僅限於變數 (對於所有x 存在x)
二階邏輯裡量詞可用在關係 (對於所有P 存在P)
當然除了古典邏輯外 還有更多非古典邏輯 像模態邏輯 時間邏輯 構造性邏輯等等
這些就假設了更複雜的model了
(模態邏輯->假設有很多"可能世界"
時間邏輯->假設很多"時間點"
構造性邏輯->假設很多"information state" )
當然 一般來說要研究這些通常都在熟讀一階邏輯之後了
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 205.175.97.136
※ 編輯: recorriendo 來自: 205.175.97.136 (01/18 00:43)