请选择 进入手机版 | 继续访问电脑版
楼主: 13950050756
890 8

[书籍推荐] Philosophical and Mathematical Logic [推广有奖]

  • 0关注
  • 39粉丝

教授

58%

还不是VIP/贵宾

-

威望
0
论坛币
27299 个
通用积分
113.6997
学术水平
90 点
热心指数
292 点
信用等级
258 点
经验
2461 点
帖子
752
精华
0
在线时间
386 小时
注册时间
2018-12-10
最后登录
2023-8-6

相似文件 换一批

+2 论坛币
k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群
赵安豆老师微信:zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

感谢您参与论坛问题回答

经管之家送您两个论坛币!

+2 论坛币

Philosophical and Mathematical Logic (Springer Undergraduate Texts in Philosophy)
By 作者: Harrie de Swart
ISBN-10 书号: 3030032531
ISBN-13 书号: 9783030032531
Edition 版本: 1st ed. 2018
出版日期: 2018-11-28
pages 页数: (539 )

This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic, temporal) and intuitionistic logic as well. The first chapter is an easy to read non-technical Introduction to the topics in the book. The next chapters are consecutively about Propositional Logic, Sets (finite and infinite), Predicate Logic, Arithmetic and Gödel’s Incompleteness Theorems, Modal Logic, Philosophy of Language, Intuitionism and Intuitionistic Logic, Applications (Prolog; Relational Databases and SQL; Social Choice Theory, in particular Majority Judgment) and finally, Fallacies and Unfair Discussion Methods. Throughout the text, the author provides some impressions of the historical development of logic: Stoic and Aristotelian logic, logic in the Middle Ages and Frege’s Begriffsschrift, together with the works of George Boole (1815-1864) and August De Morgan (1806-1871), the origin of modern logic. Since “if …, then …” can be considered to be the heart of logic, throughout this book much attention is paid to conditionals: material, strict and relevant implication, entailment, counterfactuals and conversational implicature are treated and many references for further reading are given. Each chapter is concluded with answers to the exercises.



二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝

关键词:Mathematical mathematica Mathematic Thematic Logic logic

3030032531.jpg

Philosophical and Mathematical Logic.pdf

6.65 MB

需要: 1 个论坛币  [购买]

Philosophical and Mathematical Logic

已有 1 人评分经验 收起 理由
kongqingbao280 + 40 精彩帖子

总评分: 经验 + 40   查看全部评分

本帖被以下文库推荐

hyq2003 发表于 2019-2-9 13:48:06 |显示全部楼层 |坛友微信交流群
谢谢分享

使用道具

使用道具

willwinn 发表于 2019-2-9 22:34:31 |显示全部楼层 |坛友微信交流群
楼主新年吉祥!

使用道具

wl5f 在职认证  发表于 2019-2-10 01:22:07 |显示全部楼层 |坛友微信交流群
谢谢分享!!!

使用道具

caifacai 发表于 2019-2-10 08:37:06 |显示全部楼层 |坛友微信交流群
感谢分享好资源!节日快乐!

使用道具

yuanjackson 发表于 2019-2-14 14:06:36 |显示全部楼层 |坛友微信交流群
thanks

使用道具

Glorevo 发表于 2019-2-26 15:26:47 |显示全部楼层 |坛友微信交流群
好人,好书,好价钱!

使用道具

gaoggggg1 发表于 2019-2-27 10:28:59 |显示全部楼层 |坛友微信交流群
谢谢分享

使用道具

验证问答 换一个

本版微信群
加JingGuanBbs
拉您进交流群

京ICP备16021002-2号 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问:王进律师 知识产权保护声明   免责及隐私声明

GMT+8, 2024-4-17 01:55