0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: 图书分类 > 数学 > 数理逻辑/组合数学 > 基本逻辑学:思维与表达正确性问题探究

相同作者的商品

相同语种的商品

浏览历史

基本逻辑学:思维与表达正确性问题探究


联系编辑
 
标题:
 
内容:
 
联系方式:
 
  
基本逻辑学:思维与表达正确性问题探究
  • 书号:9787030658968
    作者:冯琦
  • 外文书名:
  • 装帧:平装
    开本:B5
  • 页数:409
    字数:523000
    语种:zh-Hans
  • 出版社:科学出版社
    出版时间:2020-08-01
  • 所属分类:
  • 定价: ¥168.00元
    售价: ¥134.40元
  • 图书介质:
    纸质书

  • 购买数量: 件  可供
  • 商品总价:

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

本书旨在为所有愿意认真理性思考的青年学者系统性地解释确保思维和表达正确性的逻辑学。可以说逻辑学是每一位愿意认真理性思考者的必备工具。它的雏形是古希腊哲学家亚里士多德所锻造的形式逻辑。它是经过自十七世纪以来数百年演化以及融合了莱布尼茨、布尔、弗雷格、康托尔、哥德尔、塔尔斯基等杰出贡献的智慧产物。本书将向读者解释该系统工具由什么组成、具有怎样的功能以及可以怎样应用。这包括关于“数”和“计算”的概念分析与理论解释,形式逻辑以及逻辑电路实现,形式逻辑系统的有效性、可靠性和完备性,适用于解决现实问题的代名词逻辑,代名词逻辑的有效性、可靠性和完备性以及作为优美的概念文字的基本集合理论。本书还将向读者解释理性思考过程中出发点选择的自由以及一致性的含义。
  作者希望本书是一本介于现有形式逻辑教材以及数理逻辑专业教材之间的自学读物。尽管本书事实上将数理逻辑的基本内容以代名词逻辑的形式展现出来,但本书的着眼点不是数学和数学基础,而是哲学、法学、经济学以及其他社会科学,因为作者真心希望这些领域中的许多青年读者可以从中得益。作者甚至还希望在诸多理科领域中也会有不少的青年读者可以从本书中得益。
  “工欲善其事,必先利其器”。“心之官则思”,思者宜用利器。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页
用户名: 匿名用户
E-mail:
咨询内容:

目录

  • 目录
    序言
    第1章 引子:数 1
    第2章 命题逻辑 39
    2.1 基本问题 40
    2.2 判断 40
    2.2.1 否定判断 42
    2.2.2 析取判断 46
    2.2.3 合取判断 51
    2.2.4 蕴含判断 52
    2.2.5 对等判断 56
    2.3 真假表示与计算 57
    2.3.1 真假值代数 57
    2.3.2 抽象逻辑门 65
    2.3.3 电子逻辑门 67
    2.4 判断分析 75
    2.4.1 造句 77
    2.4.2 逻辑赋值 83
    2.4.3 逻辑赋值计算例子 95
    2.4.4 布尔函数与真值表 99
    2.4.5 可受益性与相对真理 101
    2.4.6 逻辑等价与重言式 104
    2.5 演绎推理 105
    2.5.1 逻辑公理与推理法则 107
    2.5.2 可靠性与完备性 115
    2.5.3 有限性与紧致性 116
    2.6 附录一:历史注记 117
    2.7 附录二:有限与无穷 124
    第3章 代名词表达式逻辑 128
    3.1 问题与假设 129
    3.2 表达式构造篇 133
    3.2.1 基本概念与基本判断 133
    3.2.2 词汇表与表达式 134
    3.2.3 代名词表达式锦帛矩阵 142
    3.2.4 替换与可替换性 156
    3.3 损益篇 157
    3.3.1 名词含义解释 158
    3.3.2 基本表达式语义及其损益 159
    3.3.3 基本概念与基本判断范例 162
    3.3.4 代名词表达式语义及其损益 165
    3.3.5 复合判断范例 172
    3.4 真理篇 184
    3.4.1 逻辑等价 184
    3.4.2 合理性与真实性 187
    3.4.3 普遍真理范例 189
    3.5 推理篇 196
    3.5.1 逻辑公理 197
    3.5.2 非逻辑公理 199
    3.5.3 论证 203
    3.5.4 一致性 205
    3.5.5 尴尬兵器商与韩非子定理 205
    3.5.6 完全性与独立性 210
    3.5.7 可靠性与完备性 214
    3.5.8 逻辑基本定理 215
    3.5.9 韩非子定理之证明 217
    第4章 集合代数 225
    4.1 集合代数语言 225
    4.2 集合存在性 229
    4.3 集合N与序数 244
    4.4 笛卡尔乘积与函数 255
    4.5 有限集合与无限集合 270
    4.6 递归定义以及自然数算术运算 276
    4.7 纯粹有限集合 285
    4.8 整数与有理数 289
    4.8.1 整数 289
    4.8.2 有理数 292
    第5章 局限与完全 297
    5.1 数理论与组织结构 298
    5.1.1 自然数算术标准模型 298
    5.1.2 整数算术标准模型 301
    5.1.3 有理数算术标准模型 303
    5.2 自然数算术理论之局限 306
    5.3 算术理论完全化 309
    5.4 有理数序理论 312
    5.5 力学基本理论完全化 315
    5.5.1 伽利略自由落体力学 317
    5.5.2 牛顿力学 324
    5.5.3 爱因斯坦相对论 327
    第6章 计算与可计算 333
    6.1 计算模型 334
    6.1.1 算法 334
    6.1.2 递归函数 340
    6.1.3 图灵机可计算函数 348
    6.2 不可计算性 368
    6.2.1 图灵机编码 370
    6.2.2 通用图灵机概述 372
    6.2.3 判定问题无解 375
    6.3 计算机——逻辑机器 378
    6.3.1 计算机结构 379
    6.3.2 计算机硬件系统 389
    6.3.3 计算机软件系统 395
    6.4 附录:计算机发展简介 398
    索引 401
    跋 408
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证