【數理邏輯四】謂詞邏輯及形式系統 【中】

謂詞邏輯及形式系統 （語義）【中】   一、概述 一、什麼是語義 簡單地說，所謂語義，不管是自然語言的語義還是形式語言的語義，基本上就是兩個系統之間的映射關係。自然語言的語義，是語言符號和我們大腦中概念之間對應；而形式語言的語義，則是符號系統和某個學科的知識體系之間建立的對應關係，現在研究最多的是符號系統與數學結構之間的映射關係，以及符號系統與哲學體系之間的對應關係。如果要用一個統一的概念表達符號

>>阅读原文<<