相關詞條
-
《語言、真理和邏輯》
《語言、真理和邏輯》又翻譯為《語言、真理與邏輯》。於1936年英國出版,為艾耶爾的成名作,也是代表作之一。對於邏輯實證主義的主要觀點作了系統的論述,也是...
內容簡介 邏輯實證主義 主要論點 背景資料 -
《語言與現代邏輯》
《語言與現代邏輯》書中周斌武以通俗易懂的方式講述了現代邏輯包括命題演算、謂詞演算、模態邏輯、時態邏輯、問句邏輯、模糊邏輯、內涵邏輯等分支的實用常識,並運...
內容提要 精彩頁 背景資料 語言與思維和邏輯 語言邏輯項目研究和成果 -
語言邏輯
邏輯和語言的研究分為句法、語義和語用幾個領域。傳統邏輯和現代邏輯雖然有形式方面的區別,但最主要的區別還是句法和語義的:前者是主謂結構,後者是謂詞結構。由...
簡介 語言缺陷 -
語言與現代邏輯
語言與現代邏輯是一本復旦大學出版社出版的圖書。作者是周斌武,張國梁。
內容提要 精彩頁 背景資料 語言與思維和邏輯 語言邏輯項目研究和成果 -
邏輯編程語言
Prolog(Programming in logic)是一種面向演繹推理的邏輯型程式設計語言,最早於1972年由柯爾麥倫納(Colmeraner)及其...
關於邏輯程式語言 Prolog語言的基本概念 特點 -
語言,真理和邏輯
《語言、真理和邏輯》又翻譯為《語言、真理與邏輯》。於1936年英國出版,為艾耶爾的成名作,也是代表作之一。對於邏輯實證主義的主要觀點作了系統的論述,也是...
內容簡介 實證主義 主要論點 背景資料 -
邏輯型語言
邏輯型語言((logic language)支持用邏輯型程式設計(參見“邏輯型程式設計”)方法求解問題的語言工具.典型的邏輯型語言...看成是純粹的邏輯型語言.邏輯型語言的一個發展方向是並行的邏輯型語言,如英國...
-
語言邏輯基礎
本書分上、下兩編,上編對各種語言形式語詞、句子、篇章與各種思維形式概念、判斷、推理、論證作系統地對比研究;