>
preloaders
Portada

Introducción a la teoría de la lógica

José Luis Zalabardo (autor/a)



Este manual proporciona una introducción rigurosa a los conceptos y resultados fundamentales de la lógica contemporánea. También presenta las herramientas matemáticas, principalmente de la teoría de conjuntos, necesarias para comprender los aspectos técnicos de la disciplina e introduce los métodos principales de definición y prueba, prestando especial atención a las definiciones y pruebas inductivas y a las definiciones recursivas. Por ello, el libro será especialmente útil para los lectores que pretendan acometer un estudio serio de la lógica pero que carezcan de los conocimientos matemáticos que se presuponen en otros textos a este nivel. El libro contiene cientos de ejercicios. Entre los temas tratados se encuentran la teoría básica de conjuntos, sintaxis y semántica proposicional y de primer orden, un sistema deductivo basado en el cálculo de secuentes, los teoremas de la consistencia y la completud, la cardinalidad, las limitaciones expresivas de la lógica de primer orden, prestando especial atención a los teoremas de Löwenheim y Skolem y a los modelos no estándar de la aritmética, la decidibilidad, teorías completas, categoricidad y eliminación de cuantificadores.





Índice

1. Los elementos.- Lógica proposicional.- Lógica de primer orden: sintaxis y semántica.- La deducción.- Consistencia y completud.- La cardinalidad.- 7. Limitaciones represivas.- La decibilidad.- Símbolos y notación.

  • Colección: El libro universitario>Manuales
  • Publicación: 06 de septiembre de 2002
  • Precio: 29,60 €
  • I.S.B.N.: 978-84-206-7885-6
  • Código: 3491080
  • Formato: Estándar, Papel
  • Tamaño: 17,5 x 24,5
  • Páginas: 368
  • Edición: 01ª edición
  • Clasificación IBIC:
      Filosofía: lógica (HPL)

También recomendamos

Portada
Para leer a Ortega
Molinuevo, José Luis
Ortega ha sido el pensador español más importante del siglo XX. Como intelectual diseñó e...
Portada
La Religión dentro de los límites de la mera Razón
Kant, Immanuel
Si dentro de las cuatro preguntas que según Immanuel Kant (1724-1804) delimitan el campo ...
Portada
Escritos lógicos
Peirce, Charles S.