逻辑与演绎科学方法论导论 pdf epub mobi txt 电子书下载 2025

简体网页||繁体网页

☆☆☆☆☆

出版者:商务印书馆

作者:(波兰) 塔尔斯基

出品人:

页数:259

译者:

出版时间:2011-6

价格:28.00元

装帧:平装

isbn号码:9787100078016

丛书系列:汉译世界学术名著丛书（分科本）·哲学

图书标签:

逻辑学
哲学
科学人文
分析哲学
西方现代哲学
科学哲学
A.Tarski(1901-1983)
逻辑学,哲学,科学人文,科学哲学,分析哲学
逻辑
演绎
科学方法论
哲学
推理
论证
思维
研究方法
认知科学
实证

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

《逻辑与演绎科学方法论导论》是波兰著名哲学家、逻辑学家塔尔斯基的一部数理逻辑入门著作。书中介绍了数理逻辑的一些最重要的概念，讨论了数理逻辑的进展和意义。

作者简介

目录信息

初版序言
序言
第一部分逻辑的元素．演绎方法
（Ⅰ）论变项的用法
1．常项与变项
2．包含变项的表达式——语句函项与指示函项
3．应用变项形成语句——全称语句与存在语句
4．全称量词与存在量词；自由变项与约束变项
5．变项在数学中的重要性
练习
（Ⅱ）论语句演算
6．逻辑常项；旧逻辑与新逻辑
7．语句演算；语句的否定，合取式与析取式
8．蕴函式或条件语句；实质蕴函
9．蕴函式在数学中的应用
10．语句的等值式
11．定义的表述方式与定义的规则
12．语句演算的定律
13．语句演算的符号；真值函项与真值表
14．语句演算定律在推理中的应用
15．推论的规则，完全的证明
练习
（Ⅲ）同一理论
16．不属于语句演算的逻辑概念；同一概念
17．同一理论的基本定律
18．事物之间的同一与指示词之间的同一引号的用法
19．算术与几何中的相等，和它与逻辑同一的关系
20．数的量词
练习
（Ⅳ）类的理论
21．类与它的元素
22．类和包含一个自由变项的语句函项
23．全类与空类
24．类与类间的基本关系
25．类的运算
26．等数类，一个类的基数，有穷类与无穷类；算术作为逻辑的一个部分
练习
（Ⅴ）关系的理论
27．关系，关系的前域与关系的后域；关系与有两个自由变项的语句函项
28．关系的运算
29．关系的一些性质
30．自反的，对称的与传递的关系
……
第三部分　逻辑和方法论在构造数学理论中的应用
推荐的读物
索引
译者后记
· · · · · · (收起)