Introducción a la Lógica: ya la Metodología de las Ciencias Deductivas- Alfred Tarski

Originalmente publicado en polaco en 1936, este trabajo clásico fue escrito originalmente como un libro científico popular - uno que presentaría al lector educado leído una imagen clara de ciertas tendencias poderosas de pensamiento en la lógica moderna. Según el autor, estas tendencias buscaron crear un aparato conceptual unificado como una base común para todo el conocimiento humano. Debido a que estos nuevos desarrollos en el pensamiento lógico tendían a perfeccionar y perfeccionar el método deductivo, una herramienta indispensable en muchos campos para derivar conclusiones A partir de supuestos aceptados, el autor decidió ampliar el alcance de la obra. En las ediciones subsecuentes él revisó el libro para hacerle también un texto sobre el cual basar un curso de la universidad elemental en lógica y la metodología de las ciencias deductivas. La primera parte trata de los elementos de la lógica y el método deductivo, incluyendo el uso de las variables, el cálculo sentencial, la teoría de la identidad, la teoría de las clases, la teoría de las relaciones y el método deductivo. La Segunda Parte cubre aplicaciones de lógica y metodología en la construcción de teorías matemáticas, incluyendo leyes de orden para números, leyes de adición y sustracción, consideraciones metodológicas sobre la teoría construida, fundamentos de aritmética de números reales y más. El autor ha proporcionado numerosos ejercicios para ayudar a los estudiantes a asimilar el material, que no sólo proporciona una introducción estimulante y estimulante a los fundamentos del pensamiento lógico, sino que es el complemento perfecto a los cursos de lógica y la fundación de las matemáticas.