形式语义学发展综述

形式语义学脱胎于哲学、逻辑、语言学和计算科学,具有跨学科的性质。它于20世纪60年代开始萌芽,70年代初正式建立,标志为蒙太古三篇重要文章的发表,80年代发展壮大并形成一门独立的学科,成为与乔姆斯基句法并驾齐驱的主流语言学理论。然而,国内对此介绍不多,只有几部专著介绍。集中介绍形式语义学产生的跨学科背景及其核心理论的形成与发展,并就其关键问题的解决方案进行了简要评述。     

树立乡村集体典型的三重逻辑——基于新中国成立以来乡村集体典型历史演替的分析

新中国成立以来,中国共产党把树立乡村集体典型(以下简称为乡村典型)作为乡村治理的一条重要路径,并随着乡村治理目标的变化在不同时期树立不同的乡村典型。树立乡村典型是国家权力下沉的表现,是中央、地方和村庄三个层面共同努力的结果。从乡村典型的历史演替可知,每个层面本应在意识形态导向下具有同样的追求,但层面的分别又使其各有所重,相比较而言,中央较关注政治导向,地方侧重政绩追求,村庄则嬗变为生存策略,它们共同演绎了树立乡村典型的三重逻辑。     

盆景主义及其超越——论田野调研中理论与经验的关系问题

田野研究往往会陷入看了白看或框架裁剪主义两种困境,前者并无社会危害,后者往往会导致用先验的概念去发现或建构经验的盆景主义,这种由概念到经验的盆景建构严重违反了理论概念只是理解经验事实的知识库存之本位。在田野调查与研究中避免盆景主义的出路在于从材料出发而避开理论的既定,只把理论概念当做理解经验材料的"知识库存",通过材料的逻辑性排列、组合进行理论解读与阐释,以归纳而非演绎的方法推进研究逻辑。     

修辞理据研究的一部力作——张春泉《叙事对话与语用逻辑》评介

张春泉教授《叙事对话与语用逻辑》是修辞理据研究的一部力作,该书明确指出:语用逻辑是叙事对话的重要理据,叙事对话是语用逻辑的重要外在话语表现形式。全书首先论述了"语义"是"叙事对话"和"语用逻辑"的重要枢纽;接着以语体为专题,分别探讨了谈话体、艺术体、事务体作品中的叙事对话与语用逻辑。该书在理论上,综合运用了叙事学、语用学、逻辑学有关观点、原则和方法,对修辞理据研究是一有力的推动;在实际应用领域,有助于文学鉴赏、法典运用和言语和谐的促进。     

导数问题中分类讨论方法的应用简

在解答某些数学问题时,有时会出现多种情况,对各种情况加以分裂鼻运类求解．然后综合归纳,这就是分类讨论法。分类讨论是一种逻辑方法,也是一种数学思想。有关分类讨论思想的数学问题具有明显的逻辑性、综合性、探索性,能训练人思维的条理性和概括性,所以在高考试题中占有重要的位置。     

五步解答非谓语动词考题

专题策划：非谓语动词的解题策略 非谓语动词是高考英语的重中之重、难中之难。我们在掌握五步法解非谓语动词考题之后,可以利用语言逻辑关系,找出非谓语动词的逻辑主语,利用语境中动词发生的时间关系,确定非谓语动词的形式。对于难度较大的试题,我们可通过引入be动词来进行简化,用最初的基本句子解决复杂的语法问题。     

怎么找非谓语动词的逻辑主语

用好非谓语动词,找到其逻辑主语是关键,下文结合例句和考题讨论非谓语动词的逻辑主语的位置。     

例谈解析几何定值问题的探究与证明

正近两年高考中常常出现有关解析几何定值问题.解决这些问题的思维障碍在于:一是定值究竟是什么,其逻辑基础又是什么;二是面对字母运算不得要领,难以找到合理的突破口而陷于繁杂的运算,出现空洞的"兜圈式"的运算.本文试图通过近几年的高考试题的分析,对定值问题的几种类型和对应的解题方法做逐一的介绍,并试图通过这些方法的介绍,使得学生在运算能力,简化运算的策略等方面有所提高.     

构造矩阵证明不等式

正不等式的证明方法是多种多样的,文[1]利用概率分布巧妙的证明了一些不等式,受其启发,本文利用构造矩阵的方法和行列式的有关性质来证明一些不等式,证法十分简洁,写下来与读者分享.我们首先来介绍一下文中要用到的矩阵性质(文[2]):     

体验自我否定 缜密理性思维

《蜡烛的燃烧和空气的体积》这节课陶绕蜡烛在量简内燃烧后出现进水水位高低不同的现象,通过层层剥笋式的现象剖析、逻辑推理、实验检验、过程检视等活动,探索水位的高低和蜡烛火焰大小之间的关系,让学生发现生活中某些现象常常是逻辑推理成立而用实验并不一定能够证实。有时候,逻辑判断错误而直觉却指向正确。