MARC状态:已编 文献类型:西文图书 浏览次数:58
- 题名/责任者:
- Formal logic : a philosophical approach / Paul Hoyningen-Huene ; translated by Alex Levine.
- 出版发行项:
- Pittsburgh, Pa. : University of Pittsburgh Press, c2004.
- ISBN:
- 0822958473 (alk. paper)
- ISBN:
- 9780822958475 (alk. paper)
- 载体形态项:
- xi, 254 p. : ill. ; 21 cm.
- 统一题名:
- Formale Logik. English
- 个人责任者:
- Hoyningen-Huene, Paul, 1946-
- 论题主题:
- Logic, Symbolic and mathematical-Textbooks.
- 中图法分类号:
- B812
- 书目附注:
- Includes bibliographical references (p. 253-254).
- 内容附注:
- 1. Introduction. An example -- Preliminary remarks on the notion of logical form -- Validity and soundness -- Statements, primitive statements, and compound statements -- 2. Statement logic. The symbol of statement logic -- The metalogic of statement logic -- Review and overview -- 3. Predicate logic. The symbol system of predicate logic -- The metalogic of predicate logic -- Review and overview -- 4. The mathematical approach to statement logic. On mathematical approaches in general -- The syntax of statement logic -- Semantics : model theory -- Proof theory -- Review --Prospects for predicate logic -- Appendix 1. An additional proof -- Appendix 2. Solutions to the exercises / by Christopher von B鑥low and Alex Levine -- Appendix 3. Suggestions for further reading..
全部MARC细节信息>>