¿Qué es una teoría constructivista de la verdad?

Answer 1

Voy a intentarlo, pero no soy un constructivista, así que desconfía.

El constructivismo sostiene que la verdad (y el conocimiento en su conjunto) es una construcción social de la humanidad. No rechaza la realidad objetiva sino la verdad meramente objetiva. Por ejemplo, un constructivista argumentaría que la disciplina que es la física no es una representación de la realidad, sino simplemente nuestro conocimiento construido que usamos para explicar la realidad. No debemos pensar en las leyes de la gravedad, la termodinámica y la mecánica cuántica como representativas de una realidad objetiva, sino como explicaciones construidas socialmente. Esto también se aplica a otras disciplinas: sociología, historia, biología, etc., donde lo que es verdadero es una construcción para explicarnos la naturaleza de la realidad.

Obviamente, esto se encuentra con algunos problemas, a saber, el tema de ser muy relativista. No todos aceptan las mismas explicaciones, entonces, ¿cómo determinamos qué verdades aceptar si la verdad es solo una construcción de nuestro propio dispositivo?

Es importante destacar que el constructivismo no rechaza la utilidad de estas explicaciones, por el contrario, piensan que son muy útiles para nosotros. Tener una comprensión de la realidad es obviamente vital para nuestra vida y prosperidad en esa realidad. Solo debemos reconocer que estas explicaciones son solo eso, explicaciones y no tienen un vínculo innato con la verdad objetiva, y que solo sirven para ayudarnos a vivir y prosperar en la realidad.

Answer 2

No soy un especialista, pero el constructivismo en matemáticas dice que de los tres mecanismos en matemáticas (explicación adaptada de LEJ Brouwer que escribió esto en un artículo en 1907 ( Over de onbetrouwbaarheid der loogische principes ):

1. Estableciendo la verdad directamente, usando la tautología para ir de una forma a otra, por ejemplo, utilizando la asociación: [math] (a + b) ^ 2 = 0 \ Leftrightarrow a ^ 2 + 2ab + b ^ 2 = 0 [/ math])
2. Estableciendo la falsedad directamente, utilizando la contradicción para probar que una forma contradice una verdad establecida: [math] x ^ 2 + 1 = 0 \ wedge x ^ 2 \ geq 0 [/ math] no hay respuesta para la primera porque contradice la segundo
3. La ley del medio excluido (LEM), que establece que cualquier afirmación matemática debe ser verdadera o falsa , por lo tanto, si puede probar que asumir que falso (verdadero) conduce a una contradicción, puede demostrar lo contrario: la afirmación es verdadera ( falso)

Los constructivistas en matemáticas no aceptan LEM. Aceptan que puede haber afirmaciones matemáticas que no sean ni verdaderas ni falsas y que solo una construcción directa de cualquiera de las dos está bien (las afirmaciones se convierten en verdaderas o falsas basadas en el trabajo de los matemáticos). Esto también se conoce como ‘matemáticas intuicionistas’ (solo podemos basarnos en verdades que hemos establecido mediante nuestra ‘intuición’ directa de verdades, como por qué sabemos que [math] a + b \ Leftrightarrow b + a [/ math] es cierto) .