逻辑学 共有 3944 个词条内容

    符号学分支学科之一。文化符号学认为,文化概念表示的是从历史上遗留下来的存在于符号中的意义模式,是以符号形式表达的前后相袭的概念系统,人们借此交流、保存和发展生命的知识和态度。理解一个民族的文化,也就是在不削弱...[继续阅读]

    传统形式逻辑中表示全称肯定命题的形式的符号。来源于拉丁文Affirmo这个词(意思是“肯定”)的第一个元音字母。...[继续阅读]

    印度大乘佛教中观理论的奠基人。据传生于南印度毗达婆国(今比拉尔),属婆罗门种族,幼年博闻强记,精通五明。后皈依佛教,先学小乘经典,又入雪山学大乘经。学成后周游五印度,与外道辩论,所向披靡。其后又接触到深奥的“方等”...[继续阅读]

    递归论中的一个重要定理。对每个m,n≥1,存在m+1元递归全函数smn(e,y1,…,ym),使得对任何x1,…,xn都有:Φ(n+m)e(x1,…,xn,y1,…,ym)=Φ(n)Smn(e,y1,…,ym)(x1,…,xn)。s-m-n定理在递归论中有许多重要的应用,如运用它来证明递归定理。...[继续阅读]

    美国数学家、物理学家。生于匈牙利。1921年中学毕业后即往德国、瑞士求学,曾师从希尔伯特。先在柏林大学攻读化学,1926年在苏黎世工业大学取得化学工程毕业文凭,同年获布达佩斯大学哲学博士学位。1927—1930年先后在柏林大学、...[继续阅读]

    ZFC公理系统中的一条公理。它肯定:“任何集a的一切子集也构成一个集。”由空集出发,运用无限公理,通过逐次取幂集与和集这两种基本运算及置换公理模式等,可以构成ZFC系统中的一切集合。幂集公理保证基数不断增大的集合的存在...[继续阅读]

    集合论基本概念之一。是“第一”、“第二”等表示次序的数在概念上的推广。康托尔原来把序数定义为良序集a的序型ā,作为所有与a序同构的集的共同特征,即与a序同构的良序集的等价类。后来人们发现对于任何非空良序集,即使最...[继续阅读]

    正确思维的本质规定之一。指任一正确思维的过程,都必须前后一贯、不包含逻辑矛盾。如果一个思想(一个论断或一个理论体系)既不包含逻辑上自相矛盾的论断,也不会推出互相矛盾的论断或与自身相矛盾的论断,那么这样的思想就具...[继续阅读]

    美国逻辑学家、哲学家。就读于哈佛大学,并曾先后在哈佛大学、哥伦比亚大学、康奈尔大学、伯克利加利福尼亚大学、洛克菲勒大学等校任教。1977年起任普林斯顿大学哲学教授,不久任麦科什讲座哲学教授。主持过牛津大学洛克讲...[继续阅读]

    清代学者对用逻辑推论来验证言论观点真伪的一种称呼。阎若璩《尚书古文疏证》卷五:“事有虚会,有实证。”虚会,即是从逻辑关系上进行推论,其形式之一就是根据前后是否贯通来推断某种记载或观点的真伪。《尚书古文疏证》卷...[继续阅读]