检索结果-南通市图书馆

《自然杂志》9卷1～12期总目录

引用

自然杂志 1986年第12期10卷 -页

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

第七届国际逻辑学、方法论和科学哲学代表大会将于1983年在奥地利举行

引用

自然辩证法通讯 1982年第4期4卷 62-62页

作者：新铭

由国际科学史和科学哲学联合会(IUHPS)逻辑学、方法论和科学哲学部筹备的第七届国际逻辑学、方法论和科学哲学代表大会将于1983年7月11日至16日在奥地利的萨尔茨堡举行。会议将分14个专题组,它们是: 1.证明论和数学基础, 2.模型理论及... 详细信息

由国际科学史和科学哲学联合会(IUHPS)逻辑学、方法论和科学哲学部筹备的第七届国际逻辑学、方法论和科学哲学代表大会将于1983年7月11日至16日在奥地利的萨尔茨堡举行。会议将分14个专题组,它们是: 1.证明论和数学基础, 2.模型理论及其应用, 3.递归论和计算理论, 4.公理集合论, 5.哲学的逻辑,

关键词：科学哲学方法论逻辑学代表大会公理集合论模型理论科学史国际计算理论递归论

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

二、逻辑学

引用

思想理论教育导刊 1996年第5期 6-6页

二、逻辑学０１．模型论理论与方法研究０２．公理集合论理论与方法研究０３．递归论理论与方法研究０４．证明论理论与方法研究０５．数理逻辑基础与方法研究０６．广义模态逻辑研究０７．异常逻辑及其新理论的研究０８．认知逻辑研究... 详细信息

二、逻辑学０１．模型论理论与方法研究０２．公理集合论理论与方法研究０３．递归论理论与方法研究０４．证明论理论与方法研究０５．数理逻辑基础与方法研究０６．广义模态逻辑研究０７．异常逻辑及其新理论的研究０８．认知逻辑研究０９．语言逻辑的形式化１０．符号学...

关键词：理论与方法研究※ 逻辑基础公理集合论辩证逻辑归纳逻辑认知逻辑逻辑学发展逻辑思想符号学

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

正规模态集合论悖论及相关问题

引用

中国哲学年鉴 2018年第1期 341-341页

作者：张建军不详

本文通过对模态集合论与模态哲学前沿问题的研究,提出了基于带等词一阶逻辑、公理集合论和正规模态逻辑“自然结合”的“正规模态集合论悖论”。文中证明,正规模态命题逻辑如同一根“魔杖”,一旦将之引入经典集合论,即把本来可以容纳偶... 详细信息

本文通过对模态集合论与模态哲学前沿问题的研究,提出了基于带等词一阶逻辑、公理集合论和正规模态逻辑“自然结合”的“正规模态集合论悖论”。文中证明,正规模态命题逻辑如同一根“魔杖”,一旦将之引入经典集合论,即把本来可以容纳偶然关系的集合论,变为断言“所有关系皆必然”的宿命论理论。这个悖论的揭示与澄清,可以清晰说明区分“实体-实体关联”与“实体-属性关联”及据此引入“广义逻辑真理”概念的必要性与重要性。

关键词：逻辑真理模态命题逻辑公理集合论一阶逻辑集合论悖论模态逻辑哲学前沿经典集合论

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：