Formal logic: a philosophical approach

by Hoyningen-Huene, Paul

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Formal logic : a philosophical approach / Paul Hoyningen-Huene ; translated by Alex Levine.

Edition Statements

Publication Date:©2004.

Publication Statements

Publisher(s):University of Pittsburgh Press
Place of Publication:Pittsburgh, Pa
Language:eng
Publication Date:©2004.

The Physical Object

Description:xi, 254 pages : : illustrations ; : 21 cm

Edition Identifiers

ISBN:0822958473, 9780822958475
oclc:ocm53992825
LC Classification:BC135
Dewey Decimal:160

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.