The Logic Book 6/e
售價
$
1,020
- 一般書籍
- ISBN：9781259010606
- 作者：Merrie Bergmann, James Moor, Jack Nelson
- 版次：6
- 年份：2014
- 出版商：McGraw-Hill
- 頁數/規格：640頁/平裝單色
書籍介紹
本書特色
目錄
Description
The Logic Book is a leading text for symbolic logic courses that presents all concepts and techniques with clear, comprehensive explanations. There is a wealth of carefully constructed examples throughout the text, and its flexible organization places materials within largely self-contained chapters that allow instructors the freedom to cover the topics they want, in the order they choose.
The Logic Book is a leading text for symbolic logic courses that presents all concepts and techniques with clear, comprehensive explanations. There is a wealth of carefully constructed examples throughout the text, and its flexible organization places materials within largely self-contained chapters that allow instructors the freedom to cover the topics they want, in the order they choose.
Key Features
- Reorganized coverage of truth-trees in Chapter 9 now presents systematic trees for PL prior to and independent of trees for PLE, and provides for a more clear and straightforward discussion of the rules for PLE. New annotation in chapters 4 and 9 to indicate completed open branches in truth-trees ('o') as well as closed ones ('x').
- Presupposes no previous training in logic
- Includes large exercise sets for all chapters
- Extensively revised presentation of derivation systems in Chapters 5 and 10 provides greater transparency and places additional emphasis on the need for and use of specific strategies in constructing derivations. In addition, new annotations for the assumptions that begin subderivations specify the reason these assumptions are being made, while the number and variety of exercises in both chapters has been significantly expanded.
- A more focused presentation of deductive logic
- A fuller and more accessible discussion of formal semantics
- Many chapters have been reorganized so that technical material is presented at the beginning of the chapter
Table of Contents
Chapter 1: INTRODUCTION TO DEDUCTIVE LOGIC
Chapter 2: SYNTAX AND SYMBOLIZATION
Chapter 3: Sentential Logic: Semantics
Chapter 4: Sentential Logic: Truth-Trees
Chapter 5: Sentential Logic: Derivations
Chapter 6: Sentential Logic: Metatheory
Chapter 7: Predicate Logic: Syntax and Symbolization
Chapter 8: Predicate Logic: Semantics
Chapter 9: Predicate Logic: Truth-Trees
Chapter 10: Predicate Logic: Derivations
Chapter 11: Predicate Logic: Metatheory
Selected Bibliography
Chapter 1: INTRODUCTION TO DEDUCTIVE LOGIC
Chapter 2: SYNTAX AND SYMBOLIZATION
Chapter 3: Sentential Logic: Semantics
Chapter 4: Sentential Logic: Truth-Trees
Chapter 5: Sentential Logic: Derivations
Chapter 6: Sentential Logic: Metatheory
Chapter 7: Predicate Logic: Syntax and Symbolization
Chapter 8: Predicate Logic: Semantics
Chapter 9: Predicate Logic: Truth-Trees
Chapter 10: Predicate Logic: Derivations
Chapter 11: Predicate Logic: Metatheory
Selected Bibliography
