𝔖 Scriptorium
✦   LIBER   ✦

📁

辩证逻辑导论


Tongue
Chinese
Leaves
337
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


数理逻辑导论
✍ 莫绍揆 📂 Library 📅 1965 🏛 上海科学技术出版社 🌐 Chinese
逻辑学导论
✍ 柯匹, 科恩 📂 Library 📅 2007 🏛 中国人民大学出版社 🌐 Chinese
自然演绎逻辑导论
✍ 陈晓平 国别:中国大陆 📂 Library 📅 2006 🏛 中山大学出版社 🌐 Chinese

<p>本书的第一版没有包括对元理论的讨论,第二版则增加了部分元理论即关于命题逻辑的元理论,而没有包括谓词逻辑和模态逻辑的元理论。关于命题逻辑元理论的讨论并非紧跟命题逻辑的章节之后,而是放在谓词逻辑和模态逻辑的章节之后。因为本书作为逻辑导论教材,并不要求读者对元理论有一个全面的把握,而只是为了给出一个范例,让读者通过此范例而对现代符号逻辑的一个基本特征有所了解,这个基本特征是将语法和语义严格区分开来的。在此之前,本书在章节的安排上对语义和语法各有侧重,但未加以严格区分。这对于初学者或许是有益的,因为自然语言中的推论在很大程度上是把语法和语义结合在一起的。事实上,科庇的《符号逻辑》在最后引入元理论

逻辑学导论 第13版
✍ (美)柯匹, (美)科恩著; 张建军等译 📂 Library 📅 2014 🏛 中国人民大学出版社 🌐 Chinese