数学推理规则及其应用

§1.概说一数学系统的原始概念、公理、定义和定理等都需表述为命题的形式。建立命题与命题之间的关系,即定理的证明,需以逻辑推理作工具。命题演算是数理逻辑的一个基础分支,它的功用之一是研究数学中使用的演绎推理的性质,并建立判定推理有效性的准则。在命题演算中采用五种逻辑联结诃     

中介逻辑与中介公理集合论的综述

以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响.文中主要从下面3个方面论述:中介数学系统的研究背景;中介数学系统的基本内容及其与经典数学系统的关系,其中简要介绍了中介概念、中介原则、中介逻辑演算系统、中介公理集合论和中介数学系统的研究现状;有关中介逻辑的学术争论,特别围绕中介逻辑是不是一个新逻辑引用了正反双方的意见.此外,还展望了中介数学系统的应用前景.     

分析学中几个定理证明的严密性

Zermelo选择公理的提出对近代数学的发展和逻辑的严密性起了很大的推动作用,而且它几乎渗透到每一个数学分支。分析学中一些定理及命题的证明都要以它为依据,例如,它使得下面几个定理的证明成为可能。     

谈射影几何公理体系与Hilbert公理体系的异同

众所周知,公理化方法是研究近代数学分支的重要方法,它对近代数学的发展起到了巨大的推动作用.因此我们用公理化方法的观点来比较射影几何公理体系与希尔伯特(Hilbert)公理体系的异同,就有助于我们更好地理解和掌握射影几何学.为了更好地对射影几何公理体系和希尔伯特公理体系进行比较,下面我们先列出一组射影几何学的公理体系,然后再进行比较.     

人工智能中的时序逻辑研究

时序逻辑是人工智能研究领域的重要内容之一,文章讨论各种不同的时序逻辑在本体基元、时序结构、时间约束和时间算子选择等四个方面的区别,分析基于点和基于区间时序逻辑的优缺点,研究线性时序逻辑与分支时序逻辑的主要区别.同时,基于时序逻辑对单Agent形式化公理及多Agent协商公理体系的构建进行了初步讨论.     

关于数学公理化方法的教学问题

数学中的公理实际上即是关于基本概念的隐定义 ,从逻辑方法上来讲 ,所谓基本概念即是在本系统中不可定义的概念。在公理化方法的教学中 ,不仅要让学生受到数学美的薰陶 ,而且要相信学生也可以自己动手去构建公理系统     

一个与Euclid—Hilbert几何公理系统等价而又简化了的公理系统

引言从Euclid开始,经过Arichimedes、Pasch等人的修改和扩充,最后由Hilbert完善的Euclid几何学公理体系,是历史上第一个用公理化方法解决一个数学分支的逻辑基础的例子,是现代数学公理化方法的典范。由于它的问世,“不仅公理化方法进入数学的其它各个     

主持人语

正本期推出5篇论文。其中2篇是基础性研究:李娜教授等的《量化核证逻辑QLP概观》,介绍了QLP的公理系统、模型及其应用。QLP是一种表达力较强的逻辑,填补了核证逻辑在量化部分的空白。QLP公理系统以及对应的模型在表现形式上有些复杂,本身还有许多问题有待研究。喻莉姣博士的《同源的多层次性》,讨论的是科技哲学中的同源问题。从生物学角度看,同源概念可以区分为:分支分类学的同源、系统发育学同源、个体发育学同源以及分子同源。区分同源的不同层次,依据同源现象的多学科解释     

数理经济学中的公理化方法

<正> 数理经济学就是数学概念和数学方法在经济学,特别是经济理论中的各种应用.[1]公理化方法是现代数学的主要方法。本文拟介绍经济学中应用公理化方法的现状、困难和意义.一、公理化方法公理化方法在近代数学的发展中起过巨大的作用,它对各门现代数学都有极其深刻的影响。所谓公理化方法(或公理方法),就是从尽可能少的无定义的原始概念(或基本概念)和一组不证自明的命题(基本公理)出发,利用纯逻辑推理法则,把一门数学建立成为演绎系统的一种方法。     

公理与假说异同论——兼论数学科学与教育的特殊性

以历史上经典案例为证，阐述公理与假说在定义与应用中的异同，指出它们虽然都是科学发展的理论基础，起着对不同学科理论创建的奠基作用，但在初期二者命题设立的基础、内容接受的对象和理论发展的方式上有本质差异，并由此导致数学科学与数学教育有别于其他学科分支特殊性的表现，以及公理作为科学数学化趋势标志的原因．     

I-fuzzy拓扑空间中的pre-分离性的研究

目的 讨论I-fuzzy拓扑空间中的pre-分离公理.方法利用连续值逻辑语义的方法.方法 利用连续值逻辑语义的方法.结果 首先在I-fuzzy拓扑空间框架下引入了I-fuzzy pre-开集、I-fuzzy pre-重域及I-fuzzy pre-闭包等概念,进而在I-fuzzy拓扑空间中讨论了I-fuzzy pre-分离性.结论 得到了I-fuzzy pre-分离性和一些它们的等价命题.     

关于Herbrand定理的一个注记

文献[1]所述的Herbrand定理,要求T是一个没有非逻辑公理的理论.本文去掉这个限制,证明了当T为一般的具有非逻辑公理的理论时也有同样的结论.     

论代数公理化体系与中小学数学教学

数学公理化方法是研究数学的重要方法,代数公理体系是数学公理体系中的子系统.代数系统是集合连同满足某个公理体系的运算合称.中小学数学中处处体现公理化思想,因此在中小学数学教学中讲授代数公理化体系必要且可行.本文从公理化方法、代数公理体系、中小学代数教育及代数公理化在中小学教学中的作用几个方面来阐述.     

和谐性质及其应用Ⅰ

Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw_1w(Q)的公理系统及模型理论。此文证明了主要是对Lw_1w(Q)中的模型存在定理及推演完全性定理。     

间断区间时态逻辑中的一些基本概念

定义了间断区间时态逻辑中的一些基本概念：真值联结、公理、分离原则、证明、定律，这些概念与传统逻辑中相应的概念有较大的差异。     

强化思想渗透 提高解题能力

数学思想方法是数学宝库中的重要组成部分,是数学学科赖以建立和发展的重要因素<新课标>指出:"初中数学的基础知识主要是初中代数、几何中的概念、法则、性质、公式、公理、定理以及由其内容所反映出来的数学思想和方法."     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

选择公理及其等价命题

<正> 选择公理是Zermelo 1904年为证明良序定理所提出,它大大推动了近代数学的发展,在逻辑严密性方面也有重要作用。但是,也有人持不同看法,认为该命题未加证明而怀疑其正确性。自Godel工作出来后,在数学上大量应用选择公理、良序定理、Zorn引理等工具进行研究,取得很多好的成果,仅与选择公理等价的命题就有二十多个,它涉及代数、几何、集合论等方面。本文仅就代数方面常用的选择公理、良序定理、Zorn引理的等价性给出证明。为简便计,将它们写在下面,用循环法给以证明。     

逻辑数学悖论及其解决

逻辑——数学悖论是指仅借助于逻辑和数学的符号而得以构造的悖论。从历史发展看，其主要是指布拉里——福蒂（Burali—Forti）悖论，康托悖论和罗素悖论，它们分别是在1897、1899及1902年提出的。逻辑——数学悖论的出现，明确地表明素朴集合论中包含有逻辑矛盾。解决逻辑——数学悖论，必须对康托的素朴集合论加以限制，特别是必须抛弃前面所提到的概括原则。按策梅罗的研究成果，只须对公理适当地加以选择，就可做到既能使新建立的集合论能成为数学的基础，同时又能确保新的理论不会导致悖论。     

公理方法及其作用

本文介绍了公理方法其及发展简史,评述了公理方法的作用:(1)公理方法是总结和表述以往数学知识的科学方法;(2)公理方法能促进和推动新的数学理论的创立;(3)公理方法反映了数学的特点;(4)公理方法不仅是研究数学的重要方法,而且也是研究其他自然科学的重要方法。