跳到主要內容
:::

教育百科logo

::: 述詞邏輯 - 教育百科
國家教育研究院辭書
基本資料
英文: 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版授權條款」釋出
貓頭鷹博士
你喜歡貓頭鷹博士嗎

針對貓頭鷹博士的服務你會給幾顆星呢

回到頁面頂端圖示