冯棉
- 作品数：18 被引量：72H指数：4
- 供职机构：华东师范大学人文社会科学学院哲学系更多>>
- 发文基金：国家社会科学基金教育部规划基金项目教育部人文社会科学重点研究基地度重大研究项目更多>>
- 相关领域：哲学宗教理学语言文字更多>>
- 模态逻辑研究中的若干问题
- 在为数众多的非经典逻辑中,模态逻辑占有显要地位。其重要性集中表现在以下两个方面: 第一,它是研究其他非经典逻辑的基础。就如同研究非经典逻辑必须先熟悉经典逻辑一样。第二,模态逻辑涉及“必然性”、“可能性”等重要的哲学范畴,...
- 冯棉
- 文献传递
- 子结构逻辑的研究方法与应用前景被引量：2
- 2007年
- 冯棉
- 关键词：现代逻辑发展动因逻辑研究风景线
- 含有预设的推理与推理的有效性被引量：8
- 2003年
- 推理的全部前提可以看作这一推理的预设。日常的具体推理往往是省略的推理,有些前提并未明确给出,在这种情况下,对预设作全面的分析就尤为重要。与此相关,考察经典逻辑和模态逻辑中的某些推理规则,讨论这些推理规则在日常推理中的有效性问题,是十分必要的。
- 冯棉
- 关键词：预设有效性
- 悖论被引量：1
- 2004年
- '悖论'(paradox)一词常见诸报端,其字面意思为'荒谬的理论或自相矛盾的话'。从逻辑上看,悖论性的语句具有这样的特征:如果假定这个语句为真,那么会推出这个语句为假;反之,如果假定这个语句为假,又会推出这个语句为真。说它对也不是,不对也不是,真是左右为难。
- 冯棉
- 关键词：公理化
- 逻辑学的历史与现状——兼纪念哥德尔诞辰100周年被引量：2
- 2006年
- 在现代汉语中，“逻辑”是一个外来词，由英语“logic”音译而得。这一译名来自于严复。从词源上说，logic来源于古希腊的“逻各斯”（希腊文λσγοζ，英文logos）。“逻各斯”是一个多义词，意为“理性、理念、规律、秩序、言词、谈话”等等。作为一门科学的逻辑学创建于2000多年前的古希腊，它是研究有效推理和论证的学科。
- 冯棉
- 关键词：逻辑哲学语言学计算机科学
- 正结合演算被引量：1
- 2012年
- 从结构推理的观点来看,结合演算是一种很弱的逻辑,因为它仅容纳一种结构规则,即"结合规则"。正结合演算作为一种"正命题逻辑",是结合演算的基础。本文构建了正结合演算结构推理系统BL和对应的公理系统B,阐述了结合演算拒斥"交换规则"、"收缩规则"和"弱化规则"的理论意义和应用价值,证明了系统BL和系统B的等价性。
- 冯棉
- 一类命题逻辑的一般弱框架择类语义
- 2011年
- 命题逻辑的一般弱框架择类语义是相干邻域语义的变形,其特点是:采用择类运算来刻画逻辑常项;语义运算与逻辑联结词之间有清晰的对应关系,可以从整体上处理一类逻辑,具有普适性。本文将这种语义用于一类B、C、K、W命题逻辑,包括相干逻辑R及其线性片段、直觉主义逻辑及其BCK片段等,并借助典范框架和典范赋值,证明了这些逻辑系统的可靠性和完全性。
- 冯棉
- 关键词：相干逻辑直觉主义逻辑
- 逻辑推理中的相干性
- 一、相干性日常的具体推理与自然语言中的条件句密切相关,推理的一般形式可以转换为条件句。对体现推理的条件句“如果A,那么B”中的联结词“如果…,那么…”再作逻辑的抽象,就产生了“蕴涵”的概念。
- 冯棉
- 文献传递
- 相干逻辑与蕴涵怪论
- “蕴涵怪论”产生于命题逻辑而非谓词逻辑的层面上,相干性的缺失导致某些“蕴涵怪论”的产生, 却不是另一些“蕴涵怪论”生成的原因。通过对“蕴涵怪论”的分类处理,并结合现有相干逻辑系统的恰当性分析,有助于探索相干逻辑研究的新思...
- 冯棉
- 关键词：相干逻辑蕴涵怪论衍推恰当性
- 文献传递
- “可能世界”概念的基本涵义被引量：26
- 1995年
- 在现代逻辑的研究中,克里普克(S.A.Kripke)等人所建立的“可能世界语义学”堪称一座丰碑。它不仅严密而清晰地揭示了多种模态公理系统的直观背景,使模态逻辑的研究进入了一个崭新的阶段,而且为其它的非经典逻辑、自然语言逻辑、逻辑哲学和语言哲学的深入研究开辟了道路。如今,“可能世界”这一术语在逻辑学。
- 冯棉
- 关键词：克里普克基本涵义可能世界语义学莱布尼兹模态逻辑
