收藏 分享(赏)

1983_07 现代逻辑学问题_10257535.pdf

上传人:fydodygffhjjrfjik 文档编号:7035936 上传时间:2022-08-31 格式:PDF 页数:225 大小:8.14MB
下载 相关 举报
1983_07 现代逻辑学问题_10257535.pdf_第1页
第1页 / 共225页
1983_07 现代逻辑学问题_10257535.pdf_第2页
第2页 / 共225页
1983_07 现代逻辑学问题_10257535.pdf_第3页
第3页 / 共225页
1983_07 现代逻辑学问题_10257535.pdf_第4页
第4页 / 共225页
1983_07 现代逻辑学问题_10257535.pdf_第5页
第5页 / 共225页
亲,该文档总共225页,到这儿已超出免费预览范围,如果喜欢就下载吧!
资源描述

1、Ge n e r a l In f o r m a t i o n 书名=1983.07 现代逻辑学问题作者=(日)末木刚博等页数=216SS号=10257535出版日期=1983年07月第1版封面页书名页版权页前言页目录页出版说明前言逻辑学的历史&末木刚博 (一)中国逻辑学 1墨翟 2别墨(墨者) 3名家 4苟卿 5韩非 (二)印度逻辑学 1数论派的“遍充”的思想 2恰拉卡本集的五支作法 3正理经的逻辑 4新因明的逻辑 (三)西方逻辑学 1希腊的逻辑学 2亚里士多德以后的逻辑学 3近代以后现代逻辑学&吉田夏彦 (一)逻辑主义的体系 (二)仨符号 逻辑符号 元素符号 (三)命题式 (四)命题式

2、的意思 (五)省略的命题式 (六)列与式,字典顺序,闭式 (七)推论图 (八)论证图 (九)论证图的例子 (十)的定义 (十一)外延性公理 (十二)抽象公理 (十三)用定义导入演算子 (十四)再论逻辑主义的体系 (十五)素朴集合论的悖论 (十六)对逻辑的重新考虑 (十七)类型理论 (十八)无限公理 (十九)一阶谓词逻辑 (二十)完全性定理 (二十一)应用谓词逻辑及其模型 (二十二)公理的集合论 (二十三)形式主义数学基础论 (二十四)哥德尔的不完全性定理 (二十五)无矛盾性问题 (二十六)证明论和模型论哲学和逻辑学&泽田允茂 (一)逻辑思维 (二)语法、逻辑和存在的并行 (三)方法论与逻辑学 (四)先验逻辑和形式逻辑 (五)辩证逻辑的形式 (六)对逻辑学的哲学的一瞥语言、逻辑和计算机&扳本百大 (一序:逻辑的边缘 (二)可计算性与电子计算机 1递归函数和可计算性 2电子计算机原理与逻辑 (三) 自动机理论与人的思维 1信息处理与自动机 2逻辑思维的功能和起源 (四)文法与逻辑,机器翻译 (五)语义 1同义性 2对象指示和实在论 3个人的语义和浯义的公共化附录 一、波尔罗亚尔逻辑学在西方逻辑学史上的意义&山下正男 二、波尔罗亚尔的语义学&内井?七附录页

展开阅读全文
相关资源
相关搜索
资源标签

当前位置:首页 > 教育专区 > 大学资料

本站链接:文库   一言   我酷   合作


客服QQ:2549714901微博号:文库网官方知乎号:文库网

经营许可证编号: 粤ICP备2021046453号世界地图

文库网官网©版权所有2025营业执照举报