數理邏輯語義學（logical and mathematical semantics）是2011年全國科學技術名詞審定委員會公布的語言學名詞，出自《語言學名詞》第一版。
基本介紹
- 中文名：數理邏輯語義學
- 外文名：logical and mathematical semantics
- 所屬學科：語言學
- 公布時間：2011年
定義,出處,
定義
運用數理邏輯方法來描述和分析語義現象的理論。
出處
《語言學名詞》第一版
數理邏輯語義學
相關詞條
- 數理邏輯語義學
數理邏輯語義學（logical and mathematical semantics）是2011年全國科學技術名詞審定委員會公布的語言學名詞，出自《語言學名詞》第一版。定義運用數理邏輯方法來描述和分析語義現象的理論。1出...
- 歸納邏輯
卡爾納普利用數理邏輯和語義學的方法，構造了一個以研究確證度為對象的機率邏輯系統，並對他所提出的 5種歸納推理作了機率的處理。模態歸納邏輯 在機率邏輯發展之後，20世紀中葉以來，有的學者如美國的P.J.科恩用模態邏輯作為處理歸納推理的工具。科恩指出，卡爾納普的機率邏輯面臨不少困難，對歸納推理不宜作機率處理。
- 莫紹揆
本文受到了國際數理邏輯界的重視．在數理邏輯的語義學研究中，人們幾乎毫無例外地要么只研究永真性，要么只研究永假性．而在“永真假性的研究”一文中，莫提出了一種嶄新的研究方法，即同時研究永真性和永假性，並首次提出了特徵數的概念，這不僅簡化了傳統上使用的“永真性譜”，而且深刻地刻畫了一階邏輯公式的永真...
