逻辑学基本概念范文

18世纪40年代，休谟指出归纳推理不具有逻辑必然性，认为它只把真前提同可能的结论相联系,是主观的、心理的，不曾想到当时概率论所揭示的或然性的客观意义及其对归纳的可能应用。穆勒在《逻辑体系》中以很大篇幅讨论了偶然性问题,认为概率论只同经验定律的建立有关，而与作为因果律的科学定律的建立无关。惠威尔也对偶然性作过讨论，但与穆勒一样，并未想到把概率论应用于归纳。直到1859年，德国化学家本生（R.W.Bunsen）和基尔霍夫（G.R.Kirchoff）用统计方法分析太阳光谱的元素组成等科学活动，进一步引起科学方法论家对统计推理问题的注意。许多科学方法论家认为科学结论不是确定的，而是或然的，开始尝试把归纳还原为概率论。

最早将归纳同概率相结合的是德摩根和耶方斯。德摩根将一般除法定理和贝叶斯定理应用于科学假说。但是布尔（Boole）抓住了它的缺点，即运用贝叶斯推理给科学假说的概率带来更大的任意性，至此否定了概率归纳逻辑的方向。在70年代耶方斯作出重大开创性工作之前，这方面的工作基本趋于沉寂。耶方斯发展了布尔代数，他一方面有着关于归纳本质的方法论考虑，另一方面，他将数学应用于发展演绎逻辑的同时，也将数学应用于发展归纳逻辑。他在《科学原理》中说明：“如果不把归纳方法建立于概率论，那么，要恰当地阐释它们便是不可能的。”[1]耶方斯认为一切归纳推理都是概率的。

耶方斯的工作实现了古典归纳逻辑向现代归纳逻辑的过渡。

二、现代概率归纳逻辑

现代概率归纳逻辑始于20世纪20年代，逻辑学家凯恩斯、尼科（Nicod）及卡尔纳普和莱欣巴赫（Reichenbach）等人，采用不同的确定基本概率的原则及对概率的不同解释，形成不同的概率归纳逻辑学派。

凯恩斯将概率与逻辑相结合，认为归纳有效度和合理性的本质是一个逻辑问题，而不是经验的或形而上学的问题。他提出了“概率关系”的概念：假设任一命题集合组成前提h，任一命题集合组成结论a，若由知识h证实a的合理逻辑信度为α，我们称a和h间的“概率关系”的量度为α，记作a/h=α。并着眼于构造两个命题间的逻辑关系的合理体系，但未取得成功。而且他认为，大多数概率关系不可测，许多概率关系不可比较。但他在推进归纳逻辑与概率理论的结合上，作出了历史性的贡献，是现代归纳逻辑的一位“开路先锋”。

逻辑主义的概率归纳逻辑的代表卡尔纳普，在20世纪50年代提出概率逻辑系统，这一体系宣告了归纳逻辑的演绎化、形式化和定量化，将概率归纳逻辑推向了“顶峰”。卡尔纳普认为休谟说的归纳困难并不存在，归纳也是逻辑，并且也有像演绎一样的严格规则。施坦格缪勒（Stegmuller）指出：“2500年前，亚里士多德开始把正确的演绎推理的规则昭示世人，同样，卡尔纳普现在以精确表述归纳推理的规则为己任。”[2]演绎的逻辑基础在于它的分析性，所以，从维特根斯坦和魏斯曼（Waismann）就开始致力于把它改造为逻辑的概率概念，以使概率归纳成为分析性的。卡尔纳普完成了这一发展。他说：“我的思想的信条之一是，逻辑的概率概念是一切归纳推理的基础……因此，我称逻辑概率理论为‘归纳逻辑’。”[3]他并把此概念直接发展为科学的推理工具：“我相信，逻辑概率概念应当为经验科学方法论的基本概念，即一个假说为一给定证据所确证的概念提供一个精确的定量刻画。因此，我选用‘确证度’这个术语作为逻辑概率刻画的专门术语。”[3]与凯恩斯一样，卡尔纳普把概率1解释作句子e和h间的逻辑关系，表达式是c(h,e)=r，读作“证据e对假说h的逻辑确证度是r”。这样，归纳便是分析性的了，演绎推理是完全蕴涵，归纳推理是部分蕴涵，即归纳是演绎的一种特例。此外，卡尔纳普所想要的归纳逻辑还是定量的，他希望最终找到足够多的明确而可行的规则，使C(e,h)的计算成为只是一种机械的操作，以将他与凯恩斯严格区分开来。

20世纪30年代，莱欣巴赫建立了他的概率逻辑体系，被称为经验主义的概率归纳逻辑。他用频率说把概率定义为，重复事件在长趋势中发生的相对频率的极限。这种方法简单实用，但却带来两方面的困难。首先，上述极限定义是对于无数次重复事件的概率而言的。那如何找出一种测定假说真假的相对频率的方法呢？其次，对单一事件或单一假说怎么处理呢？所以频率说只适用于经验事件的概率，其合理性的辩护非常困难。它所面临的最大困难就是找不到由频率极限过渡到单个事件概率的适当途径。为此，莱欣巴赫建议把“概率”概念推广到虚拟的、平均化的“单个”事件，引进了单个事件的“权重（Weight）”概念，试图把理想化的单个事件的概率或“权重”事先约定与对应的同质事件的无限序列的极限频率视作同一。但这与他的初衷相背，频率论者不得不由原先主张的客观概率转向主观概率了。

对概率的前两种解释都着眼于概率的客观量度，然而对随机事件的概率预测离不开主观的信念与期望。主观主义概率归纳逻辑发端于20世纪30年代，创始人是拉姆齐（F.P.Ramsey）和菲尼蒂（DeFinetti）。它将概率解释为“合理相信程度”或“主体x对事件A的发生，或假说被证实的相信程度。”表明，如果按贝叶斯公理不断修正验前概率，那么无论验前概率怎样，验后概率将趋于一致；这样，验前概率的主观性和任意性就无关紧要了，因为它们终将淹没在验后概率的客观性和确定性之中。一个人对被检验假设的验前概率是由他当时的背景知识决定的。

主观概率充分注意到推理的个人意见及心理对于概率评价的相关性，意义重大。但是，人们在做出置信函项时，除了“一贯性”的较弱限制外，很难在多种合理置信函项间作出比较和选择。

三、概率归纳逻辑兴起的原因

概率归纳逻辑是伴随现代科学、现代演绎逻辑、归纳逻辑本身的发展而兴起的。

概率归纳逻辑兴起的原因大致有：（1）现代科学的发展。对微观粒子的运动只能采用概率的方法，因此，西方科学界出现了否定因果决定论而接受概率论的观念。（2）较完备的概率理论。特别是20世纪以来，它具备了严格的数学基础，而且被广泛应用于各种领域。（3）归纳逻辑本身要求进一步完善和精确化。人们要求对单称事件陈述对全称理论陈述的归纳支持作出量的精确刻画。逻辑的数学化，数学的逻辑化，穆勒已经注意到归纳与概率的关系，耶方斯等将归纳与概率结合。（4）以数理逻辑为主干的现代演绎逻辑逐渐成熟，从而使得一些逻辑学家热衷于将现代演绎的形式化、公理系统方法与概率论方法协调起来，以运用于归纳逻辑的研究。（5）对归纳法的合理性问题的探索。休谟的归纳问题一直是个哲学难题。现代归纳逻辑的种种体系，几乎都可以看成是对这个问题不断作出回答。上述三种概率归纳逻辑体系也无例外，都是为求得归纳推理的合理性，或对归纳论证进行改进，或把结论改成概率的陈述，使归纳逻辑被构造成演绎逻辑的一个分支，或用实用主义策略使归纳即使不是有效的，至少也有存在的理由。所以说概率逻辑是以现代演绎逻辑和概率论为工具，形式化、定量化的归纳逻辑。

20世纪50年代以后，科学技术步入一个新的阶段，概率论与数理统计、数理逻辑等相关学科取得新的发展，特别是计算机科学技术以及多学科交叉发展的趋势，使现代归纳逻辑的研究进入到一个新阶段，出现了一些新的趋势和特点。

第一，面临归纳演绎化的困难，出现了非概率化、非数量化的趋势，有的用有序化、等级化来代替，有的将定性的研究重新放到重要的位置上，有的又再度重视如模态、因果概念的结合使用等等。

第二，将主观因素与客观因素相结合，将纯逻辑研究与其他学科相结合。这就不能只限于语构层次，而要考虑语义、语用层次，就要涉及心理学、社会学等方面的研究。而且不能脱离所涉及的具体过程（实验）与学科。

第三，对归纳逻辑的研究与整个思维科学、信息科学的研究联系起来。归纳是一类复杂性问题，决不是单靠纯逻辑所能解决的。归纳远比演绎复杂，须与多学科结合起来进行系统研究。

第四，归纳逻辑的研究与当前的科技相互影响、相互作用。申农提出的信息论仅是相当于语形的统计信息模型。而信息的语义层次的研究都出自卡尔纳普之手，再经辛迪卡（Hintikka）等人的论作又已形成信息逻辑这一分支。这揭示了逻辑与信息科学的联系。再如，随着计算机科学、人工智能的研究进展，对归纳的研究日益受到重视。若能将人工智能与归纳结合起来，必将带来新的进展与突破[4]。

概率归纳逻辑是归纳逻辑的一个发展阶段，它大大发展了归纳逻辑，也昭示了归纳逻辑的发展机制，为我们出示了现代归纳逻辑发展的方向。

摘要：从穆勒等人对或然性的探讨，经耶方斯对概率归纳逻辑的开创，到卡尔纳普代表的现代概率归纳逻辑体系，考察了概率归纳逻辑的发展历程，从中揭示其兴起的原因，并分析现代归纳逻辑发展的一些新趋势。

关键词：概率归纳；逻辑；概率论

Abstract:FromMulle’sdiscussionoftheprobability,afterW.S.Jevons’sfoundationtotheprobabilisticinductivelogic,untilthesystemofmodernprobabilisticinductivelogicwhichCarnaprepresents.Thisarticleinspectstheprocessofwhichprobabilityinductivelogicdeveloped,promulgatesthereasonwhichitrises,andanalyzessomenewtendenciesofthemoderninductivelogic.

参考文献:

[1]W.S.Jevous.ThePrinciplesofScience[M].London:DoverPress,1877.197.

[2]Hintikka,J.(ed.).RudolfCarnap,LogicalEmpiricist[M].D.ReidelPub.Co.,1995.LIX.

逻辑学基本概念范文篇2

［关键词］逻辑；实践；能动作用

［中图分类号］B02［文献标识码］A［文章编号］1672－2426（2012）07－0013－03

实践需要逻辑，逻辑是实践的存在方式。逻辑需要实践，实践是逻辑的本质发展方式。研究逻辑在实践中的能动作用，不仅具有理论意义，而且具有实践价值。

一、逻辑的内涵

逻辑为英语logic的音译。导源于希腊文。本义是思维、思考、理性、说谈等，指人的辩论和说服的能力。随着人类实践和认识能力的发展，逻辑的内涵也在发生变化。现在“逻辑”一词，通常有三种内涵：

第一，逻辑指逻辑学。逻辑学是研究思维的形式和规律的科学。逻辑学探索概念、判断、推理及其相互联系的规律，以帮助人们正确地思维，正确地认识世界和改造世界。随着社会的发展，逻辑学的作用将不断增强。

逻辑学包括形式逻辑、辩证逻辑和数理逻辑。形式逻辑是从实际思维中抽出思维形式作为自己的研究对象，它撇开思维的具体内容，从思维的既成形式结构方面研究概念、判断和推理及它们正确联系的规律和规则。形式逻辑重点研究思维形式的正确性，是为了使人们自觉地掌握思维形式的规律，从而使思维能正确地反映客观现实的内容。人们要正确地使用概念、判断和推理，保证思想的确定性、一贯性和无矛盾性，就必须遵循形式逻辑的有关规律和规则，其中同一律、矛盾律和排中律是形式逻辑的基本规律。形式逻辑的规律和规则，反映了人们共同的最一般的思维方式。

辩证逻辑是研究辩证思维及其规律的逻辑科学，是一门与认识论和辩证法相统一的逻辑科学。列宁在谈到形式逻辑和辩证逻辑时曾说过：“辩证逻辑则要求我们更进一步。要真正地认识事物，就必须把握住、研究清楚它的一切方面、一切联系和‘中介’。我们永远也不会完全做到这一点，但是，全面性这一要求可以使我们防止犯错误和防止僵化。这是第一。第二，辩证逻辑要求从事物的发展、‘自己运动’（像黑格尔有时所说的）、变化中来考察事物。就玻璃杯来说，这一点不能一下子就很清楚地看出来，但是玻璃杯也并不是一成不变的，特别是玻璃杯的用途，它的使用，它同周围世界的联系，都是在变化着的。第三，必须把人的全部实践——作为真理的标准，也作为事物同人所需要它的那一点的联系的实际确定者——包括到事物的完整的‘定义’中去。第四，辩证逻辑教导说，‘没有抽象的真理，真理总是具体的’——已故的普列汉诺夫常常喜欢按照黑格尔的说法这样说。”［1］列宁明确地指出了辩证逻辑的要求。

恩格斯在谈到辩证逻辑和形式逻辑的区别时曾说过：“辩证逻辑和旧的单纯形式的逻辑相反，不像后者那样只满足于把思维运动的各种形式，即各种不同的判断形式和推理形式列举出来并且毫无联系地并列起来。相反地，辩证逻辑由此及彼地推导出这些形式，不把它们并列起来，而使它们互相从属，从低级形式发展出高级形式。”［2］

辩证逻辑和形式逻辑都是关于思维及其规律的逻辑科学，二者都是作为思维方法、作为保证正确思维的条件而起作用的。但二者是有区别的。形式逻辑是从纯形式的角度来考察人们的思维，重点放在形式化语言的形成规则和变形规律上。辩证逻辑是要求从形式与内容的统一的角度来考察人们的思维，要求对整个认识的历史进程进行综合，进而揭示各种思维形式之间的内在的、本质的、必然的联系，揭示人类思维把握具体真理的逻辑进程，是与认识论和辩证法相统一的逻辑科学。

数理逻辑为用数学方法研究推理和证明等问题的逻辑科学。数理逻辑的主要内容为命题演算、谓词演算和算法理论等。数理逻辑亦称符号逻辑。数理逻辑运用符号把概念和命题表示为公式，把命题间的推理关系表示为公式间的关系，并使推理尽可能转化为公式的推演。由于现代科学技术的发展，结合数学基础问题的研究，形成了递归论、证明论、模型论和集合论等新的逻辑系统和分支。数理逻辑的成果在现代科学技术和现代社会中，得到了广泛的应用。数理逻辑作为基础理论的逻辑科学，被广泛应用于人工智能、自动控制、计算机科学、统计学和战略学等领域。

第二，逻辑指客观的规律性。事物的发展具有客观的规律性。逻辑有时指事物发展的客观的规律性。例如，人们常说的“客观的逻辑”、“事物的逻辑”、“革命的逻辑”、“生活的逻辑”，等等，就是指逻辑的这种内涵。

第三，逻辑指思维的规律。人们的思维要合乎规律，即合乎逻辑。人们通常说讲话、写文章要合乎逻辑，要逻辑性强，就是指讲话、写文章，要合乎思维的规律。

逻辑思维是人类所特有的理性因素。正确的逻辑思维，有助于人们深刻地认识客观世界和主观世界，把握事物的本质和规律，有目的地改造客观世界和主观世界。

二、逻辑与实践的关系

唯心主义认为，逻辑规律是先验的或者是人们任意约定的。辩证唯物主义认为，思维规律虽然只是思维本身的规律，而不是客观事物的规律，但是，思维规律是有客观基础的，它们是客观事物的联系在人们头脑中的反映。

逻辑学基本概念范文

论文摘要：形式逻辑和先验逻辑的关系问题是康德哲学的一个十分重要的问题。作者认为康德对这一关系的表述有一个由表面到本质的过程。康德真正地把握了形式逻辑的本质，真正地解决了形式逻辑和先验逻辑的关系。但康德根据需要的不同在具体表达二者关系时是有侧重点的。而这也恰恰体现出康德的理解是全面的完整的系统。

形式逻辑与先验逻辑的关系究竟是怎样的?康德主要在《纯粹理性批判》中对这一问题有多处的表述和分析。很多康德的研究者历来对这些表述和分析有着高度的关注。许多学者从康德的先验逻辑与认识论的关系的角度出发，强调先验逻辑与形式逻辑的区别。温纯如先生认为，“先验逻辑并不是像传统逻辑那样要知道知性是怎样思维、活动的，而是要知道在思维中知性应该怎样思维、活动的。”齐良骥先生也说“先验逻辑就是关于认识对象的普遍的纯思想的逻辑。这种逻辑不以探讨思想的普遍推论方式，而以探讨所认识的对象的纯的普遍的规定性为目的。”一些学者同时还注意到了形式逻辑对康德创建先验逻辑的深刻影响。杨祖陶、邓晓芒两先生甚至因此认为，康德“还未完全冲破形式逻辑的束缚”。“基本上还是立于形式逻辑的‘知性’水平之上的”。而周礼全先生则认为，康德的先验逻辑“只是形式逻辑的一个补充或扩展”。这些学者的见解无疑是深刻的和富有启发意义的。一般来说，在《纯粹理性批判》中，在形式逻辑和先验逻辑关系的问题上，康德因为论述的角度的多样和上下文表达需要的不同。使得对这一问题的表述表面上来看不仅显得零散、分散，不易理解，甚至有时显得前后不统一。但纵观全书，我们认为康德对这一问题的理解是深刻的，是一个系统的全面的有逻辑层次的整体把握。

可以说，形式逻辑和先验逻辑的关系问题对康德的批判哲学有着十分重要的意义。我们认为康德是在达到了对形式逻辑和先验逻辑关系的深刻理解的基础上。才开始创建他的批判理论的。所以，全面准确地把握康德的这一思想。对于我们深刻理解康德哲学，甚至对于我们深刻理解近代西方哲学的演进都有着重要的意义。

具体地说，先验逻辑作为康德认识理论的核心内容，在整个康德批判理论中占有极其重要的地位。其意义不仅超出了逻辑学，而且超越了认识论，成为康德清算旧形而上学，建立科学的形而上学的关键环节。他说：“先验一哲学是一门科学的理念，对于这门科学。纯粹理性批判应当依据建筑术，即从原则出发，以构成这一建筑物的全部构件的完备性和可靠性的完全保证。来拟定出完整的计划”。慷德的建筑术就是他的先验逻辑。

在康德开始创建先验逻辑时，形式逻辑作为公认的相当成熟和完善的工具已经存在二千多年了。因此对形式逻辑怎样理解?形式逻辑与先验逻辑的关系怎样?这是康德无法回避不得不回答的问题。纵观康德对这一问题的表述，概括地说康德认为先验逻辑与形式逻辑主要有三个方面的不同。

形式逻辑“只与思维的单纯形式打交道”。形成式逻辑在几千年的发展史中是与认识论，与形而上学是分离的。其主要的原因是形式逻辑不考察知识的内容。“普遍逻辑(主要指形式逻辑——作者)抽掉一切知识内容。即抽掉了一切知识与客体的关系，只考察知识相互关系的逻辑形式，即一般思维形式”。而先验逻辑不是这样，康德认为，真正的知识是不能没有内容的，一切真实的思维都是关于对象的思维。也只有这样的思维才具有认识或知识的意义。所以先验逻辑尽管不和对象直接发生关系，但它不抽去知识的一切内容，而只抽去一切经验性的内容，但却留下了先天的内容，也就是说先验逻辑不抽去知识和对象的一切关系，而只抽去一切经验性的关系，留下了知识与对象之间的必然的先天的关系，并由此出发去考察纯思维(纯知识)与对象先天一致是如何可能的。也就是说，先验逻辑和形式逻辑的作用范围是不同的。先验逻辑“只在和知性及理性的规律仅与对象先天地相关的范围内研究这些规律，而不是像普遍逻辑那样，与经验性的和纯粹的理性知识都毫无区别的发生关系”。

这一点区别最为重要，因为这一点是先验逻辑与形式逻辑的决定性的区别。康德把逻辑与认识活动结合起来了。或者说使逻辑由传统的形式主义的立场转移到认识论基础上来了。这在逻辑发展史上是一个决定性的飞跃，它也奠定了逻辑学与认识论、本体论三者同一的德国古典哲学的发展方向。

下面的两项区别是从第一点区别引伸出来的结果，一个是由于形式逻辑抽掉了一切内容及与对象的一切关系，只研究思维的抽象形式，因而它建立的只是思维与分析活动的法规。这种分析活动只能说明知识而不能扩展知识。先验逻辑则要研究和说明先天综合判断的可能性条件，并由此推演出一切综合判断所必然遵循的法规，因此它致力于不断扩展知识。另一个是由于形式逻辑只研究思维的形式，即表象、概念等等相互联结的方式，而不管这些表象、概念的来源，形式逻辑一视同仁的和先天知识以及经验性的知识打交道。反之，康德的逻辑学和认识论是同一的，所以先验逻辑必然要研讨认识的来源。也就是要研究我们关于对象的先天知识从何而来的问题，当然这样的先天知识当然不可能来源于经验、来源于对象。所以康德明确地说，先验逻辑“还将讨论我们有关对象、而又不能归之于对象的知识来源”。

上面的区别，归根到底是由于先验逻辑本身的认识论性质带来的，而这种认识论性质意义上的直接性的比较，还不能说明更多的问题，这毕竟只是表面的外在的对比，我们还不能从中看出二者的本质关系是怎样的。更不能由此得出像谁优谁劣，谁更本源这样的结论。

事实上，康德十分清楚地知道传统逻辑从亚里士多德以来已经走上一条可靠的道路，并且臻于完善。康德在《纯粹理性批判》中也不时用赞叹的口吻描述形式逻辑。康德把形式逻辑视为一切正确思维方法不可或缺的基础，因为形式逻辑“包含思维的绝对必然的规则，舍此则根本没有知性的任何运用，”它“不但提供真理之普遍形式的标准，也建立了知性思维之分析使用的法则”。

尤其是，康德把形式逻辑作为自己创建先验逻辑的出发点，在先验逻辑的体系的结构形式上康德处处以传统形式逻辑的结构为线索、为榜样，刻意摹仿。具体地说，像将形式逻辑划分为分析论和辩证论一样，将先验逻辑也划分为作为“真理的逻辑”的先验分析论和作为“幻相的逻辑”的先验辩证论；同时还像将形式逻辑划分为概念、判断和推理一样，将先验逻辑也划分为作为知性认识的概念(范畴)和判断，和作为(狭义的)理性认识的推理。因此，从整个两种逻辑的宏观比较上，我们认为，总体来说康德创建先验逻辑的本意不是想简单地否定和取代传统逻辑，但也不是想以形式逻辑为基础，简单地补充和扩展形式逻辑，而是在传统逻辑之外结合本体论，尤其是密切地结合认识论建立起来一个新的逻辑。也正因为如此先验逻辑比传统逻辑具有更大的普遍有效性，在探索真理的道路上也能走得更远。

但是，这样并不能解释先验逻辑和形式逻辑的本质关系究竟是怎样的。事实上，在康德那里，随着分析探讨的深入，问题也正在逐步地得到深化。先验逻辑和形式逻辑深层的本质关系也逐步被完整地揭示出来。康德指出，先验逻辑和形式逻辑只不过是同一个人类知性的两种运用，“要么是作为普遍的知性运用的逻辑，要么是作为特殊的知性运用的逻辑”。康德在谈论他的“范畴表”时阐释了这两种逻辑的不同功能：“各种不同的表象是通过分析被带到一个概念之下的(这是普遍逻辑所处理的一件事物)。但先验逻辑教给我们的不是将表象、而是将表象的纯综合带到概念之上”。卧‘赋予一个判断中的各种不同表象以统一性的那同一个机能，也赋予一个直观中各种不同表象的单纯综合以统一性，这种统一性用普遍的方式来表达，就叫做纯粹知性概念。所以同一个知性。正是通过同一些行动，在概念中曾借助于分析的统一完成了一个判断的逻辑形式，它也就借助于一般直观中杂多的综合统一，而把一种先验的内容带进它的表象之中”。可以看出，人的知性的机能既能把感觉材料统一成为认识对象，又能审定、解释分析概念，就是说，同一个知性同时具有解析判断的机能，和构造对象的判断机能。

形式逻辑处理先天分析判断，先验逻辑处理先天综合判断，这是一个统一的知性，以两种方式发挥作用，作为一个统一的因素以两种不同的方式表现自己：分析的统一性和综合的统一性，前者是判断的形式功能的问题，即关于主词和谓词之间的形式必然联系的问题，或者是判断之间的关系问题；后者是有关人类知性作为“统一者”、“立法者”、“管理者”把感性材料统一起来并构成对象的问题。

但问题到这里还是没有结束。因为问题没有得到真正的解决，同一知性的两种功能的不同运用的真正内涵还没有得到透彻的说明。我们认为康德之所以能创建先验逻辑，建立自己的批判哲学，就在于康德在哲学史上第一次科学地解释了形式逻辑的本质，在更高层次上消解了形式逻辑，这样也就最后解决了同一知性的两种逻辑的本质关系，从而开创了近代西方哲学发展的新时期。

在康德看来，一切知识都表现为判断。判断是知识的细胞，是知识的基本构件。单独一个感性表象或概念都不能构成知识，只有把两个表象或概念用一个“是”连接起来形成一个判断才构成知识。例如：“树”和“绿”单独来看都不是知识，只有二者结合起来说“树是绿的”才是知识。所以康德把知性的一切活动都归结为判断，“以致于知性一般来说可以被表现为一种做判断的能力”。作为同一知性两种运用的形式逻辑和先验逻辑都是在做判断，但康德认为形式逻辑的判断和先验逻辑的判断从发生上说是两种不同层次的判断，尽管这两种逻辑的判断拥有着共同的根源。康德在关于范畴的“先验演绎”部分对这一问题作了比较透彻的说明。他说：“在一切表象之中，联结是唯一的一个不能通过客体给予、而只能由主体自己去完成的表象，因为它是主体的自动性的一个行动。在这里很容易看出，这种活动必定在本源上是唯一的。并且对一切联结都是同样有效的，而分解、也就是分析，看起来像是它的对立面，其实任何时候都是以它为前提的：因为凡是在知性还没有预先把什么东西联结起来的地方，它也不能够分解什么东西，因为这个东西本来只有通过知性才能作为联结起来的东西被给予表现力。”这段话清晰地表达出，形式逻辑的分析的联结是以先验逻辑的综合的联结为前提的，它们都出自于同一个“唯一的”、“本源的”综合式的联结。这里也清楚地表明，康德对联结词‘堤”的理解突破了传统的解释。按照传统的说法，“是”只不过是一个无意义的连接的工具。而康德则把它看作具有动词意义的“联结”活动，显示出“综合统一”的功能。

具体地说，康德认为形式逻辑与先验逻辑具有最后的统一性。“我们必须到更高的地方去寻求这种统一性。亦即在那本身就包含着判断中不同概念之统一性根据的东西中，因而在包含着知性的可能性根据、甚至知性在其逻辑运用中的可能性根据的东西里面，去寻找这种统一性”。这里的“知性在其逻辑运用中的”显然主要指形式逻辑说的。通过分析。康德认为“纯粹统觉”或者是“本源统觉”就是这个最后的统一性。“因为它就是那个自我意识，这个自我意识由于产生出‘我思’表象，而这表象必然能够伴随所有其他的表象、并且在一切意识中都是同一个表象，所以决不能被任何其他表象所伴随”。康德指出：“知性本身无非是先天地联结并把给予表象的杂多纳入统觉的统一性之下来的能力，这一原理乃是整个人类知识中的最高原理。”“统觉的综合统一性原理是知性的一切运用的最高原则”。“而这样一来，统觉的综合的统一性就是我们必须把一切知性运用、甚至全部逻辑以及按照逻辑把先验哲学都附着于其上的最高点，其实这种能力就是知性本身”。

康德明确地指出“虽然统觉的必然统一这条原理是自同一的，因而是一个分析命题。但它却表明直观中给予的杂多的一个综合是必然的，没有这种综合，自我意识的那种无一例外的同一性是不可设想的”。“所以只有通过我能够把被给予表象的杂多联结在一个意识中，我才有可能设想在这些表象本身中的意识的同一性，就是说，统觉的分析的统一只有在统觉的某一种综合的统一的前提下才是可能的”。

康德还从他的“纯粹概念”的角度，进一步分析了形式逻辑和先验逻辑的关系。在这里康德直言不讳地批评了形式逻辑学家们，他说：“我从来都不能对逻辑学家们关于一般判断所给予的解释感到满意：他们说，判断是两个概念之间的关系的表象。……我只想指出，在这里并没有确定这种关系何在”。慷德认为：“一切判断的逻辑形式在于其中所含概念的统觉的客观统一”，“因为“我们的知性只有借助于范畴、并恰好只通过这个种类和这个数目的范畴才能达到先天统觉的统一性，”“知性把所予表象(不论是直观还是概念)的杂多纳入一般统觉之下的这种行动是判断的逻辑机能。所以一切杂多只要在‘一个’经验性直观中被给予出来，就在判断的诸逻辑机能之上被规定了，也就是由这一机能带到某个一般意识上来了。但现在，诸范畴不是别的，恰好就是当一个给予直观的杂多在这一机能上被规定时的这些判断机能。所以，在一个所予直观中的杂多必然从属于诸范畴”。慷德分析认为，纯粹概念产生知识只有一种方式，就是利用概念来作出判断。概念、判断都是对对象的间接知识，因而形式逻辑可以不管对象，只研究判断的形式方面，将它看作将各种不同表象分析地归于一个共同表象之下的机能，而忽视了这种机能正是以纯粹概念所体现的知性自发的、能动的综合统一为依据的，忽视了不同表象之所以能分析地包含于某个表象中，是因为它们本身先以作为一些综合的表象被给予了。就是说。形式逻辑表面上能只研究概念之间的相互关系，实质上它不过是附属于范畴之上的形式而已。形式逻辑表面上能抽掉了一切内容，实质上它惟有借助于范畴，即先验逻辑而运用于经验知识之上才能成为可能。

通过以上讨论，我们认为康德深刻地把握了形式逻辑的本质，因而也就彻底解决了形式逻辑与先验逻辑的关系，从而使人类的逻辑水平大大地向前迈进了一步。但从康德的具体的分析表述上看是分层次的、有侧重点的，可是这也却恰恰地表现出了康德的逻辑知识是一个完整的全面的合逻辑的体系。

参考文献：

[1]温纯如，逻辑、真理和价值[m]，北京：商务印书馆，2002

[2]齐良骥，康德的知识学[m]，北京：商务印书馆，2000

[3]杨祖陶，邓晓芒，康德<纯粹理性批判>指要[m]，北京：人民出版社,2001