相關詞條
-
形式語義學
形式語義學(formal semantics),是程式設計理論的組成部分,以數學為工具,利用符號和公式,精確地定義和解釋電腦程式設計語言的語義,使語義...
簡介 發展歷程 分類 發展形式語義學的迫切性 -
產品語義學
產品語義學(Product Semantics)則是研究產品語言(Product Language)的意義的學問。其理論架構始於1950年德國烏爾姆造型...
簡介 成因 套用 -
優選語義學
優選語義學指的是用於自動翻譯的一種語義學理論,英國人工智慧專家Y.A.威爾克斯於1974年提出。
基本含義 義素 義式 -
《科學究竟是什麼》
主義3.實在論和真理的符合理論(1)語義學問題4.實在論和真理的符合理論...
目 錄 序 導 言 第二章、歸納問題 第三章、觀察依賴於理論 -
現代西方哲學
簡介關於現代西方哲學的命名,在翻譯上存在一個問題。在中文慣以1840—1919為“近代”,1919之後為現代,而在西方哲學沒有近...
簡介 時代背景 基本特徵 歷史演變 主要論題 -
柯塔賓斯基,T.
以語義學為基礎的本體論學說。在其語義學中,真名與偽名之間的區別是最根本...的論題便成為:“只有物體存在”或“凡存在者都是物體”。這裡,“物體”僅指占時空位置的物理對象,因而他所主張的實際上是物體的實物主義。柯塔賓斯基...
柯塔賓斯基,T. 正文 配圖 相關連線 -
缸中之腦
色彩的問題反駁中文指代我們使用的語義學。中文指代在缸中之腦的世界中,那個悲慘的傢伙使用的語義學。在中文語義學下,缸中之腦就是現實的缸,現實的腦和現實的聯繫。在中*文語義學下,缸*中之腦則是計算機給那個可憐人提供的無法...
淵源 理論基礎 啟示 反駁 -
信息哲學
引言哲學中關於計算機的與信息的理論研究已經結出累累碩果,影響也日益廣泛。它一方面使傳統的哲學問題獲得新生,另一方面又提出許多新...
引言 人工智慧哲學是信息哲學不成熟的範式 信息哲學湧現的歷史背景 -
全能悖論
簡介 全能悖論 全能悖論是一組關於神或者其他超自然事物是否能夠真正“全能”的悖論。該悖論的內容是:如果一個神能夠真正“全能”,那...
簡介 全能一詞的含義 推論方式 不為悖論的依據的問題 對悖論的回應 -
公式[數學術語與其它意義的辭彙]
真的,那么,f是語義一致的。在命題邏輯語義學內,一個賦值不能同時把真和假給予某個命題原子式。在命題邏輯語義學中,在同一解釋下,一個集合不能既屬於...
基本要求 相關公式 相關概念 代數公式 三角函式公式