Formal logic : a philosophical approach /

Mostrar otras versiones (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 lo...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Hoyningen-Huene, Paul, 1946- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Alemán
Publicado: Pittsburgh : University of Pittsburgh Press, ©2004.
Colección:University of Pittsburgh Digital Editions.
University of Pittsburgh Digital Collections.
Temas:
Logic, Symbolic and mathematical > Textbooks.
PHILOSOPHY > Logic.
PHILOSOPHY > General.
Logic, Symbolic and mathematical.
Textbooks.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares