检索结果-内蒙古大学图书馆

形式公理系统确定可能世界的方式之影响——认识程序和范围

引用

燕山大学学报（哲学社会科学版） 2008年第3期9卷 38-40页

作者：李春泰嘉应大学政治法律系广东梅州514015

本文讨论了形式公理系统在认识程序上的变化和它导致的可能世界的范围扩张。

关键词：形式公理系统认识程序可能世界

来源：评论

学校读者我要写书评

暂无评论

命题的语用逻辑

引用

中国社会科学 1997年第5期 45-54页

作者：蔡曙山全国哲学社会科学规划办公室

语用逻辑是言语行为理论的逻辑分析工具和逻辑分析系统。本世纪中叶，奥斯汀创立了言语行为理论。１９８５年，塞尔和范德维克建立了一个非形式的语用逻辑体系。本文通过分析奥斯汀和塞尔的工作，明确了语用逻辑的研究对象，并对语用逻... 详细信息

语用逻辑是言语行为理论的逻辑分析工具和逻辑分析系统。本世纪中叶，奥斯汀创立了言语行为理论。１９８５年，塞尔和范德维克建立了一个非形式的语用逻辑体系。本文通过分析奥斯汀和塞尔的工作，明确了语用逻辑的研究对象，并对语用逻辑作了形式化的研究。在语形研究方面，作者构造了命题语用逻辑的形式公理系统ＰＦ，在ＰＦ中证明了语用逻辑的三类定理：关于语用行为的定理、关于条件的语用行为的定理和关于语用力量的定理。在语义研究方面，作者构造了语用逻辑的语义模型，给出了系统的语义解释。在元逻辑的研究方面，作者证明了ＰＦ的可靠性、一致性和完全性。最后简要指出ＰＦ与塞尔和范德维克系统的区别以及语用逻辑的意义。

关键词：语用逻辑语用行为语用力量言语行为理论命题内容经典命题逻辑联结词语境逻辑系统形式公理系统

来源：评论

学校读者我要写书评

暂无评论

读《辩证逻辑—认识史的总结》、议普遍哲学——兼评辩证逻辑研究与哲学教科书体系改革的客观趋向

引用

晋阳学刊 1993年第4期 23-28页

作者：康洪武山西省社会科学院副研究员

80年代以来,我国学坛上已经有好几部研究辩证逻辑的专门论著先后问世。中国社会科学出版社出版的《辩证逻辑——认识史的总结》(以下简称《总结》),是南开大学封毓昌教授为我国辩证逻辑研究领域新添的又一部力作。列宁在研读黑格尔的《... 详细信息

80年代以来,我国学坛上已经有好几部研究辩证逻辑的专门论著先后问世。中国社会科学出版社出版的《辩证逻辑——认识史的总结》(以下简称《总结》),是南开大学封毓昌教授为我国辩证逻辑研究领域新添的又一部力作。列宁在研读黑格尔的《逻辑学》时,曾经明确地说:“逻辑不是关于思维的外在形式的学说,而是关于‘一切物质的、自然的、精神的事物’的发展规律的学说,即关于世界的全部具体内容及对它的认识发展规律的学说。换句话说,逻辑是对世界的认识的历史的总计、总和、结论”。列宁的这段话说明了辩证逻辑的研究对象、性质、特点

关键词：哲学《逻辑学》社会科学辩证逻辑逻辑学黑格尔从抽象上升到具体实践唯物主义认识史哲学理论体系形式公理系统哲学教科书

来源：评论

学校读者我要写书评

暂无评论

公理化思想与科学知识的增长

引用

现代哲学 1995年第4期 84-86页

作者：郭泽深周肆根华南师范大学政法系

本文记述了公理方法与知识起源的关系。公理化方法的发展,形成公理系统的特征及其对科学知识增长的重要功能,以及公理化思想在科学思维方法和社会科学领域的渗透性应用。

关键词：公理化思想形式公理系统科学知识增长公理化方法公理方法公理化系统形式系统科学理论马克思主义哲学欧几里德几何学

来源：评论

学校读者我要写书评

暂无评论

胡塞尔《算术哲学》中数与符号的关系研究

胡塞尔《算术哲学》中数与符号的关系研究

引用

作者：漆阳西北师范大学

学位级别：硕士

胡塞尔的数学哲学通常被认为是前现象学时期的心理学产物,因此不属于现象学关注的问题视域而被边缘化。但如果我们回顾他早期出版的著作和论文就会发现:与上述观点相反,胡塞尔现象学是在为数学提供基础的过程中发展形成的。本论文将通... 详细信息

胡塞尔的数学哲学通常被认为是前现象学时期的心理学产物,因此不属于现象学关注的问题视域而被边缘化。但如果我们回顾他早期出版的著作和论文就会发现:与上述观点相反,胡塞尔现象学是在为数学提供基础的过程中发展形成的。本论文将通过梳理胡塞尔在其早期思想中所关注的心理学、数学以及逻辑学之间的关系,贯通胡塞尔在《算术哲学》到《逻辑研究》时期的思想脉络,同时详细阐明胡塞尔的符号公理系统在其整体思想中的关键所在。第一章追溯分析了在19世纪末数学基础背景争论中胡塞尔的基本观点。在柏林数学学派魏尔斯特拉斯领导的严密的算术化分析运动的影响下,胡塞尔将自然数的概念作为数学的基础。此后,胡塞尔在布伦塔诺学派的影响下,从数学研究转向哲学研究,试图通过描述心理学的方法寻找数概念的起源。第二、三章则主要是对《算术哲学》中数与符号的关系进行系统性阐明。胡塞尔在试图运用描述心理学的方法分析数概念的起源时,由于表象行为无法解决虚数难题,他由此从数的本真表象方法转向了用符号来替代真实的数的概念的方法。但符号技术仍然无法为虚数等概念的起源在生活世界中提供合理解释,其次,以基数为基础建立的符号系统却可以在不同的数域中运用。为了解决上述问题,胡塞尔因此从算术符号的研究转向逻辑学的研究。第四章主要解决胡塞尔在1890-1900年间胡塞尔的符号系统思想和逻辑观的转变问题。在1891-1895年期间,胡塞尔接受了当时主流的数学逻辑学的观点,采用了一种抽象的、结构化的数学思路来解决上述问题。这种数学视角的转变使得他突破了《算术哲学》所面临的困境,从而也使他从逻辑学的符号工艺论转向了纯粹逻辑学的流形论观点。这种新的逻辑观为胡塞尔的整个算术理论奠定了基础,并由此发展出一套关于符号公理系统的理论,以此重新解释了数的概念与符号的关系。第五章则在上述几章的基础上,通过梳理弗雷格对胡塞尔《算术哲学》的书评以及区分二者的问题意识和研究方法,反驳胡塞尔放弃心理主义立场的主要原因是受到弗雷格的批评和影响。我们将证明,这是胡塞尔内在思想的自身转变。最后总结胡塞尔建立一种符号形式的公理系统的目的,以及这一结果对其后续思想发展的影响。胡塞尔认为,数学中这种理想客观性的存在最终是由一个明确的公理体系来保证的。因此,明确定义的公理系统的概念为胡塞尔提供了一个决定性的论据,以反驳关于他陷入心理主义的指控。

关键词：胡塞尔数的概念符号技术算术基础形式公理系统

来源：评论

学校读者我要写书评

暂无评论

数学中的公理化方法

引用

西北师范大学学报(自然科学版) 1987年第2期 83-87页

作者：王仲春李元中纪善韬

公理化方法是数学中一个极其重要的方法,但是,长期以来对这个方法存在着各种不同的看法和争议。因此,如何正确认识数学中的公理化方法,不仅对数学科学本身的发展,而且对与其相关联学科的建设与发展都有重要意义。本文试图从现代数理逻... 详细信息

公理化方法是数学中一个极其重要的方法,但是,长期以来对这个方法存在着各种不同的看法和争议。因此,如何正确认识数学中的公理化方法,不仅对数学科学本身的发展,而且对与其相关联学科的建设与发展都有重要意义。本文试图从现代数理逻辑的观点出发,对

关键词：公理化方法形式公理系统数学

来源：评论

学校读者我要写书评

暂无评论

谈数学原始概念的赋意性

引用

大连教育学院学报 1995年第Z1期11卷 87-89页

作者：杜树芳

提出原始概念的赋意性旨在使学生对数学基础理论,对数学本身的特点,即它的高度抽象性、意义的广泛性、包容性,有更深刻的理解,更容易理解形式公理化体系的真实涵义。

关键词：原始概念赋意性公理形式公理系统

来源：评论

学校读者我要写书评

暂无评论

公理化思想与科学知识的增长

引用

九江师专学报 1995年第4期14卷 79-83页

作者：周肆根华南师范大学政法系

本文概述了公理学从实质公理化到形式公理化的发展过程，论述了公理化思想对自然科学知识增长的重要功能，及其在科学思维方法和社会科学领域的渗透控应用。

关键词：公理化思想实质公理化形式公理化科学知识增长形式公理系统

来源：评论

学校读者我要写书评

暂无评论

论逻辑演绎系统的可选择性

引用

学术论坛 2000年第4期 12-14页

作者：苑成存洛阳大学中文系!河南洛阳471023

由于出发点不同 ,逻辑演绎系统可以不同的方式构成 ,既可以形式公理的方式构成 ,也可以自然演绎的方式构成 ,但无论以哪种方式构成 ,在演绎能力上则是完全相同的 ,这表明逻辑演绎系统具有一定的可选择性

关键词：逻辑演绎系统形式公理系统自然演绎系统

来源：评论

学校读者我要写书评

暂无评论

A Formal System for the Illocutionary Force and Its Applications in Al

引用

Social Sciences in China 2003年第3期24卷 142-148页

作者： Cai Shushan, PhD, Professor of Philosophy,

本文以John R.塞尔和D.范德维克关于语用逻辑的研究工作为基础,构造了命题的语用逻辑的形式公理系统PF,证明了PF的三类定理:关于语用行为的定理、关于条件的语用行为的定理以及关于语用力量的定理。作者还构造了PF的语义模型,给出了系... 详细信息

本文以John R.塞尔和D.范德维克关于语用逻辑的研究工作为基础,构造了命题的语用逻辑的形式公理系统PF,证明了PF的三类定理:关于语用行为的定理、关于条件的语用行为的定理以及关于语用力量的定理。作者还构造了PF的语义模型,给出了系统的语义解释,并证明了系统的可靠性、一致性和完全性。本文以语用逻辑的方法,分析了人工智能语言PROLOC的语法和语义,以及语用逻辑在学习策略中的应用。最后讨论了语用逻辑的形式化和语言逻辑在认知科学中的应用等问题。作者的工作是继乔姆斯基的形式语法学、蒙太格的形式语义学之后,对语用学的基础理论语用逻辑的形式化研究所做的尝试。

关键词：语用逻辑语用行为形式公理系统学习策略定理人工智能语言语用力量语义模型语义解释可靠性

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：