词条 | 无穷逻辑 |
释义 | wuqiong luoji 无穷逻辑(卷名:数学) infinitary logic 将一阶逻辑中的公式和推理的长度推广至无穷长得到的。在它的公式中,可以出现无穷多个公式的合取式或析取式,也可以出现无穷多个量词。由于一阶逻辑的模型论应用到数学的其他分支时受到了一定的限制,因而产生了无穷逻辑的模型理论。在描述集合论中也使用这种逻辑。1963年前后,因C.卡普及D.S.斯科特等的工作而发展起来,在1969年前后,J.巴威斯及M.马凯依等又在这个方向上作出了重要的贡献。 如果α、β是两个无穷基数(见集合论),那么无穷逻辑Lαβ的形式语言与一阶逻辑的形式语言相似,即除了有α个变元,可以在基数小于α的公式集上构作合取式或析取式,以及允许在小于β个变元上加全称量词或存在量词外,结构与一阶逻辑相同。因此,L ![]() ![]() ![]() ![]() 因为无穷逻辑L ![]() ![]() 可以用L ![]() ![]() 为保持L ![]() 关于L ![]() ![]() ![]() ![]() 有了上述概念,就可以陈述关于L ![]() ![]() 假定L中仅有可数个符号,那么在L ![]() ![]() ![]() ![]() ![]() 无穷逻辑L ![]() ![]() ![]() 参考书目 J.Barwise,ed.,Hαndbook of Mαthemαticαl Logic,North-Holland, Amsterdam,1977. H.J.Keisler,Model Theory for Infinitαry Logic,North-Holland,Amsterdam,1971. |
随便看 |
百科全书收录78206条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。