【摘 要】根据库克等人的提法,雅布鲁悖论可看作是说谎者悖论的“展开”。这种展开被证明保持了说谎者的悖论度,从而也保持了它的循环性,并且这种保持对n-卡片悖论及其展开也成立。将这个结论进一步推广到更大的一类悖论——布尔悖论上,利用语句网来表达布尔悖论及其展开可以证明,任何一个布尔悖论与其展开都具有相同的悖论度,还可证明两者依赖了相同的循环性。
【关键词】 悖论度 布尔悖论 循环性 雅布鲁悖论 语句网
一、引 言
一直以来,人们试图通过认识悖论形成的条件,希望据此达到分析悖论的目的。其中,悖论语句中的循环性受到了较多的关注。通常情况下,在讨论以语句作为载体的悖论时,循环性被看作是句子的自指性,即句子中含有名称直接或间接地指称了这个句子本身。基于上述循环性标准,我们确实发现大量诸如说谎者之类的悖论都是循环的。甚至可以证明,一大类被称为是局部有穷的悖论都是如此[1]。那么,是否可以断言一切悖论都基于自指循环性呢?
这个问题在雅布鲁(S. Yablo)提出其著名的悖论以后有了否定的回答。雅布鲁悖论是一个由可数无穷多个语句构成的悖论。为方便起见,称这些语句为雅布鲁语句,并把它们用自然数依次编号: υ0,υ1,…,υn,…雅布鲁语句的奇特之处在于,每个雅布鲁语句都断定它之后的雅布鲁语句都为假。形式的表达如下:
对任意m>n,(υm)都为假
(υn)
其中n是任意的自然数。从1993年雅布鲁指出他的悖论不具有循环性之后[2],关于雅布鲁悖论的非循环性虽然仍有争论[3],但被大多数逻辑学家认同在语句自指的意义下,雅布鲁悖论不具有循环性。尽管如此,雅布鲁悖论的非循环性在当时被认为也许只是一个例外而已。也就是说,循环性仍然被认为是语义悖论具有的一种普遍性质。
然而,库克(R. T. Cook)及施伦克尔(P. Schlenker)等人分别证明了,雅布鲁悖论实际可看作是说谎者悖论的一种无穷展开[4,5]。这种展开可以理解为,把说谎者语句λ复制可数无穷多次得到语句集λ0,λ1,…比照雅布鲁语句集,可知υ0实际就是λ1,λ2,…的无穷合取,其他语句如此类推[1]。例如,上述工作可扩展到n-卡片悖论上。n-卡片悖论是说谎者悖论的一种较简单的推广,其形式表示如下:
定义2(语句网) 规定形如π:A的表达式为子句(clause),其中π是命题变元,A是公式。语句网是LN中的子句集,其中要求如果语句网中有π:A和π:B, 则A和B是同一个公式。
(n1)
语句(n1)是真的
李叔,刚才峤汝也介绍了,我是她请的律师,是来给你们帮忙的。苏楠切入正题,我这次来,是想了解——苏楠犹豫了一下,很快就找到了合适的称呼,杨阿姨——了解一下杨阿姨的情况。到了人家家里,直接叫人家杨小水太不礼貌,犯罪嫌疑人又太伤人,杨阿姨最好,既不远也不近。
(n2)
语句(n2)是真的
(n3)
…
语句(nn-1)是真的
(nn)
n-卡片悖论可展开得到n-雅布鲁式悖论[1]。例如,2-雅布鲁式悖论可表示为两行无穷列的无穷矩阵:
其中语句断定对任意k>1,语句都为假,语句断定对任意k>1,语句都为真;语句断定对任意k>2,语句都为假,语句断定对任意k>2,语句都为真;以此类推。
与雅布鲁悖论消除说谎者悖论的直接自指性类似,当n大于1时,n-雅布鲁式悖论消除了n-卡片悖论的间接自指性[1]。进一步的研究表明,上述展开虽然可消除自指意义下的循环性,但却不会改变悖论的悖论度。悖论度是指利用悖论发生矛盾的条件对悖论的矛盾强弱程度进行衡量的尺度。一般而言,任何一个悖论都是在一定条件下才会产生矛盾的。如果一个悖论在另一个悖论发生矛盾的条件下总是产生矛盾,那么就说前者的悖论度不弱于后者的悖论度。当然,如果两个悖论在对方发生矛盾的时候也都总发生矛盾,那么就说两者具有相同的悖论度[6]。可以证明对任意的自然数n,n-卡片语句集与n-雅布鲁式语句集具有相同的悖论度[1]。特别地,说谎者悖论与雅布鲁悖论具有相同的悖论度。还需要特别指出的是,因为n-卡片语句集发生矛盾的条件在下述意义下都与循环性相关:它们在并且只在含有特定循环的框架上才会出现矛盾(详见文献[7])。所以,n-雅布鲁式语句集也必定是在相同的有循环的框架下才会出现矛盾。在这个意义下,n-雅布鲁式语句集的悖论性依赖于循环性。就雅布鲁悖论而言,它之悖论性基于与说谎者悖论相同的循环性:即在并且只在含有长度是奇数的循环的框架下才会产生矛盾。当然,这个结论与前面提到的雅布鲁悖论不具有自指循环性并不冲突,因为此处循环性是比自指循环性更深层的循环性。
作为n-卡片悖论推广,可以考虑这样的悖论:
语句(b2)是真的,并且语句(b3)是假的
(b1)
语句(b1)是假的,或者语句(b3)是真的
智慧教育是教育信息化的新境界,是数字教育的高级发展阶段。智慧教育依托物联网、云计算、大数据等技术,建设智能化、物联化、感知化、泛在化的现代化教学系统,完善教务管理系统,构建支持协作学习和个性化学习的智慧学习环境,实现信息技术与教育业务的深度融合,通过运用智慧教学法,促进学习者开展智慧学习,培养智慧人才,达到教与学的智能化目标。另外,智慧教育以学习者为中心,构建数字化学习中心,提供微课、电子教材、移动课件、MOOCs等开放学习资源,支持云学习、泛在学习、无缝学习等学习方式,打破传统教学的时间限制和空间限制,促进教学改革。
(b2)
语句(b1)是真的,并且语句(b2)是真的
(b3)
这种悖论是由文兰首先提出的[8],其一般特点是:每条语句均可表示为一组语句的布尔组合,无妨把这类悖论统称为布尔悖论。布尔悖论是说谎者悖论更为一般的推广,它包括了说谎者悖论、n-卡片悖论、克里悖论(Curry’s paradox) [9]等在内的许多语义悖论,实际涵盖了一大类的语义悖论。
对于布尔悖论,可类似于展开n-卡片悖论那样对其进行展开(详见下一节)。布尔悖论是一种特殊的局部有穷悖论,因此,它们都是自指的。对其展开就消除了其自指性,这一点不难证明。但还有一个问题尚待回答:布尔悖论的(非自指)展开是否保持了悖论度呢?即布尔悖论是否总能展开得到悖论程度等价且非自指的悖论吗?如果回答是的话,则一方面说明了自指循环性的缺失绝不是出现在雅布鲁悖论上的个案,而是一大类具有雅布鲁展开特征的悖论的共有特征。另一方面,如果这种展开保持了布尔悖论的悖论度,那么因为布尔悖论只是在含有特定循环性的框架下才会出现矛盾[10],因此布尔悖论的展开也在相同的含有特定循环性的框架下才会出现矛盾。我们看到,布尔悖论的展开虽然消除了原先悖论的自指循环性,但其完整地保留了框架上产生矛盾的循环特性。这说明相对于悖论形成的条件而言,后一循环性才是更本质的条件。本文将证明上述问题的回答是肯定的。
二、布尔悖论与布尔语句网
为研究当前问题,首先需要定义一套形式语言并给出关于布尔悖论的形式化表示方法。一般来说,可在算术语言中应用对角线引理构造其形式化表示。不过本文所研究的主要是布尔悖论,其表达不涉及量词,因此可通过更简单的语言来进行形式化。本文将通过引入语句网(sentence net)[11]来表达布尔悖论。[注]语句网概念由波兰特(Bolander T.)和库克各自独立地提出,有关历史请参见文献[10],第108—109页。下面给出本文所使用的形式语言,并定义语句网、布尔语句网以及赋值等相关概念。
定义1 设N为可数命题变元集,取p,q(可带上下标)等作为变元符号,为否定符号,∧为无穷合取符号,定义形式语言LN如下:
接着需要明确布尔语句网与其展开之间在何种意义下具有相同的悖论度,为此需要引入语句网的可容许赋值[12]等概念。可容许赋值是建立在关系框架上的,框架由非空集合W及其二元关系R所构成。语句网相对于某个框架而具有可容许赋值。根据可容许赋值的概念就可定义语句网在某个框架中的悖论性;然后,以此为基础可提出对应的悖论度概念,它用于比较两个悖论之间矛盾程度的强弱。为简单起见,此处只针对布尔语句网及其展开给出相关的可容许赋值定义,并根据需要给出了悖论度的部分定义。
综观已有文献,现有文献侧重于从微观层面,而对宏观层面的探讨的相关研究则较少。同时也较少结合地方实际及具体行业开展实证分析,从而导致其对策性研究缺少针对性与灵活性。这是该领域值得进一步展开研究与探索的研究重点。
(2) 如果A是公式,则A是公式。
(3) 如果Ψ是公式集, 则∧Ψ是公式。
其他联结词的意义可按通常规定。
语句(nn)是假的
以说谎者语句为例,其语句网可表示为{p1:p1}。前面关于布尔悖论所举例子可表示为{p1:p2∧p3,p2:p1∨p3,p3:p1∧p2}。称表示布尔悖论语句集的语句网为布尔语句网,布尔语句网及其展开定义如下:
首先讨论自相似性。可将布尔语句网的展开Θ*看作是由n行和无穷列的子句构成的阵列。设X是一个正整数集的子集,用于表示Θ*的子句阵列的列编号。按X取Θ*的多列子句而重新构成的布尔语句网可称为对Θ*的限制,记为Θ*「X。类似地,如果有赋值V,同样可以使用X得到该赋值的限制V「X。下面证明若X是一个无穷集,则Θ*「X与Θ*是等价的,称Θ*的这种性质为自相似性。可利用Θ*的自相似性,间接地通过考察Θ*「X的悖论性来获知Θ*的悖论性。
定义4 给定框架K=<W,R>,映射V:N→P(W)是K的一个赋值,其中P(W)是W的幂集。对公式的赋值仍用符号V表示,按如下规则递归计算:
5G是未来几年经济社会数字化转型的关键,抓住5G移动通信发展机会,加快新技术新产业的发展,成为未来经济发展新空间,打造国际竞争新优势的战略选择,故未来几年5G网络的建设需要投入大量的人力、物力,5G承载网尤其是传送网的规划需要作为基础建设,提前布局。
(1)V(A)=W\V(A)
确定快车停靠站的原则是以车站周边片区规划和客流预测为基础,综合分析沿线各车站的功能及级别、各时段总的客流乘降量、换乘客流量等因素,尽量将组团中心站、重要客流集散点以及重要换乘站确定为快车停靠站。13号线各车站远期早高峰预测乘降量如图1所示[3]。
如果w=u,由于是无穷集,按前一引理中的证明方法构造即可证是在K中的可容许赋值。
(1) 所有N中元素是公式。
定义5 称框架K=<W,R>中的赋值V是布尔语句网Θ的一个可容许赋值,如果对布尔语句网中的所有子句有:
(1)
其中uRv表示条件:W中的点u通达v。类似地,对于布尔语句网的展开Θ*,其赋值的可容许条件为:
(2)
定义6 给定语句网Σ,如果在框架K中不存在Σ的可容许赋值,则称Σ在K中是悖论的。特别地,当Σ在极小自返框架中是悖论的,则称Σ是悖论的。
定义7 (悖论度) 给定语句网Σ和Γ,对任意框架K,如果Σ在K中是悖论的,蕴涵Γ在K中也是悖论的,则称Σ在悖论度上不强于Γ,记作ΣΓ。如果ΣΓ且ΓΣ,则称它们具有相同的悖论度。
三、布尔语句网与布尔系统的关系
设L为算术语言,N是L的标准结构,Th(N)是L中的真算术理论。在L中加入真谓词T得到L+,对应地有L+的真算术理论Th+(N)。基于上述概念,熊明根据对角线引理给出了布尔悖论语句集的另一种表示形式:布尔系统,并且基于可容许指派的概念给出了布尔悖论的刻画结果[1]。由于本文的证明将使用到布尔系统的一些性质,作为准备需要讨论布尔语句网与布尔系统的关系。首先,通过如下定义及引理说明布尔语句网的可容许赋值与布尔系统的可容许指派的关系;然后给出语句网的框架紧致性定义,并证明布尔语句网具有框架紧致性。
定义8 设有布尔语句网并且有布尔系统Δ={δ1,…,δn},fi是Δ所使用的布尔组合。称Θ与Δ在表示上是同一的,如果对每个i,有
引理1 如果布尔语句网Θ与布尔系统Δ在表示上是同一的, 则Θ在某个框架中具有可容许赋值当且仅当Δ在该框架中具有可容许指派。
证明:设X是正整数集的一个子集,w是K中的一点。对任意1≤i≤n和Θ*在K中任意可容许赋值V,定义如下:如果是无穷且余无穷的,否则对每个1≤i≤n,归纳定义如下:令
设VΔ在K中是可容许的,并按上述等价关系构造赋值VΘ。可知对任何u,v∈W使得uRv,以及每个1≤i≤n,如果使得fi(VΔ(δ1,u),…,VΔ(δn,u))=1,则有VΔ(δi,v)=1,从而有v∈VΘ(pi)。若显然同样有v∉VΘ(pi),因此VΘ在K中是可容许的。反之同样可验证如果VΘ在K中是可容许的,则VΔ在K中是可容许的。
定义9 称一个语句网具有框架紧致性, 如果它在一个框架中是悖论的,蕴含它在此框架的某个有穷子框架中也是悖论的。
三是开展健康河湖评价。对河湖生态系统的现状及存在的问题进行诊断评价、分类,摸排导致河湖健康出现问题的原因,掌握河湖健康变化规律,为制定河湖有效保护和合理开发决策提供技术支撑。
1.4.1 测量重复性标准不确定度urel(frep) 依据标准方法,同时称取7份样品进行独立测定,亚砷酸(三价砷)结果见表1。
根据布尔悖论的刻画结果,可知布尔系统具有框架紧致性[10]。由于对每个布尔语句网显然都有与其在表示上是同一的布尔系统, 而据引理1可以认为布尔语句网的悖论性定义与布尔系统的悖论性定义[1]本质是相同的, 由此可知布尔语句网同样具有框架紧致性。
引理2 如果布尔语句网在框架K中是悖论的, 那么它在K的某个有穷子框架中也是悖论的。
以上实践探索取得了良好成效,也存在许多问题,主要表现为课程整合的貌合神离。所谓貌合神离,是指课程整合流于表象,专注于技术,聚焦于课时打通,与学校的整合初衷背离。表面上看学校做了许多整合探索,百花齐放,花团锦簇,实质上由于缺乏可行性研究与论证,整合为筐,什么都往里装,你也做整合,我也做整合,你也是整合,我也是整合,如此而已,皆大欢喜。
离心式压缩机是具有处理气量大、体积小、结构简单、运转平稳、维修方便等特点,应用范围广。但由于离心机本身结构所限,仍然存在短板,在压力高、流量小的场合会发生喘振,且不能从设计上予以消除。下面结合生产实际,介绍防喘振控制技术在某化工装置离心式压缩机上的应用情况。
此外,上述关于布尔系统及布尔语句网的定义只考虑有穷的情形。可定义包含有无穷条语句的广义布尔系统(Generalized Boolean System) 并将其悖论性判定问题归约为布尔可满足性判定问题[10]。已经证明,广义布尔系统是悖论的,当且仅当存在某个广义布尔系统的有穷子集也是悖论的。因此只需要考虑有穷布尔系统的悖论性即可。类似地可定义广义布尔语句网,显然之前关于布尔语句网的可容许赋值的相关定义和结论都适用于其广义情形。每个布尔语句网都有与其在表示上是同一的布尔系统,由此可知对于广义布尔语句网的悖论性判定问题同样只需要考虑布尔语句网的有穷情形即可。
四、布尔语句网与其展开之间悖论度的比较
定理1 布尔语句网Θ与其展开Θ*之间具有相同的悖论度。
本节主要证明上述定理。首先证明如果Θ在某一框架中有可容许赋值, 则Θ*在此框架中也有可容许赋值。设V是Θ在框架K中的可容许赋值,构造Θ*在K中的赋值V*如下:对所有然后据布尔语句网的定义,和同为正文字或负文字,因此根据语句网赋值的定义有因为V是可容许赋值,据布尔语句网可容许赋值定义中的(1)式以及前面已证的结果,易知对于K中所有u,v,有(2)式成立,即V*在K中是可容许的。
然后,为证如果Θ*在某一框架中有可容许赋值蕴含Θ在此框架中也有可容许赋值,需要引入两个概念:自相似性和收敛性[13]。
定义3 称为布尔语句网,其中gi为只使用合取或析取两种运算的布尔组合函数。称为pi中的文字时为正文字,否则为负文字。规定Θ的展开为语句网其中文字表示中指涉的或要求对每个同为正文字或负文字。
年轻帅气的刘志武冷笑一声说:“周所长,那偷割者为什么不直接把死者毁尸灭迹,反倒要把尸体寄存在人流量最大的地方——火车站呢?莫非他不知道那是英明神武的周所长地盘?”
二是适应消费需求变化抢抓新型供给。随着社会主要矛盾变化,人民群众消费需求呈现多层次、个性化、体验式等新特征,对安全环保、便利快捷、文化价值、精神享受需求扩张。要抓住机遇培育新动能,重点发展新能源、新材料、新技术、新业态,在绿色农业、生物医药、海洋科技、人工智能、洁净能源、大数据科技、现代服务等未来型先导型产业进行产业链式精准布局,促进园区规模化生产。
引理3(自相似性) 如果X是一个无穷集, 则Θ*「X在K中有可容许赋值, 当且仅当Θ*在K中有可容许赋值。
证明:设X={n1<n2<…},记Xnj={k∈X|k>nj}。设V是Θ*「X在K中的可容许赋值。定义VX为如下:对任意1≤i≤n和且对每个k>j,对应地有k′∈Xnj使得据布尔语句网定义可知类似于前面的证明,由V是Θ*「X在K中的可容许赋值,容易验证VX是Θ*在K中的可容许赋值。反之,设V是Θ*在K中的可容许赋值,可构造同理,可验证VX是Θ*「X在K中的可容许赋值。
接着讨论收敛性。它是指Θ*在K中的赋值V对任意1≤i≤n,都存在数Ni,使得对任意为了得到一个Θ*的收敛可容许赋值,可首先构造一个Θ*的限制的收敛可容许赋值,再根据自相似性引理构造出Θ*的收敛可容许赋值。为此,从一个Θ*的可容许赋值V0开始,反复迭代地删除Θ*中的某些列,由此不断得到新的Θ*的限制以及对应的赋值V1,V2,…。对上述过程有两个要求:一是要求过程是可终止的,为此可限制在有穷框架下,按框架中的每个点执行Θ*中列的删除操作;二是要求过程输出的赋值是可容许的,这就需要保证此过程中从V0开始的每一步所产生的赋值均符合可容许条件。
基于上述思想,需要明确框架K中的每个点将使Θ*的哪些列得到保留。设Θ*「X在K中具有可容许赋值。对每个1≤i≤n和w∈W,用表示Θ*「X作为一个子句阵列其第i行中在w上赋值为真的所有命题变元的下标,即约定在V和X明确的前提下,可将简记为以下引理证明了按保留下来的子句阵列能得到对应的可容许赋值。
引理4 设X是正整数的子集,V是Θ*在K中的可容许赋值。对任意w∈W,如果是无穷且余无穷,则是在K中的可容许赋值。
证明:在W中任取u,v两点,使得uRv。分情况讨论:
如果w=v,因为非空,可设使得布尔语句网可容许赋值定义中的(1)式成立。又因为是余无穷的,所以可设有j′>j,使得从而又有由于且根据布尔语句网可容许赋值定义中的(2)式,容易证明矛盾。因此w≠v。
如果w≠u且w≠v,则所证结论空洞地成立。
(2)V(∧Ψ)=∩{V(A)|A∈Ψ}
以下引理构造了寻找Θ*的收敛可容许赋值的方法,以此证明了Θ*的收敛可容许赋值的存在性。
引理5 如果Θ*在一个有穷框架K中有可容许赋值,则它在K中必有收敛的可容许赋值。
证明:设有布尔语句网及布尔系统Δ={δ1,…,δn}在表示上是同一的。给定框架K=<W,R>,设VΘ和VΔ分别是Θ和Δ在K中的赋值和指派。如果规定对任意w∈W,有w∈VΘ(pi)当且仅当VΔ(δi,w)=1。以此作为归纳的基始,按公式的结构容易归纳证明,w∈VΘ(fi(p1,…,pn))当且仅当VΔ(fi(δ1,…,δn),w)=1。由于Θ与Δ在表示上是同一的,据布尔语句网赋值的定义,易知因此当且仅当VΔ(fi(δ1,…,δn),w)=1。注意在布尔系统中也可以用fi计算公式的真值,因此有当且仅当fi(VΔ(δ1,w),…,VΔ(δn,w))=1。
设K中W共有m个点,令0≤k≤m归纳定义Xk和Vk如下:X0=,V0=V,Xk+1=wk+1(Vk,Xk),Vk+1=Vk「Xk+1。使用数学归纳法,并根据引理4,可证对于任意0≤k≤m如下命题成立:
(1)Xk是无穷集,且对任意h,0≤h≤k,Xk⊆Xh。
(2)Vk是Θ*「X在K中的可容许赋值,且对任意1≤i≤n和0≤h≤k以及j∈Xk,都有
(3)对每个1≤i≤n,都存在数使得下列两个条件至少一个成立:
(3.1)对所有满足的j∈Xk,有
(3.2)对所有满足的j∈Xk,有
近年来,随着经济的不断发展和社会的不断进步,人们对客滚船的安全性、稳定性、快速性、舒适性、豪华性和装载车辆大型化提出了更高的要求。目前,国际客滚船运输主要集中在欧洲的波罗的海、北海、地中海地区、日本列岛之间及美国沿海地区。我国的客滚船运输已形成以渤海湾为中心的渤海湾客滚运输市场,随着亚洲区域旅游日益活跃和中韩自贸区建设的推进,将进一步推动中韩航线客货运事业的发展。
特别地,Θ*「Xm是Θ*的一个无穷子集,且它在K中有可容许赋值Vm。
根据命题(3),对每个1≤i≤n,取中的最大者Ni,任取wk∈W以及j1,j2∈Xm,使得j1,j2>Ni,据命题(2)有,当且仅当而据命题当且仅当又据命题当且仅当由此可知即证明了Vm是Θ*「Xm在K中的收敛可容许赋值。然后,根据自相似性引理及其证明,通过Vm即可构造关于Θ*在K中的可容许赋值V*,因为Vm是收敛的,所以V*也是收敛的。
值得关注的是国外典型的内河航道R≥3L,且平均比值约为2[5],船舶仍能保证航行安全,加之船舶技术性能的不断提高,反衬出我国船长限制标准尚有放宽的裕度空间。
最后完成定理1的证明。首先,如果K是有穷框架且Θ*在K中有可容许赋值,则根据引理5可假设Θ*在K中有收敛的可容许赋值V*。然后据收敛性的定义,对每个1≤i≤n,都存在Ni使得对构造Θ的赋值:其中N是所有Ni中的最大者。据布尔语句网的定义,对所有k≥N,1≤t≤n,有而由V*的收敛性又有即有类似于前面的证明,可由赋值V*的可容许条件及以上V与V*的关系,得到V的可容许条件同样成立,即V是Θ在K中的可容许赋值。进一步,对于任意框架K,由于如果Θ*在K中有可容许赋值,则Θ*在其所有的有穷子框架中有可容许赋值。据以上证明,可知Θ同样在K的所有的有穷子框架中有可容许赋值。根据布尔语句网的框架紧致性, 可知Θ在K中有可容许赋值。证毕。
五、结 语
定理1通过布尔语句网及其展开讨论了有穷悖论语句集与无穷悖论语句集之间的具体关系。对于有穷情形的布尔语句网,它在语句自指的意义下是循环的。而另一方面,由于在布尔语句网的展开中,对每个命题变元所指涉的都有k>j,因此显然布尔语句网的展开在语句自指的意义下不具有循环性。定理1表明,具有自指性的布尔悖论语句集对应地可得到了在悖论度上等价但具有非自指性的无穷布尔悖论语句集。这就肯定性地回答了本文在开始时提出的问题:布尔悖论是否总能展开得到悖论程度等价且非自指的悖论吗?
在悖论度的讨论上,我们也看到除了自指循环性这种句子表层的结构性特征,悖论还有更深层次的循环性,即悖论产生矛盾的框架中出现的循环性。定理1表明了虽然布尔悖论的展开不再具有布尔悖论的自指循环性,但却完全保留了布尔悖论的框架循环性特征。这样,我们从更深的层次看到了悖论对循环性的依赖。
参考文献:
[1] 熊明. 算术、真与悖论. 北京: 科学出版社,2017.
[2] S.YABLO. ParadoxwithoutSelf-Reference. Analysis,1993, 53(4):251—252.
[3] 赵艺,熊明. 不带不动点的雅布鲁式悖论存在吗?. 华南师范大学学报:社会科学版,2018(3):187—190.
[4] R. T. COOK.PatternsofParadox. Journal of Symbolic Logic,2004, 69(3):767—774.
[5] P.SCHLENKER. TheEliminationofSelf-Reference:GeneralizedYablo-SeriesandtheTheoryofTruth. Journal of Philosophical Logic, 2007, 36(3): 251—307.
[6] M.HSIUNG. JumpLiarsandJourdain’sCardviatheRelativizedT-scheme. Studia Logica, 2009, 91(2):239—271.
[7] M.HSIUNG. Tarski'sTheoremandLiar-likeParadoxes. Logic Journal of the IGPL, 2014, 22(1):24—38.
[8] L. WEN.SemanticParadoxesasEquations. Mathematical Intelligencer,2001, 23(1):43—48.
[9] 熊明. 塔斯基定理与真理论悖论.北京:科学出版社,2014.
[10]M.HSIUNG.BooleanParadoxesandRevisionPeriods. Studia Logica,2017, 105(5):881—914.
[11]T.BOLANDER. Logical Theories for Agent Introspection. Technical University of Denmark.2003: 87—90.
[12]熊明. 悖论的自指性与循环性. 逻辑学研究,2014(6).
[13]M.HSIUNG.EquiparadoxicalityofYablo’sParadoxandtheLiar. Journal of Logic, Language and information, 2013, 22(1):23—31.
【基金项目】国家社会科学基金重大项目“逻辑真理论的历史源流、理论前沿与应用研究”(17ZDA025)
【收稿日期】2019-04-08
【中图分类号】B812
【文献标识码】A
【文章编号】1000-5455(2019)04-0183-06
(作者简介:陈智斌 ,广东广州人,华南师范大学政治与行政学院博士研究生,广东技术师范大学计算机科学学院讲师;熊明, 云南昭通人,华南师范大学政治与行政学院教授。)
【责任编辑:赵小华;责任校对:赵小华】
标签:悖论论文; 布尔论文; 语句论文; 赋值论文; 框架论文; 《华南师范大学学报(社会科学版)》2019年第4期论文; 国家社会科学基金重大项目“逻辑真理论的历史源流; 理论前沿与应用研究”(17ZDA025)论文; 华南师范大学政治与行政学院论文;