有穷关系模型上的模态可定义

发布时间：2017-12-15 11:12

  本文关键词：有穷关系模型上的模态可定义

  更多相关文章： 关系模型 模态可定义 齐集

【摘要】：一阶语言与模态语言从不同侧面描述关系模型。Van Benthem刻画定理从抽象的角度指出,在描述关系模型层面上模态语言表达力弱于一阶语言。从可定义这一相对具体的角度表明,即使在讨论有穷的关系模型时,模态语言也严格弱于一阶语言。
【作者单位】： 中国人民大学哲学院;
【基金】：中国人民大学科学研究基金(中央高校基本科研业务费专项资金资助)项目(12XNJ024)
【分类号】：B813
【正文快照】： 数学与逻辑学中讨论问题的一个基本立足点是所谓的外延视角①。外延视角通过对所涉及概念的外延的讨论来试图解决所面对的问题。这种视角可能会有所遗漏,但是便于技术上的处理,特别是有助于解决科学与工程实践中的问题。关系概念颇为常见,以外延角度则可视为所论对象的对组成

【相似文献】

中国期刊全文数据库 前10条

1 余达祥;胡竹菁;;基于非逻辑机制的条件推理模式:P—Q映射模型及其实证检验[J];心理学探新;2009年04期

2 王辉;;全局性模态词与基本模态语言的扩充[J];辽宁工业大学学报(自然科学版);2009年05期

3 刘叶涛;魏林;刘邦凡;;2010年全国应用逻辑研讨会综述[J];哲学动态;2011年03期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国重要会议论文全文数据库 前1条

1 罗翊重;;从《易经》象数学看形式逻辑和辩证逻辑的互补性和完全性[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

，

本文编号：1291739