Lógica y teoría de conjuntos

Abstract

La lógica y su historia Tradicionalmente se ha dicho que la lógica se ocupa del estudio del razonamiento. Esto hoy en día puede considerarse desbordado por la enorme extensión y diversidad que ha alcanzado esta disciplina, pero puede servirnos como primera aproximación a su contenido. Un matemático competente distingue sin dificultad una demostración correcta de una incorrecta, o mejor dicho, una demostración de otra cosa que aparenta serlo pero que no lo es. Sin embargo, no le preguntéis que es lo que entiende por demostración, pues —a menos que además sepa lógica— no os sabrá responder, ni falta que le hace. El matemático se las arregla para reconocer la validez de un argumento o sus defectos posibles de una forma improvisada pero, al menos en principio, de total fiabilidad. No necesita para su tarea contar con un concepto preciso de demostración. Eso es en cambio lo que ocupa al lógico: El matemático demuestra, el lógico estudia lo que hace el matemático cuando demuestra. Tomado del texto original Fecha de reseña: 17/09/2016