浅论概词

概词是相对于思维主体而言的一种被抽掉了意象义和色彩义而只留下概念义的语词.其内涵即概词所承载的语言共同体关于"对象的本质属性"的观念;外延即概词所承载的语言共同体关于"对象本体"的指向性观念.概词的内涵,可分为科学内涵、亚科学内涵和反科学内涵,又可分为质性内涵和量性内涵,还可分为充分条件内涵、必要条件内涵和充分必要条件内涵.概词的内涵和外延,是语言共同体的群体意识,是主观的和第二性的;它们具有相对稳定性、固定性和语用客观性,可独立于具体语境之外.概词的指称意义即概词的言语意义或语用意义,它与客观对象直接发生联系,是使用者、解释者的个体意识,离开特定语境就不能被确定."概词"、"语词"、"词项"和"概念",是四个不同的概念,彼此间的关系错综复杂.无论从逻辑理论的自洽性视角、思维与语言的关系视角看,还是从逻辑教学的实用性视角、汉语言的特点视角看,"概调"都应成为与"命题"、"推理"相并列的逻辑的一个基本范畴.     

一个向上线序的命题时态逻辑PTL

命题时态逻辑PTL是一个可广泛应用于人工智能的逻辑,其特点是只有表达未来的时态算子。它刻画了人工智能研究中往往只需要描述未来状态,而不必关注过去的性质。PTL给出了一个表达时间具有向上线性、传递性、持续性和离散性的公理化逻辑系统,并证明了其可靠性和完全性。     

一个刻画理解的认知逻辑

通过两次问卷调查可以发现,绝大多数调查对象直观上都认为：理解一个命题就是知道它的意义。然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画：理解一个命题就是知道它的真假。由此,我们给出一个刻画理解的认知逻辑来揭示理解与知道之间的联系与区别。     

晦暗语境与内涵刻画

所谓的晦暗语境是指那些使得经典逻辑中与外延相关的同一替换定律失效的语言现象。由于这一语言现象的出现被归因于经典逻辑的外延性原则,因此由蒙太古、卡尔纳普等学者所创立的内涵逻辑才被应用到对晦暗语境的解释中来,以刻画表达式的内涵。而文章将在蒙太古内涵逻辑及其新近发展的基础上说明该理论在解释晦暗语境问题上的局限性并尝试利用性质基始论对现有的理论做一个改进和修正,即不再将个体看成处理内涵问题时不可再分的基始对象,而是要进一步分析个体的性质以说明晦暗语境的出现机理以及解释方式。     

命题代数与反证法

命题代数是抽象逻辑代数的一个模型,是研究思维形式的逻辑代数.而反证法是数学证明中常用方法之一.反证法所依据的恰是命题代数中一些逻辑原理.逻辑原理掌握如何?直接影响到使用反证法的效果和熟练程度.在教学中,发现有相当数量的学生,在使用反证法证明数学命题时,通常采用否定结论,经过推理,导致与已知条件矛盾的证明形式.而对其他形式的反证法运用却较少,使用起来又往往不顺手.笔者针对这一情况,想以命题代数为出发点,从理论上阐述有关反证法的逻辑原理及反证法的几个问题.为此先介绍命题代数的一些有关知识.     

试析蒙塔古的语用内涵逻辑

逻辑语用学不同于一般语义学,它不仅相关某个解释或模型,而且还相关语言的语境来讨论真、满足、有效及逻辑后承等概念。讨论语境是语用学的一个典型特征。内涵是语用学的一个重要概念,因为许多索引表达的外延确定依赖的是各组成部分的内涵。一个复杂表达的内涵是其组成部分内涵的一个函项。蒙塔古构建的语用内涵逻辑对我们分析处理这类间接语境中内涵与外延间的关系有极大的启示。     

逻辑代数的定理及应用

新教育1978年第3期《逻辑代数的运算》一文介绍了逻辑运算的性质,本文紧接着上文介绍关于逻辑代数的一些定理和逻辑式的化简,并举一个应用逻辑代数解决实际问题的例子.一、逻辑代数的定理上文中的等值式1—9表达了逻辑运算的性质,下面介绍的代入规则可从已知等值式导出新的等值式.代入规则 任何一个含有变元A的等值逻辑式,将所有出现A的位置都代之以某一逻辑式后,仍然等值.代入规则是正确的,因为任何一个逻辑式,也和任何一个命题元一样,只有两种可能的取值(取值“0”或取值“1”).     

专名有无内涵考

专名出自名称这一概念,它是西方逻辑史上一个久论不衰的话题,针对专名有无内涵的问题,存在两个相互比较对称的选择,通过比较我们可以看到专名是有内涵的,且它的内涵可以用语词定义的方式给出.专名的内涵决定它的所指并在一定场合或语境中存在变化.     

一类新的逻辑代数--伪NM代数

提出了一类逻辑代数-伪NM代数,详细地探讨了伪NM代数的基本性质,给出了伪NM代数的等价刻画,从而证明了伪NM代数类是一个簇.引入并研究了伪NM代数的滤子理论,建立了伪NM代数的素滤子定理及其推论等等,这些结果均可看作是NM代数的相应结论的非交换推广并为研究伪NM逻辑提代数基础.     

20世纪西方动机心理研究的回顾与展望

动机问题是心理学研究的核心论题之一,它涉及人类行为的基本源泉、动力和原因,最能反映人类行为的目的性、能动性特征,在２１世纪即将到来之际,回顾和总结本世纪动机问题研究的主要研究成果,有助于我们加深对动机的理解,准确地把握西方各种动机理论的实质和内涵,认...     

组合模态逻辑

通常情况下,不止一个联结词的任意逻辑系统都可以看作是由比它具有更少的联结词的逻辑系统组合而成。特别地,任意的多模态逻辑都可以看作是由单模态逻辑组合而成。所以,在该层含义下,任意的多模态逻辑都可以看作是由模态逻辑组合的结果。组合模态逻辑的方法,主要包括融合的方法和更新积的方法。运用组合模态逻辑的方法,不能随意地构造越来越庞大的逻辑系统,而应该采用尽量简单的方法,构造出符合需要的逻辑系统。     

罗萨和图尔克特对卢卡西维茨多值逻辑系统的改进

多值逻辑是一门正在发展中的逻辑分支,无论是多值逻辑的形式系统,还是多值逻辑的语义解释都处于研究之中。本文对罗萨和图尔克特对卢卡西维茨多值逻辑的改进做综述性的介绍,通过比较的方式,说明罗萨和图尔克特的否定跟卢卡西维茨的否定之间的特点与作用,罗萨和图尔克特的公理系统与华兹堡的三值逻辑公理系统之间的同异与优劣。     

词汇同义关系涌现特征的认知语用学解读

有别于一般语境中的词汇同义关系,特殊语境下涌现的同义词更有创造力,其同义关系呈现不确定性。在特定语境下理解词汇同义关系时,其同义词时常呈现涌现特征,这一特征无法通过语义联系理论进行阐释。本文以关联理论模型为出发点,结合认知心理学特殊范畴概念,探究词汇同义关系的认知前提和机制。研究指出,词汇同义关系的构建是词汇百科信息与语境假设互动的产物,其涌现特征由会话双方通过语用推理机制在具体语境下推导而来。     

关于模糊逻辑的几点思考

本文区分了四个层次的模糊逻辑,评论了模糊逻辑几种定义的长短得失,论述了语言变量对于模糊逻辑的基础性作用,对词语计算作了简略论述,在此基础上讨论了模糊信息粒化理论与模糊思维的关系。     

A tale of two women leaders: Diversity policies and practices in enterprise universities

This paper explores the ways in which senior female academics’ leadership practices are informed and negotiated in relation to a multiplicity of fields. As part of the shift in the logics of practice underpinning the Australian academic terrain, there has been a movement from the implementation of equity policies to that of diversity in relation to the employment of academic staff, characterised by neoliberal discourses of new public management which favour the production of the individualistic, entrepreneurial academic identity as opposed to notions of collectivity and the public good. However, diversity policies are not the sole texts that inform the ways in which many women leaders operate, nor the most important in guiding the practices they produce. Drawing on a larger study of representations of women’s leadership in the media and academia, this paper examines how two leading female academics drew upon a range of logics of practices within the different fields of academia, feminism and Indigenous rights to inform their leadership practices. In so doing, the women contested the emergent logic of practice underpinning the contemporary Australian academic field. Such contestation can be considered one of the “subaltern” consequences of policy regimes and forms an integral part of policy fields.     

逆证与语法化

本文首先界定了逆证逻辑ABD与常规逻辑的异同，然后从ABD的推导角度，分析了语法化过程中语言符号的彤式和意义两面的变化规律，认为在语言使用过程中，语料的新颖性会导致对原假设即原符义关系的核实和调整，从而产生其内部无法分解的语言产物，并通过短线语法化现象来证实类似过程。     

Deconstructing Doctoral Students’ Socialization from an Institutional Logics Perspective: A Qualitative Study of the Socialization of Chinese Doctoral Students in Finland

While socialization has become a major lens of research in doctoral education, this paper advances the theoretical foundation of the socialization process in doctoral education by using the institutional logics theory. Specifically, it proposes an analytical framework for understanding the socialization of doctoral students, where it is seen as a process of reconciling different or even competing institutional logics that drive students’ development in doctoral education. The framework has been applied in an empirical study of ten doctoral students in Finland who were funded by the China Scholarship Council (CSC). While proving the usefulness of the analytical framework, the study shows that CSC doctoral students mainly face the competing logics of profession and corporation during socialization. Influenced by a strong profession logic, the Chinese students have transformed themselves into novice professionals and knowledge producers. Corporation logic competed with profession logic in the management of doctoral students and has resulted in a lack of teaching experiences in doctoral training and a weak recognition of professional identity in the students’ host universities. The influence of family logic, inherited from CSC doctoral students’ cultural backgrounds, has been decoupled in the socialization process and has led to a strong sense of loss in handling the supervisory relationship between supervisors and students. Based on the findings of this study, the author provides several recommendations for host universities, supervisors, doctoral students, the CSC, and the Chinese Embassy in Finland to enable them to work together and help CSC doctoral students tackle the aforementioned challenges.     

祈使句和逻辑

本文基于更新框架定义了一种动态的祈使句语义,并在此基础之上讨论了关于祈使句的逻辑.这个语义对于祈使句的一致性问题和Ross悖论提供了一种直接的解决方案.我们的工作在祈使句和祈使力结构之间的对应之上展开.首先,根据处理祈使句相容性的不同方式,我们给出了几种不同的祈使句一致性定义.然后,祈使句的意义被处理为祈使力机构上的依赖相容性的更新函项.最后,祈使句之间的蕴涵关系被归约为祈使力结构之间的某种关系.基于不同的相容性定义,我们给出了几种不同的蕴涵关系.     

辩证逻辑的数学化趋势

本文首先分析了标准逻辑的局限性,讨论了人工智能深入发展对逻辑学提出的各种要求,指出蓬勃兴起的各种非标准逻辑实质上都在从不同的层次或侧面探索如何处理各种矛盾和不确定性,它们实质上都在探讨辩证逻辑的数学化之路。其次,简单介绍了作者提出的实现辩证逻辑数学化的规划《泛逻辑学研究纲要》,及在纲要指导下建立的《标准命题泛逻辑学》要点,指出该逻辑系统在包容各种辩证矛盾的同时,有效地排除了逻辑矛盾。文章最后还介绍了世界泛逻辑研究动态和第二届世界泛逻辑大会,希望引起大家的注意。     

描述逻辑EVL模拟关系及其性质

模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具.巴德尔（Baader）率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的包含推理,并证明了在概念定义式循环术语集限制下,描述逻辑EL的包含推理是多项式时间复杂的.本文分析了描述逻辑模拟关系的研究现状和存在的问题,给出一般情形描述逻辑EVL下的模拟关系及其性质.