【摘 要】
：
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
【机 构】
：
DEPARTMENT OF PHILOSOPHY, TSINGHUA UNIVERSITY
论文部分内容阅读
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) means that,the current point has a neighborhood in which α0 universally holds and none of α1,...,αj universally fails.This note offers to INL a cut-free sequent calculus.
其他文献
听觉系统有能力探测到耳间相关性的动态变化,然而,我们尚不清楚这种能力如何受到听觉场景中其他客体的影响。在本研究中,我们采用不相关片段探测任务(Break in Interaural Correlation,BIC),研究听觉客体空间弥散性对目标客体不相关片段时长阈限(Duration threshold)的影响,及其频率不对称性。同时呈现的200Hz、400Hz 和800Hz 中心频的窄带噪声。在
在近几十年的视觉认知研究中，对生物运动的视觉加工机制的探索十分丰富。生物运动是一种具有生命体特征的运动形式，如人的奔跑、动物的捕猎等，对生物运动的加工过程中体现出人类认知系统的特性，这方面的研究十分有助于深入探索人类认知的规律。目前的相关研究中一般以人或动物的运动作为实验材料，生物运动的素材通过动作捕获技术进行采集，首先在身体的关键部位安装运动传感器，在运动过程中将传感器返回的位置数据记录下来，实
近年来道德评价在内群体评价中的重要性逐渐受到研究者的关注。本研究通过系列研究探讨道德评价在中国是否作为最重要的内群体积极评价指标，以及在自然状态和发生内外群体比较的情况下，成员对内群体在道德、能力和社会性评价的特点。研究1 和研究2 采用问卷研究方法，结果均显示成员在内群体的评价上对道德的重视程度显著高于能力和社会性。研究2 还显示，观测数据与假设的三因子模型的拟合度最为理想，这表示道德确实是独立
自我—他人重叠指当个体和他人变得更亲近时，在身份和认知表征上都有融合的倾向，其包含感知亲密性和重叠表征两个重要因子。通过系列行为研究，探索自我—他人重叠的影响因素及其作用。研究1 探索血缘关系和交往关系对自我—他人重叠的影响，结果表明血缘的疏远会影响自我—他人重叠的程度，且社会互动促进血缘关系对自我—他人重叠的作用。研究2 考察自我—他人重叠对助人行为和观点采择的作用，结果表明自我—他人重叠程度越
目的：编制《流动儿童学校归属感问卷》，对其信度和结构效度进行验证，对研究流动儿童学校归属感，促进流动儿童心理健康工作具有重要的现实意义。方法：结合文献、个人访谈、开放式问卷调查建立问卷理论维度，初步编制包含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
论辩体现了人们处理冲突的信息、观点、意见等时的一种重要的认知能力,这种能力从逻辑角度可被称为非单调推理能力.如何为这种能力建立可计算的模型是当代人工智能领域中的热点议题,但主流的研究并未重视论证的逻辑特点.近年来,论辩的结构化研究成为新兴议题,借助于逻辑语言为论辩提供更细节化的形式表达,但现有系统在非单调推理刻画方面仍存在不足.在已有研究的基础上,本文尝试从可废止逻辑出发构造一个新的结构化论辩系统