前言：中文期刊网精心挑选了逻辑学中的否定概念范文供你参考和学习，希望我们的参考范文能激发你的文章创作灵感，欢迎阅读。
逻辑学中的否定概念范文1
关键词：Peirce；科学家；逻辑学家；科学；指号学；化学概念
CharlesSandersPeirce（1839-1914），其一生曾作为“一个美国人的悲剧”〔1〕，现在已经越来越多地被认为是他那个时代、也是美国至今产生的最有创造性、最具多才多艺的伟大思想家。他广博的研究涉及非常不同的知识领域：天文学、物理学、度量衡学、测地学、数学、逻辑学、哲学、科学理论和科学史、指号学、语言学、经济计量学和实验心理学等等。而且这里的许多领域，Peirce在不同程度上被视为倡导者、先驱甚至是“鼻祖”。Russell早就做出评价：“毫无疑问，他是十九世纪末叶最有创见的伟人之一，当然是美国前所未有的最伟大的思想家。”〔2〕而当代在世哲学家H.Putnam称他为“所有美国哲学家中高耸的巨人”〔3〕。
虽然Peirce的思想具有极为广阔的视野，但当今学者所公认、Peirce本人也承认的他的两个主要研究领域却是科学和逻辑学。科学和逻辑学是Peirce毕生付出精力最多的两个领域，也是他在大学毕业后决定他一生将做什么时曾犹豫不决的两种选择。但在其学术兴趣上它们是他的孪生子，二者在理论联系上常常是融为一体，成为Peirce最倾心关注的焦点。而且，作为科学家和逻辑学家的经验是Peirce整个哲学系统构建的基础与出发点，是贯穿他一生思想发展变化的重要影响因素。实际上，科学和逻辑学的共同追求正是Peirce为自己所界定的生活目标。把握他的这一显著特征，我们可考察作为科学家的Peirce与作为逻辑学家的Peirce之间的某些联系。
1科学家职业、逻辑学家志向
从实际从事职业来看，Peirce是位科学家，包括化学家、大地测量员、物理学家、天文学家、工程师、发明家、实验心理学家等等；同时这也是他谋生的门路，是他最早获得学术名声的领域。
成为一名科学家，Peirce具有非常优越的条件；同时这也是他的亲戚朋友尤其是父亲所期望的。Peirce出生于具有良好科学氛围的家庭，特别是其父亲BenjaminPeirce是哈佛大学天文学和数学Perkins教授，也是当时美国最有影响的数学家。Peirce从小由其父亲教授数学、物理学和天文学等学科；其聪颖智慧深得父亲欣赏。而Peirce本人也深受父亲影响，尤其是在父亲1880年去世之后，他极想遵照父亲遗愿而继承父亲的事业，从此专注于科学研究。
在Peirce十几岁时，他已经在家中建立了私人化学实验室，并写出了《化学史》；其叔叔去世后，他又继承了他叔叔的化学和医学图书馆。1859年从哈佛大学毕业后，他父亲安排他在美国海岸测量局（后来改名为海岸和地质测量局）野地考察队作为临时助手学习锻炼了一年；而同时他私下跟随哈佛动物学家LouisAgassiz学习分类学方法。1862年进入哈佛的Lawrence科学研究所，并于1863年毕业获得化学理学士。其间于1861年他再次进入海岸测量局，但这次是作为长期助手；1884年10月至1885年2月主管度量衡办公室；1867年父亲成为海岸地质测量局的第三任主管，Peirce于同年7月1日由助手(Aide)提为副手（Assistant），职位仅次于主管；他的这一职位上一直持续到1891年12月31日，时间达24年半之久。从1872年11月开始，他又负责钟摆实验；在1873—1886年间他在欧洲、美国以及其他地方的站点进行钟摆实验。晚年（1896年直到1902年）主要为圣劳伦斯能量公司做顾问化学工程师。
同时，Peirce在1867年被安排在气象台从事观测工作，并于1869年被任命为副手。他曾是一次日环食和两次日全食现象的观测者，还负责使用气象台新获得的天体光度计。1871年其父亲获得国会授权进行横跨大陆的地质测量，Peirce由此又成了职业的大地测量员和度量衡学家。
Peirce生前虽只出版过一本科学方面的书（《光测研究》(1878)），为《theNation》杂志撰写的短评、书评现多收集在由Ketner和Cook编辑出版的《ContributionstotheNation》中；但他在海岸地测局和哈佛气象台的诸多贡献已经为他（也为这两机构）在很年轻时就赢得了国际（特别是在欧洲）声誉（Peirce1870年、1875年、1877年、1880年和1883年先后五次接受测量局任务到欧洲考察，同欧洲的许多科学家建立了联系，并极力主张扩大科学界的国际联系）。Peirce于1867年成为美国文理学院的常驻会员，1877被选为国家科学院的成员，1880年被选为伦敦数学学会成员，1881年被选进入美国科学进步协会。而且值得一提的是，现在Peirce已被认为是采用光波长来测定米制长的先驱。
然而，尽管他原本可以很好地专职于科学职业，并有广阔的前景；并且事实上，他也是由化学进入了各种各样的科学部门，并投入了极大的兴趣和精力，成为美国当时杰出的科学家。但与逻辑学相比，它们只是他生命的第二焦点。
从理想志向来看，Peirce视逻辑学为其天职。早年在父亲指导下学习《纯粹理性批判》时就认为康德的失败主要在于其“平庸的逻辑”，要超越康德体系，必须发展一种崭新的逻辑。他声称在12岁时已经除了逻辑别无其他追求；甚至在生活潦倒、疾病缠身的困境中他依然坚持这一工作。他建有自己的私人逻辑史图书馆，他是近代以来少有的精通古代和中世纪逻辑的一位逻辑学家。他自己说，他是自中世纪以来唯一全身心贡献于逻辑学的人，并声称他是终生的逻辑推理学习者。1906年他在美国《WHO’SWHO》中把自己命名为一名逻辑学家，这在当时是绝无仅有的现象。晚年在Milford的Arisbe，他形容自己为田园逻辑学家、逻辑学隐士。与具有美好前程的科学职业相比，Peirce之所以热中于当时不可能成为谋生手段的逻辑学，更多的是出于对自己既定学术目标的追求：要发展一种有前途的逻辑。他对于逻辑的执著和热情，使得他在逻辑学上的贡献并不亚于科学。
年仅二十几岁时，Peirce就开始在哈佛和Lowell学院作关于逻辑学的演讲；从1879年直到1884年，在保持海岸地质测量局职位的同时，他作为JohnsHopkins大学（美国历史上第一所研究生学院）的兼职逻辑学讲师（这是他一生唯一一次获得的大学职位），并在这期间出版了他第二本书（也是最后一本）《逻辑研究》(1883年，Pei
rce主编)。这本书在当时的美国乃至整个欧洲都有较大影响。在1901年，他为Baldwin的《哲学心理学辞典》撰写了大部分的逻辑学词条。
虽然Peirce只有短暂的学院生活来传播他的逻辑理论，但在他那个时代，Peirce已经是一位国际性人物。在五次访问欧洲期间，虽然他是作为科学家去考察，但不仅碰到了许多著名科学家，也会见了当时知名的数学家与逻辑学家，包括DeMorgan、McColl、Jevons、Clifford、Spencer等，还与Cantor、Kempe、Jourdain、Victoria夫人等保持着通信关系。1877年英国数学家和哲学家W.K.Clifford评价“CharlesPeirce...是最伟大的在世逻辑学家，是自Aristotle以来已经为这一学科增加实质内容的第二个人，那另一个是GeorgeBoole，《思维规律》的作者。”〔4〕
而在今天，Peirce学者不断发掘出的Peirce的逻辑尤其是现代逻辑贡献更是值得重视。一般认为，他早期主要是作为一名布尔主义者（Boolean）从事代数逻辑方面的研究，而晚年他的贡献主要集中于图表逻辑方面，主要包括存在图表系统和价分析法。1870年Peirce的“描述一种关系逻辑记法，源于对Boole逻辑演算的扩充”是现代逻辑史上最重要的著作之一，因为它第一次试图把Boole逻辑代数扩充到关系逻辑，并在历史上第一次引入（比Frege的Begriffschrift早两年）多元关系逻辑的句法。在1883年之前他已经发展了量化逻辑的完全的句法，与直到1910年才出现的标准的Russell-Whitehed句法仅仅在特殊符号上有点不同。
在对于数理逻辑贡献的广泛性和独创性方面，Peirce几乎是无与伦比。与逻辑主义学派的Frege相比，Peirce的特殊贡献不在定理证明方面上，而更多的是在新颖的逻辑句法系统和基本逻辑概念的精制化发展上。他创造了十多个包括二维句法系统在内的不同逻辑句法系统。把实质条件句算子（在他那里的形式为“—<”）引入了逻辑学，比Shaffer早40年发展了Shaffer竖并仅仅基于这一算子发展了一完全的逻辑系统。还独立地系统采用了真值表方法和归谬赋值法，过早地意识到Skolem前束范式的技术。在JohnsHopkins大学教书期间，Peirce开始研究四色图猜想并发展了逻辑和拓扑学特别是拓扑图论之间的广泛联系。
我们看到，Peirce不仅是有着突出贡献的科学家，同时也是著名的逻辑学家。然而在二者关系上，首要的一点是：他承认自己热爱科学，但坦言对于科学的研究只是为了他的逻辑；因为逻辑的研究需要从各种特殊科学（还有数学）的实际推理方法中概括出一般的逻辑推理方法，而决不是仅仅从逻辑书籍或讲课中背诵、记忆和解题；多样化的科学研究正是为了逻辑之全面概括，由它们获得的材料形成了逻辑学的基础和工具。实际上，这种前后的“从属关系”最突出地表现在他晚年常常是以作为科学家的收入来维持从事逻辑学研究的时间。
2逻辑学作为科学
虽然上文表明逻辑学家Peirce与科学家Peirce之间有近乎目的与手段间的主从关系，但事实上并非如此简单，它们还有更为深刻的一层关系，那就是：逻辑学也是科学。很显然，这是Peirce长期的实验室经历已经使得他以科学的方法处理所有问题（他有时的确称自己为“实验室哲学家”）包括逻辑学了。
我们首先看，科学在Peirce那里意味着什么？Peirce看到大多数人包括科学界之外的人都习惯于把科学视为特殊种类的（主要是指系统化的）知识，而他更愿意像古希腊人那样把科学作为认知的方法，但他强调这种方法一定要是科学探究（inquiry）的方法。知识开始于怀疑，为了寻求确定的信念我们必须要解决（settle）怀疑，一般解决怀疑的方法主要有情感方法（求助于自己的感觉倾向）、信忠团体的方法（选择那些最适合其社会团体的那一信念）和尊重的方法（求助于自己对于某特别个人或机构的尊重之感情）等；但这些方法本质上都是自我中心的非客观的方法，它们往往只通过怀疑者自己的行为、意愿来选择信念，缺乏足够的证据。而真正客观的方法只有科学探究的方法，在这种方法指引之下，探究者从经验出发基于科学共同体(community)的合作去寻求真理（TRUTH）或实在（Reality），这也正是科学活动；最终的真理性认识可能并不是由某一实际的探究者所发现，但只要是遵循这种方法、运用先前的结果，最后都必定会一致达到真理的。这正是Peirce在《通俗科学月刊》上发表的两篇经典性论文《信念的确定》和《如何使我们的观念清楚明白》中所阐述的实用主义（与后来James版本的实用主义有很大不同）方法相一致的，事实上如Peirce所指出的，实用主义不是什么世界观，本质上是一种方法，一种科学探究的方法。而与此同时，我们看到，Peirce把逻辑学视为设计研究方法的艺术，是方法之方法，它告诉我们如何进行才能形成一个实验计划；逻辑就是对于解决怀疑的客观方法的研究，是对于达到真理之方式的研究，其目的就是要帮助我们成为“科学人”。现代科学之优于古代之处也正在于一个好的逻辑，健全的逻辑理论在实践上能缩短我们获知真理的等待时间，使得预定结果加速到来。
但是我们发现，他在思想更为成熟的阶段是把逻辑学的科学属性放置于指号学（Semiotics或更多的是Semieotics）的语境中来考察的，虽然这种处理与以上把逻辑学视为科学方法之研究存在着根本上的一致性。
Peirce不止一次指出，在最广泛的意义上的逻辑学就是指号学或关于指号的理论，仅仅是指号学的另一个名字。〔5〕它包括三个部门：批判逻辑学（CriticalLogic），或狭义上的逻辑学，是指号指称其对象的一般条件的理论，也即我们一般所谓逻辑学；理论语法（SpeculativeGrammar），是指号具有有意义特征的一般条件的学说；理论修辞（SpeculativeRhetoric），又叫方法论（methodeutic），是指号指称其解释项的一般条件的学说。〔6〕这种划分可能受中世纪大学三学科：语法、辩证法（或逻辑学）和修辞的课程设置的影响，指号学在某种程度上可视为对于中世纪后期所理解的逻辑的现代化版本。而我们在此需要强调的是，Peirce把指号学视为经验科学、观察科学。推理就是对于指号的操作，观察在其中发挥着重要作用；指号学同其它经验科学的不同在于它们实验操作对象不一样，在于其它科学的目的仅仅是发现“实际上是什么”而逻辑科学要探明“必定是什么”。但既然是经验科学，根据经验学习的科学人进行逻辑推理所得到的结论就是可错的即准必然的（事实上，任何逻辑必然都只是相对于特定
推理前提而产生必然的特定结论）。
更进一步，Peirce把狭义上的逻辑学(logicexact)分成假设逻辑（abductivelogic）、演绎逻辑和归纳逻辑三部分。显然这比传统逻辑上演绎（必然的）、归纳（可能的）二分的做法多出了内容。Peirce得出这样的结论是对于Aristotle三段论基本格研究的结果，他认为Barbara集中表现了演绎推理的本质，而作为特殊的演绎三段论Baroco（把Barbara中结论的否定作前提、小前提的否定作结论）和Bocardo（把Barbara中的结论的否定作前提、大前提的否定作结论），如果把它们的结论考虑为或然性的，则分别相应于假设推理(abductivereasoning)和归纳推理。但更重要的是，Peirce在此显示出了逻辑学与科学的最合理的紧密联系。在他看来，演绎逻辑也即数学的逻辑，而假设逻辑和归纳逻辑主要就是科学的逻辑。在演绎逻辑已经得到普遍承认的情况下，他终生的愿望就是要把归纳和假设（Abduction）同演绎一起坚固地和永久地确立在逻辑概念之中。在科学探究过程中，假设、演绎和归纳先后组成了三个不同阶段的科学方法，它们的共同作用使得科学探究能自我修正。
Peirce把假设放在首位，作为科学探究程序的第一步，目的在于发现和形成假说。假设是为解释违反规律（或习惯）的意外事实而产生假说的过程，它能产生新信息，Peirce把它视为所有科学研究甚至是所有普通人的活动的中心。但这种假设并没有提供安全可靠的结论，假说必须要经过检验。于是，还需要演绎来解释（explicate）和演示（demonstrate）假说即得出预言；再后由归纳回归到经验，旨在通过观察被演绎出的结果是否成立来证实或否证那些假说，即决定假说的可信赖度。在这连续的三种推理形式中，假设是从意外事实（surprisingfacts）推到对事实的可能性解释，演绎是从假说前提推到相应结论，归纳则是从实例到一般化概括。经过这样的科学探究，我们在科学共同体中将能不断接近真理。
3逻辑学中的化学概念移植
为更具体地论述Peirce的科学研究与逻辑学研究之间的紧密联系，我们在此可谈到Peirce对科学中的许多概念向逻辑学研究的成功应用，这突出表现在化学上。因为化学是Peirce的大学专业，也是他进入整个经验科学的入口。
逻辑学作为一门特殊的学科领域，事实上从近代以来，就从数学（包括代数和几何）理论那里找到了非常有力的发展动力和理论技术。我们在此谈到的化学概念应用作为整个自然科学概念推广中的一例其实也是Peirce为发展逻辑学而提出的。
首先，Peirce晚年极为倾心的存在图表逻辑构想正是基于化学图表原理（可能还有拓扑学方法的启发）。存在图表是Peirce在其指号学背景下对Euler图和Venn图的重大发展，具有极强的表现力。其在自然、直观、易操作上要远胜于代数方法（包括标准的Peano-Russell记法），因为我们心灵的思想过程被同构地展现在推理者面前，对于图表的操作代替了在化学（和物理）实验中对于实物的操作。化学家把这样的实验描述为向自然（Nature）的质疑，而现在逻辑学家对于图表的实验就是向所关涉逻辑关系之本性（Nature）的置疑。〔7〕
第二个例子，现代逻辑（可能从《数学原理》开始）中的一对基本概念:命题和命题函项（或有时称为闭语句和开语句）原本就是来自化学中的“饱和”（Saturation或Gesättigkeit）和“未饱和”概念。Peirce用黑点或短线来代替语句中的“指示代词”（即逻辑中的自变元），得到形如“——大于——”、“A大于——”这样的形式，它们分别被称为关系述位（relativerhema）（区别于像系词一样的关系词项）和非关系述位，也即他那里的谓词（谓词是几元的取决于我们到底如何选择去分析命题）。他指出，述位不是命题，并坦言“述位在某种程度上与带有未饱和键（unsaturatedbonds）的化学原子或化学基极为相似。”〔8〕然而不无意外，我们发现同时期欧洲大陆的Frege也正在独立地从化学概念得到逻辑研究的灵感。他把诸如“……的父亲”的函项记号称为“未饱和的”或“不完全的”表达式，以与专有名词相区别。〔9〕
另外一个例子是Peirce提出的价分析（ValencyAnalysis）法。正如名字所显示出的，它同化学中的化合价概念密切相关，Peirce所使用的词语Valency直接源于化学中的术语Valence即化合价。价分析是Peirce在图表化逻辑思想指引下于存在图表（ExistentialGraphs）之外创设的另一种二维表现法。其中，显然他是把思想中概念的组合与“化学离子”的组合相比拟，如他采用类似“——”这样的结构表示带有“开放端（looseend）”(即黑点后面的横线)的实体，即谓词；这就是化学中离子结构的简单变形。由于它们的开放端导致的“不稳定”（正像离子本身不稳定一样），开放端之间就可能连接起来形成共同“键”（bond）。如“——”同“——”可形成“——”样式的新结构〔10〕。正是利用这样的离子组键技术，Peirce成功证明了其著名的化归论题，即对于三元以上关系都可化归到三元和三元以下的关系，但一元、二元和三元关系却不能化归。这一论题是他哲学思想体系中所坚持的三分法原则的逻辑证明。
综观Peirce的科学家经历和逻辑学家志向，Peirce把逻辑学视为对于各种科学推理方法的概括，同时又把逻辑学理论指导、应用于科学研究过程。二者紧密相连，互为作用。而更为突出的，他的逻辑贡献大都可追溯到其多样化的科学研究，他的逻辑独创往往也是其科学研究经验的启发性建议。笔者以为，研究Peirce的这些方面，我们至少可得出以下启示：逻辑学应从数学和科学推理实践中概括推理的一般本质；逻辑学家应尽可能学习、掌握科学（传统逻辑就因为没有这样做而失败，科学家非逻辑学家或逻辑学家非科学家都不能胜任于对科学推理的分析工作），因为拓宽自己的科学研究领域必将能加强逻辑学家对于逻辑科学的贡献能力；同时科学家要想更为一般地把握住推理方法也应了解逻辑学，但是前者在当前学术界值得特别注意。当前处于被冷落地位的逻辑学要想摆脱这种局面，必须加快发展自己；而经验科学（不再仅仅是数学）必能使得逻辑学发展获得新的生命力，这已经是被现代逻辑的发展史（特别是初创时期）所证实的。
参考文献：
〔1〕库克.现代数学史〔M〕.呼和浩特：内蒙古人民出版社，1982年.61.
〔2〕罗素.西方的智慧〔M〕.北京：商务印书馆，1999年.276.
〔3〕HilaryPutnam.PeircetheLogician〔J〕.HistoriaMathematica,9（1982）.292.
〔4〕MaxFisch.TheDecisiveYearandItsEarlyConsequences〔M〕.WritingsofCharlesS.Peirce:aChronologicalEdition(Vol.2).Bloomington,Indiana.IndianaUniversityPress.1984.Introduction.
〔5〕〔6〕〔7〕〔8〕CharlesSandersPeirce.CollectedPapersofC.S.Peirce(Vol.1-8)〔C〕.Cambridge,Massachusetts.HarvardUniversityPress.1931-58.2.227，2.93，4.530，3.421.（按照Peirce文献的通常标注法，这里如“2.227”的记法，小圆点前面的数字为卷数，后面的数字为节数）
〔9〕威廉·涅尔，玛莎·涅尔.逻辑学的发展〔M〕.北京：商务印书馆，1985年.624.
〔10〕RobertBurch.ValentalAspectsofPeirceanAlgebraicLogic〔J〕,ComputersMath.Applic,Vol.23,No.6-9,1992.665-677.
Peirce：TheScientistandLogician
逻辑学中的否定概念范文2
【关键词】 命题；否定；否命题
在对高中数学简易逻辑的命题的教学中，我发现有好多学生对这种“若p则q”型命题的否定与否命题两个概念分不清楚，即使有的学生能够区分开来，却又很难正确地写出命题的否定，下面通过对一道具体的实例的错解剖析来谈谈这类命题如何否定.
例 已知命题P：“若a>b，则a2>b2”，请写出该命题的否定.
错解一 此命题为“若p则q”型，故其否定为“若 p，则 q”；因而该命题的否定为 p：“若a≤b，则a2≤b2”.
剖析 误把命题的否命题当成是命题的否定，其实命题的“否命题”与“命题的否定” 是两个不同的概念，首先，它们研究的对象范围不相同，否命题仅针对假言命题（即若p则q）而言的，否命题是对一个假言命题的条件和结论都加以否定所得到的新命题（即若 p，则 q ）.而对任意一个命题它的否定都是存在的.其次，从命题的真假来看，命题的否定是原命题的矛盾命题，两者必有一真一假，而假言命题的否命题则不然，与原命题的真值可能相同也可能相反.
错解二 此命题为“若p则q”型，而命题的否定只是否定结论，故其否定为“若p则 q”.因而该命题的否定为 p：“若a>b，则a2≤b2”.
剖析：那样简单地认为就是“若p则 q”，那是对数理逻辑学不知晓的缘故.如果套用这种否定法写命题p ：“若x>3，则x>4”的否定：若“x>3，则x≤4”，这样p和 p都变成假命题了！显然是错误的.
错解三 此命题为“若p则q”型，属于假言命题，它的否定是“p∧（ q），”因而该命题的否定为 p：“a>b且a2≤b2”.
剖析：是对数理逻辑中的命题逻辑和谓词逻辑不能正确区分，将讨论命题逻辑的方法机械地搬到了谓词逻辑中，一概认为“若p则q”型的命题就属于假言命题，否定是p∧（ q），那又太教条了.
其实“若p则q”的否定是个较为复杂的问题，在数理逻辑学中，对于 命题逻辑 和 谓词逻辑 讨论的对象是不同的.
从命题逻辑的角度来谈“若p则q”的否定.在命题“若p则q”中，如果p、q本身是命题，则叫做假言命题，属于命题逻辑讨论的对象，记作“pq”，它的否定是p∧（ q）即“若p则q”的否定是“p∧（ q）”，它是针对假言命题而论的.
逻辑学中的否定概念范文3
/
关键词：逻辑关系;思维能力;高考试题
中图分类号：G633.7 文献标识码：A 文章编号：1003-6148（2015）1-0045-3
逻辑学与教学关系的研究是欧美国家哲学研究的新兴热门问题之一。逻辑学是合理思维的工具，它能使人在思维过程中概念准确、判断恰当、推理合乎逻辑;使人更准确，更严密地表达思想，反驳谬误。随着教育及课程改革的不断深化，素质教育要求以培养学生的创新精神和实践能力为重点，“高分”不再是教学的唯一目标。学生良好的思维能力、思维习惯以及思维方法的培养成为教学的重点目标之一，这无疑对一线教师提出了更高的要求。高中阶段是学生的形象思维向抽象思维转化的重要阶段，是逻辑思维发展的关键时期。要有效地培养学生的逻辑思维能力，教师必须有系统的逻辑学理论知识和实践能力。本文从实际高考试题的逻辑学分析着手，从习题教学的视角分析逻辑学在教学中的重要作用。
1 逻辑学帮助深化物理概念和规律
通过习题教学能够帮助学生牢固地掌握物理概念，深刻地理解物理规律。但是，很多时候，学生看似理解了所学的物理内容，习题中也能够准确地给出答案。但是，对物理知识的理解未必真的到了实质。而从逻辑学视角分析问题的时候，会有新的体会思考。如下例所示：
例1 （2014年高考北京卷13题） 下列说法中正确的是（ ）
A.物体温度降低，其分子热运动的平均动能增大
B.物体温度升高，其分子热运动的平均动能增大
C.物体温度降低，其内能一定增大
D.物体温度不变，其内能一定不变
第一步：
根据热力学第一定律：温度是分子平均动能的标志。
温度升高，分子热运动的平均动能增大。
温度升高 温度降低
――――――――――――――――――――
分子热运动的平均 分子热运动的平均
动能增大 动能减小
（充要条件假言推理）A项错误;B项正确。
第二步：
物体的内能包括所有分子的动能和势能之和。
物体内能增大，要么分子动能总和增大（温度升高），要么分子间势能增大温度降低。
――――――――――――――――――――
结论：若分子间势能的增量大于分子动能总和的减少量，分子内能增加;
若分子间势能的增量小于分子动能总和的减少量，分子内能减少;
若分子间势能的增量等于分子动能总和的减少量，分子内能不变。
（相容选言推理否定肯定式，两个选言肢均未被排除，结论为选言判断） C、D选项错误。
分析 乍一看本题，A、B选项像是假言判断，实则为假言推理。假言判断与假言推理看似无大的差异，但是，对物理知识的理解却大相径庭。假言判断中，前件与后件是因果关系，前件的真导致后件真。假言推理则是推理导出的含义。温度变化与分子平均动能的变化构不成因果关系，温度升高只是分子平均动能的外在表现形式。作为高考题本题选项并未采用“当且仅当……则……”或“若……则”的形式来表述，极其严密。因此，从逻辑学角度重新审视物理知识的时候，会使认识更为透彻、深刻、严谨。
2 以逻辑学为基础，合理命题以培养严谨的逻辑思维能力
物理习题教学担任着培养学生逻辑推理能力的重要任务。学生学习的过程中，在学生对物理概念和规律掌握到一定程度以后，可以通过对一些推理性较强的习题的练习，来充分训练学生的逻辑思维能力和推理能力。此时，习题要有深度，要求推理过程复杂，脉络多样，如此才能更好地培养学生能力，使其思维更加缜密、灵活。如下例所示：
例2 （2014高考天津卷4题） 如图1所示，平行金属板A、B水平正对放置，分别带等量异号电荷。一带电微粒水平射入板间，在重力和电场力共同作用下运动，轨迹如图1中的虚线所示，那么（ ）
图1 带电粒子运行轨迹图
A.若微粒带正电荷，则A板一定带正电荷
B.微粒从M点运动到N点电势能一定增加
C.微粒从M点运动到N点动能一定增加
D.微粒从M点运动到N点机械能一定增加
第一步：
类平抛运动的物体动能增加，因为类平抛运动在水平方向匀速，在竖直方向做初速度为零的匀加速运动。
微粒在极板间做类平抛运动。
―――――――――――――――――
结论：微粒从M点运动到N点动能一定增加（带证式直言三段论推理，肯定前件式）。
C正确。
第二步：
根据能量守恒定律：微粒的重力势能、电势能、动能三者之和不变。动能是增加的，要么重力势能减少，要么电势能减少。
重力势能减少。
―――――――――――――――――――
结论：如果重力势能的减少量小于动能的增加量，电势能减少。
如果重力势能的减少量大于动能的增加量，电势能增加。
（相容选言推理否定肯定式，两个选言肢均未被排除，结论为选言判断） D选项错误。
第三步：
电势能增加，电场力做负功。（充要条件假言判断）
电势能无法判断，因此，电场力做功无从判断。A、B选项错误。
以上实例的推理过程较为复杂，脉络并不十分简单。这就要求学生能够找到合理的着手点，结合扎实的物理知识，以正确的思维方式进行推理。类似的习题编制有很多，但教师们在出题时未必考虑了相应的逻辑学知识，如果能够以逻辑学为理论基础来指导实践，定能有意想不到的收获。
3 分析学生物理学习障碍中的逻辑学问题，并采取合理的教学策略
通过习题教学和练习，教师可以随时得到学生学习情况的反馈信息，借以调整教学内容、方法和进程。在习题训练过程中，学生在运用知识解决实际问题的时候，难以把高度概括性和抽象性的物理知识与逻辑思维相联系。对于物理习题教学中的易错题，教师需从逻辑学角度系统科学地分析学生的逻辑思维障碍，对症下药，这样才能更好地帮助学生解决问题，同时培养学生的抽象逻辑思维能力和辩证逻辑思维能力。
例3 （2014高考海南卷9题） 如图2（a），直线MN表示某电场中一条电场线，a、b是线上的两点。将一带负电荷的粒子从a点处由静止释放，粒子从a运动到b过程中的v-t图线如图2（b）所示。设a、b两点的电势分别为φa、φb，场强大小分别为Ea、Eb，粒子在a、b两点的电势能分别为Wa、Wb，不计重力，则有（ ）
（a）某电场中一条电场线 （b）粒子运动v-t图
图2
A.φa>φb
B.Ea>Eb
C.Ea<Eb
D.Wa>Wb
第一步：
由牛顿第二定律F=ma知，物体合外力与加速度成正比，若加速度减小，则合外力减小。
从a到b的过程中，加速度减小。
――――――――――――――――――――
结论：从a到b的过程中，粒子所受合外力减小（充要条件假言推理，肯定前件式）。
第二步：
由电场强度定义E=F/q知，若电场力减小，则场强减小。
从a到b的过程中电场力减小，因为粒子只受到电场力的作用。（带证式前件）
――――――――――――――――――――
结论：从a到b的过程中，电场强度减小（充要条件假言推理，肯定前件式）。
第三步：
由能量守恒定律可知：粒子电势能与动能之和不变。
粒子动能增大则电势能减小。
粒子动能增大，因为粒子速度在增大（带证式前件）。
――――――――――――――――――――
结论：粒子电势能减小（充要条件假言判断，肯定前件式）。
第四步：
沿着电场线方向，电势逐渐降低。
受力方向由a指向b。
正电荷受力方向沿着电场线方向。
分析 本题之前三步逻辑推理对于学生来说并不难，但是第四步中，一些学生由于错误地使用了同一律的思维规律，潜意识地把粒子当做正电荷，因此得出了错误结论。找出了学生的逻辑思维障碍以后，教师就要注意强调，在静电场部分知识的学习的时候，要时刻注意粒子电性的正负，不能随便就把粒子当做带正电荷处理。
4 总 结
逻辑学中的否定概念范文4
[关键词]《论道》 《新理学》 逻辑 重新讲 接着讲
[中图分类号]B81-05 [文献标识码]A [文章编号]1000-7326(2009)04-0031-04
反映分析哲学重要特征的逻辑的引入，促成了中国哲学在现代的转型，形成了中国哲学研究的新范式――逻辑分析。这在金岳霖先生的《论道》和冯友兰先生的《新理学》著作中有鲜明的体现，前者可以说是重新讲的哲学，后者是接着中国哲学讲的哲学。而这两本哲学著作是中国现代时期的哲学代表作，与此同时有影响的哲人也无不运用了逻辑分析法。
一、《论道》、《新理学》用逻辑
作为哲学体系建构的工具，可以是逻辑的，也可以是其他，《论道》、《新理学》建构的工具就是逻辑的，而且是有意识地运用逻辑作为其表述思想的工具。
《论道》完全是用逻辑分析的方法建构起来的，里面运用了下定义、划分、演绎推理等逻辑方法。从《论道》的整体框架看，尽管概念很多，但概念与概念之间衔接紧密，内涵丰富、清晰，环环相扣，条分缕析，是一部准确运用逻辑的著作。例如其第一章讲的是道、能、式是什么及三者之间的关系；第二章是从可能的现实来论证道、能、式。例如运用下定义的方法，《论道》说，“可能”指的是“可以有而不必有‘能’的‘架子’或‘样式”’；“现实”指的是“现是出现的现，……而‘实’就是不空。”例如下一段话就是运用假言推理的例子。“如果Matter-energy是一概念或共项或可以有定义的名词，它就是本文的可能，而不是本文的‘能’。如果它是本文的可能，也许就是本文的‘式’；如果是本文的‘式’，则Indestructibility of Matter-energy那一原则就不是本条这一句话了；……如果它是式，则那一原则不是自然律；如果那一原则是自然律，则它不是式。”在论证“逻辑是可能的必然的关联”时，运用的就是正确的三段论AAA式。金岳霖是这样论证的，“‘式’就是必然的关联。逻辑就是‘式’，逻辑也就是必然。”而“可能的关联有必然的关联”，即必然的关联是可能的关联，逻辑是必然的关联。所以逻辑是可能的关联。
在《新理学》里也是运用逻辑方法来论证的。冯友兰用“如果一则”推出“真际必有”，推出“大全”、“理”、“气”、“道体”等范畴。
二、《论道》、《新理学》讲逻辑
在中国古代哲学著作里，从来不把逻辑放入哲学体系中来讨论，《论道》、《新理学》则不然，在这两部哲学著作里，探讨了逻辑问题。
在《论道》里，金岳霖研究的逻辑问题主要包括以下几方面。
关于逻辑、逻辑系统与逻辑学的定义。金岳霖把逻辑、逻辑系统与逻辑学作了区分。他认为，逻辑与逻辑学不同，逻辑也不同于逻辑系统。逻辑是逻辑学的对象，没有不同的逻辑，逻辑是必然的理，逻辑是惟一的。逻辑“是必然”。逻辑学是“研究必然的学问”。“逻辑表示必然与必然之间的必然关联。”如PRQ中，PQ是必然，R是必然的关联，“逻辑底秩序本身是逻辑。”逻辑不包括传统与现代，而逻辑学分为传统逻辑学与数理逻辑学，逻辑学是以逻辑为研究对象，所以逻辑学可以不同。逻辑是惟一的，逻辑系统可以是多种的。用他的话说，“逻辑系统是逻辑的具体表现，逻辑系统的意义随逻辑系统而异。可是，系统虽多，而逻辑不二。”“逻辑无二，而逻辑系统不一。”这就是说，虽然逻辑学研究逻辑及不同的逻辑系统，但是逻辑不同于逻辑学、逻辑系统。逻辑学的研究对象是逻辑，逻辑系统是逻辑的系统，逻辑是一元的，逻辑学、逻辑系统是多元的；可能与必然的关系，这种关系表现为“可能底关联有必然的关联，而必然的关联为逻辑”；逻辑学有传统与现代之分。
关于逻辑命题。金岳霖认为，“逻辑命题都是穷尽可能的必然命题。这样的命题对于事实毫无表示，所以它不能假，对于所有的可能都分别地承认之，所以它必真。”“逻辑命题不仅不能假，而且必然地真，它虽然不表示事实，然而它不能不有所表示。”
关于同一律思想。“同一律或者用(一)‘甲是甲’表示，或者用(二)‘如果X是甲，则X是甲’表示。”
关于归纳原则。在《论道》第7-12页专门论证归纳原则问题，强调归纳是由例子到一般的结论，可概括成“如果一则”的命题，进而分析前件所举正反例子对于归纳原则的真假关系问题，得出“归纳原则不会为所与所”的结论。
关于“式”的含义。在《论道》里，“式”有两层含义，其一，它是哲学范畴；其二，它包含逻辑的意义，而后者从属于前者。所以，逻辑也成为《论道》的哲学范畴。“式”是“析取的无所不包的可能”。“所谓可能是可以有而不必有‘能’的‘架子’或‘样式’。”所谓析取，金岳霖的解释是可以兼而不必兼的“或”，与我们现在所说的相容析取意义相同。从式的定义看，式是无所不包的“‘能’的‘架子’或‘样式”’。“逻辑就是‘式’，也就是必然。逻辑既是可能底必然的关联，当然也就是任何事实底最高(或最低)限度。逻辑学就是研究式的学问，或研究必然的学问。”式是“逻辑底泉源，可是它不限于任何一逻辑系统。……我觉得逻辑底积极意义就是表示‘能’之不能逃式。……一逻辑系统，不过是以一种方法表示‘能’之不能逃此‘式’。”他论及了式与逻辑的关系。他说，“所谓‘唯一逻辑’的逻辑也就是这里的‘式’。我们表示‘式’的方法可以不一，而‘式’无二。……逻辑无二，而逻辑系统不一；前者是说“式”无二，后者是说表示式的方法不一。从中可以看出，金岳霖的“逻辑是式”命题中式的内涵不同于维特根斯坦《逻辑哲学论》里所讲的式，维特根斯坦将式纳入命题函项中，把式视之为命题函项中常项。他规定了式的定义。“式是各个命题能相互共有的”，“式预先假定它可能在其中出现的一切命题的形式，这是一类命题共同的特征。”“因此，式由它表示特征的那些命题的一般形式表现出来。并且在这个形式中式是常项(constant)，而其余一切是变项(variable)。”也不同于普通逻辑中的“式”。金岳霖的“式”是必然，维特根斯坦的“式”是逻辑常项，普通逻辑的“式”是推理的有效式和非必然的式。
在《新理学》里，冯友兰探讨了以下的一些逻辑问题。
传统逻辑中性质命题的主项存在问题，提出现代逻辑能够解决这些问题。如冯友兰将“凡人皆有死”表述为：“对于所有的甲，如果甲是人，甲是有死的”这一谓词形式，来考虑逻辑学的形式化问题。将“凡人皆有死，甲是人，甲有死”用谓词逻辑理解为：“若果凡人皆有死，若果甲是人，则甲必是有死的”。这一推理可表述为：对于任何人而言，如果其为人，则有死；甲是人，所以甲有死。
否定归纳逻辑在哲学研究中的作用。由于哲学研究的是“真正义理命题”，“用归纳法所得之结论，
不能是必然底命题，而真正义理命题，是必然底，所以真正义理命题，不是用归纳法所能得到者。”归纳法仅仅适用于“寻义理”、知识之获得。
明确“涵蕴”范畴与逻辑常项的关系。哲学是“对于不可思议者之思议、对于不可言说者之言说”的纯思的学问，是对于“真际”形式的有所肯定，“真际”不同于实际，“实际的事物涵蕴实际；实际涵蕴真际。所谓涵蕴，即‘如果一则’之关系。”
哲学与逻辑。从其对哲学的理解上看，冯友兰认为哲学的观念是逻辑的；逻辑是有较新哲学的理由之一。他把理学称为哲学的哲学，是说理之学。所谓说理靠的是人的思与辩，“思之活动，为对于经验，作理智分析、总括及解释。”“解释”分为对于命题的内涵和外延的解释两种，哲学是说出或写出的道理，这说出或写出的道理就是辩，之所以得到此道理，是由于思。哲学虽然以实际的事物或以实际(自然)开始，哲学的形成靠经验，“但哲学对于实际，并无所主张，无所肯定或甚少主张，甚少肯定。”哲学本身只对真际肯定，哲学的观念、命题及推论多是形式的、逻辑的，不是事实的、经验的，作为形上学永远有其存在之价值，世界上没有全新的哲学，只有较新的哲学。第一，言语问题，言语会随着时代物质的环境或其他方面的知识的改变而改变，就会出现“全新底哲学家”。第二，经验问题，经验改变，我们据改变的经验对真际能够产生新见。第三，逻辑问题，人对于思之能力的训练可以进步。逻辑是训练人之思之能力的主要学问。由于今人对逻辑的研究比古人进步，所以对思之能力的训练当然优于古人，“用训练较精底思之能力，则古人所见不到者，今人可以见到，古人所有观念之不清楚者，今人可使之清楚。”由此可以看出，他把逻辑作为其哲学体系的基本内容。
三、“重新讲”与“接着讲”
运用逻辑分析法，使哲学逻辑化，由此达到哲学思想的明晰性和确定性，这是中国现代哲学不同于传统哲学的明显特征。《论道》和《新理学》如此，中国现代时期大部分哲学家的著作也是如此。如谢幼伟评熊十力的《新唯识论》中就说：“然此书系统之完整，说理之圆融，思想之深入而谨严，已非宋明理学家之著作可比。……尝谓学问之道，非于逻辑先有训练不可，否则，纵有所见，而表达为语言文字时，必难完整而有系统。过去中国学问之大病，即在缺少逻辑训练，因而甚少系统完整之著述。其有例外，则必曾用力释典，今观熊著《新唯识论》，益觉所见为不谬也。”它充分说明逻辑分析法的影响。我们完全可以说《论道》是在中国哲学发展史上重新写的著作，《新理学》是接着写的著作。
说是“重新讲”的著作，因为在《论道》里根本找不到中国传统哲学的痕迹，“道、情、性、势、理”等范畴是借中国传统哲学的概念而已，有其名而无其实。就拿“道”来说吧，在《论道》里，“道”是“式一能”，如上，“式”是必然的关联，逻辑是式，研究“式”的学问就是逻辑学；“能”是“在经验中抓住了它，在所谓‘形而上’学底范围之内，它也就逃不出去。”经验是“有推论有想象的经验。”“‘式’与‘能’虽然可以分别地讨论，却不可分开地‘是’道。道是二者之‘合’，不单独地是‘式’，也不单独地是‘能’。”对于“式”与“能”范畴，金岳霖认为，“朱子的‘理’与‘气’，我不敢说就是这里的‘式’与‘能’，亚里士多德底‘形’与‘质’我也不敢说就是这里的‘式’与‘能’。
‘理不能无气，气不能无理’或‘形不能无质，质不能无形’是(似)乎是常常遇着的思想，可是，我个人总感觉不到这思想底必然，尤其是‘理不能无气，形不能无质’底那一方面。若把‘气’与‘质’当作经验中的‘东西’，这两句话是(似)乎是真的，可是，它虽然是真的，而它们是(似)乎不是必然的。至少在我个人看来，经验的‘东西’无所谓必然，而‘理’与‘形’很可以没有这些‘东西’。我这里的‘式’与‘能’，在我个人，的确是不能分离的，而它们之不能分离，在我看来，的确是必然的。”金岳霖意识到《论道》之“道”与中国思想中“道”的不同，因情感因素，犯了“旧瓶装新酒”的错误。“我深知道我这本书有旧瓶装新酒底毛病，尤其是所谓无极、太极、几、数、理势、情、性、体、用。其所以明知而故犯之者就是因为我要把一部分对于这些名词的情感转移到这本书一部分的概念上去。”这就是我们说《论道》是用西方分析哲学的逻辑分析特征重新写的哲学著作。
《新理学》是用分析哲学中的逻辑分析方法来解读中国哲学的概念和观念的。如《新理学》第一章讲的是“实际与真际、类、全、理、形上形下、太极、‘物物有一太极’、‘理一分殊”’等内容。冯友兰是在论及中国传统哲学中如何理解这些概念和命题的基础上，用逻辑方法来进行分析，论述自己的观点。我们看他是如何用逻辑来理解中国传统哲学的概念的。在解释庄子的“大一”和“小一”时，他讲，“大一、小一是两个纯粹哲学底观念，因为它完全是逻辑的。《庄子・秋水》对于此点，有很好底辩论。……大一、小一，皆之对于真际有所肯定。大全或宇宙可以为大一者，因大全或宇宙亦是逻辑底观念，照定义它是至大无外底。若指定什么是小一，则即为对于实际有所肯定，其命题是经验的，其真假总是可疑问底。”就“理一分殊”的诠释，他认为宋儒的“理一分殊”说及朱熹这种观念中的“理一”指的是实际问题，“是就形下方面说的，是对于实际有所肯定者。”不是一类事物所依照之理。“此是我们所说之理一分殊。此理一分殊之说，是就逻辑方面说，只对于真际有所肯定。此说并不涵蕴实际底事物中间有内部底关联，所以对于实际无所肯定。”这就是他接着中国哲学讲的哲学。即他先讲中国哲学怎么讲，然后从逻辑角度讲自己的思想。由此看出冯友兰对逻辑方法的重视程度。
逻辑学中的否定概念范文5
关键词：逻辑真理；真理符合论
中图分类号：B81 文献标识码：A
逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：
（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：P或者非P中不管变项P赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？
关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。
第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：A、B是逻辑真命题，那么A并且B、如果A那么B都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。
逻辑学中的否定概念范文6
摘要：逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。
逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：
（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个主权国家。”这个命题的内容是符合客观事实的，所以是个真命题。
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：p或者非p中不管变项p赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？
关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
