邏輯語法（logic grammar）是2011年公布的語言學名詞。
基本介紹
- 中文名：邏輯語法
- 外文名：logic grammar
- 所屬學科：語言學
- 公布時間：2011年
- 出處：語言學名詞
定義,出處,
定義
一種語言分析方法。用形式邏輯或數理邏輯方法描述語言的句子結構。
出處
《語言學名詞》第一版
邏輯語法
相關詞條
- 邏輯語法
邏輯語法（logic grammar）是2011年公布的語言學名詞。定義一種語言分析方法。用形式邏輯或數理邏輯方法描述語言的句子結構。1出處《語言學名詞》第一版...
- 邏輯語義學
隨著邏輯觀的進一步發展，對由自然語言所承栽的日常推理的刻畫成為邏輯研究的重心，這種趨勢使語義學研究由外延意義向內涵意義的過渡成為可能，卡爾納普的外延一內涵方法和蒙太古語法的建立是這種可能的現實實現。它的興起，由於推動了計算機...
- 邏輯語言和信息:邏輯語法研究
《邏輯語言和信息：邏輯語法研究》是2002年人民出版社出版的圖書，作者是鄒崇理。內容簡介 邏輯、語言和信息處理所形成的交叉領域就是自然語言邏輯或邏輯語法的研究對象。本書首先系統地介紹了幾種邏輯語法理論，它們是：廣義量詞理論、情境...
- 類型—邏輯語法研究
《類型—邏輯語法研究》是2007年中國人民大學出版社出版的圖書，作者是張秋成。內容簡介 類型-邏輯語法，以其表述的簡潔性、理論的邏輯化和辭彙化傾向以及更好地符合意義組合原則等鮮明特色，受到了形式語義學、語言學、語言哲學和自然語言...
- 邏輯語
邏輯語通過嚴格的語法避免出現後一種歧義。由於其文法可以使用電腦程式如YACC進行檢查，因此它的無歧義性就如電腦程式設計語言一樣有保證。對於前一種，則通過良好、無歧義的詞語定義來避免。對於語義層次，邏輯語允許在必要的時候以任意...
- 英語語法新邏輯
《英語語法新邏輯》是2021年化學工業出版社出版的圖書，作者是殷建斌。內容簡介 本書介紹了構成英語句子的基本元素，然後在此基礎上進一步介紹了這些基本元素在句子中的功能，從而引出英語句子的結構，幫助讀者快速把握英語造句的原理。作者...
- 新東方英語語法新思維——語法體系及底層邏輯全解密
《英語語法新思維——語法體系及底層邏輯全解密》是英語語法大師張滿勝老師的全新力作，深度剖析語法的內在邏輯，解密語法的底層原理，旨在幫助中國的英語學習者學會用母語人的思維學英語，建立自己的語法體系。本書分為“動詞短語篇”和“...
- 類型邏輯語法與現代漢語“是”和“的”
《類型邏輯語法與現代漢語“是”和“的”》是王欣撰寫的一篇論文。論文摘要 “是”和“的”的研究由來已久,文獻眾多,方法多樣,觀點不一。研究的熱點和爭論的焦點歸納起來有兩個:一是二者的詞性問題。“是”是動詞、副詞還是標記焦點的...
- 邏輯語義學研究
也就是說，這樣的系統的內定理刻畫了一定範圍內的思維規律（有效式），而且相對這樣的系統的語法後承刻畫了一定範圍內有效的推理模式。邏輯語義學也可以進一步分為兩類 直觀語義學和形式語義學。研究一定範圍內的所有直觀的邏輯解釋並形成...
- 邏輯、語言與意義(第2卷)
《邏輯、語言與意義（第2卷）》是2017年11月商務印書館出版的圖書，作者是[荷]L.T.F.哈姆特。內容簡介 《邏輯、語言與意義》是國內外第一部系統全面的邏輯和語言學跨學科的邏輯語法（也叫形式語義學或語言邏輯）教材。由荷蘭五位...
- 符號邏輯:語法、語義和證明
《符號邏輯：語法、語義和證明》是2016年科學出版社出版的圖書，作者是[美] 大衛·W.安格勒。編輯推薦 適讀人群 ：本書可供邏輯學、邏輯哲學、科學哲學、心靈哲學、認知（科學）哲學，以及相關專業的讀者閱讀 本書提供了令人信服的...
- 邏輯學語言
這種符號系統包括語音、語彙、語法等作為子系統，每一子系統又都包括許多不同特點的語言單位，單位和單位之間的關係錯綜複雜，但有規律可循。就每一個語言單位（例如，一個詞）而言，它的語音形式是依照語音系統的規則構成的，它的意義與...
- IF(EXCEL的邏輯函式)
EXCEL的邏輯函式，執行真假值判斷，根據邏輯計算的真假值，返回不同結果。可以使用函式 IF 對數值和公式進行條件檢測。語法 IF(logical_test,value_if_true,value_if_false)其中：Logical_test 表示計算結果為 TRUE 或 FALSE 的任意值或...
- 邏輯運算符
在形式邏輯中，邏輯運算符或邏輯聯結詞把語句連線成更複雜的複雜語句。例如，假設有兩個邏輯命題，分別是“正在下雨”和“我在屋裡”，我們可以將它們組成複雜命題“正在下雨，並且我在屋裡”或“沒有正在下雨”或“如果正在下雨，那么我...
- 邏輯語言和信息
《邏輯語言和信息》是2002年人民出版社出版的圖書，作者是鄒崇理。內容介紹 邏輯、語言和信息處理所形成的交叉領域就是自然語言邏輯或邏輯語法的研究對象。本書首先系統地介紹了幾種邏輯語法理論，它們是：廣義量詞理論、情境語義學、動態...
- 語言邏輯研究
2.2類型—邏輯語義學的核心內容 第三節類型—邏輯語法的形成 3.1蘭貝克句法演算和類型—邏輯語義學的結合 3.2配以λ—詞項的蘭貝克句法演算 3.3類型—邏輯語法的詞庫 3.4類型—邏輯語法對自然語言句法和語義的描寫 3.5自然演繹的...
- 命題邏輯
演算是用來證明有效的公式（就是說它的定理）和論證（argument）的邏輯系統。它是公理或公理模式的集合（它可以為空或是可數無限集合），和推導有效的推理的推理規則。形式文法（或語法）遞歸定義語言的表達式和合式公式（well-formed ...
- 外位語法
外位語法 外位語法（extraposition grammar）是2011年公布的語言學名詞。定義 在定子句語法的基礎上引入“間隔”等規則擴充而成的邏輯語法。出處 《語言學名詞》第一版。
- 自然語言邏輯研究
1.5從DRS到謂詞邏輯 第2節DRT的擴展及其述評 2.1DRT關於複合句的處理特色 2.2DRT關於複數名詞與代詞照應關係的刻畫 2.3DRT關於句子之間時間聯繫的描述 第四章類型-邏輯語法 第1節範疇語法發展簡述 第2節類型-邏輯語法 2.1簡單...
- 漢語照應省略的類型邏輯研究
《漢語照應省略的類型邏輯研究》由對外經濟貿易大學出版社出版。圖書目錄 第一章類型邏輯語法 第一節範疇思想概述 第二節類型邏輯語法 第三節範疇語法的歷時發展 一、範疇語法早期 二、句法邂逅語義 三、後繼發展 第四節範疇語法與類型...
- 關係語義
語義對於邏輯(就是推理系統)研究是有用的，條件是在語義蘊涵關係忠實的反映語法對應物 -- 推論關係 (可推導性)。所以知道哪個模態邏輯關於哪類 Kripke 框架是可靠的和完備的，並為它們確定這種類是關鍵性的。對於 Kripke 框架的任何類...
- 語序
德語和荷蘭語在主句只有一個動詞時其語序可視為SVO，但是在主句有兩個以上的動詞或者是從句時為SOV，關於這兩種語言的語法請參見動詞第二順位。使用SOV語序和使用SVO語序的語言占了全球所有語言比例的75%以上（根據日語版維基百科，使用...
- AND(運算符)
語法 And 運算符的語法有以下部分：說明 若且唯若兩個表達式均為 True，則 result 為 True。如果任一表達式為 False，則 result 為 False。下表說明如何確定 result：And 運算符還對兩個數值表達式中位置相同的位執行逐位比較，並...
- 非謂語動詞(在句子中不是謂語的動詞)
3、It+be+形容詞+of sb +to do。常用careless,,clever,good,foolish,honest,kind,lazy,nice,right,silly,stupid,wise,等表示讚揚或批評的形容詞，不定式前的sb.可作其邏輯主語。2．作表語：Her job is to clean the hall. 她的...
