开放逻辑中的合理事实反驳模型类

本文给出了开放逻辑中合理事实反驳模型类的概念，讨论了它们的重要性质．通过给定一假说中句子的线性序关系，得到了假说的最大前节重构的概念，并由此给出了合理事实反驳模型类的一个具体例子．

关于事实反驳与一般假说的开放逻辑

最近李未给出了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论.开放逻辑的一个重要概念就是假说重构.开放逻辑的其它重要概念如认识进程等的定义及其有关性质都可依赖于假说重构的概念而得到.假说重构有两种:N-重构和R-重构,从构造上说,N-重构较为简单,R-重构较为复杂.故R-重构可以说是建立开放逻辑的关键.而R-重构相应的模型论概念是理想事实反驳,因而对事实反驳的进一步研究无论对开放逻辑本身。

开放逻辑中一类算子的不动点

在开放逻辑中，令Γ为一假说，Ａ为一句子，对任何Γ到Γ的幂集合的一个映射ｆ本文定义了如下算子△ｆ，对任何，且．我们讨论了算子△ｆ的不动点的一些性质及其与Ｒ－重构的关系。

保证知识论与基督教信念

Alvin Plantinga后期建立了保证的知识论,并在此架构下对有神信念辩护。他主要是回应启蒙运动以来的对有神信念知识上批判。Plantinga认为这些启蒙批判事先预设了有神信念为假,因此不是知识上有效的反驳。有些批评认为Plantinga的论证结构有问题。本文介绍这些批评,指出Planinga的论证有两个背景,分别是保证的知识结构和改革宗的预设护教学。补充完整背景后,Plantinga的论证策略不仅可以理解,也可以回应批评。尽管Plantinga的论证可成立,但他对启蒙批判的理解有误。本文指出,启蒙批判的本体立场乃是自然主义,并介绍反自然主义的论证,结论是有神信念比之自然主义有知识上的优势。

多样性红利可以优化分配效应

人工智能、智能经济会不会由于替代现有岗位而带来失业,进而劣化收入分配?这是我们马上要面临的一个重大问题。判断这个问题,需要正确的方法及远见。事实上,智能化如果带来多样性红利,完全可以优化分配效应。这是当代人见识的盲区。对上述问题简单地回答是或否,在现实中都可以找到正面的事实佐证,或相反事实反驳。

欧盟各国间将取消免税品购物

欧盟各国间将取消免税品购物下世纪赚钱的十五种职业日前，欧洲委员会已把取消欧盟成员国之间免税品购物的条款正式列入布鲁塞尔法律全书。欧委会认定，欧盟成员国之间现行的免税品购物，与欧洲将实行的单一市场机制相悖。自欧盟一个成员国到另一成员国旅行的国民，不应该...

一个开放的逻辑系统

本文建立了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论;给出了新假设、事实反驳、假说的重构及认识进程等概念的定义,讨论了它们的性质并证明了与之有关的定理.本文还定义了认识进程的极限概念并证明任何关于某一特定问题的经验模型都是一认识进程的极限.作为开放逻辑的应用,本文给出了Rei-ter缺省推理理论的一个模型论解释.

开放逻辑中的R-重构

为了刻画知识的增长,更新以及假说的进化,Li最近建立了一个开放的逻辑理论.开放逻辑的一个基本概念就是R-重构,R-重构不具有唯一性,文献中指出了这一点.对任意给定的假说Γ和语句A使得Γ=A且.A有事实反驳,我们给出了Γ关于A的事实反驳的R-重构唯一的充要条件.令R-recons(Γ,A)为所有Γ关于A的事实反驳的R-重构的集合,我们讨论了当Γ,A变化时,R-recons(Γ,A)的基数的可能变化范围.

R-演算:一个修正程序规约的演算系统

在一个软件规约（Program specification）的形成过程中,规约总是不断被修改,要么增加新的功能,要么由于出现事实反驳,而改正规约中的错误.规约的新功能是与其逻辑无关的新规则,而它的事实反驳则是其反例.新规则和事实反驳都是由研究者或用户提出来的.极大缩减是在规约出现事实反驳的情况下,对规约的理想修正.这里在一阶逻辑的框架下给出规约的新规则、事实反驳和极大缩减的模型论定义.构建了R-演算.该演算由一组变换规则组成,用以删除规约中与事实反驳矛盾的规则,并最终得到规约的极大缩减.同时证明了R-演算的可达性和完全性.

开放逻辑中的R-重构不多于n的充分必要条件

在开放逻辑中,令Γ是假说,A为语句使得ΓA且A受到事实反驳,本文给出了Γ关于A的事实反驳的R-重构不多于n的充要条件,作为推论我们得到了Γ关于A的事实反驳的R-重构唯一的充要条件.

普兰丁格在WCB中的护教论策略

近代以来,西方思想中对于有神论和基督教的反驳主要有两大类:一类是事实性的,一类是规范性的。普兰丁格在他的Warranted Christian Belief一书中,提出了一种独特的护教论,目的在于一举消除所有的规范性反驳。本文讨论这种护教论的基本思路,尝试澄清其构成策略,并分析了对于这个策略的两种不同的解释。本文的结论是,两种解释都不能令人满意,所以,在这个策略的表述或构造之中,可能存在需要进一步澄清的问题。

每月公评榜

最受关注的新秀——丹特 经过连续两周的考验,丹特终于暂时摆脱了罗迪克的阴影。这位典型的美国新一代球员也是一名大力发球手。