收藏 分销(赏)

柏拉图的胡子和共相问题专业知识讲座.ppt

上传人:鼓*** 文档编号:14563377 上传时间:2026-10-13 格式:PPT 页数:60 大小:174.50KB 下载积分:8 金币
下载 相关
柏拉图的胡子和共相问题专业知识讲座.ppt_第1页
第1页 / 共60页
柏拉图的胡子和共相问题专业知识讲座.ppt_第2页
第2页 / 共60页


点击查看更多>>
资源描述
单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,文档来源于网络,文档所提供的信息仅供参考之用,不能作为科学依据,请勿模仿。文档如有不当之处,请联系本人或网站删除。,*,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,文档来源于网络,文档所提供的信息仅供参考之用,不能作为科学依据,请勿模仿。文档如有不当之处,请联系本人或网站删除。,埃利亚学派,爱利亚(,Elea,)学派(意大利南部)否认变化,认为变化是假象,是幻觉,没有东西是变化的。,代表人物是巴门尼德(,Parmenides,):,“说不存在者存在是自相矛盾的”;,“万事万物必然永恒不灭,不可能从无或不存在者中诞生;”,宇宙是一个独特的不变的的实体,一切皆一。,芝诺(Zeno),二分法:,阿基里斯与乌龟:,-,这个悖论堪称哲学之谜的范式,-,吉尔伯特,莱尔,飞矢不动:,不存在的东西,如果郭靖、方的圆、福尔摩斯这些东西不存在,我们如何与其发生联系?,19,世纪德国哲学家布伦塔诺:心理现象之所以有别于物理现象,载于心理现象有“意向性”,即指向或关于某些事物的特性。,喜欢、崇拜、憎恨、希望等;,心理活动指向的对象其实是“意识之内的观念”,而不是外在的客观事物。,学生迈农反对:承认存在不存在的东西。,那么好像我们不能真实地喜欢真实的人。,蒯因:柏拉图的胡子,柏拉图,智者篇,:除非一个东西存在,否则我们无法用名字谈论它们。,代表人物是巴门尼德(,Parmenides,):,“说不存在者存在是自相矛盾的”;,内部、交叉、外部语句如何为真?,罗素的摹状词理论。,什么是限定摹状词,限定摹状词(,definite description,):通过对于对象的特征的描述来指称该对象的词汇;,专名:柏拉图、亚里士多德、哥德尔、罗素、弗雷格等等;,限定摹状词:,2012,年中国的国家主席;当今法国的国王;中国的首都等等;,专名与限定摹状词似乎都是用来指称个体对象的。它们的功能似乎是一样的。,问题在哪里?,意义的组合原则:一句话的意义完全依赖于其中词汇的意义,或者说,语句的部分的意义完全决定了语句的意义。,问题,1,、“启明星,=,启明星”与“启明星,=,长庚星”,都是真的,但意义似乎不同,如果名称的意义就是它的指称,那么上述两句话的意义不应该不同。,问题在哪里?,弗雷格:陈述语句的指称是真值;,复合语句的真假完全由子句的真假所决定。,在语句中用同指称的语句或语词代换子句或语词,代换后语句的指称保持不变。,问题,2,:,卡罗尔认为昏星出现在夜晚;,昏星,=,晨星;,卡罗尔相信晨星出现在夜晚;,“地球是扁的”,“,2+2=5”,都是假的。,张三相信地球是扁的;,张三相信,2+2=5,。,假设张三就相信地球是扁的,而不信,2+2=5,。两句话真假不同。,问题在哪里?,问题,3,:,如果一个摹状词不指称一个对象,其出现于其中的语句如何有意义;,问题,4,、,排中律失效么?,或者有最大的素数,或者没有最大的素数。,当今的法国国王是秃子或不是秃子。,没指称,语句如何有真假?,问题,5,、,否定某物存在的语句怎会为真?,当今的法国国王不存在。,话句话说,那有个人,是法国国王,他还不存在。,罗素的想法,专名与摹状词的行为方式是不一样的,限定摹状词是特殊量词;命题函项;,所有人喜欢我的宝宝;,我的宝宝喜欢某个人;,最多有个人喜欢我的宝宝;,至少有个人喜欢我的宝宝;,恰好有个人细化我的宝宝;,恰好三个人喜欢我的宝宝;,只有张三才喜欢李四;,只有女人才是母亲;,只有二年级的学生才看得起只读教科书的学生;,“当今的法国国王是秃子”的意思是:有个人,是当今法国国王,并且是秃子。,“当今的法国国王”不是指称个体的词汇,就像“所有人”也不是指称个体的词汇一样;它们单独不具有意义,只能在一个语句中,才有意义。,语境原则;,卡罗尔认为昏星出现在夜晚;,昏星,=,晨星;,卡罗尔相信晨星出现在夜晚;,辖域的宽窄:,卡罗尔相信恰有一个事物,它是昏星,并且出现在夜晚。(摹状词辖域窄),恰有一个事物,它是昏星,并且卡罗尔相信它出现在夜晚。(摹状词辖域宽),问题,1,、,2,与,3,、“启明星,=,启明星”与“启明星,=,长庚星”,都是真的,但意义似乎不同,如果名称的意义就是它的指称,那么上述两句话的意义不应该不同。,罗素:“启明星”与“长庚星”单独没有意义,它们是伪装的摹状词,不是指示性语词,不能替换。,对于问题三,,如果一个摹状词不指称一个对象,其出现于其中的语句如何有意义,罗素回答说,它们本身并不指称什么,指示特殊量词,离开语境没有意义。,问题,4,;,问题,4,、,排中律失效么?,或者有最大的素数,或者没有最大的素数。,当今的法国国王是秃子或不是秃子。,没指称,语句如何有真假?,法国的国王是秃子;分析为:,恰好存在一个人,他是法国当今国王,并且他是秃子。这句话是假的。,法国的国王不是秃子;分析为:,不存在一个人,他是法国的国王,并且他是秃子。(摹状词辖域窄),存在一个人,他是法国国王,并且他不是秃子。(摹状词辖域宽),问题,5,问题,5,、,否定某物存在的语句怎会为真?,当今的法国国王不存在。,换句话说,那有个人,是法国国王,他还不存在。,当今的法国国王不存在;分析为:,恰好有个东西,他是法国的国王的国王,并且他不存在。,(摹状词的辖域较宽),不存在那样一个东西,他是法国的国王。(法国没国王。),恰好有一个东西存在,并且他是法国的国王是不对的。(摹状词的辖域较窄),再谈问题,3,;,问题,3,:,如果一个摹状词不指称一个对象,其出现于其中的语句如何有意义;,A proposition about Apollo means what we get by substituting what the classical dictionary tells us is meant by Apollo,say the sun-god.All propositions in which Apollo occurs are to be interpreted by the above rules for denoting phrases.If Apollo has a primary occurrence,the proposition containing the occurrence is false;if the occurrence is secondary,the proposition may be true.So again the round square is round means there is one and only one entity,x,which is round and square,and that entity is round,which is a false proposition,not,as Meinong maintains,a true one.The most perfect Being has all perfections;existence is a perfection;therefore the most perfect Being exists becomes:,There is one and only one entity,x,which is most perfect;that one has all perfections;existence is a perfection;therefore that one exists.,As a proof,this fails for want of a proof of the premise there is one and only one entity,x,which is most perfect.,罗素对吗?,交叉语句、外部语句,福尔摩斯比大部分现在的侦探都聪明。,我很喜欢郭靖。,共相问题,“共相是否独立存在,或者是仅仅存在与我们的理智之中,它们究竟是有形的,还是无形的。如果它们是无形的,它们究竟是与感性事物相分离,还是寓居在感性事物之中,并与之一致?”,波菲力,亚里士多德范畴篇注释,公孙龙子 “鸡有三脚”“白马非马”;,柏拉图与亚里士多德,共相问题,许多哲学家认为,世界不只是所有物理事物的总和,除此之外,还有许多不在此时间空间中的抽象实体,他们认为这些事物的存,在对于解释组织我们的知识甚至常识是不可或缺的。,比如某些物理学家相信只有电子、质子、中子、夸克存在,才能解释各种化学变化等现象,才能让我们物理教科书里面的许多语句为真一样,某些形而上学家认为共相是存在的,它们的存在对于我们的知识以及对世界的理解是不可或缺的。,可以分身的共相,共相(universals),按通常理解,是指那些不依赖于心灵,且可同时出现在多个事物身上,或被它们展现出来的事物(multi-exemplifiable);,形象地讲,共相可以分身,按柏拉图的用语,共相可以被许多事物所分有(partake);,与共相相对的事物被称为殊相(particulars),它们在一个时间,只能出现在一个地方,比如我此时使用的电脑,我现在所坐的椅子,我现在心里出现的很平静的感觉等,它们并不能分身。,共相的世界,一般的,可分身的共相分为两类:性质与关系;,性质包括人,马,动物,黄色,是抽象实体等;,关系包括夫妻关系、父子关系、大于关系、等于关系、距离三米远、在.与.中间,在.之后等。这些性质与关系可以为不同的对象同时完整地分有;,性质与关系的世界是分层的,性质们可以分有性质,比如黄色与红色这两个性质共同分有了颜色的这个性质;,关系们也可以分有性质,夫妻、父子、大于、.距离.三米远等关系分有了是二元关系这个性质。,性质间也可以分有关系;,分有.浅于.;,高阶的性质与关系分有低级性质:是抽象实体。,共相的世界的结构不是简单的分层。,共相问题,共相问题:,除了所有时空之中物理事物(殊相)外是否还需要或还存在一些可以分身的的共相来解释事物表象出来的相似性或具有相同的性质与关系。,一般的,哲学家们分为两类,一类是,承认如共相等抽象实体存在的实在论者,,另一类则,否认抽象的共相存在的唯名论者,。,不同的实在论者主张也不尽相同,比如,极端实在论者柏拉图,认为共相不仅存在于分有它的事物之中,而且也单独存在于一个无时空框架的理念世界。相比较而言,,强实在论者如亚里士多德,则认为共相仅存在于分有它的事物之中,除此之外,并不存在一个无时空框架的理念世界使得完美的理念栖身于其中,。,为什么要相信共相存在?,1、可以说明:“为什么我们可以在不同的事物上看出相同的特征”;,2、可以容易解释语言中一些语句如何为真:,按真理符合论的想法:,“苏格拉底是男人”为真是因为“苏格拉底”指称苏格拉底这个人,“男人”指称,男人,这个共相,事实上,苏格拉底展现或分有了,男性,这个共相,所以这句话为真。,3、抽象名词做主词如何理解解释问题:,抽象名词,“红是一种颜色”,南帝与老顽童喜欢同一个女人;,张三与李四都喜欢同一种颜色:红色;,红,、,男性,这些共相是否要存在?,唯名论,奥卡姆剃刀:在提出理论解释现象时候,剔除那些在解释上不必要的事物或原则。,唯名论:不相信共相存在的形而上学理论;,求助于语言的唯名论;,求助于概念的唯名论;,承认特殊性质与关系的唯名论;,求助于语言的唯名论;,卡尔纳普:只需承认说出来、写出来的语词、语句是客观存在的,即可以解释下述问题:,1、可以说明:“为什么我们可以在不同的事物上看出相同的特征”;,因为我们将同一个谓词如“黄色”应用到这些事物上“如蛋黄、太阳”。称呼它们是黄色的。,2、可以容易解释语言中一些语句如何为真:,“苏格拉底是男人”。,如何解释语句为真,2、可以容易解释语言中一些语句如何为真:,“苏格拉底是男人”。,这是因为语言中的谓词将所有事物分为两类:可以应用得上的事物与不可以应用得上的事物;,苏格拉底这个人是“男人”这个谓词可以应用的上的人,故而“苏格拉底是男人”是真的;,这俩人是“师徒”一词可以应用得上的语词,故而“苏格拉底是柏拉图的老师”这句话是真的。,3、抽象名词做语句主词,“红是一种颜色”:,解释为:“是一种颜色”这个语词可以应用到“红”这个词所应用的对象?不对。,解释为:,“是一种颜色”这个语词可以应用到“红”这个词身上。,也不对。,语义上升:解释为:“红”这个词是一种颜色词汇。,“抽象实体不在时空之中”?,“,白色比蓝色浅”?,抽象名词,如何解释“张三与李四都喜欢同一种颜色:红色”?,也许可以解释为“张三和李四都喜欢“红色”这个谓词能应用的上的东西”。,但是这样的解释也值得怀疑的,比如一个人完全可能喜欢红色而不喜欢红色血迹。,求助于概念的唯名论,承认:概念或观念在你我头脑中,它们客观存在;,1、可以说明:“为什么我们可以在不同的事物上看出相同的特征”;,因为我们将同一个概念如,黄色,应用到这些事物上“如蛋黄、太阳”。称呼它们是黄色的。,2、可以容易解释语言中一些语句如何为真:,“苏格拉底是男人”。,“苏格拉底是男人”如何为真?,这是因为头脑中的概念将所有事物分为两类:可以应用得上的事物与不可以应用得上的事物;,苏格拉底这个人是,男人,这个概念可以应用的上的,故而“苏格拉底是男人”是真的;,这俩人是,师徒,概念可以应用得上的两人组,故而“苏格拉底是柏拉图的老师”这句话是真的。,3、抽象名词做语句主词解释问题,“红是一种颜色”:,是一种颜色,这个概念可以应用到“红”这个词所能应用的对象?不对。,当主词是抽象名词时候,这样的主词并不代表可以分身的共相,而是代表着与该名词相对应的头脑中概念而已。,“红是一种颜色”意义为“,红色的,概念是一种颜色概念”,本末倒置,常识上,我们认为是因为事物表象出一致性,我们才会用相同的语词或概念加诸于这些事物上,而不是相反,因为我们会用相同的语词或概念加诸于这些事物上,才看出这些事物上有相似或一致性。,在有些情况下,即使没有词汇或概念,我们也能看出一些事物间的相似与一致性来。,承认特殊性质与关系的唯名论;,承认性质与关系是客观存在的,但它们不是可以在相同时间不同地点不同事物上可以同时展现的共相,而是同时只能在一个事物上展现的殊相。此时黄色的太阳展现的黄和我手中的黄色的笔展现的黄色不论如何相似,毕竟不是同一个黄色。,此圆球的圆与彼圆球的圆不是同一个圆。,虽然不同的事物可以展现出极其相似的,甚至无法区别的性质,但是每个事物所具有的性质只专属于该事物。,性质与关系都是殊相,tropes,译为殊质,只能被一个事物展现出来的东西。,承认特殊性质与关系的唯名论;,1、可以说明:“为什么我们可以在不同的事物上看出相同的特征”;,因为他们有相似的殊质,尽管不相同。,2、可以容易解释语言中一些语句如何为真:,“苏格拉底是男人”。,“男人”代表了一些相似殊质的集合。如果苏格拉底展现出了该集合的某个殊质,这句话就是真的。,苏格拉底的男性殊质与柏拉图的男性殊质是不同的,但都在“男性”代表的殊质的集合中。,3抽象名词做语句主词解释问题:,“红是一种颜色”:表示“每一种红色的殊质都是颜色的殊质”,前者包含于后者。,白比蓝色要淡:表示任何一个特殊白色性质都比任何一个蓝色特殊性质要淡。,这个理论好多了。,什么叫代表相似的特殊性质?“多边形”“有颜色”是如何代表一些相似的特殊性质的呢?,罗素对共相存在的证明,在,1912,年的,哲学问题,、,1912,年的“论共相与殊相的关系”以及,西方哲学史,中,罗素反复提到:如果一个语言只有专名,我们就无法构造具有真假的语句。所以语言必须或者有表示性质的形容词与通名或者有表示关系的动词与介词。如果不是言之无物,词汇就得有意义,若词汇的意义就是它的指称,专名指称其代表的个体,说性质词汇与关系词汇指称或代表可以分身的共相至少表面上是有道理的。(参见罗素,西方哲学史,中论及巴门尼德、柏拉图理念论部分,及,哲学问题,的第九章。),But a difficulty emerges as soon as we ask ourselves how we know that a thing is white or a triangle.If we wish to avoid the universals whiteness and triangularity,we shall choose some particular patch of white or some particular triangle,and say that anything is white or a triangle if it has the right sort of resemblance to our chosen particular.But then the resemblance required will have to be a universal.,Since there are many white things,the resemblance must hold between many pairs of particular white things;and this is the characteristic of a universal.It will be useless to say that there is a different resemblance for each pair,for then we shall have to say that these resemblances resemble each other,and thus at last we shall be forced to admit resemblance as a universal.The relation of resemblance,therefore,must be a true universal.,进一步的论证,我们是如何知道一个事物是白的,比如这张纸是白的,作为唯名论者,当然不能说这张纸分有了白的共相,或具有白的性质。唯名论者会找一个白的事物(比如说白床单),进而说任何和这个白床单有某种恰当相似性的东西都是白的,而这张纸恰好和这个白床单有这种恰当相似性,所以我们说这张纸是白的。但是,这就意味着相似性这个关系共相一定存在。若说每两个白的东西之间的相似性都是不同的,这要求这些相似性必须相似,毕竟,它们这些对象都是白的。,罗素对共相存在的证明,简单地说,罗素认为,若甲乙丙三者彼此相似,那么相似性作为共相必然存在,说甲乙、乙丙与甲丙三对之间的相似不是同一个相似,是不同的相似,那么这三个不同的相似之间最好相似,因为甲乙丙是相似的。,这就证明了至少存在着一个共相:相似性。罗素认为,既然承认有一个共相存在,何必费很大力气发展稀奇古怪的唯名论,何不就承认性质和关系作为共相都存在哩。,家族相似,罗素的论证是有道理的,也许有人会用家族相似性来反驳罗素的论证,但是我们只要找到四个大小等几乎各个方面都一样的圆或直角三角形,它们之间的相似性显然应该是同一个相似共相的特例,进而相似这个共相存在。,埃利亚学派,爱利亚(,Elea,)学派(意大利南部)否认变化,认为变化是假象,是幻觉,没有东西是变化的。,代表人物是巴门尼德(,Parmenides,):,“说不存在者存在是自相矛盾的”;,“万事万物必然永恒不灭,不可能从无或不存在者中诞生;”,宇宙是一个独特的不变的的实体,一切皆一。,芝诺(Zeno),二分法:,阿基里斯与乌龟:,-,这个悖论堪称哲学之谜的范式,-,吉尔伯特,莱尔,飞矢不动:,不存在的东西,如果郭靖、方的圆、福尔摩斯这些东西不存在,我们如何与其发生联系?,19,世纪德国哲学家布伦塔诺:心理现象之所以有别于物理现象,载于心理现象有“意向性”,即指向或关于某些事物的特性。,喜欢、崇拜、憎恨、希望等;,心理活动指向的对象其实是“意识之内的观念”,而不是外在的客观事物。,学生迈农反对:承认存在不存在的东西。,那么好像我们不能真实地喜欢真实的人。,蒯因:柏拉图的胡子,柏拉图,智者篇,:除非一个东西存在,否则我们无法用名字谈论它们。,代表人物是巴门尼德(,Parmenides,):,“说不存在者存在是自相矛盾的”;,内部、交叉、外部语句如何为真?,罗素的摹状词理论。,什么是限定摹状词,限定摹状词(,definite description,):通过对于对象的特征的描述来指称该对象的词汇;,专名:柏拉图、亚里士多德、哥德尔、罗素、弗雷格等等;,限定摹状词:,2012,年中国的国家主席;当今法国的国王;中国的首都等等;,专名与限定摹状词似乎都是用来指称个体对象的。它们的功能似乎是一样的。,问题在哪里?,意义的组合原则:一句话的意义完全依赖于其中词汇的意义,或者说,语句的部分的意义完全决定了语句的意义。,问题,1,、“启明星,=,启明星”与“启明星,=,长庚星”,都是真的,但意义似乎不同,如果名称的意义就是它的指称,那么上述两句话的意义不应该不同。,问题在哪里?,弗雷格:陈述语句的指称是真值;,复合语句的真假完全由子句的真假所决定。,在语句中用同指称的语句或语词代换子句或语词,代换后语句的指称保持不变。,问题,2,:,卡罗尔认为昏星出现在夜晚;,昏星,=,晨星;,卡罗尔相信晨星出现在夜晚;,“地球是扁的”,“,2+2=5”,都是假的。,张三相信地球是扁的;,张三相信,2+2=5,。,假设张三就相信地球是扁的,而不信,2+2=5,。两句话真假不同。,问题在哪里?,问题,3,:,如果一个摹状词不指称一个对象,其出现于其中的语句如何有意义;,问题,4,、,排中律失效么?,或者有最大的素数,或者没有最大的素数。,当今的法国国王是秃子或不是秃子。,没指称,语句如何有真假?,问题,5,、,否定某物存在的语句怎会为真?,当今的法国国王不存在。,话句话说,那有个人,是法国国王,他还不存在。,罗素的想法,专名与摹状词的行为方式是不一样的,限定摹状词是特殊量词;命题函项;,所有人喜欢我的宝宝;,我的宝宝喜欢某个人;,最多有个人喜欢我的宝宝;,至少有个人喜欢我的宝宝;,恰好有个人细化我的宝宝;,恰好三个人喜欢我的宝宝;,只有张三才喜欢李四;,只有女人才是母亲;,只有二年级的学生才看得起只读教科书的学生;,“当今的法国国王是秃子”的意思是:有个人,是当今法国国王,并且是秃子。,“当今的法国国王”不是指称个体的词汇,就像“所有人”也不是指称个体的词汇一样;它们单独不具有意义,只能在一个语句中,才有意义。,语境原则;,卡罗尔认为昏星出现在夜晚;,昏星,=,晨星;,卡罗尔相信晨星出现在夜晚;,辖域的宽窄:,卡罗尔相信恰有一个事物,它是昏星,并且出现在夜晚。(摹状词辖域窄),恰有一个事物,它是昏星,并且卡罗尔相信它出现在夜晚。(摹状词辖域宽),问题,1,、,2,与,3,、“启明星,=,启明星”与“启明星,=,长庚星”,都是真的,但意义似乎不同,如果名称的意义就是它的指称,那么上述两句话的意义不应该不同。,罗素:“启明星”与“长庚星”单独没有意义,它们是伪装的摹状词,不是指示性语词,不能替换。,对于问题三,,如果一个摹状词不指称一个对象,其出现于其中的语句如何有意义,罗素回答说,它们本身并不指称什么,指示特殊量词,离开语境没有意义。,问题,4,;,问题,4,、,排中律失效么?,或者有最大的素数,或者没有最大的素数。,当今的法国国王是秃子或不是秃子。,没指称,语句如何有真假?,法国的国王是秃子;分析为:,恰好存在一个人,他是法国当今国王,并且他是秃子。这句话是假的。,法国的国王不是秃子;分析为:,不存在一个人,他是法国的国王,并且他是秃子。(摹状词辖域窄),存在一个人,他是法国国王,并且他不是秃子。(摹状词辖域宽),问题,5,问题,5,、,否定某物存在的语句怎会为真?,当今的法国国王不存在。,换句话说,那有个人,是法国国王,他还不存在。,当今的法国国王不存在;分析为:,恰好有个东西,他是法国的国王的国王,并且他不存在。,(摹状词的辖域较宽),不存在那样一个东西,他是法国的国王。(法国没国王。),恰好有一个东西存在,并且他是法国的国王是不对的。(摹状词的辖域较窄),再谈问题,3,;,问题,3,:,如果一个摹状词不指称一个对象,其出现于其中的语句如何有意义;,A proposition about Apollo means what we get by substituting what the classical dictionary tells us is meant by Apollo,say the sun-god.All propositions in which Apollo occurs are to be interpreted by the above rules for denoting phrases.If Apollo has a primary occurrence,the proposition containing the occurrence is false;if the occurrence is secondary,the proposition may be true.So again the round square is round means there is one and only one entity,x,which is round and square,and that entity is round,which is a false proposition,not,as Meinong maintains,a true one.The most perfect Being has all perfections;existence is a perfection;therefore the most perfect Being exists becomes:,There is one and only one entity,x,which is most perfect;that one has all perfections;existence is a perfection;therefore that one exists.,As a proof,this fails for want of a proof of the premise there is one and only one entity,x,which is most perfect.,罗素对吗?,交叉语句、外部语句,福尔摩斯比大部分现在的侦探都聪明。,我很喜欢郭靖。,同一性问题,ABC三条船;,AB是同一条吗?,AC是同一条吗?,BC是同一条吗?,等同与莱布尼茨律,对任何个体,x,,,y,,,x,=,y,当且仅当对任何的性质,P,,,P,(,x,),P,(,y,),。,在一阶逻辑中,任给两个项,s,与,t,,个体变元,x,,公式,,,s=t,(,s/x,)=,(,s/x,),这样的公式是公理。,在二阶逻辑中,,x,=,y,就定义为:对任何的性质,P,,,P,(,x,),P,(,y,),。如上的公理在其中也成立。,间接语境,启明星=长庚星是扩展知识的。,启明星=启明星是扩展知识的。,9=行星的个数是必然真理。,9=9是必然真理。,
展开阅读全文

开通  VIP、SVIP  下载更划算
下载10份以上建议开通 VIP 会员
下载20份以上建议开通SVIP会员


开通VIP      成为共赢上传

当前位置:首页 > 包罗万象 > 大杂烩

移动网页_全站_页脚广告1

关于我们      便捷服务       自信AI       AI导航        关注我们

©2010-2026 宁波自信网络信息技术有限公司  版权所有

客服电话:0574-28810668  投诉电话:18658249818

gongan.png浙公网安备33021202000488号   

icp.png浙ICP备2021020529号-1  |  浙B2-20240490  

关注我们 :微信公众号    抖音    微博    LOFTER 

客服