【述詞邏輯】

豐碩

【述詞邏輯】

 

PredicateLogic

 

【辭書名稱】教育大辭書

 

述詞邏輯是邏輯學的一個基礎組成部分，旨在分析命題(Proposition)內部結構之各種基本形式。

 

在邏輯學中有所謂的命題邏輯(PropositionalLogic)及述詞邏輯。

 

命題邏輯以命題作為基本分析單位，以邏輯連詞來表達命題間彼此的關係，僅探討命題的真與假，而與其意義內容無涉。

 

述詞邏輯則在命題邏輯的基礎上，加上量化的因素，將簡單命題(simpleproposition)再分析為主詞(subject)、述詞(predicate)、量詞(quantity)、全稱(universal)及特稱(specularity)等，總結出他們的形式結構，然後研究這些形式結構的邏輯性質，以及形式結構間的邏輯關係，從而導出有關的邏輯形式和規律，就成了所謂的述詞邏輯。

 

而由於述詞邏輯中的形式及規律都與量詞特性有密切相關，因而另有量詞理論或量詞邏輯之稱。

 

述詞邏輯的研究可以遠溯至古希臘時期亞里斯多德(Aristotle,384~322B.C.)的三段論法，是一個初級的演繹系統；

 

建立現代述詞邏輯系統者為十九世紀德國邏輯學家弗列格(F.L.G.Frege,1848~1925)，是第一個將邏輯系統量化及形式化的代表人物；

 

其後懷德海(A.N.Whitehead,1861~1947)及羅素(B.Russell,1872~1970)在其所著〔數學原理〕(PrincipiaMathematica)一書中，嘗試由邏輯推衍所有數學中的基礎原理。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary