Hilbert propone un programa formalista que busca la consistencia matemática, similar al enfoque de rigor en métodos formales de Hoyningen-Huene.
Formal Methods in Philosophy
por Paul Hoyningen-Huene · 2005
Ver sugerenciasSinopsis
Este libro examina cómo los métodos formales, especialmente la lógica y las estructuras matemáticas, se utilizan y pueden utilizarse para clarificar y resolver problemas filosóficos. Argumenta a favor de la precisión y el rigor como herramientas esenciales para la investigación filosófica.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Whitehead y Russell intentan derivar verdades matemáticas mediante lógica simbólica, lo que refleja la búsqueda de clarificación en problemas filosóficos.
La obra de Hilbert y Bernays se centra en la teoría de la demostración, alineándose con el interés en la precisión de los métodos formales.
Carnap introduce rigurosamente la lógica simbólica, enfatizando métodos formales que resuenan con la precisión argumentada por Hoyningen-Huene.
Suppes utiliza un marco formalista para estudiar teorías científicas, paralelo a cómo los métodos formales abordan problemas filosóficos en el libro de referencia.
Von Plato explora la lógica y su modelización, destacando un enfoque formal similar al énfasis en la lógica y precisión en la filosofía.