图书信息

内容简介

图书目录

图书信息

作　者：陈晓平　著出 版 社：中山大学出版社

出版时间：2006-3-1

版　次：1

页　数：281

字　数：398000

印刷时间：2007-3-1

纸　张：胶版纸

印　次：1

I S B N：9787306026781

包　装：平装

内容简介

本书的第一版没有包括对元理论的讨论，第二版则增加了部分元理论即关于命题逻辑的元理论，而没有包括谓词逻辑和模态逻辑的元理论。关于命题逻辑元理论的讨论并非紧跟命题逻辑的章节之后，而是放在谓词逻辑和模态逻辑的章节之后。因为本书作为逻辑导论教材，并不要求读者对元理论有一个全面的把握，而只是为了给出一个范例，让读者通过此范例而对现代符号逻辑的一个基本特征有所了解，这个基本特征是将语法和语义严格区分开来的。在此之前，本书在章节的安排上对语义和语法各有侧重，但未加以严格区分。这对于初学者或许是有益的，因为自然语言中的推论在很大程度上是把语法和语义结合在一起的。事实上，科庇的《符号逻辑》在最后引入元理论之前也是这样处理的。这样做的目的是：试图把逻辑学教学的可接受性和严格性兼顾起来。本书关于命题逻辑元理论的讨论在很大程度上参照了伯科曼的《逻辑教本》。本书主要阐述了自然演绎系统的各个逻辑分支，即命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。阅读本书，不要求读者预先具备任何逻辑基础知识，因此，本书不仅适用于大学文科学生的逻辑导论课教材，也适合于广大读者自学。

图书目录

第二版前言　关于自然演绎逻辑系统

第一版前言

第一章　绪论

1.1　词项、命题和推论

1.1.1　词项

1.1.2　定义

1.1.3　命题

1.1.4　推论

1.1.5　演绎推论与归纳推论

习题1.1

1.2　推论的有效性和可靠性

1.2.1　推论形式、变项和常项

1.2.2　推论的有效性

1.2.3　反例

1.2.4　推论的可靠性

习题1.2

1.3　论证

1.3.1　证明与反驳

1.3.2　论证的基本规则

1.3.3　二难推论

1.3.4　几种不正当的辩论手法

习题1.3

第二章　命题逻辑：符号化和真值表

2.1　一些基本概念

2.1.1　真值函项复合命题和真值函项联结词

2.1.2　合取词和合取命题

2.1.3　析取词和析取命题

2.1.4　否定词和否定命题

2.1.5　蕴涵词和蕴涵命题

2.1.6　等值词和等值命题

习题2.1

2.2　命题的符号化

2.2.1　什么是命题的符号化

2.2.2　一些常见的复合命题的符号化

2.2.3 包含多个联结词的复合命题的符号化

习题2.2

2.3　命题的真值表及其逻辑性质

2.3.1　真值表的构造

2.3.2　重言式、矛盾式和偶然式

2.3.3　重言等值和重言蕴涵

习题2.3

2.4　用真值表检验推论的有效性

2.4.1　真值表方法

2.4.2　短真值表方法

习题2.4