《思维论》要点

在思维的结果中，映象必须和对应存在相同一而不能不同一。或者说，在认识的结果上，思想必须和存在相同一，而不能和存在相矛盾。这就是反映同一律的基本涵义。在思维过程中，映象和对应存在不同一是不可避免的，只能要求这种不同一少一些，最好是少到最低限度，     

试论批判性思维与逻辑的关系

“批判性思维”一词已成为当今教育界一个十分时髦的术语。心理学家、教育学家、哲学家都在讨论批判性思维。但是,什么是批判性思维?其逻辑基础是什么呢?我们认为,目前学界对此的认识有待进一步澄清。在逻辑学界,批判性思维已成为当前逻辑学教学改革和发展的一种重要方向。有学者认为,批判性思维与非形式逻辑有着密不可分的联系,甚至有人认为批判性思维与非形式逻辑两者可以不加区别交互使用。该文首先考察了心理学家、教育学家和哲学家们分别给出的批判性思维的定义,然后分析批判性思维与非形式逻辑、形式逻辑之间的相互联系与区别,进而认为形式逻辑和非形式逻辑共同构成了批判性思维的逻辑基础。     

什么叫有区别的人类学?——关于卡尔·雅斯贝尔斯哲学逻辑学的三个命题

1932年发表三卷本《哲学》之后,雅斯贝尔斯便着手阐明哲学逻辑学。他的鸿篇巨著《论真理:哲学逻辑学第一卷》(1947)不单单是知性逻辑学,而是现实生存的人的全部逻辑学。这部作品从对"时代的真理"的简要反思入手:真理不是占有,而是道路。真理"生成于思维与生活的相互交融中"。在真理之路上,人想成为他自身,他把这个永恒的、远离现实的思维经验为一种违反其本性的东西。因为思维的真理性仅仅在于"它发生在时代中,并且与生活本身的历史现实性固结在一起"。对这一哲学逻辑学,雅斯贝尔斯时而称之为"基本思想"、"基本知识"、"第一哲学",时而称之为大全样式的哲学或者用其自创的术语称之为"大全论"(Periechontologie)。对于他来说,大全论这一基本思想是不可缺少的,因为它说明了真正的哲学思维的意义:人类正是通过参与大全存在,亦即通过参与出于起源的生活而走向人类自身。在此,他追踪一种三个层次的工作概念:第一层次对逻辑学史的分离过程进行描述;第二层次对这一过程进行概要性地综合;第三层次对理论的、意识形态的和科学个别定理进行批判。雅斯贝尔斯哲学逻辑学的核心思想是"大全论",即大全诸样式的学说。雅斯贝尔斯率先把人格发展这一动态过程加以主题化,从而使业已丧失殆尽的一种有区别的德国哲学重新归于生效。根据雅斯贝尔斯的观点,理性属于人格发展的动态方面,它与归入合理层面的知性截然相反。理性是共同的生活和追求统一的意志,它把不同的现实层面和心理基本功能联合在一起。在此意义上,理性不仅是哲学逻辑学的源泉,也是人类哲学思维的共同背景和本原。     

以生命把握生命——狄尔泰哲学方法论初探

为了以某种恰当的方式来把握作为活生生之流的生命,狄尔泰先后提出了描述心理学和解释学的方法.这两种方法对于后来及同时代的一些哲学家,尤其是生命哲学家和以胡塞尔、海德格尔为代表的现象学家,产生了重要影响,并为西方哲学的发展作出了重要贡献.然而,他的方法论也不可避免地存在着某些缺陷.这表现在:首先,他对生命哲学的理解最终还是以生物学和生理学为基础的描述心理学;其次,他对概念性表达的倚重,使他脱离了他自己所发现的历史性生命体验自身的表达;另外,他以一种"后退运动"为前提,故而他只能在记忆中反思地理解已是活生生的生命体验之流,并将这一僵死的结果客体化.虽然,这些缺陷自20世纪初就一直遭到了很多哲学家的批评,但是,如果站在我们今天的立场上来重新审视狄尔泰对生命哲学的贡献与缺失,就会发现其仍然有着不可低估的意义与价值.     

论认识形成过程的思维机制

人类理性认识的形成从表面上看，是人脑各种思维形式协同活动的产物，而人脑思维能够产生理性认识，从广义上来说，主要是思维训练效果的反映。因为人脑总体神经元减去用于驱体功能部位后，尚有巨大的待开发的神经元，而且天赋遗传素质仅提供思维和智力发展的可能性，     

《逻辑学研究》征稿启事

《逻辑学研究》是中山大学和中国逻辑学会主办,由教育部高等院校人文社会科学重点研究基地中山大学逻辑与认知研究所承办的学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究水平,增进海内外逻辑学及相关领域学术同行的交流。《逻辑学研究》是当前我国在逻辑学领域内唯一正式出版的专业刊物,采用中英双语发表论文。《逻辑学研究》目前为季刊,逢每季度第三个月的18日出版。自2011年起,中英文分开隔期出版。《逻辑学研究》征稿的内容将主要包括下述方向：符号逻辑、非形式逻辑、逻辑与哲学、逻辑与认知、逻辑与语言、逻辑与文化等。《逻辑学研究》不但欢迎原创的高水平的逻辑学研究论文,而且提倡逻辑学与其它学科的交往互动;不但主张对逻辑学的各传统基本领域如数理逻辑、数学基础、逻辑哲学、     

试论中医学权变诊疗思想与方法

"权不离经","行经必假之以权"的权变思想,是中国古代哲学的重要组成部分.整体、动态地认识事物,注重相关事物的联系及相互作用,注重事物发展过程中的多因素复杂性,及由此带来的不确定性,是权变方法论的核心内容.随着现代科学地发展,事物的"整体性"、"不确定性"正逐渐被人们所认识.权变理论与方法有了更广阔的应用空间,而现代科学的发展也进一步充实了权变方法论的内容.中医学受中国古代哲学的影响,其整体、宏观、动态的辨证思维特点,成为临证权变的重要基础."权变"是相对于人们的既有经验和思维定势而言,是对临床诊疗的更高要求.     

论沈括的科学方法论思想

本文以沈括《梦溪笔谈》为基本材料 ,通过对他主要科学成就的分析 ,认为他的科学成就的取得与他科学方法论思想密切相关 ,为此 ,论文总结和归纳出他科学方法论中的三大主要方法 :观察方法、类比推理方法和怀疑方法 ,并简要论述了这些方法的基本内涵及其在沈括科学研究中的作用     

《逻辑学研究》征稿启事

《逻辑学研究》是中山大学和中国逻辑学会主办,由教育部高等院校人文社会科学重点研究基地中山大学逻辑与认知研究所承办的学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究水平,增进海内外逻辑学及相关领域学术同行的交流。《逻辑学研究》是当前我国在逻辑学领域内唯一正式出版的专业刊物,采用中英双语发表论文。《逻辑学研究》目前为季刊,逢每季度第三个月的18日出版。自2011年起,中英文分开隔期出版。《逻辑学研究》征稿的内容将主要包括下述方向：符号逻辑、非形式逻辑、逻辑与哲学、逻辑与认知、逻辑与语言、逻辑与文化等。《逻辑学研究》不但欢迎原创的高水平的逻辑学研究论文,而且提倡逻辑学与其它学科的交往互动;不但主张对逻辑学的各传统基本领域如数理逻辑、数学基础、逻辑哲学、中外逻辑史等展开深入研究;也欢迎对哲学逻辑各分支的探究,以及有关人工智能逻辑、归纳逻辑、语言逻辑、非形式逻辑等各方面的工作。不但关注逻辑学在认知科学、数学、计算机科学、法律推理、决策理论等相关学科中的应用;也探究逻辑学与认识论、语言和心灵哲学、符号学等领域的沟通,同时还欢迎对逻辑学与思维方式、逻辑与文化及社会的关系等方面具有真知灼见的思考。     

马希文的逻辑学思想

概括总结了马希文教授主要的逻辑学思想,主要涉及"知道"模态逻辑的建构,并对其逻辑学思想所蕴含的鲜明特色进行了评价。     

On Argumentation Logic and Propositional Logic

This paper studies the relationship between Argumentation Logic (AL), a recently defined logic based on the study of argumentation in AI, and classical Propositional Logic (PL). In particular, it shows that AL and PL are logically equivalent in that they have the same entailment relation from any given classically consistent theory. This equivalence follows from a correspondence between the non-acceptability of (arguments for) sentences in AL and Natural Deduction (ND) proofs of the complement of these sentences. The proof of this equivalence uses a restricted form of ND proofs, where hypotheses in the application of the Reductio of Absurdum inference rule are required to be “relevant” to the absurdity derived in the rule. The paper also discusses how the argumentative re-interpretation of PL could help control the application of ex-falso quodlibet in the presence of inconsistencies.     

On Heidegger on Logic

Continental Philosophy Review - This paper interprets Heidegger's frequently misunderstood criticisms of logic by presenting them in their historical context. To this end, it surveys the state...     

On an Intuitionistic Modal Logic

In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also a means of modelling proofs as well as provability.     

On Amalgamation in Algebras of Logic

We show that not all epimorphisms are surjective in certain classes of infinite dimensional cylindric algebras, Pinter's substitution algebras and Halmos' quasipolyadic algebras with and without equality. It follows that these classes fail to have the strong amalgamation property. This answers a question in [3] and a question of Pigozzi in his landmark paper on amalgamation [9]. The cylindric case was first proved by Judit Madarasz [7]. The proof presented herein is substantially different. By a result of Németi, our result implies that the Beth-definability Theorem fails for certain expansions of first order logic     

论模态逻辑的集合论语义

引入非良基集合可以为模态逻辑提供一种新的语义学。这种语义是在集合上解释模态语言,使用集合中作为元素的集合之间的属于关系解释模态词,并在集合中采用命题变元作为本元,从而解释原子命题的真假。在这种新的语义下,从模型构造的角度看可以引入几种非标准的集合运算：不交并、生成子集合、p-态射、树展开等等,证明模态公式在这些运算下的保持或不变结果。利用这些结果还可以证明一些集合类不是模态可定义的。     

On Sahlqvist Formulas in Relevant Logic

This paper defines a Sahlqvist fragment for relevant logic and establishes that each class of frames in the Routley-Meyer semantics which is definable by a Sahlqvist formula is also elementary, that is, it coincides with the class of structures satisfying a given first order property calculable by a Sahlqvist-van Benthem algorithm. Furthermore, we show that some classes of Routley-Meyer frames definable by a relevant formula are not elementary.