邏輯句法是一種關於語言形式的理論。由邏輯實證主義主要代表卡爾納普提出。理論出發點是區分語言構架的“內部問題”和“外部問題”。“內部問題”即可用邏輯或經驗方法解決的對象在語言構架內部的存在問題;“外部問題”則是關於對象整體的存在問題。它無法用邏輯或經驗方法加以解決,是應予拋棄的形上學問題。
基本介紹
- 中文名:邏輯句法
- 出處:邏輯學大辭典
邏輯句法是一種關於語言形式的理論。由邏輯實證主義主要代表卡爾納普提出。理論出發點是區分語言構架的“內部問題”和“外部問題”。“內部問題”即可用邏輯或經驗方法解決的對象在語言構架內部的存在問題;“外部問題”則是關於對象整體的存在問題。它無法用邏輯或經驗方法加以解決,是應予拋棄的形上學問題。
邏輯句法是一種關於語言形式的理論。由邏輯實證主義主要代表卡爾納普提出。理論出發點是區分語言構架的“內部問題”和“外部問題”。“內部問題”即可用邏輯或經驗方法解決的對象在語言構架內部的存在問題;“外部問題”則是關於對象整體...
語言的邏輯句法(德logische Syntax der Sprache)指的是卡爾納普關於語言形式的理論。它研究語言中的規則、定義等,不涉及詞或語句的意義。而僅僅研究語言由以組成的那些符號的種類和順序。它是關於某種語言的語言形式的形式理論,即對這種...
《語言的邏輯句法》是2012年上海外語教育出版社出版的圖書,作者是Rudolf Carnap。內容簡介 《語言的邏輯句法》,本書作者卡爾納普哲學思想的發展,一般說來,有語義、句法、語用三個階段。在句法這個階段,他強調把哲學變成科學語言的元...
《語言的邏輯句法》是一本2022年商務印書館出版的圖書,作者是[德]卡爾納普。內容簡介 《語言的邏輯句法》是卡爾納普最重要的哲學著作,它系統闡述了卡爾納普成熟期的基本哲學思想。所謂語言的邏輯句法指的是對一種語言的語言形式的形式化...
《哲學和邏輯句法》是德國哲學家魯道夫·卡爾納普編著的哲學著作,首次出版於1935年。《哲學和邏輯句法》是作者在大學作短期講學的講稿,通俗地解釋了邏輯句法的性質及其對哲學的意義。該書既體現了維也納學派的邏輯實證主義觀點的共性,也...
邏輯和語言的研究分為句法、語義和語用幾個領域。一種觀點認為,傳統邏輯是用自然語言表述的,現代邏輯是用形式語言表述的。這種觀點暗示著現代邏輯不能解決自然語言中的問題,而傳統邏輯能夠解決。這種觀點是有問題的。傳統邏輯和現代邏輯...
邏輯句法分析系統 邏輯句法分析系統(logic parsing system)是2008年發布的信息科學技術名詞。公布時間 2008年經全國科學技術名詞審定委員會審定發布。出處 《海峽兩岸信息科學技術名詞》。
句法是研究句子的各個組成部分和它們的排列順序。 句法研究的對象是句子。詞語釋義 語法的一部分,它根據被研究語言的固定用法論述表語、修飾語和其他詞的關係。句子的結構方式;表示其在句子中相互關係的詞形式的排列。宋 蘇軾 《次韻范...
(5)句法的語義模式:生成語法發展中變化的語義模式、詞庫、邏輯式、句法語義模式的其他主要理論、句法—語義界面研究等;(6)普遍語法與語言習得:普遍語法與語言的經驗基礎、邏輯問題、原則與參數、標記性、子集原則、研究方法等。參考...
第三章 主謂謂語句的邏輯分析 第一節 主謂謂語句概述 第二節 主要類型的邏輯分析 第三節 關於本章的一些想法 第四章 漢語句子的自動分析法 第一節 上下文無關文法 第二節 自頂向下句法分析法(Top-down Parsing)第三節 自底向上...
語言學研究中對(形式)句法、(形式)語義和(形式)語用的劃分可以看作:[句法學] 構造形式模型模擬U的語言能力[1][語義學] 構造形式模型模擬U的語言能力[2][語用學] 構造形式模型模擬U的語言能力[3]
問題的核心在於“是”和“的”是否有句法、語義或語用上的同一性,音繫上的同一使這個問題始終處於研究者注意力的中心。二是“是”和“的”的句法生成和語義解釋問題,轉換語法學家更關心前者,邏輯語義學家更關心後者,然而句法分析和...
艾耶爾曾經批評過石里克的證實原則的狹隘性,批評過卡爾納普邏輯句法的哲學意義,以及用“科學邏輯”、“物理主義”代替哲學的種種建議。因此,《語言、真理和邏輯》雖然是介紹邏輯實證論哲學的一本較好的入門書,但是我們從中所領會的僅僅是...
先驗和歸納、闡析、描述、蘊涵、一致(哲學)、推斷、邏輯形式、邏輯含義、邏輯公理、邏輯推理、名稱、必然、材料條件、語言學的意義、非語言學的意義、悖論、可能範圍、預先假定、機率、定量、理性、推論、參照、語義學、限制條件、句法、...
1.5作為意義指稱理論的邏輯語義學 1.6意義指稱理論存在的問題 1.7弗雷格的意義理論 1.8語境依賴 第2章內涵命題邏輯 2.1引言 2.2可能世界語義學 2.3模態命題邏輯 2.3.1歷史背景 2.3.2句法與語義 2.3.3有效性概念的句法方法...
四 邏輯學與真 第五章 弗雷格的形式系統 一 初始符號 二 初始公理 三 傳統邏輯和現代邏輯 四 邏輯研究與邏輯教學 第六章 現代模態邏輯的發展 一 模態邏輯的核心概念 二 現代模態邏輯的句法系統 三 可能世界語義學解釋及其困境 四 ...
1.1 邏輯簡史 1.2 邏輯的性質 1.3 形式邏輯 1.4 邏輯、語言與思維 思考題 第二章 命題邏輯 2.1 命題聯結詞的句法 2.2 命題聯結詞的語義 2.3 括弧與主聯結詞 2.4 重言式與有效性 2.5 真值表法 2.6 簡化真...
《句法結構》是美國語言學家喬姆斯基創作的語言學著作,首次出版於1957年。《句法結構》提出三種句法模型:(1)有限狀態模型,構想一個機器具有有限數量的語詞結合狀態,其困難在於語言太複雜。這種構成句子不能達到簡化的目的。(2)短語...
所謂語言的邏輯句法,就是關於一種語言的語言形式的形式理論,也就是對這種語言中起支配作用的形式規則所作的系統陳述,以及對從這些規則中引出的各種結論的闡釋。這一研究既不涉及符號的意義,也不涉及表達式的意義,僅涉及表達式由以組成...
按主語、謂語和賓語的排列順序可分為SOV、SVO、VSO、VOS、OSV和OVS共六種類型。語序是漢語句法結構中的一個主要的表達手段,同樣的詞排列順序不同,句法結構關係也不同,所表達的意義也有所不同。語序構成 主詞、受詞、動詞的排列方法...
但也應該看到,羅素認為邏輯句法可以消除哲學問題則是錯誤的,僅僅憑藉邏輯技巧並不能解決哲學問題。動機 摹狀詞理論提出的動機羅素提出摹狀詞理論主要有兩方面的動機。邏輯方面的動機,是想用摹狀詞理論來消除某些含有摹狀詞的語句所可能導致的...
在邏輯學上,類比推理是根據兩個或兩類對象在某些屬性上相同,推斷出它們在另外的屬性上(這一屬性已為類比的一個對象所具有,另一個類比的對象那裡尚未發現)也相同的一種推理。而公務員考試中的類比推理是要求運用邏輯學中的這種方法...
和許多計算機為主的語言一樣,KIF可比描述為三層結構。第一:基本的語言符號;其次,這些符號可以組成詞語;最後,詞語可以組成合法的表述。雖然KIF不要求必須以這種方式定義,這種方式卻簡化了句法描述並在詞語的層次上完成了對空格的處理。
(Thomason, p.222)基於這樣的考慮,蒙太格嘗試用現代邏輯的形式化方法對英語進行處理:先在範疇語法的基礎上構造一個英語部分語句系統的句法部分,進而用包含英語範疇毗連運算的句法規則來形成英語句子,然後再給出一個嚴格意義的翻譯函式...