相關詞條
-
《邏輯語義學研究》
《邏輯語義學研究》的作者是朱水林，1998年8月於上海教育出版社，講解了邏輯語義學的基本理論和最新進展，論述了作為一階邏輯和高階邏輯的歸約的λ-演算與人...
簡介 語義學與邏輯語義學 邏輯語義學屬於語義學 邏輯語義 邏輯系統 -
邏輯語義學研究
邏輯語義學是採用現代邏輯方法，研究語言表達式及其意義之間關係的學科。目前發展迅猛。《邏輯語義學研究》共9章。論述了邏輯語義學的基本理論和最新進展，闡述了...
圖書信息 語義學與邏輯語義學 邏輯語義學屬於語義學 邏輯語義 邏輯系統 -
產品語義學
產品語義學（Product Semantics）則是研究產品語言（Product Language）的意義的學問。其理論架構始於1950年德國烏爾姆造型...
簡介 成因 套用 -
優選語義學
優選語義學指的是用於自動翻譯的一種語義學理論，英國人工智慧專家Y.A.威爾克斯於1974年提出。
基本含義 義素 義式 -
可能世界理論
可能世界語義學基本理論3.1 可能世界語義理論直觀思想3.2 可能世界...（包括境況語義學）和相關的命題態度語義學；考察了對可能世界的種種哲學理解...謂詞演算1.4 時態邏輯1.5 道義邏輯1.6 認知邏輯第二章 經典邏輯語義學...
內容簡介 圖書目錄 -
現代西方哲學
簡介關於現代西方哲學的命名，在翻譯上存在一個問題。在中文慣以1840—1919為“近代”，1919之後為現代，而在西方哲學沒有近...
簡介 時代背景 基本特徵 歷史演變 主要論題 -
塔爾斯基
。該文不僅開創了現代邏輯的語義學研究，奠定了他在邏輯學和語言學中的重要...型等式真理概念是語義學的最重要的概念之一，因為從某種意義上說，了解...所有這些部分定義的合取。2、語義封閉性粗略地講，語義學是研究語言...
簡介 1、T型等式 2、語義封閉性 3、真之定義 4、對語義學的貢獻 -
理論計算機科學
面的工作，提出幾種不同的語義理論，主要是操作語義學、指稱語義學或稱數學語義學、公理語義學和代數語義學，但仍沒有一種公認在軟體技術中夠用的形式語義學，因而需要提出一種更適於用到實際計算中的新的語義學。在程式正確性證明和...
學科的產生 學科內容 -
《邏輯哲學》
可能世界語義學作了簡要概述之後，先討論與模態邏輯有關的問題：模態語境中...
概述 作者簡介 內容歸納 經典邏輯理論 -
審美觀
直接的聯繫。觀照是以一種視覺直觀的方式，對於具有表象形式的客體進行意向性...注目於對象物；二是主體是以獨特的智慧、靈性進行直觀，沒有這個條件，也很難...]和直觀[本身]分開來了，而是兩者已經合一了；這同時即是整個意識完全為一個...
詞目解釋 審美觀照 參考文獻 提高方法
