:::
述詞邏輯 - 教育百科
回到頁面頂端圖示
| 述 | |
| 詞 | |
| 邏 | |
| 輯 |
國家教育研究院辭書
基本資料
| 英文： | predicate logic |
| 日期： | 2003年6月 |
| 出處： | 資訊與通信術語辭典 |
辭書內容
|
名詞解釋： 為數理邏輯的基本形式，它允許使用變數與變數的函數，為一種命題邏輯的推廣。 |
|
| 資料來源： | 國家教育研究院_述詞邏輯 |
| 授權資訊： | 資料採「 創用CC-姓名標示- 禁止改作 臺灣3.0版授權條款」釋出 |
基本資料
| 英文： | Predicate Logic |
| 作者： | 楊洲松 |
| 日期： | 2000年12月 |
| 出處： | 教育大辭書 |
辭書內容
|
名詞解釋： 述詞邏輯是邏輯學的一個基礎組成部分，旨在分析命題(Proposition)內部結構之各種基本形式。 在邏輯學中有所謂的命題邏輯(Propositional Logic)及述詞邏輯。命題邏輯以命題作為基本分析單位，以邏輯連詞來表達命題間彼此的關係，僅探討命題的真與假，而與其意義內容無涉。 述詞邏輯則在命題邏輯的基礎上，加上量化的因素，將簡單命題(simple proposition)再分析為主詞(subject)、述詞(predicate)、量詞(quantity)、全稱(universal)及特稱(specularity)等，總結出他們的形式結構，然後研究這些形式結構的邏輯性質，以及形式結構間的邏輯關係，從而導出有關的邏輯形式和規律，就成了所謂的述詞邏輯。而由於述詞邏輯中的形式及規律都與量詞特性有密切相關，因而另有量詞理論或量詞邏輯之稱。 述詞邏輯的研究可以遠溯至古希臘時期亞里斯多德(Aristotle, 384~322 B.C.)的三段論法，是一個初級的演繹系統；建立現代述詞邏輯系統者為十九世紀德國邏輯學家弗列格(F.L.G. Frege, 1848~1925)，是第一個將邏輯系統量化及形式化的代表人物；其後懷德海(A.N. Whitehead, 1861~1947)及羅素(B. Russell, 1872~1970)在其所著〔數學原理〕(Principia Mathematica)一書中，嘗試由邏輯推衍所有數學中的基礎原理。 |
|
| 資料來源： | 國家教育研究院_述詞邏輯 |
| 授權資訊： | 資料採「 創用CC-姓名標示- 禁止改作 臺灣3.0版授權條款」釋出 |