Libros de Lógica, página 3 de 20

La larga deriva de la última modernidad se enuncia como crisis: crisis en las ciencias y en las artes, en la cultura y en la sociedad. Los viejos y acostumbrados criterios de verdad y de valor, de belleza o de justicia no han sobrevivido sin daño en un mundo unificado y diferenciado por la globalizacion, en un mundo que se enfrenta a nuevos retos y a nuevos riesgos.Claves de Hermeneutica: para la filosofia, la cultura y la sociedad, es una obra colectiva en la que un conjunto de especialistas de relevancia nacional e internacional en las distintas areas del conocimiento articula respuestas diversas a esos nuevos retos y a esos nuevos riesgos, replanteando las cuestiones candentes en torno al sentido en la postmodernidad. En la senda del Diccionario de Hermeneutica que los mismos directores impulsaron con exito hace unos años, estas Claves pretenden ofrecer pautas de interpretacion y compresion, presentandose como propuesta multiple y abierta. Como respuesta plural a los diferentes temas y problemas que se plantean en un mundo a la vez unificado y conflictivo.

En este primer volumen del Post Scriptum, Popper formula y explica su teoría no justificacionista del conocimiento. La ciencia -ciencia empírica- busca teorías explicativas verdaderas; pero nunca puede demostrar o establecer definitivamenet o justificar sus teorias como verdaderas, ni siquiera si son, en fecto verdaderas.

Se trata de poner al alcance del lector de habla castellana, las principales aportaciones de Frege en el campo de la Filosofía de la Lógica y del lenguaje. Se trata de una obra clásica cuya acogida e

Libro incluido en Biblioteca Selecta Forum de Barcelona 2004 «La perspectiva errónea en la ciencia se descubre por su avidez de ser verdadera». Con este aforismo Popper señalaba el carácter pseudocie

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 tecnicos de la disciplina e introduce los metodos principales de definicion y prueba, prestando especial atencion a las definiciones y pruebas inductivas y a las definiciones recursivas. Por ello, el libro sera especialmente util para los lectores que pretendan acometer un estudio serio de la logica pero que carezcan de los conocimientos matematicos que se presuponen en otros textos a este nivel. El libro contiene cientos de ejercicios. Entre los temas tratados se encuentran la teoria basica de conjuntos, sintaxis y semantica proposicional y de primer orden, un sistema deductivo basado en el calculo de secuentes, los teoremas de la consistencia y la completud, la cardinalidad, las limitaciones expresivas de la logica de primer orden, prestando especial atencion a los teoremas de Lowenheim y Skolem y a los modelos no estandar de la aritmetica, la decidibilidad, teorias completas, categoricidad y eliminacion de cuantificadores.