论文部分内容阅读
Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks
【机 构】
：
Institute of Logic and Cognition and Department of Philosophy Sun Yat-sen University, P.R.China ILLC
【出 处】
：
中国逻辑学会
【发表日期】
：
2017年4期
其他文献
目的：编制《流动儿童学校归属感问卷》，对其信度和结构效度进行验证，对研究流动儿童学校归属感，促进流动儿童心理健康工作具有重要的现实意义。方法：结合文献、个人访谈、开放式问卷调查建立问卷理论维度，初步编制包含6 个维度58 个题目的原始问卷。邀请心理学专家对问卷的内容效度和结构审查后，形成包含6 个维度(感知教师支持、感知同伴支持、身份认同、学校氛围、学校卷入和学业投入)54 个题目的预测问卷。
咨询期望，是指当事人带入心理咨询的预先的认知与情感态度，包括对于咨询过程、效果、咨询师和当事人自身，以及有关咨询的其他任何方面(如时间设置)的认知与情感态度。已有研究表明，当事人的咨询期望既可以促进咨询进程或提高咨询效果，也可能会起到相反的作用。因此，对当事人的咨询期望进行干预，是促进咨询效果的途径之一。以往对于咨询期望的干预研究中，存在着诸多不足，如缺少相关理论的支持，使得研究结果难以令人信服。
本研究根据学校个案管理的核心要素设计访谈提纲，访谈了湖北省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
会议
罗素未发表手稿的系统整理和陆续出版为罗素逻辑理论研究提供了新材料.基于这些新材料,罗素的非受限变元概念日益突显出了其理论价值.非受限交元理论表明:一个变元是非受限的,当且仅当该变元的取值范围是实体域.据此,罗素的逻辑观念是实在论的,逻辑普遍性是通过非受限变元体现出来的.替代理论是非受限变元理念与方法的典型体现.《数学原理》中的分支类型限制并没有影响非受限变元的存在.《逻辑哲学论》中的显示理论运用了