传统直言命题的制的逻辑剖析(英文)

传统直言命题A、E、I、O作为“命题形式”其逻辑语义没有规定清楚，逻辑结构尚未完全定型，因而至今还存在种种逻辑理论上的问题．我们根据主词S外延的不同将传统直言命题二分为外延命题和内涵命题两大类．当直言命题的主词S的外延是可进一列举的有限集时为外延命题．与A、E、I、O相对应的外延命题依次为：P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)ΛP(e2)Λ…ΛP(ei)Λ…ΛP(em),P(e1)∨P(e2)∨…∨P(ei)∨…∨P(em)，P(e,)∨P(e2)∨…∨P(ei)∨…∨P(em)．当主词S的外延是无限集、不可进一列举的有限集或空集时为内涵命题．与A、E、I、O相对应的内涵命题依次为：S（x）P（x）、S（x）P（x）、S（x）！P（x）、S（x）！P（x）．已经验证了，四种外延命题和主调可空而不自相矛盾的四种内涵命题全都满足传统的推理格式．     

蕴涵和预设的理论基础和实际运用

蕴涵是用来描述句子命题之间的真值概念。预设是推理过程中必须认定的前提。预设有语义预设和语用预设。预设的性质或归结为衍推或归结为含义。蕴涵和预设理论有赖于语义学、逻辑学、句法学、语用学共同发展;加深对蕴涵和预设理论的认识,有助于这些学科进一步发展。蕴涵和预设理论既丰富又深化我们对自然语言语料的认识,自然语言语料又能推动蕴涵和预设理论进一步发展。     

宇宙智能、人类智能、人工智能

在半个世纪内先后出现的“认知模拟”、“人机合一”都不是真正的“人工智能”正确的指导方针。宇宙具有按一定的逻辑结构、逻辑规律由已有事件向新事件必然过渡的逻辑运演机制,这便是“宇宙智能”,人认识后便是从已知进入新知。这客观的必然过渡就是客观的“制约关系”。人类、机器按各自能实现的方式去摹写、模拟宇宙智能,便分别是“人类智能”、“人工智能”。人工智能的基础装置是基于制约逻辑的内涵智能机,其硬件的核心元件是模拟客观的制约关系的“制约门”。希望由中国人首先研制出第一代内涵智能机。     

微格教学在《数学教学论》课程中的应用研究

微格教学是以现代教育理论为基础,利用先进的多媒体信息技术,依据反馈原理、教学评价等理论,分阶段系统培训课堂教学技能的一种科学的教学技能训练方法。笔者结合近几年的研究和实践,对微格教学的发展、涵义及特征进行了阐述;并结合数学教学论中的微格教学案例,探讨了微格教学在数学教学论中的实施策略。在数学教学论课程中,微格教学的实施过程主要遵循理论学习、制定计划、确定内容目标、编写教案、观摩示范、角色扮演、反馈评价等训练环节。     

合作与非完全合作博弈理论研究综述

合作博弈理论研究已经涉及经济学多个领域,成为经济研究的重要组成部分。对合作与非完全合作博弈理论的演进阶段、基本问题、博弈的策略与解等方面的研究进行综述。并建议以合作博弈的思想解析中国所面临的国内外合作问题,完善相应的合作策略,化解相应的冲突与磨擦,以利于构建和谐社会与和谐世界,促进中国经济的稳定发展。     

弹道滤波引论

本文提出了弹道滤波的基本概念;用向量矩阵法描述了加权最小二乘滤波公式及其递推公式,以及加权残差平方和的数学期望公式;结合参数微分法的运用,使弹道测试数据处理构成了一个通用的理论体系。     

创业理论综述

从不同学科角度综述了创业理论,指出创业应该建立一个独特的理论框架。     

试论邓小平发展理论的构架

邓小平的发展理论是邓小平关于中国特色社会主义发展的理论体系。它主要由发展环境、 发展道路、发展内容、发展构想、发展动力、发展手段、发展质量、发展保障、发展评判等构成。本文就 邓小平发展理论的构架进行了初步的探讨。     

基于模糊数学和灰色理论的环境质量评价研究进展

环境质量评价问题是当前环保界、政府界和学术界关注的热点课题。目前该问题的研究基于定量化分析,广泛采用了大量的现代数学方法,取得了丰硕成果。本文对基于模糊数学和灰色理论的环境质量评价数学方法及环境质量评价指标体系的构建等方面已有的研究成果进行了较为全面的综述,指出了其优点和不足,同时对环境质量评价理论的发展趋势进行了展望,并对其方法提出了改进设想。因此,本文的研究对有关环境质量评价的探讨具有较好的借鉴作用和参考价值。     

图论模型及其应用

图论模型方法是处理实际问题的一种有效的数学方法,随着计算机科学的发展,图论得到了快速发展。通过几种重要的图论模型,包括树的模型、染色模型、遍历模型、匹配模型和初等模型等,论述了这些图论模型的特点及其在实际问题中的应用。