格雷厄姆·普里斯特(Graham Priest)在《Mind》上发表的文章分析,我发现了其思考的严谨与深刻。因此,我在与其直接交流的基础之上,进一步对其以往发表的文章再来一次系统地回顾和梳理。旨在就我们共同关注的深刻的根基性问题做进一步探讨。 附录: GRAHAM PRIEST; The Limits of Thought—and Beyond , Mind, Volume C, Issue 399, 1 July 1991 , Pages 361–370, https://doi.org/10.1093/mind/C.399.361 http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.896.8088rep=rep1type=pdf https://core.ac.uk/display/43397348 37.格雷厄姆·普里斯特(Graham Priest) 查询:Graham Priest Mind 结果: https://academic.oup.com/mind/article-abstract/C/399/361/2918302?redirectedFrom=PDF 2.1. Is Arithmetic Consistent? GRAHAM PRIEST There are many possible models of paraconsistent logic that include all of the truths of the standard interpretation of arithmetic. Allowing such inconsistent arithmetics, in which n=n+1 is both true and false, has a number of advantages. For example, Uwe Petersen has provided an argument to prove that there exists a number x for which x=x+1. Paraconsistent arithmetic also avoids problems associated with Church's Theorem, Tarski's Theorem, and Godel's incompleteness theorem . Furthermore, Hilbert's Programme becomes redundant 算术一致吗? 有许多可能的次协调逻辑模型,包括算术标准解释的所有真理。 允许这种不一致的算术,其中n = n + 1既是真的又是假的,具有许多优点。 例如,Uwe Petersen提供了一个论证来证明存在x = x + 1的数x。 次协调算术也避免了与邱奇定理,塔斯基定理和哥德尔不完备性定理相关的问题。 此外,希尔伯特的计划变得多余。 GB/T 7714 https://academic.oup.com/mind/article-abstract/103/411/337/946881?redirectedFrom=PDF Priest G. Is Arithmetic Consistent? . Mind, 1994 , 103(411):337-349. MLA Priest, Graham. Is Arithmetic Consistent?. Mind 103.411(1994):337-349. APA Priest, G. (1994). Is arithmetic consistent?. Mind, 103(411), 337-349. 2.2. Title: On inconsistent arithmetics : a reply to Denyer Author(s): Graham Priest . Source: Mind. Document Type: Article Abstract : Nicholas Denyer's criticism of an article on inconsistent arithmetics is correct in some points, but also contains some mis interpretations, ad hominem arguments and sketchy reasoning. The direct argument for accepting the least inconsistent arithmetic M rather than the standard arithmetic is unacceptable, as Denyer correctly points out. However, the indirect argument for M still stands, despite Denyer's criticisms. The indirect argument shows that M avoids some difficulties related to classical theorems such as Church's Theorem, Tarski's Theorem and Godel's Incompleteness Theorems. http://go.galegroup.com/ps/i.do?id=GALE|A18851893sid=googleScholarv=2.1it=rlinkaccess=fulltextissn=00264423p=AONEsw=w 题目:关于不一致算术:对丹耶的答复 作者:格雷厄姆牧师。 资料来源:Mind。 文件类型:物品 文摘: 尼古拉斯·丹耶对一篇关于不一致算术论的文章的批评在某些方面是正确的,但也包含了一些误解、悖论和粗略的推理。正如丹耶正确指出的那样,接受最小不一致算术m而不是标准算术的直接论点是不可接受的。然而,尽管丹耶提出了批评,但对M的间接论点仍然存在。间接论证表明,M避免了经典定理如丘奇定理、塔斯基定理和戈德尔不完全性定理的一些困难。 In Is Arithmetic Consistent? (1994a--hereafter, IAC) I drew attention to the fact that there are inconsistent but nontrivial theories that contain all the sentences true in the standard model of arithmetic, N. The theories are not, of course, classical theories, but paraconsistent ones. I also argued that it is not as obvious that N is the correct arithmetic as one might suppose and that there are reasons for taking one of the inconsistent arithmetics, M, with least inconsistent number, m, to be the correct one. Two reasons were given. The first was a direct one; the second an indirect one, to the effect that M avoids most of the limitative theorems of classical metatheory. In Priest's Paraconsistent Arithmetic (1995--hereafter PPA), Nicholas Denyer gives a critique of the paper. The first four sections attack the indirect argument, the fifth the direct argument, and the sixth and final, section is an ad hominem attack. The paper is a mixture of insightful criticism, over-swift argument and misreading. The purpose of this note is to point out which parts are which. https://www.mendeley.com/catalogue/inconsistent-arithmetics-reply-denyer/ 在“算术一致吗?”(1994年a——此后,IAC)我提请注意一个事实,即在标准的算术模型“n”中,有不一致但不平凡的理论包含了所有的句子。当然,这些理论不是古典理论,而是准一致的。我还认为“n”并不像人们想象的那样明显是正确的算术,并且有理由将不一致的算术中的一个“m”(数字不一致的最小值为“m”)作为正确的算术。给出了两个原因。第一个是直接的,第二个是间接的,因为“m”避免了经典元理论的大多数极限定理。在“牧师的帕拉一致性算术”(1995年——以下简称“ppa”)中,尼古拉斯·丹耶对这篇论文进行了评论。前四节攻击间接论点,第五节直接论点,第六节和最后一节是“自动寻人”攻击。这篇论文是一篇综合了深刻的批评,过快的争论和误读。本注释的目的是指出哪些部分是什么。 GB/T 7714 PRIEST, G. On Inconsistent Arithmetics: A Reply to Denyer . Mind, 1996 , 105(420):649-659. MLA PRIEST, and G. On Inconsistent Arithmetics: A Reply to Denyer. Mind 105.420(1996):649-659. APA PRIEST, G. (1996). On inconsistent arithmetics: a reply to denyer. Mind , 105 (420), 649-659. https://academic.oup.com/mind/article-abstract/105/420/649/945409?redirectedFrom=PDF 2.3. Logicians have been trying to solve the Liar Paradox and its associated family of insolubiles for the best part of two and a half thousand years ; so one might well have thought that there could be no very new views on the topic. The subject is deep and hard, however; and this is not the case. In Replacing Truth , Kevin Scharp has come up with one. The main idea is a variation of the thought that truth is an inconsistent concept (as endorsed by, e.g., Chihara, Eklund, and dialetheists). Its main novelty lies in the idea that it should be replaced by two notions . One of these, descending truth, D , satisfies the T -schema from left to right: . The other, ascending truth, A, satisfies it from right to left . Neither converse holds. (Here, 在两千五千年的时间里,逻辑学家一直 在试图解决“说谎者悖论”及其相关的不可解性家族 ;因此,人们可能会认为在这个问题上可能没有什么新的观点。然而,这个主题是深刻而艰难的;事实并非如此。为了取代事实,凯文·沙普想出了一个。 主要的观点是, 真理是一个不一致的概念的思想的变体 (如千原、埃克隆德和狄尔忒派的赞同)。它的主要新颖之处在于 它应该被两个概念所取代 。其中之一,下降真理,d,满足从左到右的t-图式:forumla。另一个,上升的真理,A,从右到左满足它。都不支持。(这里, https://academic.oup.com/mind/article-abstract/125/498/553/2583542?redirectedFrom=PDF GB/T 7714 Priest G . Replacing Truth, by Kevin Schar p . Mind, 2016, 125(498):fzv117. MLA Priest, Graham . Replacing Truth, by Kevin Scharp. Mind 125.498(2016):fzv117. APA Priest, G. . (2016). Replacing truth, by kevin scharp. Mind, 125(498), fzv117. 2.4. Hegels Dialectical Logicby Ermanno Bencivenga Review by: Graham Priest Mind Vol. 111, No. 443 (Jul., 2002), pp. 643-646 Published by: Oxford University Press on behalf of the Mind Association https://www.jstor.org/stable/3093626 Page Count: 4 GB/T 7714 Priest G. Hegel's Dialectical Logic by Ermanno Bencivenga . Mind, 2002, 111(443):643-646. MLA Priest, Graham. Hegel's Dialectical Logic by Ermanno Bencivenga. Mind 111.443(2002):643-646. APA Priest, G. (2002). Hegel's dialectical logic by ermanno bencivenga. Mind, 111(443), 643-646. 黑格尔的辩证逻辑论 2.5 Studia Logica June 1982, Volume 41, Issue 2–3, pp 249–268| Cite as https://link.springer.com/article/10.1007%2FBF00370347 To be and not to be: Dialectical tense logic Graham Priest 1. Philosophy Department, University of Western Australia, Nedlands, Australia Abstract The paper concerns time, change and contradiction, and is in three parts. The first is an analysis of the problem of the instant of change. It is argued that some changes are such that at the instant of change the system is in both the prior and the posterior state. In particular there are some changes from p being true to ℸp being true where a contradiction is realized. The second part of the paper specifies a formal logic which accommodates this possibility. It is a tense logic based on an underlying paraconsistent prepositional logic, the logic of paradox. (See the author's article of the same name Journal of Philosophical Logic 8 (1979).) Soundness and completeness are established, the latter by the canonical model construction, and extensions of the basic system briefly considered. The final part of the paper discusses Leibniz's principle of continuity: “Whatever holds up to the limit holds at the limit”. It argues that in the context of physical changes this is a very plausible principle. When it is built into the logic of the previous part, it allows a rigorous proof that change entails contradictions. Finally the relation of this to remarks on dialectics by Hegel and Engels is briefly discussed. Keywords Formal Logic Basic System Model Construction Computational Linguistic Final Part . 逻辑学 1982年6月,第41卷,第2-3期,第249-268页,引用为 存在与不存在:辩证时态逻辑 普里斯特 1 澳大利亚 内德兰西澳大利亚大学 哲学系 摘要 本文涉及时间、变化和矛盾,分为三个部分。第一个是对 变化瞬间 的问题的分析。有人认为,有些变化是这样的,即在变化的瞬间,系统同时处于前后状态。尤其是在矛盾实现的情况下,从P为真到_P为真有一些变化。本文的第二部分详细说明了一种适应这种可能性的形式逻辑。它是一种基于潜在的副一致介词逻辑即 悖论逻辑 的时态逻辑。(见同名《哲学逻辑杂志》1979年第8期作者的文章)通过规范的模型构造,并简要考虑了基本体系的扩展,建立了完整性和完整性。论文的最后一部分讨论了 莱布尼兹的连续性原理 :“任何能达到极限的都能达到极限”。它认为,在物理变化的背景下,这是一个非常合理的原则。当它被嵌入到前一部分的逻辑中时,它允许一个严格的证明,即变化会导致矛盾。最后简要讨论了这与黑格尔、恩格斯关于辩证法评论的关系。 关键词 形式逻辑 基础系统 模型构建 计算语言 最后部分 2.6. Discussion. The import of inclosure: some comments on Grattan-Guinness:Structural similarity or structuralism? Comments on Priest's analysis of the paradoxes of self-reference'' . G Priest Mind, Volume 107, Issue 428, October 1998, Pages 835–840, https://doi.org/10.1093/mind/107.428.835 Published: 01 October 1998 http://xueshu.baidu.com/usercenter/paper/show? paperid=cac114cf5de115391f7b13dc267fba60site=xueshu_se 元素路径: body p
2014 年 SCIE 收录 逻辑学 期刊 20 种,其中 SCI 收录 5 种、 SCI 、AHCI共同收录期刊4种 。 2014 年 SCI 收录逻辑学学科期刊 20 种目录 SCIENCE CITATION INDEX EXPANDED LOGIC - JOURNAL LIST Total journals: 20 注: ★ SCI、AHCI共同收录期刊4种 1. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 《美国计算机学会计算逻辑汇刊》 Quarterly ISSN: 1529-3785 ASSOC COMPUTINGMACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY,10121-0701 1. ScienceCitation Index Expanded 2. ALGEBRA AND LOGIC 《代数与逻辑》 Bimonthly ISSN: 0002-5232 SPRINGER, 233SPRING ST, NEW YORK, USA ,NY, 10013 1. ScienceCitation Index Expanded 3. ANNALS OF PURE AND APPLIED LOGIC 《理论与应用逻辑纪事》 Monthly ISSN: 0168-0072 ELSEVIER SCIENCE BV , PO BOX 211, AMSTERDAM, NETHERLANDS , 1000 AE 1. ScienceCitation Index 2. ScienceCitation Index Expanded 4. ARCHIVE FOR MATHEMATICAL LOGIC 《数理逻辑文献》 Bimonthly ISSN: 1432-0665 SPRINGER, 233SPRING ST, NEW YORK, USA ,NY, 10013 1. ScienceCitation Index 2. ScienceCitation Index Expanded 5. BULLETIN OF SYMBOLIC LOGIC 《符号逻辑通报》 Quarterly ISSN: 1079-8986 ASSOC SYMBOLICLOGIC, INC, 124 RAYMOND AVENUE, POUGHKEEPSIE, USA ,NY, 12604-0001 1. ScienceCitation Index 2. ScienceCitation Index Expanded 6. ★ HISTORY AND PHILOSOPHY OF LOGIC 《逻辑史和逻辑哲学》 Quarterly ISSN:0144-5340 TAYLOR FRANCIS LTD, 4 PARK SQUARE, MILTON PARK, ABINGDON, ENGLAND, OXON, OX14 4RN 1. ScienceCitation Index Expanded 2. Arts Humanities Citation Index 7. JOURNAL OF APPLIED LOGIC 《应用逻辑学杂志》 Quarterly ISSN: 1570-8683 ELSEVIER SCIENCE BV , PO BOX 211, AMSTERDAM, NETHERLANDS , 1000 AE 1. ScienceCitation Index Expanded 8. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 《逻辑与代数程序设计杂志》 Bimonthly ISSN: 1567-8326 ELSEVIER SCIENCEINC, 360 PARK AVE SOUTH, NEW YORK, USA ,NY, 10010-1710 1. ScienceCitation Index 2. ScienceCitation Index Expanded 9. JOURNAL OF LOGIC AND COMPUTATION 《逻辑与计算杂志》 Bimonthly ISSN: 0955-792X OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND , OX2 6DP 1. ScienceCitation Index Expanded 10. JOURNAL OF MATHEMATICAL LOGIC 《数理逻辑杂志》 Semiannual ISSN: 0219-0613 WORLD SCIENTIFICPUBL CO PTE LTD, 5 TOH TUCK LINK, SINGAPORE , SINGAPORE ,596224 1. ScienceCitation Index Expanded 11. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING 《多值逻辑与软计算杂志》 Quarterly ISSN: 1542-3980 OLD CITYPUBLISHING INC, 628 NORTH 2ND ST, PHILADELPHIA, USA ,PA, 19123 1. ScienceCitation Index Expanded 12. JOURNAL OF SYMBOLIC LOGIC 《符号逻辑杂志》 Quarterly ISSN: 0022-4812 ASSOC SYMBOLICLOGIC, INC, 124 RAYMOND AVENUE, POUGHKEEPSIE, USA ,NY, 12604-0001 1. ScienceCitation Index 2. ScienceCitation Index Expanded 13. LOGIC JOURNAL OF THE IGPL 《 IGPL 逻辑杂志》 BimonthlyISSN: 1367-0751 OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND , OX2 6DP 1. ScienceCitation Index Expanded 14. LOGICAL METHODS IN COMPUTER SCIENCE 《计算机科学的逻辑方法》 Irregular ISSN: 1860-5974 TECH UNIVBRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23,BRAUNSCHWEIG, GERMANY, 38106 1. ScienceCitation Index Expanded 15. MATHEMATICAL LOGIC QUARTERLY 《数理逻辑季刊》 Bimonthly ISSN: 0942-5616 WILEY-V CH VERLAG GMBH, BOSCHSTRASSE 12, WEINHEIM, GERMANY, D-69469 1. ScienceCitation Index Expanded 16. ★ NOTRE DAME JOURNAL OF FORMAL LOGIC 《圣母大学形式逻辑学杂志》 Quarterly ISSN: 0029-4527 DUKE UNIV PRESS,905 W MAIN ST, STE 18-B, DURHAM, USA , NC, 27701 1. ScienceCitation Index Expanded 2. Arts Humanities Citation Index 17. REPORTS ON MATHEMATICAL LOGIC 《 数理逻辑报告》 Annual ISSN: 0137-2904 JAGIELLONIANUNIV, INST ENVIRONMENTAL SCIENCES, GRONOSTAJOWA 7, KRAKOW, POLAND, 30-387 1. ScienceCitation Index Expanded 18. ★ REVIEW OF SYMBOLIC LOGIC 《符号逻辑评论》 Quarterly ISSN: 1755-0203 CAMBRIDGE UNIV PRESS, 32AVENUE OF THE AMERICAS , NEW YORK, USA ,NY, 10013-2473 1. ScienceCitation Index Expanded 2. Arts Humanities Citation Index 19. ★ STUDIA LOGICA 《逻辑学研究》 Monthly ISSN: 0039-3215 SPRINGER, 233 SPRINGST, NEW YORK, USA ,NY, 10013 1. ScienceCitation Index Expanded 2. Arts Humanities Citation Index 20. THEORY AND PRACTICE OF LOGIC PROGRAMMING 《逻辑程序设计理论与实践》 Bimonthly ISSN: 1471-0684 CAMBRIDGE UNIV PRESS, 32AVENUE OF THE AMERICAS , NEW YORK, USA ,NY, 10013-2473 1. ScienceCitation Index Expanded
最近在读 Copi 的《逻辑学导论》(网络上可以检索到 PDF 版本, 国图有最新的第 14 版 ,对本书的评论可以看 豆瓣的讨论 ),上面指明了进行科学研究的 7 个阶段。我感觉这个总结对于我们阅读文章大有裨益。当然,进行文章写作的时候,如果参考这七个阶段的特征,那么逻辑上也会清晰很多。下面 A-G 就是这本书中描述的科学研究的阶段和自己简单的看法: A. Identifying the Problem 如何找到有价值的研究问题是整个研究的关键。其实评判研究的创新点也就是主要从这里开始。当然,如何评判创新性是一件非常讲究的工作,科学网上 刘昶博主提供了很多 线索。在《 a crash course on creativity 》一书中,作者强调了“问题”的重要性。原文是这样子的:“ Albert Einstein is quoted as saying, “If I had an hour to solve aproblem and my life depended on the solution, I would spend the firstfifty-five minutes determining the proper question to ask, for once I know theproper question, I could solve the problem in less than five minutes.” B. Devising Preliminary Hypotheses 对提出的问题,研究人员一般都有自己的观点。初步的、幼稚的观点其实是我们理解和解决问题的第一步。 C. Collecting Additional Facts 在搜集证据的时候我们我们通常会发现对原先问题认识的不足。此外,在标书申请的时候,需要一些初步的数据支持你的假说,然后同行在创新性和可行性方面评估你的基金。对国内的基金申请而言,似乎评审人更多的关心既往的文章经历,这可能侧面反映了缺乏小同行对创新性的评价。 D. Formulating the ExplanatoryHypothesis 形成正式的假说。 E. Deducing Further consequences 这部分工作很重要,但是很多人不太注意量的把握。我看到很多 CNS 的文章最后是比拼劳动量,过分的增加了数据链的延伸,反而失去了对源头创新的欣赏。 F. Testing the Consequences 这部分工作实际上是要应用穆勒五法( Miller’s methods ),用来揭示事物的因果关系。 G. Applying the theory 目前的转化医学就是将前沿科学的成果应用到我们的健康生活当中。不过在根据国内的现状,我感觉还确实不宜过分强调“所谓的转化医学”,因为我们大多数人还缺乏严谨的科学训练。这个我非常同意 孙学军博主的意见。
读方东美先生的《华严宗哲学》有感 --- 华严宗的逻辑学 申明:这博文是我的读书笔记,也是我一门课的作业,加上本人不是学哲学出身的,只是自己有这方面的兴趣爱好,里面肯定有错误,有武断的部分,欢迎各位老师指出错误并提出有益的建议。本人初次发表博文,请轻轻拍砖! 前言 看科学网好些博主用科学主义来反对中国传统东西,尤其对于中医简直就是一棍打死,五千年沉淀的智慧被如此糟蹋,本童鞋深感痛心。他们拿出的利器一是逻辑学,二是科学的方法—实 证。一般人都以为逻辑只是西方的东西,中国只是引进而已,而不知在中国古代就有更先进更完满的逻辑,它就是华严宗哲学的逻辑学。这套逻辑肯定会在科学中发挥作用。西方科学擅长分析,求真的过程中追求精确,分析的过程中有一个 根本的假设,那就是整体由部分组成,部分再由更小的几个部分组成,如此下去,从宏观物质到分子,到原子,到中子质子,到目前夸克,以至现在欧洲最大对撞机找的希格斯子,我想很多年之后这些子还是会由更小的部分组成,无穷无尽。往深处看,这个根本的假设是说先有部分,部分再组合形成整体,更具体说先有原子, 再有分子,再有宏观物质。但是这里面有两个问题,一是按照这个基本假设,往微观分析下去,夸克、希格斯子还有更小的粒子先出现,那么基本粒子就没有多少意义了,这是因为会有更基本的粒子先出现。第二个问题是往宏观讲,我们所见的宏观物质,它作为部分又会组成什么整体,比如是宇宙,那么宇宙作为部分,它又会 组成什么整体呢??无论往微观还是往宏观,都是出现无穷的问题。如此求真下去,何年才能够达到真理的顶点呢?!如此求真下去,实证只能够在极其短的时间长度和极其狭小的空间宽度下进行,从这个角度来说,实证的作用只是一个又一个脚印。到底是先有部分,还是先有整体呢?到底是部分组成了整体,还是整体生成部分呢?中国传统更多是后者,它是整体思考,擅长综合。佛很早就说了,一切实相都是假有,无论宏观物质还是分子原子,它们都只是一个实相。无相为相是为实相,这个实相是终极实有,它包含了相对的有和相对的无。如果我们把无相作为宇宙的真相,它是一个整体,各种实相(假相)只是它生成的,这个是由无到有的过 程,有之间再相互组合,各种实相之间机缘巧合产生我们眼前的灿烂世界。中医认为天人是合一的,人的生命要和天地大生命流合二为一,这个是一个整体观,有了生命这个无形的整体,再来观察有形的人体。 求真只得到真理,善、美也是很可贵的。一味的求真,保持对善、美的中立,就会出现对真的偏执,科学主义就是偏执于此。 本文只讲逻辑学。 正文 逻辑学的内容非常丰富,有亚里士多德的逻辑学、黑格尔的逻辑学,还有华严宗哲学的逻辑学。第一种逻辑有三段论:首先说明一个大集合具备某种性质或者特征,然后说小集合是大集合的一部分,最后结论小集合也具备这种性质或者特征。第二种逻辑也是三段论:首先是自我的肯定(自在),然后是自我的否定(自为),最后是否定的否定(自在自为)。第三种逻辑是因缘互为条件、交互对称的逻辑, A 和 B 是互为因果的,互为条件的,第一种逻辑会认为 A 是 B 的果,一般 A 不可能是 B 的因,但是华严宗认为 A 和 B 是互为因果的,因为事物之间的关系是圆的,从 A 到 B ,最后总能够从 B 回到 A 的。因此有八段论:一法摄一法入一法,一法摄一 切 法入一法,一法摄一法入一切法,一法摄一切法入一切法,一切法摄一法入一法,一切法摄一切法入一法,一切法摄一法入一切法,一切法摄一切法入一切法。 第一种逻辑是无矛盾的、直线的、可形式化的逻辑,第二种逻辑是辩证的、螺旋上升的、目前还没有形式化的逻辑,第三种逻辑是无矛盾的、圆的或者球型的(根本特征是封闭的)、可形式化的逻辑。第一种逻辑会产生悖论,例如芝诺悖论、理发师悖论(罗素悖论)等,为了解决理发师悖论,罗素提出用一个更大的集合来包含已经有悖论的集合,这样把悖论往上层传递,层层往上传递以致无穷,哥德尔利用一一对应的原理,把罗素这种无穷扩大的想法对应到数轴上,每次逻辑操作可以转化成二进制,然后再递归至无穷,二进制转换成十进制,最后只能够对应数轴上的有理数,还有无理数对应的逻辑操作没有被包含,因此证明它是不完备的。第二种逻辑是一种扬弃旧事物产生生事物的逻辑,青出于蓝而胜于蓝,达尔文的进化论就认为生物是从低级向高级进化的,玻尔曾经为了解释量子力学的波粒二象性,提出了“互补原理”,其推理过程就是辩证逻辑。具体如下: P 粒子 --P 波 ,P 波 --P 波粒二象性 , P 粒子 --P 波粒二象性 。 第三种逻辑是兼容第一种和第二种逻辑的,举个例子某个人从北京出发往太平洋走到美国,然后经过大西洋到欧洲,然后经过印度洋回到北京,他也可以先去印度洋,然后到欧洲,再经过大西洋到美国,最后经过太平洋到北京。从局部来看从北京到美国就是直线的,但是这个人绕一圈回来已经脱胎换骨,他已经变得更加有智慧了(从拓扑学角度来说,球面几何蕴涵着欧几里得几何,从局部看会认为地面是无限延伸的平面或曲面,但是从整体来看,地面是一个封面的球面或曲面;如果从人生的角度来看,一路的风景会增加人的见识),这就是辩证逻辑讲的旧事物进化到新事物。 第一种逻辑学就像生命遗传关系一样,它是由一条直线所贯穿下来的,层次或秩序是不能够乱的,也不能够回转的。它是一种非对称逻辑。亚里士多德的逻辑学讲 A 蕴涵 B ,但是我们就不能够再说 B 蕴涵 A ,只能够说 B 被 A 蕴涵。第三种逻辑学讲 A 和 B 相互蕴涵,相互蕴涵是可以互为因果的,互为因缘,互为条件。因此它是一种对称逻辑。 下面将讨论几个问题,第一是为什么亚里士多德的逻辑学会产生悖论?第二怎么解决这悖论?华严宗哲学的逻辑学是完备的么,它可以与整个数轴一一对应么?华严宗哲学的逻辑学是不是可以形式化?华严宗哲学的逻辑学的意义? 为什么亚里士多德的逻辑学会产生悖论? 我们先拿芝诺悖论之一阿喀琉斯悖论说说亚里士多德的逻辑学的缺陷,采用哥德尔把悖论转化到数轴上来的方法。阿喀琉斯悖论说到阿喀琉斯追不上乌龟的原因是追赶者首先应该达到被追者出发之点,此时被追者已经往前走了一段距离。因此被追者总是在追赶者前面。这样分析是默认一段距离可以分成无穷多段距离。也就是说要追无穷多段距离,而无穷多意味时间是无限的,所以是追不上的。如果不说阿喀琉斯追乌龟,单纯说阿喀琉斯自己赛跑,他从 A 点跑到 B 点是不可能的,因为是需要无穷的时间。按照芝诺的逻辑, A 点到 B 点可以分成无数段,这无数段中的每一段还可以再分,无论阿喀琉斯以多快的速度,只要是一个有限的速度,他就无法从 A 点运动到 B 点,甚至无法运动到无限接近 A 点的相邻的点。这样说来阿喀琉斯是永远离开不了 A 点,他永远是处于准备运动的状态。任何有点理智的人都会觉得很荒谬。 为什么会出现上述荒谬的情况呢?集合论的奠基人康托尔提出了一一对应原理,他利用这个原理把无穷大进行分类,分析的结果是自然数和有理数的无穷大设为 N ,无理数和实数的无穷大设为 2^N,这两个无穷大是不同层次的无穷大,通俗点讲,后者包含前者。从他分析的过程中,我们还可以得到这样一个结论:数轴上任何一段都能够和实数进行一一对应,它的无穷大和实数无穷大是一样的。他的思想不仅得不到当时的权威任何,而且得到无穷的攻击,最后他疯了,有些更深层的东西还没有解决就已经离开我们了。比如 N 与 2^N 之间还有一种或者几种或者无数种无穷大, N 之前和 2^N 之后还有没有无穷大。康托尔还证明一条直线上的点与一个平面上的点是一一对应的,一个平面可以找出无数条相互平行的直线,相邻的两条平行直线之间还可以找出无数条平行直线。是否可以继续作猜想: n 维的平面的点甚至无穷维平面的点与二维平面的点是一一对应的, n 维的体的点甚至无穷维体的点与三维体的点是一一对应的,任何一个体的点与任何一个面的点是一一对应的。一般我们说的无穷维对应的无穷是 N ,是否有无理数维度空间,比如根号 2 维度空间,如果有, 2^N 无穷维度体的点是否还与平面的点一一对应。另外从反方向看是不是我们可以做这样的判断:无穷大的倒数是无穷小,那么无穷小也应该可以分类。非常感谢他给我们找到了新的思想矿脉。数轴上任何线段都具备同样的无穷大的点,也就是说任何线段可以展开的空间(直线是一维空间,立体三维空间相类似)是无穷大,也是相等的,而任何线段的长度却是有差别的,如果设定一个参数 ρ ,定义为长度与空间的比值,如果任何线段的空间足够的展开的话,那么随着长度的变小, ρ将趋向无穷小。如果往物理学方面升华,这里的长度代表可以一切观测的实体,比如物质,空间代表一切可以充分展开的不可观测的非实体。那么原子不是物质的基本粒子,中子、质子和电子等也不是物质的基本粒子,夸克也不是基本粒子,如果继续往里挖掘,将会是一个无穷无尽的过程,任何找到某种实在的粒子,都会发现它又会可以分解,并且越往深处,粒子本身会变得越来越空洞,可是空包含丰富的东西。如果从华严宗哲学来看,前者代表有,后者代表无,不可以执著于有,因为它本性是空的,但是不要执著于空,会陷于断灭空,空可以点化有,因此它蕴涵着妙有。对于人来说,有限生命可以有无穷的拓展空间。 如果物质从原子到中子到夸克一直往下分割下去,基本粒子的密度ρ会趋向无穷小,就好像数轴上的点,数轴上的点是没有大小的,表现的是连续性,粒子越基本表现的连续性将越强,那么它的粒子性将越来越弱,把分子打开分解成各种原子,需要能量,把原子打开分解成质子、中子、电子,需要更大的能量,把质子打开分解成夸克需要更加大的能量,如果需要把夸克打开成更基本的粒子,那么需要的能量将越来越大。从另一个角度来看,如果波动代表连续性,那么粒子就会表现波粒二象性。 有人会问如果长度越来越大,会出现什么情况?恕本人愚钝,给不了答案,甚至猜想也做不了。 怎么解决这悖论? 悖论是亚里士多德的逻辑学本身必然的产物,要么在它本身的框架进行解决,要么在其他框架来解决,悖论是逻辑系统出问题了,需要在新的逻辑框架下解决。亚里士多德的逻辑学也叫做无矛盾的逻辑学,他的逻辑主词同哲学的实体是处于同等的地位,而且这一种同等的地位,是不允许有与它对立或对敌的。所以其结果是不管是什么东西,它本身都不允许有独立存在性,都要把它吸收到逻辑的主词里面来,变做主词的属性。这个里面有个实体,只有实体本身才可以独立存在,如果除掉这个实体之外,任何别的东西都不能够独立存在,都要依靠这个本体、本质才能够存在,二元论对立的偏执也是由于这个原因,这个不做详细叙述。实体自在性空,华严宗哲学的逻辑学就是基于这个基础的,有限的实体有着无限扩展的空间,所以它能够蕴涵周围的东西,甚至可以蕴涵一切东西。其他东西都可以成为它之所以为实体的原因或者条件。 我们很熟悉的一个争论就是先有鸡还是先有蛋,如果按照亚里士多德的逻辑学来进行分析,这个争论最后会变成一个悖论,无论那方面都没有足够的理由驳倒对方。我们先来看看一个相类的问题,就是先有种子还是先有果实,种子作为因,周围的气候环境作为缘,最后发芽、成长、开花、结果,产生果实,种子是果实之所以为果实的一个条件,果实在周围的气候环境下会产生种子,种子之所以成为种子,果实也是它的一个条件。像这样的过程每时每刻都在发生,这样的过程不一定都是同步奏的发生,也可以交叉发生。这样看来,不仅其他东西都可以成为实体的原因或者条件,而且实体也可以成为其他东西的原因或者条件。鸡与蛋的谁先也不存在什么问题了,如果一定要说存在问题,那只能够是我们自身逻辑系统出问题了。上帝是万能的,那么他自己能否创造一个它自己都抬不起的石头,这个问题还是我们自己的逻辑系统出问题了。当然顺便提一下基督教是一个二元论体系,其他的东西都不能够与上帝平齐的,造成上帝这个实体必然会偏执。 另外我要强调的是种子到果实,果实再到种子,后种子并不等同于前种子,它们有共性,也有特殊性,不同气候环境下的种子肯定质量是有所差别的。由此可见氢原子也是有差别的,中子和夸克等也不例外。这也说明一个问题,前种子产生的是后种子,后种子产生的是后后种子,不会可逆产生前种子的。这个不可逆性在现实中经常看到的,不可逆性在无机届是会产生耗散度,比如热学,最后耗散度到无穷大,最后产生热寂,当然这个可能与否,本人能力有限,目前还回答不了。但是从另一个角度来说,种子开花结果再变成新种子,新的生命诞生就是耗散度减少的过程。 华严宗的逻辑学是完备的么,它可以与整个数轴一一对应么? 哥德尔那样把亚里士多德的逻辑操作用二进制来代表,最后一一对应到数轴上,结果证明亚里士多德的逻辑学只能够与有理数一一对应,与无理数没有对应,所以无理数对应的逻辑操作是亚里士多德的逻辑学无法完成的,宽恕本人能力有限,目前不能够用哥德尔方法把华严宗哲学的逻辑操作对应到数轴上。 换一个角度,我们不用哥德尔的方法,就从华严宗哲学的逻辑本身去试图回答这个问题。华严宗哲学的逻辑从 A 到 B , B 到 C , C 到 D ,一直无限下去,最后肯定能够回到 A ,这个圆,如果从立体角度来看,从 A 回到 A 有无穷多条路径,这些路径可以构成一个球面。如果把 A 、 B 对应到数轴上的两点 a 、 b , A 到 B 是一次逻辑操作, a 到 b 构成一个矢量,两者是一一对应的。 A 到 B 中间可以分成几次逻辑操作,甚至无穷多次的逻辑操作。这是为什么呢?一个实体可以和其他任何实体相互蕴涵,也可以和一切实体相互蕴涵,实体空性决定了一切实体之间在空性上是连续的,往空性去找逻辑关系,总能够找到无穷多路径或无穷的步骤,并且每个步骤在极限情况下变成空性上的点,这个无穷大是 2^N 。矢量一直可以细分下去,每次细分都对应一种逻辑操作。最后矢量细分成为点,细分的次数和数轴上的点一一对应, A 到 B 之间的逻辑操作也可以与数轴上的点一一对应。 亚里士多德的逻辑学如果也按照上述的方法与数轴上的矢量对应的话,但是 A 到 B 之间的逻辑操作只能够做有限次操作或者间断的无限次操作。亚里士多德的逻辑学认为实体是独立存在的,如果除掉这个实体之外,任何别的东西都不能够独立存在,都要依靠这个本体、本质才能够存在。换种说话,只允许自己蕴涵任何别的东西,其他任何东西不能够蕴涵这个实体。这个特性决定了它的逻辑操作不连续性。 华严宗哲学的逻辑学是不是可以形式化? 华严宗哲学以空入有,一法可以易经的阳符号,一切法可以用易经的阴的符号,那么上面讲的八种逻辑操作就可以对应易经的八个卦。如果这样形式化,华严宗哲学和易经可以沟通的话。恕本人才能有限,如下问题回答不了:华严宗哲学是否可以解释易经的卦象以及是否由此断定易经可以解释万事万物。 华严宗哲学的逻辑学的意义? 华严宗哲学的逻辑学就是在说明在一切差别世界里面的一切事项,都可以把它们组合起来,形成一个不可分割的整体,而表现出机体的整体。有了这样的逻辑观念之后,我们才能在哲学的思想领域上面,去建立伟大的思想体系。而且这时所建立的思想体系绝不是孤立的思想体系,而是一个含摄无穷的广大和谐的思想体系。 佛学的特色是亦宗教亦哲学,佛学在印度是生的伟大,在中国是成长的伟大。它的伟大在于中国的大师们建立一种含摄无穷的广大和谐的哲学体系。西方哲学的二元偏执和科学主义(认为科学可以解决一切,一切问题可以还原到科学来解决)存在的问题可以用华严宗来解决。我们的老祖宗在唐代就发展出一种圆融的逻辑体系,远远高于西方的逻辑学。吾辈人大可不必自卑,找回老祖宗留给我们的精神遗产,完全可以在科学领域大放异彩。 注释: 《俱舍论》卷一称 “ 能持自相故名为法 ” 。这是传统的解释,意即凡具有质的规定性,并为人们所认识的一切事物和现象,就称为法。大小乘都承认的分类法,即把一切诸法分为五蕴、十二处(又称十二入)、十八界。 1 、五蕴。即指构成人的五种要素的集聚。色,即物质世界,对人来说是指身体 及肉体的物质性;受,即感受;想,即表象作用(认识获取境的特征);行,即意志(除想受心所以外的心所有法);识,即认识、了别(了达分别)、心(依照十 八界有六种认识,或第七八二识摄在意界,识有八种)。 2 、十二处。即六根(眼、耳、鼻、舌、身、意)和 六境 ( 色、声、香、味、触、法)。亦即六种感觉器官及其相对的客观对象。 3 、十八界。即六根、六境以及由此而产生的 六识 (眼识、耳识、鼻识、舌识、身识、意识)。 参考书 1. 方东美 . 华严宗哲学 . 中华书局出版社 . 2012.06 2. 方东美 . 中国大乘佛学 . 中华书局出版社 . 2012.06 3. 作者不详 . 哥德尔不完备性定理浅释. http://www.docin.com/p-307512.html
探求因果联系的穆勒五法 爱因斯坦在对西方近代科学产生的原因做过经典的解释: “西方科学的发展是以两个伟大成就为基础的,那就是:希腊哲学家发明的形式逻辑体系(在欧几里得几何中),以及(在文艺复兴时期)发现通过系统的实验可能找出因果联系。”(《爱因斯坦文集》第1卷,574页,北京,商务印书馆,1986) “The development of Western science has been based on two great achievements,the invention of the formal logical system (in Euclidean geometry)by the Greek philosophers,and the discovery of the possibility of finding out causal relationships by systematic experiment (at the Renaissance).” 爱因斯坦这段话的前一部分讲的是演绎逻辑,后一部分讲的是归纳逻辑中的不完全归纳推理的科学归纳法。 前一部分传载在亚里士多德的《工具论》里,后一部分传载在培根的《新工具论》中。 前一部分是数学的方法,后一部分是科学的主要方法。 演绎推理得到的是必然性的结果。只要前提真,形式有效,结果是必然性的。 例如: “你的钱包在你的口袋里,你的钱在你的钱包里”,全世界的人都可以得出结论:“你的钱在你的口袋里”(三段论)。 这是演绎逻辑。 不完全归纳推理得出的是或然性的结果,结论有可靠性高低问题。 探求因果联系是逻辑学中归纳推理的内容。 http://blog.sciencenet.cn/home.php?mod=spaceuid=626289do=blogid=558049 因果联系是必然的联系,有因就有果,有果必有因。在诸多归纳推理方法中,科学归纳法的可靠性最高,关键就在于科学归纳法探求因果联系。 通过系统的实验可能找出因果联系。这里,系统的实验也一定是有限次数的实验,不可能做无限多的实验,不可能是完全归纳推理。所以,科学的结论往往依靠通过有限的实验得出,需要使用归纳推理之下的不完全归纳推理。不完全归纳中,由于简单枚举法可靠性低,科学归纳法可靠性高,所以,科学归纳法就成了科学研究的主要方法。 弗朗西斯.培根(Francis.Bacon,1561-1626年,英国文艺复兴时期散文家、哲学家。英国唯物主义哲学家,实验科学的创始人,是近代归纳法的创始人,又是给科学研究程序进行逻辑组织化的先驱)提出的科学归纳法,约翰·穆勒(John Stuart Mill,1806年5月20日-1873年5月8日,英国心理学家、哲学家和经济学家)把科学归纳法具体化为“穆勒五法”(求同法,求异法,求同求异并用法,共变法,剩余法)。 科学归纳法需要探求因果联系。探求因果联系需要穆勒五法: 求同法 求同法又叫做契合法,内容是:考察几个出现某一被研究现象的不同场合,如果各个不同场合除一个条件相同外,其他条件都不同,那么,这个相同条件就是某被研究现象的原因。 求同法可用下列公式表示: 场合 先行情况 被研究现象 ① A B C a ② A D E a ③ A F G a … 所以 A是a的原因 求异法 求异法的内容是:比较某现象出现的场合和不出现的场合,如果这两个场合除一点不同外,其他情况都相同,那么这个不同点就是这个现象的原因。 求异法可用下列公式表示: 场合 先行情况 被研究现象 ① ABC a ② -BC - 所以 A是a的原因 例如: 一个实验是KClO3加热,虽有O2产生,但速度很慢; 另一个实验是向加热的KClO3撒入少量MnO2,立即有大量的O2放出。 由以上两个实验,全世界的人都可以得出结论: MnO2是O2快速放出的原因。 求同求异并用法 求同求异并用法又叫做契合差异并用法。它的内容是:如果某被考究现象出现的各个场合(正事例组)只有一个共同的因素,而这个被考察现象不出现的各个场合(负事例组)都没有这个共同因素,那么,这个共同的因素就是某被考察现象的原因。 求同求异并用法可用下列公式表示: 场合 先行情况 被研究现象 ① A B C a ② A D E a ③ A F G a … … … ① -B G - ② -D E - ③ -F N - … … … 所以 A是a的原因 共变法 共变法又称为单一变量控制法,它的内容是:在其他条件不变的情况下,如果某一现象发生变化另一现象也随之发生相应变化,那么,前一现象就是后一现象的原因。 共变法可用公式表示如下: 场合 先行情况 被研究现象 ① A1 B C a1 ② A2 B C a2 ③ A3 B C a3 … … … 所以 A 是 a 的原因 剩余法 剩余法的内容是:如果某一复合现象已确定是由某种复合原因引起的,把其中已确认有因果联系的部分减去,那么,剩余部分也必有因果联系。 剩余法可用公式表示如下: ABC 是复杂现象 abc 的复杂原因, 已知 A 是 a 的原因, B 是 b 的原因, 所以 C 是 c 的原因。 现代医学验证化学药品和生物学制剂疗效的“大样本双盲对照实验”应用的就是这穆勒五法,个体有差异,需要大样本统计,疾病有自愈现象,需要对照(求异法),人有心理作用,需要双盲。这方法是科学的,因此疗效是明确的、可靠的。中药(实际上是所有的传统医药包括印度传统医药,西方传统医药)的疗效没有经过严格的验证,由于成分不明确,这个因素不能控制,无法验证,因此疗效是不明确的,很多中药的疗效是靠感觉确定的,是不可靠的。 做科学研究,必须掌握科学方法。