类型—逻辑语法——一种自然语言语义分析的重要工具

类型—逻辑语法是一种建立在类型—逻辑语义学基础上的规范语法,它自上个世纪80年代诞生以来,就以其表述的简洁性、理论的逻辑化和词汇化倾向以及更好地符合意义组合原则等鲜明特色,受到了形式语义学、语言学和自然语言理解和处理等领域的广泛关注,并继续保持迅猛的发展势头。该文第一部分简短回顾了范畴语法的发展情况,第二部分主要论述了类型—逻辑语法的核心内容——其句法学和语义学。其语义学的主要内容为简单类型的λ—演算和高阶逻辑:其句法学的主要内容是兰贝克演算。在第二部分的最后,笔者探讨了类型—逻辑语法与逻辑形式系统的深刻联系。总之,类型—逻辑语法对自然语言的语义分析具有比较广阔的发展空间。     

学术批判与批判性思维--兼论黄展骥的学术批判特色

学术创新预设学术批判。作为一个对话或论辩过程的学术批判是真理创造过程的不可缺少的环节。批判性思维观念和技能对真诚而正当的论辩或学术批判至关重要。批判性思维是运用普遍的智力标准对思想构成要素的评价。通过批判性思维 ,我们发现一种思维的优点与弱点 ,进而改良思维。考察黄展骥先生的学术批判活动 ,可以发现其 6个显著的特点 :批判的主导性、批判的普遍性、批判的具体性、批判的交际性、批判的普及性和批判的建设性     

内涵能构逻辑的特征

内涵能构逻辑研究是国内外逻辑学研究的空白点。本文针对抽象思维的能构性特点,总结了内涵逻辑研究的现有成果,从重新确切界定数理逻辑学的基本范畴着手,说明了“信息的内涵性质”、“谓词范畴的两重性”、“抽象间隔”、“赋值的相对性”、“赋值映射的不动点”,刻划了一个决定论框架,并把它嵌入了信息流逻辑的框架。为进一步论证内涵能构逻辑的不动点语义作了准备。     

马克思哲学的三大主题

从马克思的思想发展和其哲学理念来看,马克思哲学有三大主题,即理性形而上学的终结和哲学的历史实现、以资本逻辑为核心的批判分析方法、走向自由历史。马克思的哲学革命终结了传统哲学中理性自律的形而上学,强调哲学在历史中的实现,将哲学批判推进到历史批判。在这一哲学转向中,对资本逻辑的批判分析,构成了马克思面对资本主义的核心主题。在对资本逻辑的批判分析中,马克思要揭示的是资本运行中的内在矛盾以及人们如何从当下的资本主义社会走向自由历史,只有这时,属人的历史才得以真正地展开。这构成了马克思哲学的理论指归。马克思哲学的三大主题,既体现了对传统思想的深层透视,又体现了对现实资本主义历史的批判反省,是我们透视当下社会与思想的理论基础。     

谈谈选言推理的规则──兼谈选言推理的形式

推理规则是用来分析推理正误的。正确而完善的某种推理规则应该能够分析某种推理的任何一种推理形式是否有效。而目前流行的选言推理规则起不到这样的作用。比如：（P∨q）∧p→q、（p∨q∨）∧p→q∧r等都是无效的选言推理形式，但运用流行的选言推理的规则却不能得到很好的说明。所以，目前流行的选言推理规则是不完善的，应该修正或做出明确的解释。     

英语专业的人文困惑

中国改革开放、融入全球化的历程,可以追溯到一百多年前.面对西方列强的坚船利炮,当时国人不得不求助于西方的科学技术来挽救和振兴中华文明.随着西方列强的殖民入侵和洋务运动的兴起,英语教育在我国逐渐发展.1917年当时的南京高等师范学校(南京大学的前身)开办英语专修科,1921年扩建为西洋文学系.这或许是英语在刚刚崭露头角的中国现代高等教育中最早的体制化尝试.随着半殖民化进程的发展和英美影响力的增强,英语逐渐替代了德语和法语,成为学习西方民主思想、政治制度与科学技术的主要媒介.新中国成立后,俄语在50年代取代了英语的主导地位,英语和其他外语在六七十年代几乎销声匿迹.     

西方马克思主义是一个历史的具体的概念——与徐崇温同志商榷

在西方学者的用法中,西方马克思主义是一个具体的历史的概念,被用来指称一种植根于西欧大陆并与东欧(主要是俄国)的马克思主义相对而言的马克思主义。徐崇温同志却用西方马克思主义概念去涵盖那些70年代以后出现于西方国家的马克思主义理论或流派,这种用法导致了一系列无法解决的逻辑矛盾。     

飞白的逻辑理据

飞白的逻辑基础表现在以下几个方面:飞白产生的客观现实基础;误体和本体在字形、字音、字义上既有相似点又有相异点是飞白产生的重要基础;在逻辑形式上,飞白利用概念在音、义、形式上的不相容而使用者却把它们完全等同的反差,来达到修辞效果;飞白通过故意援用或照录别人的错误达到修辞效果;语言具有任意性和约定俗成性。     

浅析科学哲学的基本问题

从广义上说，对科学的哲学反思就是科学哲学。科学哲学传统上考虑的一个中心问题是规范地评价那些被认为具有“科学的”身份的理论．“划界问题”就是这个中心问题的一个核心。所谓“划界问题”，就是如何找到一个标准．是我们能够区别什么是科学、什么是非科学、什么是伪科学。为了从一般意义上了解划界问题．首先介绍一下科学哲学主要流派的基本看法：