【述詞邏輯】
<P align=center><STRONG><FONT size=5>【<FONT color=red>述詞邏輯</FONT>】</FONT></STRONG></P> <P><STRONG>PredicateLogic</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】教育大辭書</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>述詞邏輯是邏輯學的一個基礎組成部分，旨在分析命題(Proposition)內部結構之各種基本形式。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>在邏輯學中有所謂的命題邏輯(PropositionalLogic)及述詞邏輯。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>命題邏輯以命題作為基本分析單位，以邏輯連詞來表達命題間彼此的關係，僅探討命題的真與假，而與其意義內容無涉。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>述詞邏輯則在命題邏輯的基礎上，加上量化的因素，將簡單命題(simpleproposition)再分析為主詞(subject)、述詞(predicate)、量詞(quantity)、全稱(universal)及特稱(specularity)等，總結出他們的形式結構，然後研究這些形式結構的邏輯性質，以及形式結構間的邏輯關係，從而導出有關的邏輯形式和規律，就成了所謂的述詞邏輯。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>而由於述詞邏輯中的形式及規律都與量詞特性有密切相關，因而另有量詞理論或量詞邏輯之稱。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>述詞邏輯的研究可以遠溯至古希臘時期亞里斯多德(Aristotle,384~322B.C.)的三段論法，是一個初級的演繹系統；</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>建立現代述詞邏輯系統者為十九世紀德國邏輯學家弗列格(F.L.G.Frege,1848~1925)，是第一個將邏輯系統量化及形式化的代表人物；</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>其後懷德海(A.N.Whitehead,1861~1947)及羅素(B.Russell,1872~1970)在其所著〔數學原理〕(PrincipiaMathematica)一書中，嘗試由邏輯推衍所有數學中的基礎原理。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]