分支类型论相关论文
17世纪牛顿、莱布尼兹创立了微积分以后,在近一二百年的时间里,微积分一直缺乏一个严格的逻辑基础,它的一些基本概念的的表述,还有......
悖论是一个长期困扰人类思维和逻辑的重大哲学问题。在国外,悖论研究有着悠久的历史;在国内,近些年来有些人已经开始认识到悖论的......
<正> 悖论(paradox或antinomy)是指这样一种命题,如果承认它是真的,那么可推出它为假;如果承认它是假的,那么可推出它的真,对于这......
<正> 语义悖论可以说是逻辑史上最令人困惑,却散发着诱人魅力的一个古老问题。早在古希腊,克里特人发现的“说谎者悖论”就以“难......
要真正认识语义悖论的实质,必须从语言和思维的关系上加以研究。语义悖论的成因主要在于自我涉及;要避免自我涉及需要语言分层;由......
<正> 语义悖论对逻辑学和语义学的发展具有重大作用。本文以语义悖论为中心,论述在解决语义悖论的基础上建立和发展起来的逻辑理......
说谎者悖论既是历史上最古老的悖论,又是最典型的语义悖论,被逻辑学者们普遍认为是在研究语义悖论时所致力要攻克的对象。本世纪以来......
关于逻辑史上对悖论问题的解决侯丽白郑文辉在日常语言的语义中,悖论一词的原始意义是指一种违反通常接受的见解的陈述,即由断其真而......