“真”之公理化理论 被引量：2

1

作者 贺柏和 邵强进 《哲学分析》 2014年第4期115-126,199,共12页

在传统的逻辑研究中,"真"通常作为一种谓词而被定义。但在"真"之公理化理论中,"真"被看作是一个由特定公理和规则所支配的初始谓词。贺柏和教授在本文中分析了真谓词几种不同的公理系统,并比较了各自的... 在传统的逻辑研究中,"真"通常作为一种谓词而被定义。但在"真"之公理化理论中,"真"被看作是一个由特定公理和规则所支配的初始谓词。贺柏和教授在本文中分析了真谓词几种不同的公理系统,并比较了各自的证明—理论强度。 展开更多

关键词 真 公理化理论 真理论

下载PDF 职称材料

浅谈希尔伯特几何学公理化方法 被引量：1

2

作者 成雪茹 《科学技术哲学研究》 1986年第2期64-69,共6页

大卫·希尔伯特(David Hilbert,1862—1943)出生在普鲁士的东方前哨——哥尼斯堡(今苏联加里宁格勒)是上世纪末本世纪初在世界上极有影响的德国数学家。他以非凡的天才、广博的学识和严谨的态度驰骋在诸多数学领域和某些物理学分支... 大卫·希尔伯特(David Hilbert,1862—1943)出生在普鲁士的东方前哨——哥尼斯堡(今苏联加里宁格勒)是上世纪末本世纪初在世界上极有影响的德国数学家。他以非凡的天才、广博的学识和严谨的态度驰骋在诸多数学领域和某些物理学分支。在对不变式论、代数数域理论、几何基础、一般数学基础、积分方程和某些理论物理学问题的研究,都做出了不可磨灭的贡献。一九○○年,希尔伯特在巴黎国际数学家代表会上题为《数学问题》的演讲中,高屋建瓴地提出涉及现代数学许多重要领域的23个难题,推动了半个多世纪以来各个数学分支的发展。 展开更多

关键词 公理化方法 希尔伯特 平行公理 几何公理 几何学 数学家 欧氏几何 德国数学 公理化理论 直线

下载PDF 职称材料

工位制节拍化生产企业的精益物流MES设计 被引量：2

3

作者 彭喜 邵建峰 +2 位作者 倪卫红 钱伟民 赵顺 《物流工程与管理》 2020年第8期1-5,共5页

为提高工位制节拍化企业生产物流的精准、快速、柔性化能力,降低生产环节的物流浪费,实现企业生产物流的精益化,提出了基于公理化理论的精益物流MES设计方法,利用独立公理原理对Z企业的生产物流的各个环节进行多级分解,在此基础上给出... 为提高工位制节拍化企业生产物流的精准、快速、柔性化能力,降低生产环节的物流浪费,实现企业生产物流的精益化,提出了基于公理化理论的精益物流MES设计方法,利用独立公理原理对Z企业的生产物流的各个环节进行多级分解,在此基础上给出了汇总功能结构图和信息公理计算示例,并结合设计前后成本对比,验证了方法的有效性。结果表明,MES系统对在制品、库存和计划的直观展示使订单的准确性及录入效率有效提高;计划决策人员根据MES系统的实时统计功能得以更好的拟定生产计划和处理紧急订单;企业通过精益化能有效降低库存和配送成本。另外,随着模块化的系统的构建和柔性化的生产作业管理,企业的生产柔性和订单的交付效率得到提升。 展开更多

关键词 工位制节拍化 精益物流 MES系统 公理化理论

下载PDF 职称材料

赫尔公理化学习理论述评

4

作者 宋尚桂 《济南大学学报（社会科学版）》 1994年第1期33-36,共4页

赫尔(Clark L.Hull,1884～1952)是第一位将严密的数学公理化方法移植到心理学研究的心理学家.他所建立的学习理论是心理学史上第一个,也是最完整的公理化、定量化理论.赫尔所做的尝试尽管还存在许多严重缺陷,但作为一种突破性工作,他的... 赫尔(Clark L.Hull,1884～1952)是第一位将严密的数学公理化方法移植到心理学研究的心理学家.他所建立的学习理论是心理学史上第一个,也是最完整的公理化、定量化理论.赫尔所做的尝试尽管还存在许多严重缺陷,但作为一种突破性工作,他的理论以及理论建设的方法论思想对心理学研究仍产生了巨大影响.本文试图从方法论的角度对这一理论产生的背景,理论体系的公理化特征及公理化方法在心理学研究中的作用等问题做一初步评述. 展开更多

关键词 公理化体系 学习理论 行为主义心理学 心理学家 理论体系 赫尔 公理化理论 证实原则 心理学研究 客观性

下载PDF 职称材料

略论现代西方经济理论的公理化 被引量：1

5

作者 陈招顺 汪翔 《世界经济文汇》 1988年第4期51-53,共3页

现代西方经济理论研究中的方法之一是,从选择初始概念并对这些概念给予数学上的严格定义开始,而后形成假设,再运用与任何初始概念的主观解释毫无联系的数学推理工具,一步步地从那些假设中推出结论。这种分析方法就称作公理化。一在西方... 现代西方经济理论研究中的方法之一是,从选择初始概念并对这些概念给予数学上的严格定义开始,而后形成假设,再运用与任何初始概念的主观解释毫无联系的数学推理工具,一步步地从那些假设中推出结论。这种分析方法就称作公理化。一在西方经济学界,公理化已被绝大多数学者认为是经济学研究方法的一场革命,其结果是使经济学变得更加科学。对此,我们虽然不敢苟同,但公理化看来确是经济学发展的一种趋势。 展开更多

关键词 西方经济理论 数学推理 公理化理论 西方经济学 初始概念 边际革命 古典经济学 经济学发展 西方主流经济学 经济学研究方法

下载PDF 职称材料

试论数学在经济学中的地位与作用 被引量：1

6

作者 李秋莎 《贵州商业高等专科学校学报》 1993年第3期30-31,共2页

1969年颁发了23届诺贝尔经济学奖,其中有三分之二以上的成果是属于数理经济学和计量经济学的,从这个数字比例足见数学在经济学中的极重要的作用。可以说,没有数学运用的经济学是无法想象的。美籍法裔经济学家和数学家,1983年诺贝尔经济... 1969年颁发了23届诺贝尔经济学奖,其中有三分之二以上的成果是属于数理经济学和计量经济学的,从这个数字比例足见数学在经济学中的极重要的作用。可以说,没有数学运用的经济学是无法想象的。美籍法裔经济学家和数学家,1983年诺贝尔经济学奖得主德布罗,在他接受诺贝尔奖时的演讲中指出:“坚持数学的严整性,使公理化理论已不止一次地引导经济学家对新研究的问题有更深的见解。 展开更多

关键词 计量经济学 整性 数理经济学 公理化理论 投入产出法 布罗 投入产出方法 经济计量学 投入产出模型 需求弹性

下载PDF 职称材料

基于公理化模糊集语义图像层次关联规则分类器 被引量：1

7

作者 韦容 申希兵 杨毅 《计算机工程与应用》 CSCD 北大核心 2016年第20期193-199,共7页

为提高语义图像分类器性能,提出一种基于公理化模糊集的语义图像层次关联规则分类器。首先,为提高算法精度,在对图像数据集进行特征提取基础上,采用公理化理论(AFS)构建图像集模糊概念的AFS属性表达,提高图像集属性辨识度;其次,为提高... 为提高语义图像分类器性能,提出一种基于公理化模糊集的语义图像层次关联规则分类器。首先,为提高算法精度,在对图像数据集进行特征提取基础上,采用公理化理论(AFS)构建图像集模糊概念的AFS属性表达,提高图像集属性辨识度;其次,为提高算法计算效率,考虑采用层次结构关联规则,构建语义图像分类器,利用概念之间的本体信息,提高并行分类能力;最后,通过对算法参数及横向对比实验,显示所提算法具有较高的计算精度和计算效率。 展开更多

关键词 公理化理论 语义图像 模糊集 层次分类 关联规则

下载PDF 职称材料

《中数教材教法》与中学数学教学结合初探

8

作者 邓玉环 《惠阳师专学报》 1984年第S2期68-71,共4页

《中数教材教法》是师专数学系一门重要的必修课,对培养合格的初中教师起着重要的作用。如何把这门课上好,几年来,自己在教学中进行了一些尝试。一、理论上用代数结构的观点、严格的公理化体系研究中学数学概念,提高分析中学数学教材的... 《中数教材教法》是师专数学系一门重要的必修课,对培养合格的初中教师起着重要的作用。如何把这门课上好,几年来,自己在教学中进行了一些尝试。一、理论上用代数结构的观点、严格的公理化体系研究中学数学概念,提高分析中学数学教材的能力。在数学中,数是最基本的,最重要的概念。 展开更多

关键词 中学数学教学 数学教材 初中教师 代数结构 解题方法 理论体系 初中数学教学 中学数学课程 小学数学课程 公理化理论

下载PDF 职称材料

论概率定义的不断完善过程

9

作者 黄明珍 《海南大学学报（自然科学版）》 CAS 1990年第1期55-63,共9页

0 引言社会实践的需要是推动科学发展的强大动力,概率论也不例外。早在1700年前后,出现了两本重要的著作,一是瑞士的丁·贝努里在1713年写的《猜测的艺术》一书,书中第一次陈述了一个带普遍性的定理(即频率收敛于概率的定理),使概... 0 引言社会实践的需要是推动科学发展的强大动力,概率论也不例外。早在1700年前后,出现了两本重要的著作,一是瑞士的丁·贝努里在1713年写的《猜测的艺术》一书,书中第一次陈述了一个带普遍性的定理(即频率收敛于概率的定理),使概率论开始从“单个问题,具体解决”的局面下解脱出来,而成为一般理论。1777年,法国蒲丰(Buffon) 展开更多

关键词 概率法 基本事件空间 蒲丰 古典型随机试验 概率空间 公理化理论 古典概型 概率问题 基本事件数 随机事件

下载PDF 职称材料

科学实在论的四大难题

10

作者 杨充霖 《社科纵横》 1992年第1期44-48,共5页

当代西方科学哲学试图通过对科学认识论的研究来解决甚至最终解决认识论问题因而在整个哲学界都享有独持的地位。然而这个尝试却导致了一片混乱。无论科学哲学在认识论的技术性研究上取得了多么重大的进展。认识论的根本问题还是真理存... 当代西方科学哲学试图通过对科学认识论的研究来解决甚至最终解决认识论问题因而在整个哲学界都享有独持的地位。然而这个尝试却导致了一片混乱。无论科学哲学在认识论的技术性研究上取得了多么重大的进展。认识论的根本问题还是真理存在、发现和评估的可能性与方法论问题。然而科学实在论在一些最基本的问题上接近并且还要求助于辩证唯物主义,因此,辩证唯物评论的基本原理将成其不言而喻的指导思想。 展开更多

关键词 科学实在论 认识论问题 方法论问题 当代科学 不可通约性 公理化理论 费耶阿本德 科学假说 超距作用 逻辑经验主义

下载PDF 职称材料

相对论的创立与数学形式的能动作用

11

作者 杨耀坤 《湖北师范学院学报（哲学社会科学版）》 1994年第5期47-52,共6页

关于相对论的创立过程,人们发表了许许多多各具特色的见解,有将相对论的创立归结为对实验事实的概括(传统经验主义的信奉者),有认为相对论的建立是想象、猜测、直觉的产物(证伪主义者波普尔、历史主义者库恩等),有将相对论的产生看作是... 关于相对论的创立过程,人们发表了许许多多各具特色的见解,有将相对论的创立归结为对实验事实的概括(传统经验主义的信奉者),有认为相对论的建立是想象、猜测、直觉的产物(证伪主义者波普尔、历史主义者库恩等),有将相对论的产生看作是统一性、对称性、简单性等哲学、科学美学以及方法论的原则、准则指引的结果(例如G·霍尔顿).这些看法虽说有失偏颇,但却都不能说全错,因为它们确实抓住了相对论创立过程中起作用的某些因素.而有的人,例如李春泰同志将相对论的创立归结为形式化的产物,其不能令人满意之处却不在于它有失偏颇,而在于它对某些基本概念和理论界限的理解和把握有所失误.笔者想对数学形式在相对论创立过程中所起作用问题作些探讨,并对李文的见解捎带作点分析. 展开更多

关键词 数学形式 证伪主义 波普尔 霍尔顿 公理化理论 创立过程 形式化方法 实验事实 信奉者 经验事实

下载PDF 职称材料

数学科学方法论导论——一种新的运用数学形式

12

作者 李以渝 《西华大学学报（哲学社会科学版）》 1989年第1期28-31,共4页

一一、何谓‘数学科学方法论’现代科学发展的一个显著特点是科学的数学化,数学正在向自然科学和哲学社会科学广泛渗透。科学的数学化既表现在数学方法广泛应用,又表现在数学思维正越来越成为一般科学思维。后者是指数学影响自然科学、... 一一、何谓‘数学科学方法论’现代科学发展的一个显著特点是科学的数学化,数学正在向自然科学和哲学社会科学广泛渗透。科学的数学化既表现在数学方法广泛应用,又表现在数学思维正越来越成为一般科学思维。后者是指数学影响自然科学、社会科学的不是通过它现成的解决某些专题的方法、 展开更多

关键词 思维过程 现代科学 非欧几何 柯西不等式 著名数学家 大学数学教育 相似性原理 创造发明 蒙特卡洛法 公理化理论

下载PDF 职称材料

真与悖论问题——贺柏和“真”之公理化研究进路浅析 被引量：2

13

作者 邵强进 《重庆理工大学学报（社会科学）》 CAS 2013年第9期69-73,120,共6页

基于真理论的逻辑与哲学研究,牛津大学贺柏和教授在国际权威期刊上发表了大量学术文章,它们形成了过去10年间在该领域讨论的要点,使他成为当前该研究领域的领军人物。通过真与悖论问题的相关讨论,介绍贺柏和真之公理化理论的基本思路,... 基于真理论的逻辑与哲学研究,牛津大学贺柏和教授在国际权威期刊上发表了大量学术文章,它们形成了过去10年间在该领域讨论的要点,使他成为当前该研究领域的领军人物。通过真与悖论问题的相关讨论,介绍贺柏和真之公理化理论的基本思路,探讨相关公理系统的哲学问题。 展开更多

关键词 贺柏和 真 悖论 真之公理化理论

下载PDF 职称材料

股份有限公司剩余索取权分配机制及其公理化研究 被引量：5

14

作者 郑立群 夏庆 吴育华 《管理工程学报》 CSSCI 2004年第2期26-29,共4页

关于股份有限公司剩余索取权的分配问题,新古典产权学派和利益相关者学派均缺乏系统的研究。文中建立了股份有限公司剩余索取权分配的数学模型,分析了公司剩余索取权分配机制的不公平现状。基于公理化分配理论,对平均分配机制、基于合... 关于股份有限公司剩余索取权的分配问题,新古典产权学派和利益相关者学派均缺乏系统的研究。文中建立了股份有限公司剩余索取权分配的数学模型,分析了公司剩余索取权分配机制的不公平现状。基于公理化分配理论,对平均分配机制、基于合作对策的分配机制以及序列分配机制进行了公理化研究和比较,最后建立了两阶段剩余索取权分配模型,将Shapley Shubik公式和序列分配机制分别应用于第一和第二阶段剩余索取权的分配。分析表明,这种方式是公平有效的。 展开更多

关键词 剩余索取权 公理化分配理论 两阶段分配 Shapley-Shubik公式 序列分配机制

下载PDF 职称材料

公理化真理论的标准辨析

15

作者 刘大为 《湖南科技大学学报（社会科学版）》 北大核心 2024年第4期33-40,共8页

公理化真理论把“真”看作一个原始谓词,并用一组公理和规则来规定它。为了评价不同的公理化真理论,逻辑学家莱特格布提出了真理论的八个标准,得到许多哲学家的认同。通过详细分析这八个标准的解释和意义可以看到,这些标准既不是必然的... 公理化真理论把“真”看作一个原始谓词,并用一组公理和规则来规定它。为了评价不同的公理化真理论,逻辑学家莱特格布提出了真理论的八个标准,得到许多哲学家的认同。通过详细分析这八个标准的解释和意义可以看到,这些标准既不是必然的,也无法同时被满足,存在着不足之处。依据公理化真理论的指导思想和紧缩真理论的承诺,可尝试从后承视角提出新的标准,即公理化真理论的形式真定理不应削弱哲学直观,且应充分证明哲学上合理的真原则。该新标准有着较好的简洁性与解释力,可以评价不同的公理化真理论,而且KF-CONS系统更符合该标准。 展开更多

关键词 公理化真理论 真标准 紧缩真理论 真原则 后承

原文传递

以资产管理价值为导向的南京地铁资产信息体系构建

16

作者 洪浩 苏诗玮 +2 位作者 高继传 李洁 周明月 《城市轨道交通研究》 北大核心 2024年第1期248-253,259,共7页

[目的]城市轨道交通资产形成过程中资产信息传输不畅,不仅存在资产“账实不符”等问题,而且在运营维护阶段,由于信息不可溯源,也为设备维修更换带来难度。对此,须加强资产全寿命期信息管理,构建城市轨道交通资产信息体系,提高城市轨道... [目的]城市轨道交通资产形成过程中资产信息传输不畅,不仅存在资产“账实不符”等问题,而且在运营维护阶段,由于信息不可溯源,也为设备维修更换带来难度。对此,须加强资产全寿命期信息管理,构建城市轨道交通资产信息体系,提高城市轨道交通企业资产管理效率。[方法]梳理已有资产管理价值研究,归纳城市轨道交通资产管理价值,并以此为导向,总结既有城市轨道交通资产信息体系的缺陷。在此基础上,结合公理化设计理论,将资产管理价值融入资产全寿命周期动态管理过程,面向资产信息使用者开展需求调研,并纳入信息体系顶层设计。[结果及结论]城市轨道交通资产管理价值为:可靠性、功能性、有效性、可持续性。以南京地铁为研究对象,构建了由资产信息分类体系、编码体系和信息模板组成的城市轨道交通资产顶层信息体系。 展开更多

关键词 城市轨道交通 资产管理价值 公理化设计理论 资产信息体系

下载PDF 职称材料

基于公理化设计及模块化设计理论的服装面料实样库自动寻样系统设计 被引量：5

17

作者 王琦 孙志宏 《东华大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第3期283-287,共5页

通过分析公理化和模块化理论的原则、特征、作用及优点,探求二者之间的关系和各种结合方式的可行性,从而得出最合理、最有效的结合方式为:先利用公理化设计理论对产品进行设计,再由模块化设计理论进行完善.并分析得出二者结合指导下的... 通过分析公理化和模块化理论的原则、特征、作用及优点,探求二者之间的关系和各种结合方式的可行性,从而得出最合理、最有效的结合方式为:先利用公理化设计理论对产品进行设计,再由模块化设计理论进行完善.并分析得出二者结合指导下的设计流程,应用到服装面料实样库自动寻样系统设计中,验证了这种理论分析过程的可行性. 展开更多

关键词 公理化设计理论 模块化设计理论 服装面料 自动寻样系统

下载PDF 职称材料

从塔尔斯基转向看公理化真理论 被引量：3

18

作者 李娜 李晟 《重庆理工大学学报（社会科学）》 CAS 2015年第4期4-9,66,共7页

塔尔斯基的语义真理论是逻辑发展史上的一座里程碑。它带来了真理论研究的塔尔斯基转向:在研究基础上,发生了从本体论或认识论到语言学的转向;在研究动力上,发生了从揭示真之本质到克服语义悖论的转向;在研究主题上,发生了从研究真之本... 塔尔斯基的语义真理论是逻辑发展史上的一座里程碑。它带来了真理论研究的塔尔斯基转向:在研究基础上,发生了从本体论或认识论到语言学的转向;在研究动力上,发生了从揭示真之本质到克服语义悖论的转向;在研究主题上,发生了从研究真之本质到研究真之规律的转向;在研究进路上,发生了从下定义到公理化的转向。公理化真理论是在塔尔斯基转向的背景下发生和发展起来的新型真理论。理解塔尔斯基转向是理解公理化真理论的一把钥匙。 展开更多

关键词 塔尔斯基转向 公理化真理论 真之本质 真之规律

下载PDF 职称材料

直觉主义逻辑上的公理化真理论 被引量：2

19

作者 李娜 李晟 《逻辑学研究》 CSSCI 2015年第3期48-63,共16页

本文在直觉主义逻辑和海廷算术HA的基础上,重新考察了去引号模式和组合真公理,得到了三种直觉主义的类型真理论:IDT、ICT和SICT,并探讨了它们的一些基本性质。本文证明了三者都满足对算术的标准解释,并且IDT和SICT是实质上充分的真理论,... 本文在直觉主义逻辑和海廷算术HA的基础上,重新考察了去引号模式和组合真公理,得到了三种直觉主义的类型真理论:IDT、ICT和SICT,并探讨了它们的一些基本性质。本文证明了三者都满足对算术的标准解释,并且IDT和SICT是实质上充分的真理论,而ICT不是。在保守性方面,本文证明了IDT是HA的算术保守扩充理论,而SICT是非保守扩充。 展开更多

关键词 直觉主义逻辑 公理化真理论 类型 去引号 组合

下载PDF 职称材料

公理化真理论的巩固与扩展 被引量：1

20

作者 李娜 孙新会 《天津大学学报（社会科学版）》 2017年第2期146-151,共6页

哈尔巴赫(Volker Halbach)、霍斯顿(Leon Horsten)作为研究公理化真理论的领军人物,多年来一直致力于公理化真理论体系内部各分支理论的研究。近期他们以理论整体为着眼点对公理化真理论进行完善,包括加强公理化真理论与语义真理论的联... 哈尔巴赫(Volker Halbach)、霍斯顿(Leon Horsten)作为研究公理化真理论的领军人物,多年来一直致力于公理化真理论体系内部各分支理论的研究。近期他们以理论整体为着眼点对公理化真理论进行完善,包括加强公理化真理论与语义真理论的联系,并注重对真理论的规范进行探讨与整合,这些工作都是对理论整体的巩固。而辛德勒(Thomas Schindler)、赫克(Richard G.Heck)、尼克莱(Carlo Nicolai)作为研究公理化真理论的新生代力量,最近则是从理论局部进行创新。这些拓展性的工作包括引进博弈论语义学丰富公理化真理论的语义解释,构造包含"有根基的(grounded)"和"真的"两个谓词的新系统,尝试以三层语言的组合真理论克服不保守性现象。但在尝试解离(disentangled)语法之后,保守性与紧缩论之间的矛盾依然存在,从而迫使萨林斯克(Cezary Cie'sliński)等学者重新审视保守性要求与紧缩论教条的合理性。 展开更多

关键词 公理化真理论 整体巩固 理论扩展 紧缩论

下载PDF 职称材料