哲学逻辑

贱猪头

逻辑的缺点/漏洞。 讯息的真伪。 错误的讯息就会让逻辑系统把结论引致错误的方向。 在思考辩证时一个错，后面的全部就得拉倒。

除了 “思维系统”，“讯息” 在逻辑中也极为重要。

山林居民

贱猪头 发表于 20-5-2014 09:58 PM
逻辑的缺点/漏洞。 讯息的真伪。 错误的讯息就会让逻辑系统把结论引致错误的方向。 在思考辩证时一个错，后 ...

简单的说，通过比较精密的逻辑归纳，
还得需要拿出事实，实践，试验数据结果，来证明，或者，证伪。
而空洞无物的，假话，大话，空话，废话。所谓假大空废，中国人惯常玩弄的语言把戏，如此这样“变态逻辑”，常见于当代政治文化习惯中；还不就是吹水的嘛。

贱猪头

山林居民 发表于 21-5-2014 11:30 AM
简单的说，通过比较精密的逻辑归纳，
还得需要拿出事实，实践，试验数据结果，来证明，或者，证伪。
而 ...

那么什么是紧密逻辑？？ 它运用着什么标准来达成所谓的 “精密逻辑”？？

guilimen

贱猪头 发表于 21-5-2014 09:51 PM
那么什么是紧密逻辑？？ 它运用着什么标准来达成所谓的 “精密逻辑”？？

Base On 他自己的標準 .

贱猪头

guilimen 发表于 21-5-2014 11:06 PM
Base On 他自己的標準 .

听他怎么说。

贱猪头

山林居民 发表于 21-5-2014 11:30 AM
简单的说，通过比较精密的逻辑归纳，
还得需要拿出事实，实践，试验数据结果，来证明，或者，证伪。
而 ...

能否举个situation, 使用一般逻辑跟精密逻辑的区别。只是想了解，没恶意。

山林居民

贱猪头 发表于 21-5-2014 11:30 PM
能否举个situation, 使用一般逻辑跟精密逻辑的区别。只是想了解，没恶意。

没关系的。
所谓“一般逻辑跟精密逻辑的区别”。
这些本就是本人使用通俗用词。而不是学术的。
一般逻辑嘛，就是人民口中习惯讲的推理。
而比较精密逻辑，就比较严谨了。需要严格检验查证。需要查找各种统计数据等等。
一般人华人的言词习惯，大多是情绪层面，以主观抒情，偏见化，私利化为主；说词多实为毫无根据的，天马行空，顺口开河为多。
先生不妨到政治议论板块论坛看看。那些情绪化的抒情，毫无根据的顺口开河，处处充斥。

贱猪头

山林居民 发表于 22-5-2014 12:00 PM
没关系的。
所谓“一般逻辑跟精密逻辑的区别”。
这些本就是本人使用通俗用词。而不是学术的。

有时候要超脱大众言行思想还真的不容易。 情绪本来就是最好奴役一个人的工具。

跟随的大众思想究竟有没有逻辑的存在？ 还是只是信徒。

山林居民

(google 一下，就有报告。没必要像某些人，装什么神秘兮兮的)。
---------------------------------

逻辑学与现代科学的发展


逻辑学在现代科学的发展中起到愈益重要的作用。按照联合国教科文组织的学科分类，逻辑学是列在“知识总论”下的一级学科。联合国教科文组织的“科学技术领域的国际标准命名法建议”中，更将逻辑学列于众学科之首。美、英、德、日等国家的学科划分都遵照这一标准。在中国，长期以来都把逻辑学作为二级学科，置于哲学之下，或置于数学之下，与国际通行的学科划分有很大的差异。
国内外学科划分的这种差异，一是因为我们将社会科学与自然科学人为地分离，二是因为我们在学科划分上搞几十年一贯制，未能及时纠正学科划分中存在的问题。
这样的划分，降低了逻辑学的地位，削弱了逻辑学的作用，限制了逻辑学自身的发展，也影响到几乎所有学科的发展。本文拟就逻辑学的基础地位和它在现代科学发展中的作用以及其他相关问题进行讨论。

　
一、第三次数学危机和逻辑学基础地位的确立　

传统的学科划分，将数学列于众学科之首，这一直是没有争议的，因为有了数学这样精确的分析工具，才会有以自然现象为研究对象的物理学、化学、天文学、地质学、生物学，也才会有以社会和人文现象为研究对象的经济学、政治学、社会学、法学、语言学、文学等等。这些都被写在科学史上和哲学史上，似乎科学的发展本身就是这样。　
长期以来，人们从未费心去想一想数学本身的问题：数学的基础是什么？我们凭什么相信数学？难道所有学科都要假定数学吗？　
19世纪末，随着康托集合论的建立，使数学基础的问题得以凸现。按照集合论的观点，数学各分支的研究对象或带有某种特定结构的集合，如群、环、拓扑空间；或者是可以通过集合来定义的，如自然数、实数、函数。这样，整个数学大厦就建立在集合论的基础之上。例如，自然数0，1，2，……可以分别定义为含有零个、一个、二个元素的集合，即0=φ，1=｛φ｝，2=｛φ,｛φ｝｝……。注意，这里是没有“数”的概念的，因为集合是人们在思维中可以把握的、彼此不同的对象——人们只要能够思维就可以了，不必为数的实在性和数学的合理性担心。　
就在人们额首相庆的时候，数学晴朗的天空响起了一声霹雳——罗素在集合论中发现了悖论。1902年，罗素构造了一个集合{B30E06.BMP}，即一切不属于自身的对象所组成的类。当取X=S时，就可以得到{B30E07.BMP}，一个命题等价于它自身的否定，这就是著名的“罗素悖论”。罗素悖论存在于逻辑而非数学这个层次之中，它揭示的危机是非常深刻的——数学的基础是集合论，而作为数学基础的集合论内部却包含着矛盾！罗素悖论引发的关于数学基础的危机被称为“第三次数学危机”。为消除罗素悖论又要保留已经充分发展的素朴集合论的内容，E.F.F.策梅罗和A.A.弗伦克尔在1935年建立了集合论形式公理系统ZF。此后，许多数学家和数理逻辑学家致力于对数学基础理论的研究，先后建立了公理集合论、模型论、递归论和证明论等被称为数学逻辑（mathematical logic，我国学者译为数理逻辑）的基本理论，回答了数学基础的一系列重要问题。　
第三次数学危机使人们思考的最重要的问题是逻辑与数学的关系问题。由于对逻辑与数学的关系的不同认识，现代数学基础理论被区分为逻辑主义、直觉主义和形式主义三大派别。以罗素为代表的逻辑主义坚持认为，一切数学理论都建立在逻辑的基础之上，或者说，从逻辑可以推出全部数学。罗素和怀特海在三大卷的《数学原理》中，从逻辑演算出发，推出了集合论和部分数学理论。后来，W.V.O.蒯因等人又改进了罗素的理论，构造了推理能力更强、又能避免集合论悖论的形式数学系统。以L.E.J.布劳维尔为代表的直觉主义认为，数学是创造性的精神活动，数学独立于逻辑和语言。他们反对把数学归为逻辑，认为证明逻辑系统的无矛盾性需要使用数学归纳法，因此数学先于逻辑。1930年，布劳维尔的学生、著名的直觉主义者A.海廷根据布劳维尔的思想建立了第一个直觉主义逻辑系统。此后，G.根岑、A.塔尔斯基、S.C.克利尼、S.克里普克等人逐步完善了直觉主义逻辑的语法和语义理论。而直觉主义逻辑的发展也促进了现代数学的发展，如构造数学就是在直觉主义逻辑的基础上建立起来的。形式主义的观点可以说是逻辑主义与直觉主义观点的合题，其代表人物是形式主义大师D.希尔伯特。1922年，他提出证明论和元数学的思想，认为布劳维尔等人根据直觉主义观点否定古典数学成果的做法是错误的，提出要保护古典数学这个“最有价值的宝藏”，为此他提出一个著名方案：第一，把全部古典数学的基本理论如初等数论、集合论和数学分析都完全形式化，加上逻辑演算，构成一个形式系统，进一步考虑形式语言的逻辑特征，这样建立起来的逻辑和数学系统称为“元数学”或“有穷逻辑”；第二，证明这个系统的协调性或无矛盾性。1924年，W.阿克曼证明了对归纳公理加上限制后的初等数论是协调的。1929年，K.哥德尔证明了逻辑演算公理系统的完全性。1930年，哥德尔证明了两个更为重要的定理，后来被合称为“哥德尔不完全性定理”。以后，哥德尔和根岑等人通过放宽对证明中使用的有穷方法的限定，证明了初等数论形式系统的一致性。希尔伯特方案对数学和逻辑发展产生的影响无比重大，讨论它的意义远远超出本文的范畴。我只想特别指出的是，希尔伯特以后，形式化成为席卷西方逻辑学、数学、语言学、哲学乃至几乎一切科学和文化领域的潮流，成为20世纪最重要的文化现象之一。这个“希尔伯特妖精”（注：J.C.麦克斯韦发现的电子被称为“麦克斯韦妖精”，此处是借喻。）最新的变种是数字化，从逻辑学的角度看，数字化系统只有两个初始符号"0"和"1"，系统中的其他一切如字符、数字、声音、图形、图像均由此定义。数字化系统的推理规则即理论计算机（亦称图灵机）的运算规则只有两条：运算和停机——可以说，数字化是形式化最典型、最完美的表现。　
综上所述，就逻辑和数学的关系而言，逻辑不必假定数学，而数学却需要假定逻辑；就逻辑、数学和其他学科的关系而言，并非其他学科都要使用数学，但其他学科都必须使用逻辑。　
正因为逻辑学是众学科的基础，所以联合国教科文组织和主要的发达国家都将逻辑学作为一级学科，列于各学科之首。　


二、逻辑学与现代科学的新发展　

数理逻辑建立以后，作为学科基础和各学科共同工具的逻辑学理论融入现代科学各学科之中。逻辑学理论在现代科学各学科的应用一方面促进了逻辑学理论自身的发展，另一方面也促进了其他学科的发展，并由此产生了众多的新兴学科。　
1.逻辑学在现代科学中的应用和发展　
尼古拉斯·雷歇尔(Nicholas Rescher)的逻辑分类图（注：Rescher,N.Topics in Philosophical Logic,D.Reidel Publishing Company,1968.）展示了逻辑学理论在现代科学的应用中得到的新发展。特德·杭德里奇(Ted Honderich)的逻辑分类图也显示了相似的情况（注：Honderich,T.Companion to Philosophy,Oxford University Press,1995.）。我们以雷歇尔的分类图为基础，对现代逻辑理论的新发展和分支学科作简要介绍，并对杭德里奇分类的不同之处略加说明。　
第一类学科群体称为“基础逻辑”，它由传统逻辑、正规的现代逻辑、非正规的现代逻辑三个学科门类构成，包括亚里士多德逻辑、中世纪的逻辑、命题逻辑、一阶谓词逻辑、模态逻辑、多值逻辑、非标准蕴涵系统和非标准量化系统等分支学科或理论。雷歇尔将它们称为“基本逻辑”，因为它们是学习逻辑学其他理论的基础。　
第二类学科群体称为“元逻辑”，它由逻辑语形学、逻辑语义学、逻辑语用学、逻辑语言学四个学科门类构成，包括基本语义学、模型论、解释理论、项的理论、描述理论、同一理论、自然语言逻辑、修辞分析、语境蕴涵、非形式谬误理论、结构理论、意义理论、有效性理论等分支学科或理论，它们是用数理逻辑的方法对逻辑学自身进行理论研究和系统分析而产生的学科群体。　
第三类学科群体称为“数理逻辑”，它由算术理论、代数理论、函数论、证明论、概率逻辑、集合论、数学基础等七个学科门类构成，包括算法、可计算理论、计算机编程、布尔代数、格论逻辑、递归论、兰姆达转换、组合论、公理化理论等分支学科或理论，它是对数学基础研究产生的学科群体。　
第四类学科群体称为“科学逻辑”，它由物理学的应用、生物学的应用、社会科学的应用三个学科门类构成，包括量子论逻辑、物理或因果模态理论、控制论逻辑、义务逻辑、价值逻辑、法律逻辑等分支学科或理论，它们是逻辑学应用于各门具体科学产生的学科群体。　
第五类学科群体称为“哲学逻辑”，它由伦理学、形而上学、认识论方面的应用和归纳逻辑四个学科门类构成，包括行为逻辑、义务逻辑、命令逻辑、选择逻辑、存在逻辑、时序逻辑、部分/整体逻辑、Lesniewski的本体论、构成主义逻辑、唯名唯实论争论意义下的本体论、问题逻辑、认知逻辑、条件逻辑、信息和信息加工的逻辑、证据和证实的逻辑、概率逻辑等。哲学逻辑是用数理逻辑方法研究哲学基本概念、基本理论形成的广大的学科群体，是现代逻辑发展最为成熟的一个部分。　
从雷歇尔的分类，可以看出逻辑学若干新的进展，例如在逻辑学自身理论的发展方面，形成了元逻辑这一学科群体；在数学的发展方面，形成了数理逻辑更多的分支学科；在科学的发展方面，形成了物理学的逻辑、生物学的逻辑、社会科学的逻辑等学科门类和分支学科；在哲学的发展方面，形成了哲学逻辑广大的学科群体和众多的分支学科。雷歇尔的分类应该成为我国逻辑学分类的一个很好的参照。　
杭德里奇分类的不同之处是，他首先将逻辑学分为演绎逻辑和归纳逻辑两大类，又将演绎逻辑分为哲学逻辑和符号逻辑两类。哲学逻辑包括非形式逻辑、意义理论、真的理论、蕴涵理论、元逻辑五类，符号逻辑包括形式逻辑、数理逻辑两类。在这些学科分支下又包含其他学科分支，如在蕴涵理论下有衍推蕴涵、严格蕴涵、形式蕴涵、实质蕴涵、相关蕴涵五个分支；形式逻辑下包括道义逻辑、模态逻辑、命题演算、谓词演算、多值逻辑五个分支，而数理逻辑下又包括集合论和证明论或元数学两个分支。杭德里奇分类很精细，但也有很多不便或不妥，如数理逻辑成为三级学科，模态逻辑、命题演算、谓词演算、多值逻辑成为四级学科，而它们在雷歇尔那里是作为“基本逻辑”，列在逻辑学的最上层分支学科。雷歇尔的划分似乎更为合理。　
但雷歇尔分类也有缺陷和不足，主要是70年代以后的一些新发展未被收入其中。以语言逻辑为例，语用逻辑(illocutionary logic)是70年代以后发展起来的新兴学科，它起源于50年代英国分析哲学家J.L.奥斯汀的言语行为理论。70年代以后，美国分析哲学家J.R.塞尔发展了奥斯汀的理论，建立了语用逻辑的体系。1985年，塞尔和D.范德维克建立了一个语用逻辑系统，并给出了该系统的7条公理和若干定理，标志着语用逻辑的创立。目前对言语行为和语用逻辑的研究已形成新的学科，并且在语言学、计算机科学和人工智能领域得到充分的应用。这样的新兴学科未列入雷歇尔的分类是一个缺陷。另一个发展很快、分支众多的新兴学科是“计算机与人工智能中的逻辑学”，雷歇尔的分类亦未列入。　
2.逻辑学促进现代学科的发展　
逻辑学在各门具体科学中的应用也促进了这些学科的发展，产生了各学科之下或各学科之间的更多的新兴学科。前面已详细介绍了逻辑学对现代数学发展的重要影响，这里我们再以哲学、物理学、语言学、计算机科学等方面的发展为例加以说明。　
哲学　首先让我们来看现代逻辑对哲学发展的影响。G.弗雷格、罗素和维特根斯坦以数理逻辑为工具创立了分析哲学。维特根斯坦在其前期的代表作《逻辑哲学论》中把对世界的认识分析为对命题的研究：他把世界分析为原子事实，与原子事实相对应的是原子命题（基本命题），复合命题是基本命题的真值函项，思想是有意义的命题，它是事实或世界的逻辑图像，因此，对不可言说的就应当沉默。可见维特根斯坦对语言特别是对它的基本单位命题是多么重视。更值得注意的是，维特根斯坦在其后期的代表作《哲学研究》中提出“语言游戏论”和“工具论”，强调语言的应用功能，即用来“做事”的功能，这是分析哲学的另一重要派别日常语言学派的思想基础，而奥斯汀和塞尔倡导和发展的“言语行为论”和“语用逻辑”，又直接创立了语言哲学的语用学派。可以看出，维特根斯坦前后两个时期能够取得截然不同却又都具有划时代意义的成就，这与他对语言的意义和功能的深刻而又不同凡响的认识是联系在一起的。分析哲学在后来的发展，包括逻辑实证主义和日常语言学派的发展，也是和哲学家们对符号语言的认识和研究分不开的。　
物理学　符号语言的使用和数理逻辑的发展极大地影响到自然科学的发展，最具代表性的是重视实证和逻辑推理的相对论和量子论的建立。按照爱因斯坦的引力理论，宇宙空间不可能在欧几里德几何学的基础上用简单的定律以最大的精确度进行描述。新理论所构造的宇宙空间在每一点上都必须使用与欧氏几何不同的另一种几何学，而这种几何学并不是“纯直观”的。对此，维也纳学派奠基人M.石里克说：“任何人只要一旦深入地考察一下物理学理论并且看到它的逻辑的统一性和贯融性极大地简化了整个世界图景，他就会毫不犹豫地认为，欧几里德几何在物理学中的绝对支配地位已经结束了。”（注：洪谦：《石里克与现代经验论》，转引自《百年中国哲学经典·五十年代后卷》，海天出版社1998年版第187页。）在量子力学方面，J.冯·诺伊曼认为量子力学可以用公理化方法加以陈述。按照冯·诺伊曼的思想，这个系统是希尔伯特空间中的一种算符运算公理系统，它只有5条公理。这种方法后来经过R.卡尔纳普、C.G.亨佩尔等人的诠释，成为逻辑经验主义的标准观点。符号逻辑和形式数学对现代物理学产生了至关重要的影响，而现代物理学的这种重实证和形式化的方法又反过来促进逻辑学和哲学的发展。　
语言学　现代逻辑对语言学的影响是形成了被称为语言哲学的许多新学科，其中最典型的例子当数N.乔姆斯基的转换生成语法和S.A.克里普克的语义模型。　
乔姆斯基在哲学基础上继承了从笛卡尔以来唯理主义的传统，在语言学理论上接受索绪尔的结构语言学，而在方法上则使用数理逻辑的形式化方法。所谓形式化方法，就是使用某种无意义的语言符号，从一些生成规则导出基本语句，从这些基本语句中选择一些特殊性质的语句作为推理的出发点，确定推理规则，并推出系统内具有这些性质的全部语句。形式语法是独立于解释的，对它的符号和语句可以作出种种不同的解释，从而获得不同的意义。乔姆斯基的转换生成语法就是使用这种形式化方法来进行研究的，因此，它的结果不仅适用于英语，也同样适用于汉语和其他自然语言。乔姆斯基所以取得这样的成就完全得益于他对数理逻辑的掌握，并把数理逻辑和语言学的研究结合起来。　
克里普克的贡献是语义学。所谓语义学，就是对形式系统中符号和公式的意义作出解释的理论。通过语义解释，系统内的可证公式都具有某种良好的性质。经过语义解释以后，人们就可以对形式系统的语形和语义关系进行研究。语义学的研究经过A.塔斯基、卡尔纳普等人的工作已初具形态，并建立了模型论等一系列重要方法，克里普克则建立模态语义学的方法，如语义图方法、可能世界语义学方法等，这些方法仍然是目前普遍使用的语义学研究方法。　
在语用学方面，我们前面已经谈到从奥斯汀到塞尔的发展，其结果是言语行为理论和语用学的发展，以及语用逻辑的诞生。　
计算机科学与人工智能　最后我们要特别地谈一谈现代逻辑对计算机科学和人工智能的影响。首先，符号语言和数理逻辑的建立直接导致计算机的诞生，因为现代计算机的原型冯·诺伊曼机的逻辑基础就是经典的二值逻辑。其次，现代计算机的发展同样离不开符号语言和数理逻辑。计算机从最初单纯的数值运算，发展到文字处理，直到今天能够处理声音、图形、图像的多媒体，都得益于“数字化”技术。所谓数字化，就是用“比特”（二进制数的一位，即0或1）作为信息载体，用以存储、加工、传输所有信息。计算机的数值运算技术带来高速数值计算的时代，文字处理技术带来“办公自动化”的时代，多媒体技术则带来“多媒体”和“虚拟现实”的时代。其实，这里的"0"和"1"就是一种表意符号，它们在不同的解释中具有不同的意义。计算机软、硬件技术所凭借的表意符号的性质及其解释都是基于符号逻辑的，而关于表意符号的二值运算又是基于经典二值逻辑或称数理逻辑的。因此可以说，计算机科学的发展及其带来的现代文明都是离不开符号语言的建立和现代逻辑的发展的。　


　



逻辑史：中国逻辑史　西方逻辑史　
基本逻辑：形式逻辑（直接推理、三段论）　命题逻辑　一阶谓词逻辑　模态逻辑　多值逻辑　非标准蕴涵系统　非标准量化系统　
元逻辑：逻辑语形学（逻辑语法学）　逻辑语义学　逻辑语用学　
数理逻辑：证明论　模型论　公理集合论　
科学逻辑：量子论逻辑　控制论逻辑　价值逻辑　法律逻辑　
哲学逻辑：行为逻辑　义务逻辑　命令逻辑　选择逻辑　存在逻辑　时序逻辑　部分／整体逻辑　本体论逻辑　问题逻辑　认知逻辑　条件逻辑　
语言逻辑：结构理论　意义理论　有效性理论　
计算机和人工智能的逻辑：信息和信息加工的逻辑　计算机语言的逻辑　人工智能的逻辑　
归纳逻辑：概率逻辑　证据和证实的逻辑　
辩证逻辑　




【参考文献】　
Rescher,N.Topics in Philosophical Logic,D.ReidelPublishing Company,1968.　
Honderich,T.Companion to Philosophy,Oxford UniversityPress,1995.