邏輯語言學

自然語言

前言

簡介

歷史

理論篇

知識表達

語法理論

語意理論

語用理論

方法篇

規則比對

機率統計

神經網路

應用篇

語料建構

全文檢索

自動分類

自動摘要

機器翻譯

問答系統

中文處理

程式篇

交談程式

英漢翻譯

維基語料

搜尋引擎

相關資源

語料辭典

程式工具

相關網站

相關文獻

網頁列表

統計資訊

最新修改

訊息

相關網站

參考文獻

最新修改

簡體版

English

Frege (佛列格)

  • a=a, a=b, 三角形三中線交點 a.b = b.c 但函義不同, — 符號 v.s. 函義 v.s 所指
  • Frege 原則:句子的整體意義是其部分意義的函數。
    • 晨星悖論:

哥白尼知道晨星是一顆行星
晨星和昏星是同一顆行星
哥白尼知道昏星是一顆行星 ???

這個悖論導致了後來的 “外延(extension)”, “內涵(intention)” 的區別。

Karnap (卡爾納普) – 外延(extension)與內涵(intension)方法

  • 外延(所指):
    • Example : s =柏拉圖 w =著作-『理想國』
    • Extensional meaning is defined in terms of what the expressions denote in the world
    • Example : DOG1 denote Im(DOG1) ( a set of dog object)
    • If two terms denote the same object, then they are semantically indistinguishable.
  • 內涵(屬性):
    • Example : H(x) = x 是人, B(x) = x 是二足動物, (λx B(x)) s =柏拉圖是二足動物

Facebook

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License