según frege¿que es una prueba lógica y pura?

Respuestas

Respuesta dada por: Anónimo
1

Está considerado como el padre del simbolismo lógico, de la lógica moderna, en virtud de la cual la aritmética se puede expresar en términos de ‘logicismo’. La aritmética puede reducirse a lógica formal, a cálculo lógico.  

Desde una posición crítica de las bases racionalistas de la lógica cartesiana y al psicologismo, acercó la filosofía al campo del análisis lingüístico, al estudio de la comprensión a través de la comunicación; esto es, como la teoría del significado o sentido de la expresión conceptual –la ‘conceptografía’- que se encierra en el lenguaje formal. Ese sentido, como valor de reconocimiento objetivo de la expresión, como convención o acuerdo, es el que habilita la comunicación, el que permite la comunicación como una forma de comprensión compartida. Frege recrea una teoría del conocimiento construida a partir del análisis de las estructuras lingüísticas que lo soportan.  

El pensamiento semántico de Frege se proyecta en la obra de Wittgenstein, especialmente en su Tractatus Logico-philosophicus, y está relacionada, en el plano de la construcción de la matemática como lógica, con la de Bertrand Russell, que en 1902 puso al descubierto ciertas debilidades encontradas en Frege, también halladas por Gödel en su idea de la ‘incompletitud’ matemática

Preguntas similares