第二,建模知识的模型就是关于这个理论的语义解释模式,这是一个从抽象到具体的过程,也就是符号论域的确定,所以,在这个意义上(数理逻辑的模型论),所有的模型都是一种释义,都是知识理论的解释模型,建模知识与模型之间的关系是元模型与模型的关系。一个通俗的解释是:建模知识是纯数学的理论,模型就是应用数学,是理论...
称M是N的子结构,记作M⊆N 直观来看:子结构要求在小结构之中的解释,与大结构同一 例:N={Z,+,≤,0,1},M={N,+,≤,0,1}[2] 自然数算术与序,在整数上相容。显然M⊆N 初等子结构 设两个L-结构M⊆N,对任意公式 ψ(x1,...,xn)和任意M-赋值a¯,满足: M⊨ψ(a¯)⟺N⊨ψ(a...
模态逻辑的模型论。特别是指量词模态逻辑即一阶模态谓词逻辑的模型论。它从属于模态逻辑的三个主要研究方向，即公理学、语义学和代数学方向之一的语义学方向。模态逻辑的关系语义学(又称关系模型论)一般公认是由S.A.克里普克开创的。概念创立 S.A.克里普克于1959年发表在《符号逻辑杂志》上的题为《模态逻辑的一个...
甘岑在第二次大战行将结束时去世,他的结果代表当时证明论的最高成就,希尔伯特和贝纳斯的《数学基础》第二卷中总结了他的工作,但是证明论远远未能完成它的最初目标。战后随着模型论和递归论乃至六十年代以来公理集合论的发展,证明论一直进展不大。 五十年代中,日本数学家竹内外史等人开始对于实数理论(或数学分析)的无...
力迫法的另外一个等价形式, 布尔代数模型, 则可以被看作对于经典二值模型论的一个推广. 内模型与可计算性理论的一个比较有趣的联系前几年被Koepke等人所发现. Koepke考虑了对于图灵机的推广, 使得程序运行时间可以有 的任意长度. 在这个"超限可计算理论"的框架下, 我们会得到一个令人深思的"丘奇图灵论题": ...
道尔顿原子论——实心球式原子模型 物质世界的最小单位是原子,原子是微小的实心球体,原子是单一的,独立的,不可被分割的,在化学变化中保持着稳定的状态,同类原子的属性也是一致的。 按照道尔顿的理论,原子是既不能创造,也不能毁灭,也不可再分割的最基本的物质粒子。那么,放电管中的“...
(4)有辩驳的图尔明论证模型 辩驳是对已经知道的反例、例外的考虑、反驳和说明。论者在说理时考虑到读者可能针对自己主张中的根据(理由)或保证提出反驳或不同看法,然后针对读者可能的反驳提供解释或说明。 针对上文“知应有涯”的论证,可以从两个方向进行辩驳。一是驳理由,有人...
图尔敏以“哈里是英国人”为例论述了图尔敏论证模型的论证过程：1、主张 “主张”即我们想要证明和确立的结论。主张是一个断言，是一个命题，是一个用语言来表现出来的人的要求，并且做出断言者要证明断言的成立。这个“主张”可以具有争议，可以受到挑战，但“主张”发出者必须在面对挑战为其辩护。这是论证的出发...