马明辉
- 作品数：23 被引量：20H指数：3
- 供职机构：西南大学政治与公共管理学院逻辑与智能研究中心更多>>
- 发文基金：国家社会科学基金重庆市教育委员会人文社会科学研究项目重庆市文科重点研究基地项目更多>>
- 相关领域：哲学宗教文化科学自然科学总论理学更多>>
- 哥德尔的直觉主义逻辑思想
- 2015年
- 哥德尔（Kurt Godel）是现代逻辑史上的巨匠，他在逻辑史上有两大贡献：一是他证明了罗素和怀特海在《数学原理》中提出的一阶逻辑演算的完全性定理（1930），即任何有效的一阶公式都是可证的。二是他证明了著名的不完全性定理（1931），《数学原理》的系统和集合论的ZF公理系统不足以判定能在这些系统中形式化的所有数学问题，有一些句子及其否定在这些系统中是不可证的。
- 马明辉
- 关键词：哥德尔逻辑思想直觉主义《数学原理》公理系统
- 论逻辑系统的波斯特完全性
- 2012年
- 波斯特完全性是一种句法意义上的完全性概念,它区别于语义完全性。如果一个逻辑系统是一致的并且增加任何在该系统中不可证的公式就得到不一致逻辑系统,那么该逻辑系统是波斯特完全的,即波斯特完全的逻辑系统是没有一致真扩张的一致逻辑系统。古典命题逻辑是波斯特完全的,直觉主义逻辑不是波斯特完全的,但它只有古典命题逻辑作为唯一的波斯特完全的扩张。模态逻辑中波斯特完全性比较复杂,而且还有一种广义的波斯特完全性概念。其它逻辑系统的波斯特完全性有待进一步探索。
- 马明辉
- 关键词：直觉主义逻辑模态逻辑
- 正则模型类的时态可定义性
- 2017年
- 正则模型是非正规模态逻辑的模型,通过定义正则模型的不相交并、C2t-互模拟、生成子模型、C2t-超滤扩张等模型上的运算,可以证明一个正则模型类在时态语言中可定义当且仅当它在不相交并、满C2t-互模拟像、C2t-超滤扩张下封闭,并且它的补类在C2t-超滤扩张下封闭.该刻画定理说明了时态语言在正则模型类上的表达力.
- 王善侠马明辉陈武邓辉文
- 演绎、归纳与溯因--从信息哲学的观点看
- 推理实质上是认知信息的更新方式.从信息哲学的角度,可以为演绎、归纳与溯因等三种推理方式划定界限.除了可能世界语义学,使用邻域模型也可以为认知信息的更新构造模型.有两种更新方式:交集模型和子集模型.利用交集模型可以对演绎推...
- 马明辉何向东
- 关键词：信息哲学历史溯源
- 文献传递
- 塔尔斯基论逻辑后承概念被引量：4
- 2014年
- 塔尔斯基1936年以波兰文和德文发表的论文《论逻辑后承概念》,基于他努力开创的语义学,第一次精确地定义了"逻辑后承"这个现代逻辑的核心概念。这个定义建立在塔尔斯基提出的形式化语言中真之概念的定义基础之上。塔尔斯基的真之定义一般称为形式化语言的基本语义定义,它是形式化语言的最基本的语义概念。塔尔斯基还提出了逻辑符号和非逻辑符号的划分标准问题。
- 马明辉
- 关键词：形式化语言逻辑概念
- 逻辑和认识论——范本特姆教授访谈录被引量：1
- 2016年
- 范本特姆：朋友们大家好,非常高兴收到你们的来信!几年前我们大多都参加了刘奋荣和刘新文发起的四卷本《逻辑之门》的合作之旅,这一合作无论是在理解逻辑学领域的信息交流还是英语与汉语之间交流的微妙之处,都取得了丰硕的成果。随着你们的事业进步、我的人生发展,我们再次相聚在一起。我们年龄渐长,也希望我们睿智渐长,希望你们的事业都有新的进步。
- 约翰.范本特姆刘新文马明辉
- 关键词：模态逻辑认知逻辑逻辑学家逻辑规律哲学逻辑
- 弱连通传递框架类的命题逻辑
- 2013年
- 在维瑟(Albert Visser)的基本命题逻辑(BPL)基础上增加公理(p→q)∨((p→q)→p)得到的逻辑LB相对于弱连通传递框架类是完全的。增加达米特(M.Dummett)公理(p→q)∨(q→p)得到的逻辑LD是不完全的。本文还证明LB具有有穷模型性质,但是不具有两常元性质和析取性质。
- 何文堃马明辉
- 关键词：逻辑性质
- 极小非正规时序逻辑的矢列式演算系统被引量：2
- 2017年
- 本文对关系语义(或Kripke语义)下极小非正规模态逻辑C2进行时序化处理,得到极小非正规时序逻辑C2t,并建立了C2t的Hilbert式公理系统HC2t,证明了其可靠性和完全性,C2t比极小时序逻辑Kt更具有一般性.本文还从证明论的角度对C2t进行了研究,建立了C2t的一个加标矢列式演算系统GC2t,并且证明了GC2t的可靠性和完全性,同时还证明了GC2t的切割消除定理(cut elimination),然后得到C2t的可判定性.在GC2t中还可以进行证明搜索.
- 马明辉王善侠邓辉文
- 关键词：公理系统可判定性
- 演绎、归纳与溯因——从信息哲学的观点看被引量：2
- 2014年
- 推理实质上是认知信息的更新方式。从信息哲学的角度,可以为演绎、归纳与溯因等三种推理方式划定界限。除了可能世界语义学,使用邻域模型也可以为认知信息的更新构造模型。有两种更新方式:交集模型和子集模型。利用交集模型可以对演绎推理作出信息论的解释。归纳推理的结论是带强度的信念。子集模型可以对科学发现的过程作出解释,从而区分演绎、归纳和溯因。邻域语义学揭示的两种信息更新方式是不同的,这是信息更新的逻辑动态学方面的新发现。
- 马明辉何向东
- 关键词：邻域模型信息更新
- Lattice-graded Modal Logic
- Classical modal logic is logic of boolean algebras with operators(BAOs)([1] and [2]).It is well-known that the...
- 马明辉王善侠
