国家社会科学基金(12CZX054)
- 作品数：3 被引量：2H指数：1
- 相关作者：马明辉更多>>
- 相关机构：西南大学更多>>
- 发文基金：国家社会科学基金更多>>
- 相关领域：哲学宗教更多>>
- 弱连通传递框架类的命题逻辑
- 2013年
- 在维瑟(Albert Visser)的基本命题逻辑(BPL)基础上增加公理(p→q)∨((p→q)→p)得到的逻辑LB相对于弱连通传递框架类是完全的。增加达米特(M.Dummett)公理(p→q)∨(q→p)得到的逻辑LD是不完全的。本文还证明LB具有有穷模型性质,但是不具有两常元性质和析取性质。
- 何文堃马明辉
- 关键词：逻辑性质
- 三值逻辑与意义理论被引量：2
- 2015年
- 乌卡谢维奇的三值逻辑反对古典逻辑的矛盾律和排中律,引起了一系列哲学问题。古典逻辑的基础是二值原则,即任何句子要么是真的要么是假的。乌卡谢维奇把第三值指派给不能确定真假的句子。如何理解第三值是三值逻辑的关键问题。从意义理论的角度看,既不真也不假的句子被赋予第三值是因为它们的真之条件未能得到理解而造成的。对于"明天将有海战"这样的时态句子,运用时态逻辑的语义学,第三值是可以消除的。
- 马明辉
- 关键词：古典逻辑三值逻辑时态逻辑形而上学
- 常逻辑公式与可定义性
- 2013年
- 常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。但反过来某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件,是该框架类对满射互模拟象、不相交并封闭,并且它的补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件,是它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。
- 马明辉
- 关键词：模态逻辑直觉主义逻辑
