网站首页平台测试 系统测试

行业动态

基于事实的假设推理框架

作者: 发布日期: 2019-03-13 07:43

来自普尔信仰的论文的非单调性质不是逻辑系统的问题,而是假设集的问题。接下来,我们介绍数量鲲的概念和理论的理论,并将它们与事实上的鲲逻辑和假设推理系统相对应。文章认为,明代为演绎推理和假设推理提供了统一的框架,并用明代理论来解释汉普顿悖论。然后,本文给出了明理论的形式定义和几个定理,重点关注“可诱导”和“允许”这两个概念。在此框架的基础上,由于理论的非单调性和辩论的性质,讨论了相对的极性系统的优点。

关键词应有理论;归纳逻辑;假设推理;诱导;可以允许;不一致的非单调;辩论制度

1基于事实的假设推理

首先,让我们来看看经典的三段论。 “所有人都死了,苏格拉底是人,所以苏格拉底已经死了。” “每个人”在这里意味着什么,它包含什么?如果我们定义“人是一种死人......”那么“所有人都死了”显然是对的。但是,当“人”的定义中没有出现“死”时,为什么我们说“所有人都死了”?在我们的星球上,有一个不死生物居住在某个地方吗?人类有可能在人类的未来死去吗?在其他领域,有没有人可以被称为“人”,他们不会死?所有这一切都是人类所不知道的。我们无法证明我们无法证明这一点。对我们来说,真正的科学态度只能留给胡塞尔,如括号。这样,谈论“所有”是一种幻觉,我们最好把“全部”放在括号中。

我们只能谈论我们可以说的话。当我们说“所有人都死了”时,我们正在谈论张三我们身边的鲲李思鲲王武等等都死了。或者我们可以说“所有人都死了”是源于张三死亡的死亡鲲李思的死亡鲲王武的死。当我们说“全部”仅限于张三鲲李思鲲王武和其他人时,我们说实话。但是,当我们说“所有人”被提升为某些不死的人,未知的人和无数的人时,我们的“所有人都死了”只能是假设的。

这个假设今天仍然是正确的,因为我们没有找到它的反例及其推论。这个假设得到了我们每个人的认可,因为我们没有找到它,也没有找到其推论的反例。

但是如果有一天我们发现有人没有死,那么我们必须修改这个假设。同样,如果一个人发现某人死亡,他也会修改他的知识。我相信,在知识增长的过程中,通常将归纳理论应用于促销。如果推导出的定理不符合某些极端条件(即伪造),那么将给予更高的归纳水平,然后将推导应用于推广......归纳可以发现新知识,扣除可以促进新知识和否决新知识。

如果存在矛盾,则演绎系统不是问题,而是知识集(或假设集)的问题。如果我们说“所有人都死了”,那么他们会发现一个人不会死。问题不在于我们的推理过程,而在于我们的假设。这正是普尔[1]的观点。

尽管普尔[1]提出了基于事实的假设推理机制,但它仍然存在以下缺点。首先,它的一组可能的假设可能与一组事实不一致,这是不直观的。其次,其推理系统中没有感应机制。这个假设不具说服力,也不符合人类对自然的理解规律。第三,其推理系统只有演绎部分,没有归纳部分,不利于描述知识发现的整个过程。

而且由于明理论,它是一个可以克服上述缺陷的推理框架。

2明代简介

明明是佛教理论的重要组成部分。 [2]尹明是梵文词“hetuvidyā”的自由翻译,“莹”是指推理的基础,“明”是所谓的学习;明明是印度古典逻辑中佛教的发展。推理学说。尹明是大乘佛教的“五灵”之一。因为明可大致分为顾银明和辛明明。陈娜是辛银明的代表,《因明正理门论》[3]是陈娜的玄本,玄Master大师于公元649年翻译成中文。近年来,吴寿康[4]用罗素鲲白海《principiamathematica》中的一阶逻辑系统来描述明代理论。本文中的明明理论是基于陈娜的《因明正理门论》。

《因明正理门论》原因是使用教学大纲的三个参数,例如

宗胜是无常的

由于工作的性质(由创作制作)

隐喻有一些无常的东西,就像瓶子一样;

如果这个比喻很常见,那就像是空洞的。

其中,Zong是推出的结论。该教派的主题被称为宗有法,祖传对象被称为父权法。上例中的“声音”是教派方法,“无常”是父权制法。

上面的例子可以解释为“我认为声音是无常的,因为声音已经发出。有些东西是无常的,就像一个瓶子(同时),并且没有任何常见的东西。它就像一个虚空(隐喻)。”

正确的推理和推导符合“三相”条件。 “父权制性质相同,同一产品具有性别,同一产品是无性的。”这里的同一产品指的是具有父权制性质的东西;外国产品指的是没有父权制的东西。对于那些感兴趣的人,请参考文献[5]中的“一阶逻辑测试《因明正理门论》”和相关资料,我们给出“三个阶段的直观例子。在上面的例子中,”激情是父权制的“意思是”所有的声音都是“,”相同的性格有性“意味着”某种东西的存在是无常的“,”不同的产品是无性的“意味着”所有人都经常不做。“值得注意的是,明代的三种理论有点类似于三段论,但它们并不相同。三段论不会推断新知识(在演绎闭合的背景下),意识形态理论的目的是得出新知识。三段论是一个完整的演绎系统,显性理论包含相当多的归纳成分。 “无处不在是父权制”与三段论相似; “性和无知”解释中的“全部”并不是指一般意义上的一般量词,而是指经验范围内的“全部”。 。如果将“性”解释中的“全部”理解为一般意义上的一般量词,那么三段论就包含在明理论中。但区别在于此。这里的“性与无知”是指当前经历下的“性与无知”。在这种经验意义上,结论是它不能可靠地从三段论的演绎推理中得出,但它也需要由相同的含义引起,即“产品的相同性质”。

我们可以理解“制造所有的声音”都没有问题。问题是,是否可以说“所有事物都是无常的”。三段论认为这是真的,演绎推理是理所当然的。因为明说我们可以肯定“所做的一切都是无常的”。注意,所做的扩展大于声音的扩展。当我们仍在讨论声音是否是无常的时,我们认为所做的是无常的。这确实是一个周期性的争论。鉴于此,明朝将推理推理定义为鲲,并且与当前的经验事实同义。 “相同的相似性”决定了推理与当前的经验事实是一致的。 “自然的相似性”进一步举例说明了这种推理的可能性并引发了这种推理。

3当前数量鲲比率和原因理论

陈娜在《集量论》[6]中写道“数量只有两种,即现在的鲲超过两种。神圣教义的数量和神圣的数量都是伪名,非实数什么是唯一的两种是什么?只有两个阶段的数量,即自相和共同阶段。自相的自给自足是当前数量,当前数量是自我 - 共同性的共同点是数量,数量是共同的。为了目前的情况,为了共同阶段没有剩余阶段。“数量是知识的来源。在这里,只有两个知识来源,一个是现在的数量,另一个是比率。一般来说,当前数量是直接感知的知识,当前数量是感觉活动。数量是通过判断和推理间接获得的知识,数量是概念活动。共同对象的数量始终是一个特殊的个体。一般来说,相对量的数量更有说服力。在Shervatsky的《佛教逻辑》[7]中,对当前数量和比率进行了更详细的分析。而且由于明朝,它提供了一个统一的框架,通过当前的数量和数量获取知识。

当该比率以当前金额工作时,该比率接近演绎推理。当比率超出当前数量时,该比率接近假设。例如,当我们说“所有人都会死”时,如果“所有人”指的是张三鲲李思鲲王武等人目前的金额,我们就是演绎推理。当“所有人”超过目前的范围时,使用“所有人都会死”的规则,我们正在做出假设的推理。这两个差异没有得到认真对待,它们通常被归类为演绎推理。本文的工作基于这两个不同之处。4用明明理论解释汉普尔悖论

基于事实的假设推理框架

[8]对于归纳问题,汉普尔提出了一个hampel悖论,也称为乌鸦悖论。它的内容是这样的。让我们证明所有的乌鸦都被认为是黑色的。这个假设在逻辑上等同于另一个假设,即所有非黑色事物都不是乌鸦。原则上,与假设一致的每个实例都提供对假设的支持,或者增加假设的可信度。因此,黑乌鸦的每一次发现都增强了我们对第一个假设的信心,每次发现非黑乌鸦都增强了我们对第二个假设的信心。因为这两个假设在逻辑上是等价的。所以,发现白色粉笔鲲一个红色的鞋子鲲一个绿色的卷心菜等可以让我们更加相信所有的乌鸦都是黑色的,因为这种推理方法违反了常识,所以称为悖论。对于hampel悖论,Hampel自己认为虽然这似乎与常识相悖,但实际上并不是一个悖论。简而言之,常识是错误的。关于hampel悖论还有其他意见。勋伯格认为白色粉笔等等只能与第一个假设相容,即不矛盾,并不支持这一假设。我们可以分为四种黑乌鸦鲲非黑乌鸦鲲黑非乌鸦鲲非黑乌鸦。后两种情况是由舆论引起的。它们的共同特点是它们不是乌鸦。因此,不仅与第一个假设兼容,而且还兼容以下两个假设:“所有乌鸦都是白色的。”鲲“所有的乌鸦都是非黑色的。”这两个公式都是第一个假设。与此相反,可以看出,在不说支持的情况下说兼容性是恰当的。他们在投票中充当弃权。

接下来,我们用明理论来分析hampel悖论。如果我们将乌鸦定义为一种“黑色......”或者我们将“全部”限制为一组已知事实,则认为“所有乌鸦都是黑色”是明确建立的,其逻辑等价假设是“所有非 - 黑色的东西不是乌鸦,所以它们也是建立起来的。此时,白色粉笔等真的支持这个假设。这是hampel的解决方案。但问题是“所有的乌鸦都是黑色的”只是一个假设,而不是一个固定的事实。这个假设在当前的事实集合下是正确的,并不意味着这个假设总是正确的。当我们在未来发现一个非黑乌鸦时,这种假设是不正确的。假设它只是一个假设,schoenberg的解决方案已经出现。第一个假设“所有乌鸦都是黑色的”只是一个假设。我们只是暂时认为它是正确的。这个假设尚未得到证实。一只新的黑鸦确实可以提高假设的可信度,但是发现白色粉笔鲲白鞋并不支持这种假设,而只是兼容这个假设。就明鸣而言,新的黑鸦是“同一产品有事”,白色粉笔等等都是“不同产品无缘无故”。 “同一产品具有性质”增强了假设的可信度,“不同的不一致性”保证了假设的可能性(即,没有矛盾)。 “同一产品具有本质”的假设越可信,假设“非生产性”更可能的假设越可能


上一篇:中西部农村饮水现状及对策
下一篇:通过教学反思促进教师专业成长

杏耀平台科技股份有限公司(www.sunmy-expo.com),是由杏耀娱乐平台官方出资成立的高科技节能环保装备制造股份企业 ,公司于2015年成立,注册资本金 5.2亿人民币,占地面积33300平方米,是集杏耀游戏注册、开发、生产、销售于一体的新型高新技术企业。


Copyright 2017-2019 杏耀娱乐科技有限公司 All Rights Reserved 备案号:鲁ICB备8754420-45号