逻辑推理的基本方法范文

【关键词】逻辑逻辑方法中医

任何一种理论要正确反映客观事物，并将反映的内容准确地表述出来，就必须使思维遵循一定的逻辑规律。中医理论之所以能在一定程度上正确地反映自然、人体和疾病的本质和规律，就是因为中医思维遵循了一定的逻辑规律。虽然中医没有明确提出逻辑的概念，但却一直在不自觉地运用着逻辑的思维方法，遍及中医理论体系、中医经典著作以及中医教学等各个方面。因关于逻辑方法的研究尚处于起步阶段，故笔者搜集近十年文献，作一综述，以期对广大中医工作者的学习和研究提供思路。

1中医理论体系中逻辑方法的应用

吴永贵等［1］认为中医学科学发现和理论构建的逻辑方法，既有通过归纳法发现一般原理，建立理论体系，也有通过类比、想象、提出假设、逐步验证而形成理论；认为中医学逻辑方法的基本特征是：①多向性和多面性一体的特征；②辨证思维的特征。任秀玲［2］认为古医家运用中国先秦逻辑的“应因之术”建构了中医理论体系。“应之道”指导中医学认识和发现生命运动的客观规律，构筑了生理之应、病理之应和天人之应的理论框架。同时作者认为“应因之术”是以客观事物的实(实体)与形(形象、征迹)为基础，提出的解决名实如何一致、相符的逻辑方法。

刘喆［3］认为类比推理方法贯穿于经络学说的形成过程及其应用。认为脉、经、络的提出，是以类比法为依据的。在经络生理方面，类比推理方法被用于说明阐释其功能作用。文末作者综合地评价了类比法的应用价值，认为类比法在经络学说的形成和发展中，一方面给予医家们在理论创新上以重要的指导作用，使经络理论的产生、发展和完善获得了形象的基础，促进了它的形成。

另一方面，它又阻碍了经络学说的深入研究，使经络的认识停留于表象。高京宏等［4］通过分析历代医家对体质从现象分类到本质分类的认识过程，从初步的现象分类、进一步的归纳分类和深入的本质分类三方面对中医体质理论中的逻辑思想作了简要论述。

邢玉瑞等［5］认为类比思维是中医学广泛使用的逻辑思维形式，属于中国传统文化的范畴。它与形式逻辑学中的类比法并不完全等同，有其显著的特征与重要的价值。探讨了类比思维的概念、推理形式及特点。认为类比思维是指古人受天人合一理念的影响，在对自然界观察的基础上，将具有相似或相同特征(即象)的事物划为类，并在类的基础之上进行比较、推导，确定不同类间的联系，使知识在不同类间迁移的一种思维方式。其在中医理论体系中的运用称为中医类比思维；类比思维的基本形式分为比类、类推、比附3种；类比思维具有横向运动和联想性的特点。同时还论述了类比思维在建构藏象、经络理论，推论经脉气血运行与多少，阐述脏腑功能及阳气生理等方面的作用。孙雨来［6］认为中医对于治则、治法的确定，多是利用类比思维，取法自然之理，推入医学之中，成为医学之治则、治法。王志红［7］认为以五行为主线的类比法是中医学的主要逻辑方法之一。在五行类比的逻辑式中，其结构是：特殊-(五行)-特殊，五行是中介，借此中介过渡，才完成了由此及彼的类比推理。此外，中医学结合具体的医学理论及诊疗经验，借用五行相生、相克、相乘、相侮的理论类比说明人体的生理、病理，指导诊断及治疗，在这些类比的逻辑应用中，都是以五行作为中介而展开的。周唯［8］认为以辨证论治为主的中医诊疗活动是一种科学的、理性的实践活动，逻辑思维是其中普遍存在的思维现象。论述了逻辑思维方法的应用及特点。章新亮［9］认为中医作为传统医学，虽然是通过象形思维来认识事物，但同时中医之象注入了逻辑思维，由象而进入理性分析。即中医认识人体的方法是象形的逻辑思维方法。文中从3个方面进行阐述：①物象以形和意构造逻辑思维；②形和意相结合的辨证思维逻辑；③中医象形观的逻辑形式，其中分为归比逻辑和推理逻辑。卓同年等［10］认为中医历代以来之所以能够进行正确的诊断和施治，除了依据长期的经验效果之外，善于运用成熟的逻辑方法也是一个重要的原因。中医在长期的临床实践中，积极吸收了东西方各类逻辑思想并不断运用这些逻辑来指导临床实践的整个过程，逐渐形成了有自己特色的逻辑形态。从本质上说，中医的这些逻辑思想和方法是一种蕴含在各种具体问题之中的应用逻辑，是发展中医学的重要思维工具。鲁兆麟等［11］通过对近代名老中医医案的总结，指出其中运用的一般逻辑思维方法为分析、综合、归纳和演绎。临床中分析与综合常结合使用，归纳与演绎也常互用互补。

2《伤寒论》中逻辑方法的应用

陈宝明［12］认为《伤寒论》之所以能确立祖国医学完整的辨证论治体系，成为历代医家所推祟的不朽之作，正是由于张仲景掌握和运用了正确的思维逻辑方法，从而揭示了六经病证的内在规律。作者从四个方面进行了论述：①六经辨证的归纳演绎法。②六经辨证的分析综合法。③六经辨证的假说验证法。其中作者将假说验证法分为了病因的假说验证、诊断上的假说验证、六经病治疗的假说验证、六经病传变的假说验证以及六经病预后的假说验证五点。④六经病的比较分类法。陈瑞春［13］就《伤寒论》中常用的逻辑方法，如比较、分类、分析、综合、推理等方面做了简单的归纳整理。王历等［14］就《伤寒论》中常用的比较法、推理法、分析和综合法以及归纳法作了初步探讨。其中，比较法分为对举比较法和互参比较法；推理法分为判断推理法、排除推理法以及试探推理法。钟玲［15］认为《伤寒论》通过许多条文具体表述了诊断假说的建立和验证过程。如第56条，就体现了一个诊断假说建立和验证的3个步骤。

3《金匮要略》中逻辑方法的应用

宋建平［16］认为《金匮要略》中所涉及的科学逻辑思维方法有取类比象、分析与综合、归纳与演绎、抽象与具体等，而且这些逻辑方法在中医学中有着较广泛的运用，并举出《金匮要略》中相应的原文逐条进行了论述。赵力维［17］将《金匮要略》中所运用的比较、分析、综合和归纳等逻辑方法作了简要论述。文中指出《金匮》一书分别从症状、脉象、病机和治疗等方面进行了比较，并举出关于“异病同治”和“同病异治”的原文为例；对于分析和综合的应用，以《虚劳病篇》为例进行了阐述。

4《内经》中逻辑方法的应用

史新民［18］认为《内经》中的全息逻辑方法（全息思想：局部显现的信息是整体的信息的浓缩），以天人相应为基础，以生命活动的各层次系统为对象，运用阴阳、表里、寒热、虚实、动静、刚柔等范畴形成具有自我修补功能的公理系统，从而克服了用静止的概念把握运动的状态，用抽象的范畴把握具体生命活动的局限。特别是比类取象、司外揣内、比类别异、慧然独悟等方法的运用，极大地提高了中医的思维能力和认识水平，赋予《内经》以无限的生命力。作者从四个方面论述了《内经》全息逻辑方法的特点：①《内经》全息逻辑范畴的具象性；②全息逻辑范畴的对偶性；③全息逻辑的非线性因果思维；④全息逻辑体系的自我修补特点。董尚朴等［19］简要阐述了归纳、演绎、类比以及验证在《内经》中的体现。

5中医教学中逻辑方法的应用

邢玉瑞［20］从明晰概念、严密推理、辨证思维3个环节探讨了逻辑方法在中医教学中的应用情况：①概念的界定与匡正。中医教材对概念的正确定义重视不够，常有疏漏之处，如中医学两大特点之一的整体观念，《中医基础理论》中没有明确的定义；②推理方法的应用。中医学对阳气的生理功能、节律变化的认识，采用了类比的推理方法，如《素问·生气通天论》言：“阳气者，若天与日。”③辨证逻辑方法的应用。如反佐法是《内经》提出的组方配伍方法之一，是针对方剂的主要治疗作用与部位趋向，配伍一二味性质、作用相反的药物，以达到纠偏克弊，或顺应四时变化，治不违时的目的，具体应用可分为寒热反佐、升降反佐、开合反佐、动静反佐等，反映了中医辨证思维对立统一的特点。

6小结

通过大量文献的搜集和整理，发现对中医关于逻辑方面的研究还处于起步阶段，而其中逻辑方法的研究更是寥寥。透过此综述可以看出，逻辑方法的研究虽然遍及中医理论体系、中医经典著作以及中医教学等各个方面，但论述多是只言片语，没有系统地进行深入研究；或者只论述了个别逻辑方法，很不全面，存在诸多问题。逻辑学虽然对中医来讲是一个新概念，中医学没有具体讲述逻辑学的知识，然而中医学这个严密而完备的理论体系，却处处体现着逻辑学理念和方法的运用。中医经典著作作为中医的根基和灵魂，逻辑方法的运用更是不可或缺的工具。故加强中医领域内，尤其是经典著作的逻辑方法的研究，已成为新的突破口，同时也为广大中医人提高临床辨证的思维能力，加速自身思维的改造，进行理论创新提供了条件。

参考文献

［1］吴永贵，章涤凡.中医学的逻辑方法［J］.云南中医学院学报，2005，28(2):3.

［2］任秀玲.先秦逻辑的“应因之术”是形成中医理论体系的重要方法［J］.中国医药学报，1998，13(6):15

［3］刘喆.从类比逻辑方法看经络学说的起源与发展［J］.甘肃中医学院学报，1994，11(2):39.

［4］高京宏，龚海洋.中医体质学研究的逻辑思想浅释［J］.中医药学刊，2005，23(2):316，335.

［5］邢玉瑞.孙雨来类比思维与中医藏象学说的建构［J］.山东中医药大学学报，2002，26(6):414.

［6］孙雨来.类比思维在中医治则治法中的意义［J］.中医药学刊，2003，21(3):370.

［7］王志红.五行类比的逻辑结构［J］.云南中医学院学报，1996，19(4):23.

［8］周唯.辨证论治中的逻辑思维应用举隅［J］.山东中医药大学学报，2003，27(5):335.

［9］章新亮.中医象形观与逻辑思维浅探［J］.湖北中医杂志，2003，25(2):6.

［10］卓同年，谷培恒.论中医临床思维的逻辑方法及其运用［J］.新疆中医药，1999，17(2):1.

［11］鲁兆麟，杨蕙芝.近代名老中医临床思维方法，第1版［M］.北京:人民卫生出版社，1997:172.

［12］陈宝明.《伤寒论》六经证治思维逻辑方法初探［J］.大同医学专科学校学报，1999，19（4）:27.

［13］陈瑞春.陈瑞春论伤寒，第1版［M］.北京:中国中医药出版社，1996：28.

［14］王历，周纯杰.《伤寒论》的逻辑方法初探［J］.中医药学报，1988，16(3):18.

［15］钟玲.浅谈《伤寒论》中的几个医学逻辑问题［J］.陕西中医学院学报，1991，14(3):21.

［16］宋建平.《金匮要略》逻辑方法拾隅［J］.国医论坛，l991，6(6):10.

［17］赵力维.《金匮要略》几个逻辑方法举隅［J］.吉林中医药，1986，6(2):9.

［18］史新民.《内经》全息逻辑方法的内涵及其特点［J］.中医药学刊，2003，21(9):1543.

逻辑推理的基本方法范文

关键词：结构主义；现代逻辑学；结构；关系

关于数学与逻辑的关系问题，费雷格学派主张：“数学是逻辑学的一个分支”；布尔学派则认为：“逻辑学是数学的一个分支”[1]220。不争的事实则是：逻辑学与数学不能相互剥离，它们“血脉相连”、“生命相依”，二者“你中有我，我中有你”[1]220。从逻辑学和数学双重视域来看，形式化的现代逻辑学可以说是应用数学的一个分支，其高度抽象性和形式化特征决定了它像数学一样具有广泛的应用性。现代逻辑学的蓬勃发展，离不开对逻辑进行哲学反思。

逻辑哲学就是对逻辑进行哲学反思的科学。而数学哲学是数学的基础，“是研究数学的本体论、认识论和方法论以及其他问题的知识体系”，数学哲学研究的问题最后都会涉及到数学与逻辑的关系[2]15。虽然逻辑哲学与数学哲学在研究的论题、研究的视角、研究的侧重点和研究方式等方面都有所不同，但是由于逻辑(尤其是形式化的现代逻辑学)与数学具有如下共同特征：纯形式化特征、高度抽象性、极端精确性和严格性、广泛的应用性[2]15-16。这些共同特征以及数学和逻辑学常常具有一批共同或类似的课题，决定了逻辑哲学和数学哲学具有非常密切的关系。因此，从某种意义上说，对逻辑的哲学思考，很大程度上就是对数学的哲学思考。就像逻辑学与数学不能相互剥离一样，逻辑哲学和数学哲学其实也是很难剥离开来的。

20世纪以来，结构主义在数学哲学中占据着主导地位，那么结构主义是否在逻辑学中也有所反映呢？这正是本文要探讨的问题。

一结构主义的四大学派及其基本观点

19世纪，在微积分的算术化和集合论的建立基础上，逐步形成了数学基础的三大学派——逻辑主义、形式主义和直觉主义。逻辑实证主义者主张哲学唯一合法的研究领域是逻辑学，数学哲学则是研究数学语言的逻辑句法学和逻辑语义学[3]9。

20世纪初，哥德尔提出的不完全性定理说明，逻辑分析以存在建构自身作为参照，不然则会陷入无穷回归；而逻辑分析则是在集合论语言的基础上建构数学存在，这些观点蕴含了结构主义的思想[3]9。20世纪60年代，奎因认为，约束逻辑变元的取值其实就是存在，哲学本体论可以通过语言加以研究，利用语言可以研究存在，结构主义因而进行了数学哲学的范式转换。关系与其所依附的所有个体共同组成结构。根据结构所依附的个体的不同类型来看，数学结构主义主要包括四大学派：集合论结构主义[4]184-211[5]、先物(anterem)结构主义[4]188-198、范畴论结构主义[6][7]、模态结构主义[8]。

集合论结构主义使用模型论中熟知的方式，来描述数学结构及其相互关系。模态结构主义，不是通过对结构或位置进行字面上的量化，而是通过借助于适当的关系和定义域的(二阶)逻辑可能性，来满足经典公理系统的隐含定义条件[4]185。先物结构主义则主张：利用结构中的位置可以定义数学对象，数学对象的指称则要求结构与能够例示它们的任何系统是相互独立[9]；数学公式能够由相干公式来描述，而且这些相干公式能够由实际存在的先物结构来满足[10]。范畴论结构主义本质上是通过一系列结构保持映射，为数学结构提供系统概念，从而为数学作出哲学解释[7]。夏皮诺(Shapiro)认为，虽然这些学派有着明显的区别，但是，不论是从主流数学的目的来看，还是从某种更深层次的哲学意义来看，这几大学派其实是等价的。例如：处理哲学问题的一种方法与处理这种问题的其他方法，具有关联性，这种关联性可以通过系统间的自然转换来表达[4]184。这些学派通过语言的途径，把数学哲学引向了对意义和真理的探讨以及对数学对象的存在建构[3]10。

结构主义对数学存在的语言建构是建立在逻辑主义、形式主义和直觉主义这三大学派的研究基础之上的。这三大学派认为：结构主义可以利用语言框架来建构数学对象，这一点在模态结构主义和集合论结构主义中表现得尤为明显，这使得结构主义的本体论建构与作为数学基础的逻辑研究之间能够建立起密切的关系，从而为逻辑学与本体论之间搭建了沟通的桥梁[3]12。范畴论结构主义挣脱了逻辑语言的束缚，创立了崭新的本体论语言，在把语言纳入存在的内涵的同时，还把存在上升到了语言的境界，并通过集合论与逻辑语言保持紧密的联系，从而使得存在建构能够像逻辑建构那样成为严密的科学[3]13。

二现代逻辑学具有结构主义特征

形式主义是20世纪上半叶出现的一种数学哲学思潮，它是极端唯名论在数学中的具体体现。而形式化则是现代逻辑学最重要的研究方法。形式化过程一般包括：进行预备性研究、构造形式系统并对其进行解释、关于形式系统的元逻辑研究这几大步骤[2]124-130。具体地说，对现实世界进行模拟的现代逻辑学形式系统，一般都遵循这样的研究思路：首先，根据研究对象给出一个没有歧义的形式语言，目的是规定哪些符号串是所研究的形式系统的合式公式；其次，给出这一形式语言的语义解释，这需要利用赋值给出合式公式有效性定义；然后，给出这一形式系统的公理和推理规则；再次，根据这一形式系统的语言、语义、公理和推理规则，寻找相关定理；最后，研究系统的可靠性、完全性、可判定性和复杂性等等。

哲学本体论是研究隐藏在真实世界背后存在的最高本质，即对本体、属性和关系进行哲学思考。因此，现代逻辑学本体论的现实原型就是现实世界的本体、属性和关系。从科学哲学的视角看，不论是计算机科学、应用数学，还是逻辑学，一般都遵循着相同的研究思想——结构主义的研究思想：重要的不是个体对象、集合，而是所研究对象的结构以及结构之间的关系。正如高斯所说：“数学是关于关系的科学，从关系中可以抽象出任何概念。”彭加勒也认为，“数学家不是研究对象，而是研究对象之间的关系”[11]1-34。计算科学的基本特征就是研究对象的构造性的数学特征，并利用定义和解释，在对现实中的对象进行抽象和模型化的基础上，给出相关定理的证明[12]89。

从19世纪末以来发展起来的数理逻辑、模态逻辑、动态逻辑(包括命题动态逻辑、量化动态逻辑)、认知逻辑、广义量词理论、类型逻辑语法、范畴类型逻辑等逻辑分支，都或明或暗地采用了结构主义的方法，即对象的结构化的总体特征常常靠利用公理化方法、对象间的映射与同构来加以研究。从20世纪以来，作为数学哲学的结构主义，就已经成为研究逻辑学的主导方法，在模态逻辑、命题动态逻辑、广义量词理论和范畴类型逻辑中表现得尤为突出。从总体上看，结构主义的特征在逻辑学一直或隐或显地存在着，正是这一结构主义特征激发了逻辑学界、科学哲学界等对结构主义进行深入研究的兴趣。

笔者认为：不论数学结构主义有多少种学派，也不论各学派之间有何分歧，逻辑学，尤其是形式化的现代逻辑学，几乎都或隐或显地采用了结构主义的研究方法。也就是说，形式化的现代逻辑学主要是描述各自论域中的各种研究对象的结构性特征及其相互关系，而不必考虑具体对象的内在的品质，不同的逻辑对象可以由其相应结构的性质或结构之间的基本关系来表示。

比如：模态逻辑充分考虑了含有“可能”和“必然”的模态语句的这一命题结构，引入了“可能”和(或)“必然”模态词，对传统的一阶逻辑进行扩展而得到的。因为预设的公理和推理规则不同，而得到的模态系统也不同，对这些模态系统的框架进行解释就可以得到不同的模型。认知逻辑则是模态逻辑的改版，即：把模态逻辑中的必然算子，解释成相信算子或知道算子等而得到的。虽然各个逻辑系统千差万别，但是，各个系统所给出的句法和语义，以及随之而定义的框架与模型和在此基础上对可靠性和完全性、可判定以及复杂性的探讨等等，都或隐或显地彰显了结构主义的特征。

由于很多数学都研究抽象的结构，因此，数学结构主义在数学哲学中占据着主导的地位。根据数学结构主义的观点，数学理论描述各自论域中的结构的性质，而不必考虑所讨论对象的内在品质[13]。狄德金主张把数学结构作为以集合、运算和关系的系统的基础，并认为同构概念与结构的类型紧密相关[3]10。为了准确清晰地表述“结构”或“结构映射”的概念，数学只有利用集合论，或者只有利用作为结合论的一个分支的模型论，才能够准确表征结构、结构映射等概念。因此，集合论就成为结构主义重建数学的语言基础，成为结构主义表述各种数学对象及其相互关系的基本语言。作为现代逻辑学的重要分支之一的广义量词理论，集合论语言是其基本语言，因此，广义量词理论也采用了结构主义的研究方法。下面，笔者将以广义量词理论为例，来考察结构主义在现代逻辑学中的具体体现。

三结构主义在现代逻辑学中的具体实例

广义量词理论是揭示广义量词的普遍语义性质和推理特征的自然语言逻辑理论。集合论视域下的广义量词是通过对自然语言中的名词短语或其限定词进行语义解释后而得到的。即：广义量词对应于所有名词短语或其限定词的指称。一阶逻辑的全称量词和存在量词也是广义量词。可见，广义量词理论是在一阶逻辑和集合论的基础上发展起来的，它对广义量词的真值定义是建立在标准模型论的基础之上，广义量词的量化论域是由个体组成的集合，真值的模型论概念则是利用非逻辑符号的解释和量化论域来加以表述的[14]40-41。广义量词理论以集合论语言作为其基本语言，而集合论语言是结构主义表述各种数学对象及其相互关系的基本语言，因此，广义量词理论在诸多方面都体现了数学结构主义的思想。

(一)广义量词的同构闭包性彰显了结构主义的思想

1957年，莫斯托维斯基(Mostowski)为〈1〉类型广义量词附加了这样条件：不允许我们对论域中的元素加以区分。1966年，林登斯托姆(Lindström)把这一条件推广到更为普遍的情况，而且这一条件得到了逻辑学家的公认。这一条件被称为同构闭包(isomorphismclosure)，即：在逻辑中，只有结构才是重要的，个体对象、集合本身并不重要。这一思想与数学哲学中的结构主义思想不谋而合。用逻辑的术语来表述同构闭包的思想就是：如果一个逻辑语言中的语句在一个模型中为真，那么该语句在所有的同构模型中为真。即：逻辑是主题中立的[14]95。如果逻辑是独立于主题事物，那么逻辑常元将在论域间的任意双射下都是不变的，或者更弱一点地说，逻辑常元在论域的任意置换下是不变的[14]324-325。比如：假设把“学生”一一映射成“狗狗”，把“面包”一一映射成“骨头”，把“在吃”一一映射成“在啃”，那么，如果“每个学生最少吃三块面包”在一个模型中为真，那么“每个狗狗最少啃三块骨头”肯定在其同构模型中也为真。这说明，“每个”和“最少三(块)”具有同构闭包性。可见，逻辑学对所有对象都同等对待，逻辑性质不但在严格变换下是不变的，而且在所有双射下也是不变的[14]325。

同构闭包不仅仅局限于量词。比如，命题联结词也不关注主题事物：合取词可以统一运用于两个语句或两个集合或两个别的对象，而不考虑这两个对象的具体内容，仅仅考虑这两个对象的结构。这说明，同构闭包表达的思想与结构主义的思想也是相通的。对于自然语言量化而言，同构闭包具有重要的意义。莫斯托维斯、林登斯托姆、塔斯基和范本特姆都认为，满足同构闭包性是满足逻辑性的必要条件[14]327-328。值得我们注意的是，逻辑学家和计算机科学家，在实践中提出的所有形式语言都具有这样的性质：真在同构下得以保持，在系统中使用的所有算子以及由这些算子定义的别的所有算子，都满足同构闭包性[14]328。

(二)广义量词的真值定义体现了结构主义的思想

从语法的视角看，一个广义量词是一个变元约束算子，此算子把每个定义域与其任意子集间的一个二元关系联系起来。从语义的视角看，一个广义量词是一个映射，此映射通过表征广义量词的论元集合的性质或论元集合之间的关系，来揭示广义量词的语义性质[15]。例如：每个亚氏量词(即：all、some、no、notall这四个特殊的广义量词)实际上表示的是个体的集合之间的一个特殊的二元关系。比如：在“所有学生都去操场了”中，令论域中所有学生组成的集合用S表示，论域中所有去操场的个体组成的集合用P表示，这一语句就可以表示为all(S，P)这一三分结构，其真值定义all(S，P)⟺S⊆P的意思是，集合S是包含在集合P中，即：论域中，所有学生组成的集合包含在所有去操场的个体组成的集合中。

从以上的分析可以看出，广义量词理论很好地诠释了数学结构主义的内涵。比如：all(S，P)这一三分结构还可以表示“所有的人都是要死的”、“所有的狗狗都要睡觉”、“所有的大米都吃完了”等等，这里的“学生”“人”、“狗狗”“大米”等对象所组成的集合S，以及这些对象分别与“去操场了”、“要死的”、“要睡觉”和“吃完了”等对象所组成的集合P，这些具体对象本身并不重要，重要的是这些语句都可以用all(S，P)这一三分结构来加以统摄。其真值条件就是，当S⊆P(即S包含于P时)时，all(S，P)就为真。

(三)广义量词理论对单调性的处理也展示了结构主义的思想

广义量词的单调性是广义量词最为重要的语义性质。例如：至少三分之二的学生认真完成了作业。⟹至少三分之二的学生完成了作业。令S表示论域中所有学生组成的集合，P表示论域中认真完成作业的个体组成的集合，P′表示论域中完成作业的个体组成的集合。“至少三分之二的学生认真完成了作业”可表示成atleast2/3(S，P)这样的三分结构，“至少三分之二的学生完成了作业”可表示成atleast2/3(S，P)这样的三分结构。这一单调性推理可形式化为atleast2/3(S，P)⟹atleast2/3(S，P′)，由于P⊆P′，由P到P′，集合在增大，因此，这一推理体现了“至少三分之二的”这一广义量词的右单调递增的性质。而P⊆P′可以理解为，所有的P都是P′，这可表示成all(P，P′)。具体地说，就是：所有认真完成了作业的个体都是完成了作业的个体。这一单调性推理其实是省略了all(P，P′)这一前提的广义三段论推理，其形式化结构为：atleast2/3(S，P)∧all(P，P′)⟹atleast2/3(S，P′)。事实上，所有关于广义量词的单调性推理，都是省略了一个暗含前提的广义三段论推理。

可见，广义量词理论对单调性的处理所使用的基本语言也是集合论语言，这一语言也是结构主义的基本语言，因而体现了结构主义的思想。1984年范本特姆提出的利用数字三角形方法，来表征具有驻留性、扩展性和同构闭包性的〈1〉类型和〈1，1〉类型广义量词的单调性，其背后也暗含了浓烈的结构主义思想。限于篇幅，不再详细论述。

(四)基于广义量词理论的广义三段论推理蕴涵了结构主义的思想

正如一阶逻辑的全称量词和存在量词是广义量词的特例一样，亚氏三段论也是广义三段论的特例。自亚里士多德开始的很长时期内，对亚氏三段论的有效性的研究，几乎都是采用的是非形式化的方法。自从有了广义量词理论后，对包括亚氏三段论在内的广义三段论的研究，就可以用形式化的方法来对其进行表示和有效性的证明[1]155-202。而且利用广义量词理论，不仅可以对24个有效的亚氏三段论进行形式化，而且还可以对其进行公理化[16]。这种形式化的逻辑研究方法不仅拓展了逻辑研究的范围、提升了逻辑学的研究能力，更重要的是有利于计算机科学中的知识表示、知识推理和自然语言信息处理。

广义量词理论完成以上这些任务主要还是利用了集合论语言，彰显了结构主义的思想。具体地说，就是充分利用了“含有〈1，1〉类型的广义量词Q的量化语句具有Q(S，P)这样的三分结构”这一知识。〈1，1〉类型的广义量词揭示的是所涉及的左论元所组成的集合与其右论元所组成的集合之间的二元关系。〈1〉类型的广义量词揭示的是所涉及的论元所组成的集合的性质。由于自然语言中的广义量词绝大多数都是〈1〉类型和〈1，1〉类型的广义量词，而且对〈1〉类型的广义量词的研究可以转化为对其〈1，1〉类型的亲缘广义量词的研究[1]46。因此，利用这一结构主义思想，就可以对自然语言中绝大部分广义三段论进行形式化和有效性的证明。简言之，这一结构主义的研究方法具有很强普适性。

例如：“所有渴望暴富的人都是浮躁之人。大多数人都是渴望暴富的人。所以，大多数人都是浮躁之人。”其中的“大多数的”对应的是〈1，1〉类型的广义量词。令论域中所有人组成的集合用S表示，论域中浮躁之人组成的集合用P表示，论域中渴望暴富的人组成的集合用M表示。利用结构主义的形式化表示方法，这一广义三段论，可以形式化为：all(M，P)∧most(S，M)⟹most(S，P)。利用广义量词的真值定义就可证明这一广义三段论的有效性。证明：假设all(M，P)与most(S，M)这两个条件均成立。根据all和most的真值定义可知：all(M，P)⟺M⊆P，且most(S，M)⟺|S∩M|≥|0.55|S|，因此，|S∩P|≥0.55|S|。再根据most的真值定义“most(S，P)⟺|S∩P|≥0.55|S|”可知：most(S，P)成立。证毕。对亚氏三段论和其他广义三段论的形式化及其有效性的证明均可以类似处理。可见，利用结构主义的形式化研究方法，可以简洁明了地对包括亚氏三段论在内的广义三段论进行形式化及其有效性的证明。

笔者多年的研究表明：这一结构主义研究方法普适性非常强。因为不论是自然语言中无处不在的广义量词的单调性推理，还是亚氏三段论推理，抑或是广义三段论推理，以及建基于这三种推理之上的语篇推理，都可以使用这种结构主义的研究方法来进行形式化及其有效性的证明。

四结论

逻辑推理的基本方法范文篇3

关键词：美术理论逻辑方法非逻辑方法

美术作为人文学科之一，它包含着美术实践与美术理论两个方面。从思维科学的角度来看，美术实践与美术理论各自有着不同的思维方式，同时，它们之间也存在着某些交叉与互补的关系。美术实践主要是通过形象思维的过程来完成的，但它并不完全拒绝逻辑思维的方法；美术理论则主要是通过逻辑思维的过程来完成的，但它亦不排斥形象思维等非逻辑方法的应用。

所以说，美术理论是对美术的理性的认识。理性认识是认识过程的高级阶段和高级形式，是人们凭借抽象思维把握事物的本质和内部联系的有效方式。理性认识以抽象性、间接性、普遍性为特征，以事物的本质、规律为对象和内容。作为理性认识的美术理论主要是通过逻辑方法来完成的。逻辑方法是研究概念、判断、推理及其相互联系的规律、规则，从而帮助人们正确地思维和认识客观真理的方法。逻辑的思维形式是抽象思维。抽象与感性直观是对立的，一切科学的概念或范畴都是抽象的结果。抽象既与感性直观相区别，又是感性直观的发展，它是以感性直观为中介的对客观对象的间接反映，它所提供的关于对象本质的认识是感性直观不能达到的，因而，它又是一种创造性的思维过程。人类只有借助于思维的抽象力才能揭示和把握感性直观所不可能发现的客观对象的本质及其运动规律。

抽象思维作为一种基本的思维类型，它主要是指应用概念、判断、推理等形式反映事物内在本质和一般规律的过程与方式。它是通过逻辑方法而获得认识成果的。逻辑是一门以推理形式为主要研究对象的科学。推理是以一个或几个命题为根据或理由以得出一个命题的思维过程。作为根据或理由的那一个或几个命题是推理的前提，由前提得出的那个命题是推理的结论。逻辑作为一门科学，不仅研究个别的正确推理形式，而且还研究各种正确推理形式之间的关系和提出关于正确推理形式的系统理论。

人们的思维活动除了理性的、逻辑的因素外，它还包括着感性的、非逻辑因素。非逻辑因素一般主要指人的认知、情感、意志、动机、欲望、信念、信仰、习惯、想象、联想、灵感、直觉、顿悟等。非逻辑方法一般可分为形象思维和灵感思维两大类。我们在这里所说的非逻辑方法，是指美术理论研究中的非逻辑方法，而并非是指美术实践中的非逻辑方法。逻辑方法与非逻辑方法虽然存在着差异，但二者却具有相互补充的功能。在学术研究中，逻辑方法出现阻隔时，非逻辑方法往往是另辟蹊径的有效手法，而一旦用非逻辑方法沟通了认识的渠道之后，又需在新旧认识的鸿沟上架起逻辑的桥梁。

转贴于我们强调逻辑思维在美术理论研究中的重要性，但并非排斥非逻辑思维的价值与地位；恰恰相反，由于美术理论研究的对象具有较强的实践特征，这种实践特征本身又具有鲜明的非逻辑思维因素，因而，不仅在理论研究的过程中需要非逻辑思维方法的补充，同时在对研究对象做出客观和科学的认知时，还需要研究者必须对非逻辑思维方法有一定的把握，在某些方面，它还要求研究者甚至要具备非逻辑思维的实践经验。不可想象，一个不具备色彩感知的人会在色彩艺术理论研究中取得什么可靠的理论成果，一个缺乏对毛笔性能掌握的人会在书法基础理论研究中得出符合客观实际的结论……可以说，一个缺乏对美术品的直觉感受或对美术实践不曾有过直接体验的人，其所谓“理论成果”往往是不可靠的，有时甚至还是美术理论中的“伪科学”。我们无须要求每个理论家都必须是实践家，更无须要求每个实践家都必须是理论家。但对视觉形式的感知与体验，却应是从事美术理论研究工作的基本前提，没有这个前提，一切“理论”必然建立在虚无之中，这亦是美术理论研究的一个至关重要的特征，这个特征也是美术自身特征所决定的。我们认为它甚至应该成为从事美术理论研究的一个不可或缺的基本条件。

美术理论作为一种学术形态，它的研究对象和研究特征决定了它无法对非逻辑思维方法采取忽视的态度。事实上，人们在思维的过程中，逻辑的与非逻辑的方式往往呈现着一种浑然一体、相辅相成的有机状态，两者之间仅仅会在不同的研究方式中出现主次差异而已。

综上所述，我们认为逻辑方法在现实生活中影响和制约着人们的感性认识活动；它加工整理感性认识材料，把实践经验由个别提升到一般；它能从已有的知识推出更新的知识，并把知识构建成系统而严密的体系；它可以借助于被实践检验过的知识去探求假说是否具有真实性；它能预测事物发展的前景，给人的实践活动以目标与信心。非逻辑方法则排除了运用概念进行判断或按照逻辑程序进行推理的理性范式，从而有助于人的内在潜能和创造性思维的发展；它借助人们可以感知的形象，传达着人类用语言或理性方式所无法表述的思想与情感；它的形象特征和情感因素往往给人们完整地认识客观事物提供直接的帮助；它的思维方式也往往成为学术创新的基因。在美术理论研究中首先必须遵循逻辑思维的方法和范式，在对研究对象进行理性分析的基础上，合理应用非逻辑方法，注重个人感受与生命体验，在以逻辑方法为主体，并在逻辑方法与非逻辑方法有机结合的情况下，才能科学地揭示出美术发展的规律，从而达到学术的创新。

参考文献：