排序方式： 共有12条查询结果，搜索用时 140 毫秒
1.
广义模态逻辑研究中的若干问题 总被引：1，自引：0，他引：1
冯棉 《华东师范大学学报(哲学社会科学版)》2001,33(5):141-146
模态理论不仅涉及逻辑的可能性，也涉及事实的可能性，两存在着重要的差异；在对“罗斯悖论”的剖析中引入可能算子，通过对道义悖论作时态的分析，以辨明义务的相对性，是消除道义悖论的一条可行的途径。 相似文献
2.
冯棉 《华东师范大学学报(哲学社会科学版)》2011,(6)
真值语义将逻辑联结词都解释为真值联结词,是一种简明的外延形式语义.真值语义面临的主要问题是:逻辑联结词→、(一)的真值解释,与对应的日常联结词“如果,那么”和“当且仅当”产生了距离.直观推理语义关注逻辑联结词→、(一)的推理涵义,借助日常语言来阐释逻辑表达式的具体内容,重视表达式的内涵.使用直观推理语义,检验逻辑表达式的直观有效性,有助于实现逻辑学家的目标和理想:有效的推理形式应普遍适用于各种场合的日常推理. 相似文献
3.
冯棉 《华东师范大学学报(哲学社会科学版)》1996,(5)
克里普克(S·A·Kripke)是当代著名的逻辑学家和哲学家,是现代哲学中本质主义思潮的代表人物。在发展自己的哲学理论时,克里普克极为重视对事物本质属性的讨论,而他的研究方法又与模态谓词逻辑密切相关。 相似文献
4.
条件句与相干逻辑 总被引：3，自引：1，他引：2
冯棉 《华东师范大学学报(哲学社会科学版)》1999,(1)
本文对条件句作了深入的逻辑分析,指出：判断一个条件句的真值必须先确定或假定其前件为真,前件的真又是相对于可能世界而言的,而可能世界的一个重要的逻辑特征是无矛盾性,因此,形式为“如果（Ａ并且非Ａ）,那么 Ｂ”的语句在任何可能世界中都不会有真值。从这一认识出发,作者考察了相干逻辑的得失,并提出了改进意见。 相似文献
5.
含有预设的推理与推理的有效性 总被引：2，自引：0，他引：2
冯棉 《华东师范大学学报(哲学社会科学版)》2003,35(4):52-57
推理的全部前提可以看作这一推理的预设。日常的具体推理往往是省略的推理，有些前提并未明确给出，在这种情况下，对预设作全面的分析就尤为重要。与此相关，考察经典逻辑和模态逻辑中的某些推理规则，讨论这些推理规则在日常推理中的有效性问题，是十分必要的。 相似文献
6.
冯棉 《华东师范大学学报(哲学社会科学版)》2002,34(4):30-36
数学哲学中的直觉主义学派高度重视直觉和个人的创造性思维在科学实践中的作用，这具有积极的意义，它对排中律和间接证明方法有效性的质疑，揭示了经典逻辑只具有相对的真理性；它所倡导的构造性和能行性的研究方法，促进了人工智能和计算机科学的发展。但是，对直觉功能的过分夸大则并不足取。 相似文献
7.
冯棉 《中山大学学报论丛》2012,5(4)
从结构推理的观点来看,结合演算是一种很弱的逻辑,因为它仅容纳一种结构规则,即“结合规则”。正结合演算作为一种“正命题逻辑”,是结合演算的基础。本文构建了正结合演算结构推理系统BL和对应的公理系统B,阐述了结合演算拒斥“交换规则”、“收缩规则”和“弱化规则”的理论意义和应用价值,证明了系统BL和系统B的等价性。 相似文献
8.
论相干逻辑的研究方法 总被引：1，自引：0，他引：1
冯棉 《华东师范大学学报(哲学社会科学版)》2008,40(6):58-62,91
相干逻辑的形式系统组成一个逻辑家族,这些逻辑系统的共同点是：坚持演绎推理的相干性,拒斥“结论的推导未实际使用前提”的推理方式。相干系统的分类建构与可拆分,为相干推理和判定问题的深入研究提供了平台。相干逻辑采用多种技术手段,证明了“相干原理”等一系列元定理,用以揭示相干蕴涵的逻辑特性和排除形形色色的“蕴涵怪论”。相干语义理论内涵丰富,而直观的信息论解释,不仅细致地描述了三元关系语义的理论背景,也为相干逻辑在信息论和人工智能领域的应用展示了广阔的前景。 相似文献
9.
冯棉 《华东师范大学学报(哲学社会科学版)》2000,(6)
模态逻辑涉及的“必然性”具有多样性,作为逻辑系统定理的逻辑规律体现了逻辑的必然性,而模态谓词逻辑中反映“从物模态”的公式中的必然算子则主要体现了事实的必然性。同时,模态系统中的模态公理,从另一个侧面对该系统中的“必然性”概念的逻辑特性作了描述。“必然性”概念的界定与“可能世界”密切相关。在分析现实世界中事物的本质属性时,应限制可能世界概念的范围,摒弃现实世界的非真实情形。 相似文献
10.
“可能世界”概念的基本涵义 总被引：3，自引：0，他引：3
冯棉 《华东师范大学学报(哲学社会科学版)》1995,(6)
在现代逻辑的研究中,克里普克(S.A.Kripke)等人所建立的“可能世界语义学”堪称一座丰碑。它不仅严密而清晰地揭示了多种模态公理系统的直观背景,使模态逻辑的研究进入了一个崭新的阶段,而且为其它的非经典逻辑、自然语言逻辑、逻辑哲学和语言哲学的深入研究开辟了道路。如今,“可能世界”这一术语在逻辑学、现代语言学和现代哲学的著作 相似文献