期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
传统名词逻辑的语义解释问题——从数理逻辑看传统逻辑 被引量：1
1
作者 程仲棠 《暨南学报（哲学社会科学版）》 1987年第4期109-118,共10页
(一) 在传统名词逻辑中,一切逻辑形式都由变项与四个不同的逻辑常项、即“所有……是”(A)、“所有……不是”(E)、“有的……是”(I)、“有的……不是”(0)构成;其中,某些逻辑形式还含有否定词“非”,它也属于逻辑常项。传统逻辑的表... (一) 在传统名词逻辑中,一切逻辑形式都由变项与四个不同的逻辑常项、即“所有……是”(A)、“所有……不是”(E)、“有的……是”(I)、“有的……不是”(0)构成;其中,某些逻辑形式还含有否定词“非”,它也属于逻辑常项。传统逻辑的表述工具既不是纯粹的自然语言,又不是纯粹的形式语言,而是一种半形式语言。 展开更多
关键词 传统逻辑 数理逻辑 推理形式 传统名 具体名词 古代机器人 名词变项 逻辑常项 单称名词 逻辑系统
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部