咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >自然演绎逻辑导论 收藏

自然演绎逻辑导论

丛 书 名:普通高等教育“十一五”国家级规划教材

版本说明:2版

作     者:陈晓平/国别:中国大陆 

I S B N:(纸本) 9787306026781 

出 版 社:中山大学出版社 

出 版 年:2006年

页      数:12,281页页

主 题 词:演绎推理 高等学校 

学科分类:01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 

馆 藏 号:201370712...

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

实体馆藏
馆藏地名称 定位 索书号 条码号 文献状态
南校区保留本图书藏阅室 查看 B812.23/C594 010226361 阅览
南校区汉文社科图书借阅室 查看 B812.23/C594 010226363 可借
南校区汉文社科图书借阅室 查看 B812.23/C594 010226362 可借

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分