【摘 要】
：
解决“实质蕴涵怪论”问题，须首先在逻辑语义学视域之中厘清蕴涵关系的层级，进而再从语用学上考察各类条件句“是否”或“如何”表达不同层面的蕴涵关系。运用集合论工具可以说明，逻辑蕴涵、严格蕴涵、直觉主义蕴涵、相干蕴涵等各种蕴涵关系，实际上都是作为真值函数的实质蕴涵关系之居于不同层面的“子集”。建构“蕴涵层级论”的主要目标，即系统把握作为实质蕴涵关系之子集的各种蕴涵关系所在层面以及它们的相互关联。厘清蕴涵关系的层级，“实质蕴涵怪论”的迷雾就会消失于无形。
【机 构】
：
南京大学哲学系,江苏南京210023
【基金项目】
：
本文为国家社科基金重点项目“现代逻辑与分析的马克思主义思潮研究”（12AZX009）资助.感谢台湾阳明大学王文方教授阅读本文并提出重要修改建议
论文部分内容阅读
解决“实质蕴涵怪论”问题，须首先在逻辑语义学视域之中厘清蕴涵关系的层级，进而再从语用学上考察各类条件句“是否”或“如何”表达不同层面的蕴涵关系。运用集合论工具可以说明，逻辑蕴涵、严格蕴涵、直觉主义蕴涵、相干蕴涵等各种蕴涵关系，实际上都是作为真值函数的实质蕴涵关系之居于不同层面的“子集”。建构“蕴涵层级论”的主要目标，即系统把握作为实质蕴涵关系之子集的各种蕴涵关系所在层面以及它们的相互关联。厘清蕴涵关系的层级，“实质蕴涵怪论”的迷雾就会消失于无形。
其他文献
咨询期望，是指当事人带入心理咨询的预先的认知与情感态度，包括对于咨询过程、效果、咨询师和当事人自身，以及有关咨询的其他任何方面(如时间设置)的认知与情感态度。已有研究表明，当事人的咨询期望既可以促进咨询进程或提高咨询效果，也可能会起到相反的作用。因此，对当事人的咨询期望进行干预，是促进咨询效果的途径之一。以往对于咨询期望的干预研究中，存在着诸多不足，如缺少相关理论的支持，使得研究结果难以令人信服。
本研究根据学校个案管理的核心要素设计访谈提纲，访谈了湖北省9所高校。随后，采用质性研究方法中的扎根理论分析受访高校心理健康服务中个案管理的开展情况。目的 在于呈现高校心理健康服务中个案管理的现状与不足，并就高校心理健康服务中个案管理的开展提出建议。
古普塔与斯坦德菲尔在新近发表的论文《真理论的条件句》中引入了新的条件连接词——STEP条件,旨在形式化作定义解读的真谓词引入和消去规则,据此以有效性与可证性的方式刻画那些直观上有效的包含真谓词的论证.本文从新条件词引入的背景、语义特征和对修正理论形式化进路的启发等方面对该成果作出详细的分析和评论.
In this paper,I first clarify that Quines ontological commitments thesis cannot provide answers to logical theories.Then I explore Kit Fines criticism on the quantificational account of ontology.Altho
论辩体现了人们处理冲突的信息、观点、意见等时的一种重要的认知能力,这种能力从逻辑角度可被称为非单调推理能力.如何为这种能力建立可计算的模型是当代人工智能领域中的热点议题,但主流的研究并未重视论证的逻辑特点.近年来,论辩的结构化研究成为新兴议题,借助于逻辑语言为论辩提供更细节化的形式表达,但现有系统在非单调推理刻画方面仍存在不足.在已有研究的基础上,本文尝试从可废止逻辑出发构造一个新的结构化论辩系统
Instantial neighborhood logic (INL) is classical propositional logic enriched by a two-sorted operator □.In a neighborhood model,s formula like □(α1,...,αj;α0) (for an arbitrary natural number j) mean
In recent years,formal argumentation has been an increasingly active research topic in the field of logic and artificial intelligence.One of its aims is to bridge the gap between human reasoning and c
Projection as one of the main features of presupposition refers to the phenomenon in which the presupposition of an embedding sentence tends to escape from its original position.It has been noted that
罗素未发表手稿的系统整理和陆续出版为罗素逻辑理论研究提供了新材料.基于这些新材料,罗素的非受限变元概念日益突显出了其理论价值.非受限交元理论表明:一个变元是非受限的,当且仅当该变元的取值范围是实体域.据此,罗素的逻辑观念是实在论的,逻辑普遍性是通过非受限变元体现出来的.替代理论是非受限变元理念与方法的典型体现.《数学原理》中的分支类型限制并没有影响非受限变元的存在.《逻辑哲学论》中的显示理论运用了