传统逻辑符号与一阶逻辑演算基本符号的差别

传统逻辑是从逻辑学发展的时间历程上划分出来的形式逻辑理论,和现代逻 辑是相对立的,指由古希腊亚里士多德创立并由后人加以发展的以三段论推理为 主要内容的演绎逻辑、17世纪英国弗·培根创立并由穆尔发展的古典归纳逻辑以及18世纪英国德摩根创立的关系逻辑,此外,还包括早期模态逻辑和一些简单逻辑方法,到19世纪基本形成了理论体系,又称古典逻辑。由于受到17世纪萌芽的数理逻辑的影响,虽然以自然语言为研究对象,但也引入了一些数理逻辑符号,发展到今天,传统逻辑所运用的符号主要有:甲:概念符号S、P……;概念符号a、b、c……。乙:判断符号…     

论规范的评价论机制

文章认为，如果说概念、判断和推理是认知活动中主体反映客体的主要思维形式，那么规范、价值判断和评价推理就是评价活动中主体反映价值的主要思维形式。这里，价值判断是规范的展开；价值判断的庆开则构成评价推理。因此，规范是评价活动中的“逻辑细胞”，是评价思维形式中最基本的范畴。规范具有与一般的概念相同的属性，即具有认知功能，但它更具有不同于一般概念的特殊属性，并且，规范与规则还有原本和派生涵义之分；规范是社会基本价值观念的凝结；规范在整合价值信息中发挥着自己的特殊作用；规范体系构成主体的评价结构，而主体的评价结构所体现的基本观点则构成了主体世界观的重要方面。     

文学批评的概念思维与模型思维

<正> 词语和概念思维形式就是思维活动借以完成的物质外壳,如概念、判断、推理、论证和模型等等。概念是事物的一般属性和本质特征的反映,是人类最基本的思维形式,人类思维的过程通常表现为从已知概念出发,到认识此前的未知概念为止,在这个过程中始终不能离开概念。可以这样说,整个思维过程就是概念的演展过程,判断是概念的扩展,而推理是概念的再扩展,即推理的扩展。同时,概念又是思维成果的凝结体,一切科学都可     

试论法律推理中逻辑判断和价值判断的关系

逻辑判断与价值判断始终共存于法律推理之中.常态下,法律推理应以逻辑判断为准据,价值判断隐身于逻辑判断之中.随着社会价值观念的变迁及社会结构的变化,当民意对于一些案件的裁决结果不予支持或者法官认为完全不考虑价值判断会使裁决结果的公正性受到质疑时,应在逻辑判断决定法律推理"质"的规定性的基础上,赋予价值判断对于案件的裁决结果施与"量"的影响力.只有在极特殊的情况下,才可以价值判断进行法律推理,即对于刑事案件,应该是在战争情况下对战犯的审理等情况下适用;而对于民事案件,也只有那些经过历史检验、社会共同体广泛认可且以先验的维护人权的观念为论证起点的价值理念.才能成为法律推理中价值判断的根本准据.     

试论类比推理的逻辑结构与认识功能

类比推理是一种什么类型的推理?它能不能与归纳推理、演绎推理鼎足而立?它有哪些主要形式?它的一般结构式是什么?这些问题,本文认为有深入探讨的必要。因为对这些问题的回答,逻辑学界至今未取得一致的意见;同时,搞清这些问一题,才能充分认识中国古典逻辑在世界逻辑史上的特殊贡献,认识类比推理在现代科学技术研究中的新工具作用。 类比推理是从具体到具体的推理 类比推理是一种什么类型的推理?在这个问题上,逻辑学界有两种对立的观点:一种认为它与归纳、演绎推理具有同一推理模式,一种认为它是不同于归纳、演绎推理的独立的推理形式。 主张…     

数理逻辑在逻辑理论与方法上的新发展

本文从数理逻辑与传统逻辑的比较研究中,论述了数理逻辑是传统逻辑在现代的发展,数理逻辑优越于传统逻辑的基本特征,以及数理逻辑与传统逻辑在命题内部成分、推理理论及其判定方法、元逻辑研究等方面的区别,进而论述数理逻辑在逻辑理论与方法上的新发展。     

关于思维的类型与殊型

定义与界说 1.我将思维定义为发生在智能生物的大脑中,由脑固有的内部语言传递的拓扑结构、逻辑结构与逻辑体系的合成与变换,并可以和人类创造的形式化符号在后者表达非自我相关的问题时同构。 用“智能生物”有三层含义。一是为了给天外文明留下余地;二是承认克勒、珍妮·古多尔、加德纳等人研究的黑猩猩具有智能;三是将思维限定为生物的一种能力,人工智能不在其列。 大脑使用内部语言进行信息传递,“意识处于内部语言与外部语言的界面上”①。因此,思维必然可以在一定的范围内由它自己发明的符号体系(自然语言、数学、逻辑符号,等等)等效…     

对突破现有形式逻辑某些狭窄框框的探索

概念是形式逻辑的基础。对概念的研究,不但要研究概念的内涵,更要研究概念的外延,特别是概念之间的外延关系。然而,现在形式逻辑对特称判断主词的研究(也包括肯定判断的宾词)所涉及的量的规定和处理是脱离实际的。如果要解决这方面问题,势必要对现有形式逻辑中关于特称判断的规定、判断里概念周延问题、判断变形推理、判断间对当关系及三段论规则等传统理论作部分补充和修正。本文仅就这方面问题作些初步探讨。     

论公理和定律的两重性

公理和定律具有两重性,是指可以给它们做出形式化定义和操作定义。形式化定义表达公理和定律的确实性和逻辑必然性,即真理性;但不含经验有效性,不能成为经验假说。操作定义是通过经验语言并借助于物质手段做出的,它使公理和定律成为经验假说。形式化定义的特征是由逻辑符号所决定的;操作定义的特征是由经验语言所决定的。逻辑符号代表的是抽象观念,经验语言代表的是综合观念。抽象观念与综合观念从各自的性质、观念与客体的关系、观念的作用、下定义的方法以及两种命题的角度来说,二者都有着各自的本质和差别。从大脑活动的心理机制来看,抽象观念和综合观念的产生是由于大脑具有抽象和综合两种基本功能。通过对公理和定律的两重性的分析,就能更深入地说明逻辑符号和数学、物理学中普遍命题是如何产生的。     

塔斯基的真理论

塔斯基是美籍波兰大逻辑学家,他的真理理论由他对真理概念的精确分析组成,其主题是运用现代逻辑方法为真理概念作出一个实质上适当的、形式上正确的定义。本文就塔斯基真理论的目标、结构、意义、发展等作了述评。     

关于回溯推理的几个问题

回潮推理是一种被广泛运用的或然性推理，司法实践中人们也经常用到它。近些年来，回潮推理受到国内法律逻辑学界的重视，许多论著对这种推理的一些问题做了探讨。但目前这方面的研究尚不深入，在一些问题上亦未取得共识。为推动这方面的研究，本文拟对这种推理的形式、推论根据、逻辑性质和定义等基本问题做些较为深入的讨论L从广泛的意义上说，回潮推理涉及一般方法论问题，但本文仪讨论与司法实践中对这种推理的运用相关的一些一般性问题。一、关于回潮推理的形式国内法律逻辑论著在谈到回潮推理时，一般认为，回溯推理是由结果追溯原因…     

思议与觉解

思议与觉解陈战国按照康德的说法，人的认识有三种形式：感性、知性和理性。感性指感觉、知觉及时空直观，知性指理知、理解及逻辑判断，理性指在知性概念基础上所进行的三段式推理。感性产生经验，知性决定科学，理性则产生形上学。按照另外一些哲学家的说法，人的认识形...     

内部证成与外部证成的区分

内部证成与外部证成的区分,构成了当今法律论证的一个重要理论基础.传统法律论证模式关注于推理形式及其规则的研究,而对推理的前提关注不够.而内部证成与外部证成的区分,显示了法学家们将法律论证过程清晰化与精制化的理论努力.国内学界近年来也开始重视这一区分.无论是内部证成还是外部证成,均通过对更为精致的推理结构和过程的探求,来使法律决定或判断正当化.     

从判断真值理论看“逻辑矛盾”的本质

从判断真值理论看“逻辑矛盾”的本质张文祥１可以认为，抽象思维是应用概念，作出命题，进行推理（以至阐释）的过程。概念是在社会交际中，由语词表达的思维结果和进一步思维的工具，它具有内涵抽象性和外延概括性。命题是由语句表达的、有特定对象的、多层次应用概念的...     

"家族理性"与家族企业治理的几个问题

"家族理性"是以家族及其事业的整体荣誉、整体利益最大化和稳定发展为最高价值取向而支配人去思考、推理、判断、行事的心理认知结构。家族理性与个人理性、集体理性不同,是基于传统文化背景对个人理性的超越。中国社会家族企业治理中所存在的问题,如产权问题、信用问题、治理结构等,运用家族理性的概念和理论能够得到合理的解释。     

A Formal System for the Illocutionary Force and Its Applications in Al

本文以John R.塞尔和D.范德维克关于语用逻辑的研究工作为基础,构造了命题的语用逻辑的形式公理系统PF,证明了PF的三类定理:关于语用行为的定理、关于条件的语用行为的定理以及关于语用力量的定理。作者还构造了PF的语义模型,给出了系统的语义解释,并证明了系统的可靠性、一致性和完全性。本文以语用逻辑的方法,分析了人工智能语言PROLOC的语法和语义,以及语用逻辑在学习策略中的应用。最后讨论了语用逻辑的形式化和语言逻辑在认知科学中的应用等问题。作者的工作是继乔姆斯基的形式语法学、蒙太格的形式语义学之后,对语用学的基础理论语用逻辑的形式化研究所做的尝试。     

初探数学建模在初中数学的应用

所谓数学模型，就是根据特定的研究目的，采用形式化的数学语言，去抽象地概括所研究对象的主要特征及其关系所形成的一种数学结构。在初中数学中，用字母、数字及其他数学符号建立起来的代数式、方程、函数、不等式，及各种图表、图形等都是数学模型。数学模型结构有两个主要特点：其一，它是经过抽象出对象的一些非本质属性以后所形成的一种纯数学关系结构。其二，这种结构是借助数学符号来表示，并能进行数学推演的结构。数学模型思想作为建立数学与外部世界的联系，是学生必须要掌握的基本数学思想之一。     

提高逻辑思维效率之我见

逻辑思维通过概念.判断和推理等形式反映客观世界,成为人们认识和改造自然界、人类社会等活动的必备条件。因此,所谓“逻辑思维效率”就是指人们在进行思维活动的过程中,所运用的逻辑规律、规则以及各种逻辑形式、方法与收到的思维效果之间的比率。大量事实表明,由于人们所接触到的社会实践的广度和深度不同,在思维方面所受到的教育、训练程度也存在着差异,因此,在各种思维活动中起主导作用的逻辑思维就会呈现出效率上的高低之别,进而对于人们的认识活动和实践活动产生不同的影响。高效率的逻辑思维能够加速完成对客观对象的本质及规律的认…     

论意象思维

一、传统思维理论的困境在人们的传统观念中，思维就是抽象的概念和命题在头脑中运动、演变的过程。人们惯常理解的思维，是相对于感性认识而言的理性认识及其过程，是对客观事物的间接的概括的反映。思维的过程就是人们运用概念进行判断和推理的过程。按着这个观念理解的思维的主要特点是概括性、间接性和符号性。思维活动的对象是大干世界的万事万物，它具有具体可感的形象性。人脑对事物的形象的认识和反映，被称为感性认识，这种认识活动被学者们排斥于思维活动之外。学者们认为思维撇开感性认识中事物个别的、次要的、具体的特征，把握…     

The Cultural Relativity of Logic： From the Viewpoint of Ethnography and Historiography

广义论证概念扩大了逻辑家族成员,使之包括现代文化之外其他文化的逻辑,对阿赞得（Azande）人的田野考察报告,以及中国古代逻辑和佛学逻辑的研究成果,从描述的角度为“逻辑相对于文化”这一命题提供事实根据;采用演绎论证作为元方法说明现代文化中的逻辑和其他文化的逻辑在现代文化中的译本具有文化相对性;借助民族志和历史学研究成果说明其他文化的逻辑本身也具有的文化相对性;通过语言博弈和生活形式概念说明作为元方法的演绎论证同样具有文化相对性。