Formal logic : a philosophical approach, Paul Hoyningen-Huene ; translated by Alex Levine

Resource Information

The instance Formal logic : a philosophical approach, Paul Hoyningen-Huene ; translated by Alex Levine represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri-Kansas City Libraries. This resource is a combination of several types including: Instance, Electronic.

The Resource Formal logic : a philosophical approach, Paul Hoyningen-Huene ; translated by Alex Levine

Image: http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9780822958475&Type=L

Label: Formal logic : a philosophical approach, Paul Hoyningen-Huene ; translated by Alex Levine

Statement of responsibility: Paul Hoyningen-Huene ; translated by Alex Levine

Carrier category code

Content type code

Contents: 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

Media type code

Context

Context of Formal logic : a philosophical approach, Paul Hoyningen-Huene ; translated by Alex Levine