关于本质主义的一些看法

本质主义是与模态逻辑中的跨世界识别问题联系在一起的,承认可能世界,运用可能世界理论的一个结果就是必须承认有跨越不同世界的个体。因此,如何识别、辨认在不同可能世界中存在的同一个体？如何承认跨界同一与跨界识别问题是模态逻辑的可能世界语义学必然派生出来的一个问题,而对这一问题做出正面回答的一个主要办法就是诉诸本质或本质属性,即认为跨越世界的个体是可以识别的,识别的依据就是看这些不同世界中的个体是否具有共同的本质属性。如果具有,那它们就是同一个个体,反之则不是。这种观点肯定对象具有本质和本质属性,把事物或对象所具有的性质分成本质属性与非本质属性,因此也被称为本质主义。     

情境可能与跨界同一问题探析

跨界同一问题首先需明晰所指的"可能世界"及"同一性"概念。其中,可能世界只涉及与所设想对象相关的一部分,称之为"可能情境",与之对应的可能称之为"情境可能";"同一性"是指哲学意义的同一,对象的本质和来源是承担跨界同一的良好载体;然而,只有在情境相容的框架内个体才能保持跨界同一,不相容情境中的个体只是主体所设想的对象在某个可能情境中的"对应体",并没有真正涉及对象本身的可能性。     

模态逻辑中的反本质主义

模态逻辑中的本质主义者克里普克和反本质主义者刘易斯和奎因就可能个体的同一性及存在性问题有着直接的争论。斯塔尔纳克的理论却图协调量化模态逻辑和反本质主义之间的矛盾。     

论可能世界理论中的跨界识别问题

在现代逻辑研究中,可能世界语义学不仅揭示了模态逻辑公理系统的直观背景,而且提供了强有力的语义工具,使模态逻辑的研究进入了一个崭新的阶段。但在可能世界语义学的研究中,也遇到了许多哲学上的难题。本文仅对可能世界理论中的跨界识别问题进行分析、探讨。     

论可能世界理论中的两个问题

在现代逻辑研究中,可能世界语义学不仅揭示了模态逻辑公理系统的直观背景,而且提供了强有力的语义工具,使模态逻辑的研究进入了一个崭新的阶段。但在可能世界语义学的研究中,也遇到了许多哲学上的难题。因此,对有关可能世界的定义与跨界识别问题进行分析、探讨确实很有必要。     

论模态逻辑中的“必然性”

模态逻辑涉及的“必然性”具有多样性,作为逻辑系统定理的逻辑规律体现了逻辑的必然性,而模态谓词逻辑中反映“从物模态”的公式中的必然算子则主要体现了事实的必然性。同时,模态系统中的模态公理,从另一个侧面对该系统中的“必然性”概念的逻辑特性作了描述。“必然性”概念的界定与“可能世界”密切相关。在分析现实世界中事物的本质属性时,应限制可能世界概念的范围,摒弃现实世界的非真实情形。     

辩证哲学视角下的本质主义学说

本质主义是亚里士多德创立的哲学理论,但亚氏本质主义只适于刻画类事物的本质,对个体本质无能为力。分析哲学家克里普克借助其可能世界理论提出的新本质主义弥补了亚氏本质主义的不足。从辩证哲学角度把握两种本质主义及其关系,有助于准确把握相关理论的成就与问题,形成严整的分析型本质主义纲领,也可以体现辩证哲学和分析哲学相互为用的关系。     

从言模态和从物模态的联系、区别及其哲学意义

从言模态和从物模态是模态逻辑中一个重要的理论问题,本文从亚里士多德的模态理论开始直到现代模态谓词逻辑进行了考察,阐明了从言模态和从物模态的联系、区别及其哲学意义,揭示了模态逻辑是一种本质主义的逻辑。     

中学物理教学中分析综合能力的培养

一、分析与综合 分析,“就是把研究对象在思维中分解成为它的各个组成部分或要素,然后分别加以考察与研究,研究它们相互联系及相互制约的关系,研究它们之间的相互作用及在整体对象中的地位,考察它们对研究对象的状态及发展变化的影响,从而揭示事物的属性和本质的方法．”对于物理学,分析就是将研究对象分离或物理过程拆成几个部分,找出这些部分的本质属性和彼此之间的关系．综合,“就是在分析的基础上,把研究对象的各个组成部分或要素在思维中重新结合为一个整体,从而在整体上把握事物的本质和规律．”对于物理学,综合就是整体观念,全程思想和整合知识．分析和综合是一种辩证思维方法,这是因为只有在分析基础上的综合才可能是有机的综合,只有在综合指导下的分析才可能是有效的分析;既见树木,又见森林．     

也论教育学研究中的本质主义与反本质主义

近些年来,教育学研究中发生了本质主义和反本质主义的激烈论争,其根本原因在于混淆了二者的本质属性。本质主义教育学研究属于教育研究范式的变革,而反本质主义教育学研究属于教育研究方法的变革,二者不是同一层面的概念。本质主义和反本质主义在教育学的研究中不是“非此即彼”的关系,而是“同根共生”,共同担负着丰富和完善教育学研究范式和方法的职责,二者并存有利于教育学研究的繁荣,同时也有利于我们从不同视角做出对教育价值的正确评判。     

动态逻辑的强完全性和不协调性

动态逻辑的证明系统揭示了典范模型的一些比较特殊的特征,即程序的不协调性。在标准的模态逻辑证明系统中,真值引理指在典范模型的世界里真的公式集．正好是由这些公式所组成的极大一致集,该公式集是由哪个世界来识别的,称之为公式协调性,相对于程序来说就称为程序协调性。使用协调的原因在于当公理和程序都是协调的时候,典范模型的语义和证明理论是完全一致的。在此给出了无穷的动态逻辑的证明系统,即命题动态逻辑的一个强完全性的证明系统．是相对比较简单的系统,这使得证明也相对比较简单,但却可以很容易地扩张为其它的模态逻辑。同时证明了该典范模型不是程序协调的．而是公式协调的。     

Modality in Business Letter

Business letter with friendly modality is an effective means to represent the best advantage of one’s self and firm. The paper in vestigates modality in business letter according to Halliday’s view on modality. The modal devices mainly cover modal operator, modal ad junct, and modal cohesion. By means of binary approach modal logic is tentative divided into: perfective and imperfective; positive and neg ative; subjective and objective or explicit and implicit; high, median and low value. Modal devices or modal logic has formal and semantic level. Modality is regarded as a potential analyzing method to business text in this paper. The significance of the study is for understanding modal expression in business letter, meanwhile, this is a way to better understand modal logic, and to better use modal device in business let ter.     

因果陈述句逻辑系统

因果必然性的性质是什么?因果必然性和归纳概率的关系如何?我们将给出因果陈述逻辑的自然语言系统,同时也对该形式语言的范围以及用形式化来界定的一般特征进行阐述。把因果陈述逻辑看作是一个形式语言,从而讨论这种形式语言的基本的性质。条件化模态逻辑的最大特点是把模态演算建立在演算的条件逻辑的基础上,它用条件蕴涵来定义可能、必然等模态算子,并在此基础上研究条件模态算子之间的关系,使它成为与古典模态逻辑既有联系又有区别的新的模态逻辑系统。     

现代模态逻辑的多元视野

模态逻辑作为一个新兴的逻辑学科,产生了非常之多的模态系统,这些系统的起源是多元的;模态逻辑的历史发展经历了语形时期、经典时期和现代时期;在模态逻辑的现代时期,计算机科学的发展从根本上改变了人们对模态逻辑能够用来干什么以及模态逻辑如何付诸运用的期待。     

模态逻辑视角下的模型检测理论

模型检测是逻辑学和计算机科学中的一个重要研究领域,作为模态逻辑的一个重要分支时间逻辑,它的繁荣发展就出现在这一领域。模型检测是关于时间逻辑判定问题的研究,其研究的两类实体:一是关于刻画程序计算性质的逻辑公式,二是用来刻画程序的模型,模型检测的任务就是要校准这两种不同形式的信息——公式和模型——是否相一致。     

状态相似性与流量限制模型

在可能世界语义中,如果根据是否含有模态算子而将一个点上为真的公式分为两类,那么可以认为不含模态算子的公式描述的是当前点的信息,其它公式描述的是其它点的信息,以及当前点与其它点的关系。通过对不同点上命题真值指派的比较,我们可以在可能世界语义模型上定义出一种状态相似性。本文构造了三类刻画状态相似性的模型,并给出了分别刻画其中两类模型的完全的系统。本文最后讨论这些模型在时态逻辑和信念逻辑中的应用。     

亚里士多德模态三段论的化归

在现代逻辑看来，亚里士多德实然三段论都可以化归为第一格AAA式。那么，现代逻辑如何看待亚式模态三段论的化归呢?亚式模态三段论可以化归为哪些格式呢?本认为，从联合演算出发，能更精确、更贴近地反映亚式模态三段论的原貌。本的分析表明，亚式模态三段论虽有疏漏，但仍然可以化归为基本的格式，因而自成系统。     

缺省模态逻辑

本文在Reiter 1980年提出的缺省逻辑的基础上,将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑,提出了一种缺省模态逻辑。它是一种非单调逻辑,并且具有在Reiter的系统中所不能保证的两个重要性质:扩充的存在性和非单调性,然后通过知识从其背景中分离出来的方法,给出了一个缺省理论扩充的概念,它是Reiter的扩充概念的一种推广。     

模态逻辑中的三值逻辑

每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。