“非形式逻辑”的概念及其义理

非形式逻辑实际是一种论证的逻辑或论证的哲学或理论。它是大学逻辑课程回应现实生活需求而产生的。对非形式逻辑的对象和性质存在不同的理解，甚至反对。尽管非形式逻辑仍在主流哲学的视野之外，但它从非正统逻辑观对一系列论证问题的审视是值得重视的。     

非形式逻辑及其早期历史发展

"非形式逻辑"作为逻辑的子领域,最初出现于1970至1980年代的美国和加拿大,本文意在回顾非形式逻辑发展的早期历史进程.本文假定,当我们从历史的角度来考察时,非形式逻辑的本质能够得以阐明.因此,我将以观念史领域的评论作为出发点.之所以不从理论的要素谈起并把历史留给历史学家,其中一个理由在于"非形式逻辑"这个词并不指示一个理论.非形式逻辑部分地可看作是某个思潮,部分地可当作一种论证研究进路,部分地涉及到对逻辑之本质的看法,这些都可以通过考察非形式逻辑的发展史来加以理解.本文的第一部分追溯了非形式逻辑的兴起,概括了其思想史和社会史,并评述了其早期发展中的主要人物、教科书,以及主要的论旨及其社会化.第二部分简要描述了<逻辑的自我辩护>这本教科书中的一些革新.第三部分简要涉及非形式逻辑与其它领域的早期互动.     

推类视角下的连珠体研究

作为一种独具特色的,兼具演绎与归纳的逻辑论证说理的言说方式,连珠一直没有得到足够的重视,但是它原初的形式对我们研究语言逻辑,辩证逻辑以及非形式逻辑有很大的启发。连珠可以说是中国逻辑史上学者们进行的一种具有汉语特色的思维形式化的探索,它作为一种论证形式与三段论所产生的目的不同,关注点自然也不同。     

罗蒂自由主义思想中的非普遍主义转向

与当代许多自由主义者仍坚持一种普遍主义路线为自由主义提供正当性论证不同,罗蒂试图用重新描述的方法来为自由主义提供一种非普遍主义的辩护。在这种非普遍主义转向中,他首先对西方近代以来逐渐出现和发展起来的自由民主社会进行了一种历史主义的重新描述,以消解以往自由主义理论强加给它的普遍主义根基,然后又倡导了一种反讽主义文化,以让他的非普遍主义的自由主义立场成为可能。罗蒂的立场虽然也遭到了不少质疑和批评,但他的努力让我们对当代自由主义理论的困境和局限有了更加清楚的认识,也提醒着我们应该从更宽的视野来反思政治哲学的作用及方式问题。     

“概念的双重作用”与逻辑理论的证成——对冯契理论的一点引申与应用

冯契认为,一切概念都有摹写现实与规范现实的双重作用,逻辑原则也体现着后验性与先验性的统一.在逻辑理论的证成问题上,"概念的双重作用"要求逻辑理论的建构必须坚持后验性与先验性的统一.有见于现代逻辑论证理论的普遍主义、先验主义倾向,非形式逻辑试图从后验性与先验性、普遍性与情境性的统一中去证成自身.     

论证的形式模型概述及其在哲学上的应用

论证是一个用理由支持观点以及回应其所受攻击的过程.在过去的几十年里,论证已经成为哲学和人工智能研究领域中的一个重要主题.在哲学方面,十九世纪50年代和60年代图尔敏和佩雷尔曼对形式逻辑的批判,促进了非形式逻辑这一学科的产生,它研究推理和论证的非形式模型.在人工智能方面,论证的形式模型也发展成为常识推理和多主体冲突解决的基本模型.本文将讨论后一领域中所研究发展的形式模型如何能够用以澄清一些哲学领域、以及非形式逻辑领域中的理论问题和争议.本文的一个重要观点是,图尔敏和佩雷尔曼时代的形式逻辑只关注数学化的推理,但那些非数学化的推理形式其实同样也能够被形式化.     

简论佛教逻辑论式的性质

关于佛教逻辑的论式,学者们历来有不同的理解,有的认为其性质是演绎,有的认为其性质是归纳,也有的认为是类比。其实,应该从论辩或者论证的角度来看待佛教逻辑的论式性质,而不能只从推理的角度去看待佛教逻辑的论式性质。从非形式逻辑的角度看,佛教逻辑论式是一个论辩的程式;佛教逻辑论式是一个论证式,而不是推理式;佛教逻辑论式带有明显的心理因素,是"实践的论证"。     

非形式逻辑之理论创新研究

非形式逻辑作为新的逻辑分支,是应对形式演绎逻辑在分析和评价自然语言论证的局限性、要求逻辑更加关注论证的语用维度的产物,又是与要求逻辑更加关注生活世界有关。非形式逻辑提出了论证分析和论证评价的新理论,推动了逻辑学的进一步发展。     

演绎逻辑与创新思维

二十世纪六七十年代,西方学界掀起了一场“非形式逻辑和批判思维运动”,这场运动在九十年代开始波及我国,近年来更是愈加兴盛。由于演绎逻辑特别强调推理过程的规范性和结果的必然性,因而成为非形式逻辑和批判性思维以及思维创造性反思的焦点,一种误视与错解演绎逻辑的倾向正在逐渐凝成:演绎逻辑只是依据严格的逻辑规则进行纯形式推理,是维护“教条”的工具;演绎逻辑的前提已蕴涵了结论,只能担负起“检验”知识的功能,不能进行思维创新;演绎逻辑追求的是必然性,不适用于非形式逻辑或批判性思维所关注的日常论证等等。在这种氛围下,于是有人…     

谈逻辑中的哲学问题

逻辑哲学中精彩的问题是复杂而又困难的,对真理理论、论证的有效性、悖论问题等经典的逻辑哲学问题的各种理论进行简要的论述,并加以分析,目的在于帮助那些掌握了初等形式逻辑的学生去读懂一些逻辑哲学知识。     

因果陈述句逻辑系统

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

Managing uncertainty in the real world

In Part 1 of this article we understood the idea of a fuzzy set. We also reviewed simple operations such as fuzzy set intersection, union, and complementation, and related these to geometry. In Part 2, we extend the idea of fuzzy sets to explain how we may develop systems that reason with fuzzy sets using fuzzy logic. The idea of extending fuzzy logic to fuzzy engineering and fuzzy function approximation is explored with a working example. It is hoped that readers will be provided with enough motivation to appreciate the use of fuzzy set theory for real world applications.     

从教学实践看高师院校文科逻辑学教学改革

从长期教学实践中总结得出,逻辑学教学改革的焦点就是教学内容问题,也就是在教学中如何处理传统逻辑和现代逻辑的关系问题。普通高师院校文科逻辑教学的内容应该是和人们实际使用的自然语言紧密结合的逻辑教学体系,高师院校逻辑课要重视逻辑应用的教学。     

西方逻辑与传统文化在教育中的碰撞

物理课程标准明确提出“从生活走向物理,从物理走向社会”的基本理念,新课程不再是单一的、理论化的、体系化的书本知识,而是向学生呈现人类群体的生活经验,并把它们纳入到学生生活世界中加以组织建构”。但不能否认,寻逻辑之名起于欧洲,虽逻辑之理存乎天壤,但现用的理科逻辑对国人来说终究是拿来主义。西方逻辑与中国传统丈化生活有冲突也有联系,本文试图通过对该问题在教育生活中的讨论,探讨怎样使理科的蕴含逻辑更好地融入学生生活,以期用优质的教育促进学生的发展,促进中国文化的发展。     

一种实用的基于模式的设计重现方法

提出了一种实用的方法来扩大可重现模式的范围和提高模式重现的精度. 为了对设计模式的结构及行为2方面进行刻画, 本文将传统的谓词逻辑与Allen的基于时段的时态逻辑相结合作为理论基础,并以Visitor模式为例说明了如何采用该方法刻画和重现结构型之外的其他设计模式. 实验结果表明该方法和工具可以有效地重现真实环境中软件系统的设计信息.     

"语词意义"在经济活动中的应用研究

逻辑是正确思维的工具。但是，如何使这个工具的应用价值体现出来，似乎较少有人去真正关心。本文从逻辑语义学角度去研究语词的意义及其在经济活动中的具体应用，特别突出了如何运用这方面的逻辑知识去进行批判性思考，用事实说明：即使非常简单的一个逻辑知识，其应用价值都是需要努力去发掘的。如果要使逻辑成为真正改善人们思维的工具，那么，任何轻视逻辑应用研究的态度和观点都是应抛弃的。     

道义悖论研究

道义逻辑是逻辑学发展的新分支,道义悖论也因此成为一个全新的研究领域。四种重要的道义悖论并不是严格意义上的逻辑悖论。其中影响最大的悖论是齐硕姆悖论,它主要涉及到如何可靠地表达条件义务的问题,因此,要想可靠地表达条件义务,必须建立二元道义系统。     

Guiding reinvention of conventional tools of mathematical logic: students’ reasoning about mathematical disjunctions

Motivated by the observation that formal logic answers questions students have not yet asked, we conducted exploratory teaching experiments with undergraduate students intended to guide their reinvention of truth-functional definitions for basic logical connectives. We intend to reframe the relationship between reasoning and logic by showing how logic emerges within students’ mathematical activity. This activity entails reflecting on and systematizing their own language use across diverse semantic content. We present categories of students’ untrained strategies for assessing the truth-values for mathematical disjunctions. Students’ initial reasoning heavily reflected content-specific and pragmatic factors in ways inconsistent with the norms and conventions of mathematical logic. Despite this, all student groups reinvented the standard truth-functional definition for simple disjunctions. We demonstrate how this learning depended upon particular forms of reasoning about logic. We also contrast various strategies for assessing quantified disjunctions and their different affordances in students’ mathematical activity.     

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

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

电动机正反转Y-△起动程序设计与仿真

这是一个用可编程控制器（PLC）来控制三相交流异步电动机进行正反转Y-△降压起动的教学实例。从控制要求出发,详细地介绍了I/O分配接线图、电动机主电路图、PLC程序设计的原理及梯形图逻辑测试等内容。通过这个教学实例,学生不仅能了解到怎样用PLC程序来满足用户所提出的控制要求,还能自己动手用仿真软件所具有的梯形图逻辑测试功能来对自己所设计的程序进行梯形图逻辑测试（仿真）。在通过了测试以后,学生还能根据I/O分配接线图和电动机主电路图,练习实际的接线和调试。