邏輯和語言的研究分為句法、語義和語用幾個領域。傳統邏輯和現代邏輯雖然有形式方面的區別,但最主要的區別還是句法和語義的:前者是主謂結構,後者是謂詞結構。由此...
人類所使用的語言,可以分為三類:自然語言(如:英語和漢語)、半形式化語言(如:數學的語言。即:自然語言加特定的符號)和形式化語言(如:邏輯的語言)。...
《語言與邏輯》是2013年出版的圖書,作者是王克喜。...... 《語言與邏輯》以漢語為研究對象,探討作為過程語言的漢語如何影響被稱作關聯性思維的漢民族思維的樣式,進而...
&來源於拉丁語et (意為and)的連寫,是一個邏輯語言,是指邏輯上表示兩者屬於缺一不可的關係,還表示意思是一個人和另外一個人之意,與and同義。如A&B,表示A與...
Prolog(Programming in logic)是一種面向演繹推理的邏輯型程式設計語言,最早於1972年由柯爾麥倫納(Colmeraner)及其研究小組在法國馬賽大學提出。高濟,何欽銘著,人工...
本書分上、下兩編,上編對各種語言形式語詞、句子、篇章與各種思維形式概念、判斷、推理、論證作系統地對比研究;...
《語言邏輯研究》內容簡介:語言邏輯是現代語言學和現代邏輯學交叉發展起來的新興學科。語言邏輯研究語言和語言學中的邏輯學問題,同時也研究邏輯學的語言基礎問題。語言...
《語言、真理和邏輯》又翻譯為《語言、真理與邏輯》。於1936年英國出版,為艾耶爾的成名作,也是代表作之一。對於邏輯實證主義的主要觀點作了系統的論述,也是研究這...
邏輯語(lojban,又譯作理語),原名Loglan,是人工語言的一種。所有字均以鍵盤上可打出的26字組成:' , . a b c d e f g i j k l m n o p r s ...
邏輯型語言((logic language)支持用邏輯型程式設計(參見“邏輯型程式設計”)方法求解問題的語言工具.典型的邏輯型語言是PROLOG.它以一階謂詞邏輯的horn子句為語法,...
邏輯與語言編輯 鎖定 本書按照大致的年代進行,選擇篇目所秉承的原則是:一是在分析哲學發展過程中造成某種重要的影響;二是其思想具有某種原創性。但實際編選過程中...
語言思維是人的語言表達能力與綜合思維的關係,是通過形象,而切聯想的模式,並拌有語感的形式,是用語言承載和表現思維的過程。...
《語言、真理和邏輯》,英國艾耶爾著,,1936年初版,1916年出版。該書被認為是邏輯經驗主義的教科書。全書共分8章,探討下述三方面內容:(1)—切知識命題不是先天...
邏輯運算符包含邏輯與、或、異或、非等邏輯運算符。如果一個運算元或多個運算元為 true,則邏輯或運算符返回布爾值 true;只有全部運算元為false,結果才是 false。...
《邏輯、語言和認知》是2009年10月科學出版社出版的圖書,作者是(荷蘭)約翰·範本特姆。...
《中國語言與中國邏輯》是2006年由中國戲劇出版社出版,作者是王克喜...... 中國語言與中國邏輯內容介紹 編輯 相同ISBN的還有《電視唐詩三百首:大型中國文化藝術系列片...
《邏輯語言和信息》是2002年人民出版社出版的圖書,作者是鄒崇理。...... 邏輯、語言和信息處理所形成的交叉領域就是自然語言邏輯或邏輯語法的研究對象。本書首先系統...
《語言的邏輯分析:語言學家關注的邏輯問題》是2011年10月1日浙江大學出版社出版的圖書,作者是J.D.麥考萊。本書包括了條件句的邏輯的語料、類型理論的語言學運用...
邏輯、語言和信息處理所形成的交叉領域就是自然語言邏輯或邏輯語法的研究對象。本書首先系統地介紹了幾種邏輯語法理論,它們是:廣義量詞理論、情境語義學、動態語義學...
中國邏輯與語言函授大學(以下簡稱“中國邏大”)創建於1982年4月,是中國實行改革開放以後創辦最早的實施教學非學歷教育的民辦高等教育機構之一。...
語言(英文名:Language)是人類最重要的交際工具,是人們進行溝通的主要表達方式。人們藉助語言保存和傳遞人類文明的成果。語言是民族的重要特徵之一。一般來說,各個...
狹義上邏輯既指思維的規律,也指研究思維規律的學科即邏輯學。廣義上邏輯泛指規律,包括思維規律和客觀規律。邏輯包括形式邏輯與辯證邏輯,形式邏輯包括歸納邏輯與演繹...
控制邏輯(Logical Control)的基本形式產生於對控制器運行機理的分析 ,獲得的控制規則可用泛布爾代數邏輯地描述。邏輯控制是按照泛布爾代數所服從的規律進行的。例如...
《邏輯、語言和認知-卷Ⅱ》是2009年科學出版社出版的圖書,作者是(荷)範本特姆。...... 《邏輯、語言和認知-卷Ⅱ》是2009年科學出版社出版的圖書,作者是(荷)范...
邏輯運算又稱布爾運算。布爾用數學方法研究邏輯問題,成功地建立了邏輯演算。他用等式表示判斷,把推理看作等式的變換。這種變換的有效性不依賴人們對符號的解釋,只...