简介
Summary:
Publisher Summary 1
Many texts on logic are written with a mathematical emphasis, and focus primarily on the development of a formal apparatus and associated techniques. In other, more philosophical texts, the topic is often presented as an indulgent collection of musings on issues for which technical solutions have long since been devised.What has been missing until now is an attempt to unite the motives underlying both approaches. Paul Hoyningen-Huene's Formal Logicseeks to find a balance between the necessity of formal considerations and the importance of full reflection and explanation about the seemingly arbitrary steps that occasionally confound even the most serious student of logic. Alex Levine's artful translation conveys both the content and style of the German edition. Filled with examples, exercises, and a straightforward look at some of the most common problems in teaching the subject, this work is eminently suitable for the classroom.
目录
Translator's Preface p. vii
Preface p. ix
Chapter 1. Introduction p. 1
1. An Example p. 1
2. Preliminary Remarks on the Notion of Logical Form p. 9
3. Validity and Soundness p. 13
4. Statements, Primitive Statements, and Compound Statements p. 15
5. Review p. 24
Chapter 2. Statement Logic p. 26
1. The Symbol System of Statement Logic p. 26
2. The Metalogic of Statement Logic p. 53
3. Review and Overview p. 115
Chapter 3. Predicate Logic p. 124
1. The Symbol System of Predicate Logic p. 126
2. The Metalogic of Predicate Logic p. 168
3. Review and Overview p. 180
Chapter 4. The Mathematical Approach to Statement Logic p. 181
1. On Mathematical Approaches in General p. 182
2. The Syntax of Statement Logic p. 185
3. Semantics: Model Theory p. 191
4. Proof Theory p. 195
5. Review p. 205
6. Prospects for Predicate Logic p. 206
Appendix 1. An Additional Proof p. 209
Appendix 2. Solutions to the Exercises Christopher von Bulow and Alex Levine p. 212
Appendix 3. Suggestions for Further Reading p. 253
Preface p. ix
Chapter 1. Introduction p. 1
1. An Example p. 1
2. Preliminary Remarks on the Notion of Logical Form p. 9
3. Validity and Soundness p. 13
4. Statements, Primitive Statements, and Compound Statements p. 15
5. Review p. 24
Chapter 2. Statement Logic p. 26
1. The Symbol System of Statement Logic p. 26
2. The Metalogic of Statement Logic p. 53
3. Review and Overview p. 115
Chapter 3. Predicate Logic p. 124
1. The Symbol System of Predicate Logic p. 126
2. The Metalogic of Predicate Logic p. 168
3. Review and Overview p. 180
Chapter 4. The Mathematical Approach to Statement Logic p. 181
1. On Mathematical Approaches in General p. 182
2. The Syntax of Statement Logic p. 185
3. Semantics: Model Theory p. 191
4. Proof Theory p. 195
5. Review p. 205
6. Prospects for Predicate Logic p. 206
Appendix 1. An Additional Proof p. 209
Appendix 2. Solutions to the Exercises Christopher von Bulow and Alex Levine p. 212
Appendix 3. Suggestions for Further Reading p. 253
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
