Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the lang...
Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.
Definite Description: expressions of the type 'the (one and only) F'. A definite description is an expression that aims to designate a particular thing. (查看原文)
(1) Translating by (R) is fully accurate, in the sense of getting it exactly right about the conditions under which The F is G is true and the conditions under which it is false. (2) The translation reflects the true underlying logical form of the sentences involving definite descriptions. (查看原文)
0 有用 忧伤的不老板 2020-10-28 11:47:54
清晰简明佳作，除了作者作为分析哲学家举得例子暗搓搓的内涵欧陆很烦人。
2 有用 xeeXas 2015-11-08 17:44:20
作者算得上是不厌其烦，每个新概念都有大量的铺陈，类比和实例。这种风格对初学者来说很有用。从零开始覆盖了first order logic全部基本概念，是一本自洽的入门书。
0 有用 Yinanaa 2020-01-26 18:49:57
本科生Logic教材2
0 有用 Φιλομαθής 2020-11-05 05:42:47
basic中的basic 但给的很多栗子非常详细生动 后面还挺深入的说（相比基础教科书
0 有用 春鸣 2020-07-16 18:54:25
Tree课本
0 有用 Φιλομαθής 2020-11-05 05:42:47
basic中的basic 但给的很多栗子非常详细生动 后面还挺深入的说（相比基础教科书
0 有用 忧伤的不老板 2020-10-28 11:47:54
清晰简明佳作，除了作者作为分析哲学家举得例子暗搓搓的内涵欧陆很烦人。
0 有用 春鸣 2020-07-16 18:54:25
Tree课本
0 有用 Yinanaa 2020-01-26 18:49:57
本科生Logic教材2
2 有用 xeeXas 2015-11-08 17:44:20
作者算得上是不厌其烦，每个新概念都有大量的铺陈，类比和实例。这种风格对初学者来说很有用。从零开始覆盖了first order logic全部基本概念，是一本自洽的入门书。