中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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..

电子资源:

http://www.loc.gov/catdir/toc/ecip0412/2003027966.html

豆瓣简介：