<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Wu Jiewen’s Blog --- 吴杰文的博客 &#187; 基础理论</title>
	<atom:link href="http://blog.wujiewen.com/category/%e5%9f%ba%e7%a1%80%e7%90%86%e8%ae%ba/feed/" rel="self" type="application/rss+xml" />
	<link>http://blog.wujiewen.com</link>
	<description>Veritas Lux Mea [真理乃吾光]</description>
	<lastBuildDate>Thu, 17 Nov 2011 01:19:16 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.3.1</generator>
		<item>
		<title>&#8220;形而上&#8221;之上【待续】</title>
		<link>http://blog.wujiewen.com/2009/%e5%9f%ba%e7%a1%80%e7%90%86%e8%ae%ba/%e5%bd%a2%e8%80%8c%e4%b8%8a%e4%b9%8b%e4%b8%8a%e3%80%90%e5%be%85%e7%bb%ad%e3%80%91/</link>
		<comments>http://blog.wujiewen.com/2009/%e5%9f%ba%e7%a1%80%e7%90%86%e8%ae%ba/%e5%bd%a2%e8%80%8c%e4%b8%8a%e4%b9%8b%e4%b8%8a%e3%80%90%e5%be%85%e7%bb%ad%e3%80%91/#comments</comments>
		<pubDate>Sun, 01 Nov 2009 21:08:30 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[且行且吟]]></category>
		<category><![CDATA[基础理论]]></category>
		<category><![CDATA[Aristotle]]></category>
		<category><![CDATA[亚里士多德]]></category>
		<category><![CDATA[伦理学]]></category>
		<category><![CDATA[哲学]]></category>
		<category><![CDATA[圣人]]></category>
		<category><![CDATA[形而上学]]></category>
		<category><![CDATA[柏拉图]]></category>
		<category><![CDATA[真理]]></category>
		<category><![CDATA[科学]]></category>
		<category><![CDATA[美学]]></category>
		<category><![CDATA[美德]]></category>
		<category><![CDATA[苏格拉底]]></category>

		<guid isPermaLink="false">http://blog.wujiewen.com/?p=272</guid>
		<description><![CDATA[&#8220;形而上者谓之道，形而下者谓之器&#8221; &#8212;周易*系辞上 一虚一实,一个抽象(思维和方法等之谓&#8221;道&#8221;的东西)一个具体(有形体的&#8221;器&#8221;),一个宏观一个微观(相对而言). 或许你跟我一样，经常听到别人说&#8221;形而上学&#8221;, 类似的哲学问题听起来很晦涩, 却也是很有意思的问题,比如学计算机的大概都知道知识工程中十分重要的概念&#8221;Ontology&#8221;原本是哲学中的&#8221;本体论&#8221;问题. 哲学是所有科学的基础,&#8221;应作如是观&#8221;. 东方哲学源远流长，流派众多，各有所长，而儒学集各派大成，因此孔圣人才有“大成至圣先师”的封号。然东方哲学不仅没有成为现代科学的基础，不少哲学思想反倒成了现代社会迷信和迂腐的根源，典型的例子就是《周易》成了易学宝典，也就是算命指南吧。西方哲学的历史不比东方哲学短，与孔圣差不多的就有毕达哥拉斯等前苏格拉底哲学大师。当然，最为人熟知的西方哲学圣人就是苏格拉底以及同时代和稍后的柏拉图以及亚里士多德了。无论东方或者西方，早期的哲学都是文艺或者文化的象征，而后期随着后来科学的重要性日益明显，哲学开始隐身于舞台之后，成为了促进科学发展的幕后力量。 亚里士多德将科学划分为3大类。 生产科学。这是人类最基本的生产需求所决定的。人类为了生存，不得不制造某些东西，在此过程中，人类获取经验，从而形成不同的科学分支，比如建筑学等。亚里士多德还将艺术和修辞学也归在此。因为艺术是生产让人觉得漂亮的物体的生产科学；修辞则是“生产”精确的言论的科学。总之，生产科学旨在生产某些物品，而出产的物品决定了学科的范畴。 实用科学。这个分类的科学不生产实际的物体，但是它旨在描述适当的行为，因此是行为科学。比如，研究人类个体幸福的科学就是伦理学，也就是研究什么样的行为对于一个个体是正确的，是好的。政治学，则针对整个人类，来描述政府和社会如何采取适当的行为。 理论科学。当人类满足了基本的需求，就会对行为和生产之外的东西感兴趣，那么人类就开始对理解能力以及真理本身产生兴趣。人类为了追求知识而开始追求知识，没有特殊的理由。在亚里士多德看来，追求真理或者知识本身不见得有多高尚，而不过是因为人类自身的一类需求而已。说的粗俗点，就是吃饱了撑的。值得说明的是，在这一点上，东方哲学是不一样的，特别是儒家，认为对真理的追求是最高尚的，而其他的科学，特别是基于体力劳动的生产科学是极度轻视的，孔圣自己四体不勤五谷不分，还在这点上贻害了整个中华民族数千年，导致多少年来文人总是瞧不起商人，农民等其他阶层的人。而封建社会治国的也多是文人，真是“万般皆下品，唯有读书高”的活生生写照。看看现在的中国社会，这一点貌似有了变化：读书不再是“高”，有钱才是本领。但是这不是一个改进，而是一个阶段式的“笑贫不笑娼”式的畸形发展，中国受儒家影响的这一观点是植根于社会和人心的，不会因为共产党的60年统治就消失殆尽。理论科学主要研究三类实体。 首先研究那些可分隔但会变化的实体。这些实体不依赖于其他实体而存在。比如当我们谈到地球的存在时，我们不需要借助其他实体来说明地球的存在。但是有的实体是依附其他实体的，比如颜色。颜色的存在取决于有颜色的某样东西，它是不可以独立存在的。不会变化的实体是指不被产生也不被毁灭，并且也不被更改的实体，比如亚里士多德认为天地间的“以太”，虽然现在知道这是错误的不存在的东西，但是亚里士多德认为类似于此类东西是不变化的。我们的生存环境就是不断变化的。自然界的一切，包括人类，动物，岩石等等，都是第一类实体。研究这些实体的理论科学就是自然科学，或者叫第二哲学。 第二类实体是那些可分隔又不变化的。研究这类实体的科学就是第一哲学，也就是我们所说到的“形而上学”。形而上学研究的是物体的存在以及探索它们存在的理由。在亚里士多德看来，第一哲学是最基本的科学，所有其他科学都屈居其下，因为形而上学研究的就是“是什么”，形而上学本身不依赖于任何其他科学，它的真理是所有科学的基石。 第三类实体是研究不可分隔但是不会变化的实体，比如数字和图形等。这些研究就是我们的数学。比如算术研究数字，几何研究图形。数字图形等为什么不是可分隔的？因为亚里士多德认为数字比如5之所以存在，是因为世界上至少有5个物体可供数（count），图形的存在也是因为有具体的物体展示之类图形。要理解数字和图形，我们必须借助其他物体，因此它们不可分隔。 第一哲学和第二哲学研究的都是物质。第一哲学研究物质的最普遍性质，而第二哲学研究物质的本质。 ============================ 参考资料 我的观点无非是对他人的(我赞同的)观点进行加工和综合而成. 显然,这也代表了我个人的哲学观点,毕竟我也只会维护自己所欣赏的观点(借用我导师的话: 科学有无数的派系, 就跟宗教一样, 而每个科学家都不过是为自己的教义做着辩护的教徒。诚如罗素侯爵说的“如果不带偏见的人的确存在的话”。。。). 主要的参考资料有如下: 1. 维基百科(英文) wikipedia 2. Aristotle: a guide to the perplexed 3. 朱光潜&#60;西方美学史&#62;]]></description>
		<wfw:commentRss>http://blog.wujiewen.com/2009/%e5%9f%ba%e7%a1%80%e7%90%86%e8%ae%ba/%e5%bd%a2%e8%80%8c%e4%b8%8a%e4%b9%8b%e4%b8%8a%e3%80%90%e5%be%85%e7%bb%ad%e3%80%91/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>哥德尔的世界</title>
		<link>http://blog.wujiewen.com/2008/%e5%9f%ba%e7%a1%80%e7%90%86%e8%ae%ba/%e5%93%a5%e5%be%b7%e5%b0%94%e7%9a%84%e4%b8%96%e7%95%8c/</link>
		<comments>http://blog.wujiewen.com/2008/%e5%9f%ba%e7%a1%80%e7%90%86%e8%ae%ba/%e5%93%a5%e5%be%b7%e5%b0%94%e7%9a%84%e4%b8%96%e7%95%8c/#comments</comments>
		<pubDate>Wed, 31 Dec 2008 20:46:59 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[基础理论]]></category>
		<category><![CDATA[Gödel]]></category>
		<category><![CDATA[Hilbert]]></category>
		<category><![CDATA[incomplete theorem]]></category>
		<category><![CDATA[伟人]]></category>
		<category><![CDATA[哥德尔]]></category>
		<category><![CDATA[哲学]]></category>
		<category><![CDATA[科学家]]></category>
		<category><![CDATA[逻辑学]]></category>

		<guid isPermaLink="false">http://blog.wujiewen.com/?p=15</guid>
		<description><![CDATA[8/21/2007 ➴ 哥德尔的世界 1 流浪 希尔伯特的整个数学世界的形式化垮台(尽管我很崇拜希尔伯特，我更敬佩哥德尔)，哥德尔的不完备性在整个科学理论界，从哲学到数学，从认知科学到生物科学， 可以说是被“泛滥”地应用了。上次在W3C论坛看到一个讨论关于能否让计算机突破不完备性的限制，有位版主的回答很让我思考了一下，他说不完备性限制的仅 仅是形式系统，如果可以建立形式以外的系统，说不定就成功了。回过头来，从哥德尔的理论产生的年代看起，其实有过不少类似的讨论，只是我以前看的那些皮毛 都是被人家转述过的，怎么也得被中间人添加了些不同的东西。现在按照我闲暇时间的看书进度把我仔细阅读歌德尔的传记而理解的东西记录下来，将来在参考一 下。 30年代初美国教育家Flexner用新泽西百货大楼继承人投资的三千万企图建立一个“让没用的知识有用化”的学校。他实际上创建的 是一个纯思想家的殿堂，位于普林斯顿的红砖墙内的象牙塔,名字就叫高等研究院IAS，网址：http://www.ias.edu。用他自己的思想，那就 是数学家或者纯理论家好养活，呵呵，一些人，一些书，黑板，笔和纸就成了那些疯狂的思想家的全部。1932年IAS就招收了世界上驰名的2位大科学 家，Veblen和爱因斯坦。后者是不用多说的，我只能够说纳粹德国成就了美国的科学技术（有位美国教育家就曾经说过：“希特勒在那里摇树，我在下面捡苹 果。”便宜了那些美国佬）。前者之出名不亚于爱因斯坦，他就是Church的导师，按照我刚才查看的数据，他在数学家族谱上有5545个弟子！ （Church的成就我就不说了。。。Church还是图灵的导师。。。真是江山代有人才在啊。。。）与此同时，匈牙利的冯诺伊曼也到了新泽西，并开始制 造第一台计算机，这让Flexner倡导的“纯理论”大学的承诺不攻自破。爱因斯坦当时跟Flexner要年薪3000，结果Flexner给他的年薪是 16，000。那个时候，爱因斯坦的名气之大，以至于当时的人们都叫普林斯顿高等研究院为“爱因斯坦学院”。 歌德尔去普林斯顿讲学的时候 还不是很出名(1934)，至少跟爱因斯坦比还差的远。但是在普林斯顿，爱因斯坦经常跟歌德尔散步讨论问题，他们也可以说是忘年交阿，据爱因斯坦的助手 Straus回忆，他们2个很不相同，却建立了深厚友谊，对对方都是十分赞赏。歌德尔的思维在常人看来也是怪异的，估计这也和爱因斯坦本人对上号了。呵 呵，这里还记载了一则笑话。1953年爱因斯坦跟Straus说：“你知道不，歌德尔是完全疯了。”Straus回答他说：“他还能更糟糕么？”爱因斯坦 说：“能，他居然投票给了艾森豪威尔”。 歌德尔在23岁那年就证明了后来轰动世界的不完备性理论，那年是1930。他的这一成就是与海森 堡的不确定理论，爱因斯坦的相对论三足鼎立的，一起撼动了整个纯粹科学的根基。不完备性的出现对于数学领域是一个噩梦：数学不再是领悟宇宙和一切的语言， 不再是神的语言，而成为了20世纪科学界不确定思潮的一部分。在歌德尔的世界里，没有任何东西的出现是偶然的；没有哪个系统是建立在不变化的基础上的；真 理都是虚构的。当时甚至有作家称歌德尔是数学界的魔鬼。 ➴ 哥德尔的世界 2 数学／科学的客观性 天才在常人看来都是疯子。哥德尔在别人的眼中是固执而高傲的，而跟他关系最好的科学家就是爱因斯坦。有一次普林斯顿举行晚宴，天体物理学家Bahcall自 我介绍给哥德尔时，告诉哥德尔他自己是物理学家，哥德尔淡淡回复了一句被后人视为他的名言之一的话：“我不相信自然科学”。确实，哥德尔痛恨的就是随机的 东西，在逻辑的世界里，他要杜绝没有规律的东西。哲学家Nagel回忆说哥德尔不相信进化论，因为他是极端的二元论者。哥德尔甚至跟Nagel说斯大林也 不相信进化论，但斯大林却是很聪明的一个人，让对方哑口无言。乔姆斯基（学编译的都知道乔姆斯基文法，语言学家），呵呵，也尝试过哥德尔的厉害。乔姆斯基 问哥德尔最近在忙什么，哥德尔的回信恐怕是自从17世纪莱布尼茨到当时都没有人敢说的：“我在试图证明自然界遵循先验的规律。。。”爱因斯坦也说过哥德尔 是不相信经验的，但是他和哥德尔的友谊确实最深厚的，他们两人基本上除了对方外，不再跟其他科学家谈话。 牛人总是喜欢和牛人呆一起。。。 爱因斯坦晚年去普林斯顿的办公室，不过是为了能够和哥德尔说说话 。而哥德尔在1955爱因斯坦逝世后基本上就不再跟什么人说话了。。。他那种学术流浪的感觉也达到顶峰（他1945年归化了美国籍）。。。爱因斯坦跟哥德 尔一样，执著而固执，他晚年思想开始保守，甚至一直不接受量子物理，因为究其本质，量子物理是随机的。但是实际上量子物理只不过是他自己的相对论的逻辑外 延而已。。。不过更准确地说，爱因斯坦最特立独行的是对主观性的排斥：他的相对论不是对物理的主观性解释，而是独立于人类的、主观的时空观的。他的相对论 不是作为事物的度量而提出的（这就是俺们普通人的时空观和对相对论的应用，而实际上跟爱因斯坦自己的理解是不同的。。。）。他跟哥德尔一样隶属数学的柏拉 图主义，对抗普罗塔哥拉主义（这个学派认为人才是一切事物的度量）。柏拉图主义强调理论是独立人类而存在的，不管人类研究不研究，它们总是存在的。可笑的是，还有人举着他们两的旗帜大肆攻击客观主义，显然是啥都没弄懂。。。爱因斯坦在晚年的时候转而依靠哲学似的信仰来解脱自己的学术排斥感，这也是为什么他跟“怪人”哥德尔很有共性的原因吧。。。 哥 德尔的理论不是他的数学观，而是他的哲学观。这是一个令人乍舌的结论。但仔细想想，正是他的理论改变了逻辑和数学的许多领域。很显然，我现在的研究方向， 一个逻辑的小领域，使用的模型理论就是哥德尔的证明中使用的。此外递归理论也是始于他的证明。很可惜的是，希尔伯特鼓吹的很多领域，在哥德尔理论中显得那 么微不足道，以至于慢慢被遗弃了。悖论是推理中的暗礁，哥德尔的逻辑，甚至他自身就有悖论。。（实际上不少逻辑悖论都是因为自引用形成的，不信翻下悖论 集）然而正是这些悖论的巧妙应用在了他的证明里，这些引导我们从另外一个角度看待问题：人类的数学头脑可以绕过人造系统的局限，而捕捉到了真理／知识／确 定性的本质！ 今天就写这么多。。。以后就可以看到这位年轻的逻辑学家的不寻常的生平了。。。。 ➴ 哥德尔的世界 3 维也纳圈 [...]]]></description>
		<wfw:commentRss>http://blog.wujiewen.com/2008/%e5%9f%ba%e7%a1%80%e7%90%86%e8%ae%ba/%e5%93%a5%e5%be%b7%e5%b0%94%e7%9a%84%e4%b8%96%e7%95%8c/feed/</wfw:commentRss>
		<slash:comments>4</slash:comments>
		</item>
	</channel>
</rss>

