本文關(guān)鍵詞：有窮關(guān)系模型上的模態(tài)可定義

  更多相關(guān)文章： 關(guān)系模型 模態(tài)可定義 齊集

【摘要】：一階語言與模態(tài)語言從不同側(cè)面描述關(guān)系模型。Van Benthem刻畫定理從抽象的角度指出,在描述關(guān)系模型層面上模態(tài)語言表達(dá)力弱于一階語言。從可定義這一相對具體的角度表明,即使在討論有窮的關(guān)系模型時,模態(tài)語言也嚴(yán)格弱于一階語言。
【作者單位】： 中國人民大學(xué)哲學(xué)院;
【基金】：中國人民大學(xué)科學(xué)研究基金(中央高校基本科研業(yè)務(wù)費(fèi)專項(xiàng)資金資助)項(xiàng)目(12XNJ024)
【分類號】：B813
【正文快照】： 數(shù)學(xué)與邏輯學(xué)中討論問題的一個基本立足點(diǎn)是所謂的外延視角①。外延視角通過對所涉及概念的外延的討論來試圖解決所面對的問題。這種視角可能會有所遺漏,但是便于技術(shù)上的處理,特別是有助于解決科學(xué)與工程實(shí)踐中的問題。關(guān)系概念頗為常見,以外延角度則可視為所論對象的對組成

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 余達(dá)祥;胡竹菁;;基于非邏輯機(jī)制的條件推理模式:P—Q映射模型及其實(shí)證檢驗(yàn)[J];心理學(xué)探新;2009年04期

2 王輝;;全局性模態(tài)詞與基本模態(tài)語言的擴(kuò)充[J];遼寧工業(yè)大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年05期

3 劉葉濤;魏林;劉邦凡;;2010年全國應(yīng)用邏輯研討會綜述[J];哲學(xué)動態(tài);2011年03期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 羅翊重;;從《易經(jīng)》象數(shù)學(xué)看形式邏輯和辯證邏輯的互補(bǔ)性和完全性[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

，

本文編號：1291739