2022

CONCEPTO DE
LA VERDAD
INVESTIGACION
SEGÚN HABERMAS, LA VERDAD ES UNA
“PRETENSIÓN DE VALIDEZ QUE UNIMOS A ACTOS DE
HABLA CONSTATATIVOS. UNA PROPOSICIÓN ES
VERDADERA SI ESTÁ JUSTIFICADA LA PRETENSIÓN
DE VALIDEZ DE LOS ACTOS DE HABLA CON LOS QUE
AFIRMAMOS CUALQUIER PROPOSICIÓN MEDIANTE EL
USO DE ENUNCIADOS.

SEGÚN HABERMAS, ESTE “ROSTRO JÁNICO” DE LA VERDAD

EXPLICA LA RELACIÓN INTERNA ENTRE JUSTIFICACIÓN Y
VERDAD. A LA LUZ DE LAS EVIDENCIAS DISPONIBLES
PODEMOS PLANTEAR UNA PRETENSIÓN DE VERDAD QUE
APUNTA MÁS ALLÁ DE AQUELLO QUE ESTÁ JUSTIFICADO EN
CUANTO ÉSTE NO ES UN ASUNTO MERAMENTE
EPISTEMOLÓGICO.
 1 2
teoria pragmática La verdad consiste en una
de la verdad adecuacion entre ideas y la
Para un pragmatista, "verdad"
realidad : mantener esa idea es
WILLIAM JAMES es lo que funciona. La teoria
adecuado para un fin. La verdad
pragmatista privilegia la accion esta en las consecuencias, por
Los filósofos o praxis como proceso de tanto, en la utilidad. Una
pragmáticos no
conocimiento y criterio. proposicion es verdadera , si
pretender decir que
cualquier cosa que "funciona", si es util.

es
sea útil
verdadera. Aceptan 3
la definición clásica Ahora bien, lo que es util o 4
de la verdad como
correspondencia
ventajoso en un momento La verdad no puede ser
con la realidad. puede cambiar y ser perjudicial algo definitivo, sino un
en otro momento. La
es considerado la figura rectora proceso de adecuacion
del pragmatismo, corriente que
adecuación no puede ser
constante de la verdad y
afirma que la verdad de una idea estática ya que en el mundo no
o concepto puede evaluarse hay hechos "fijos". la experiencia
según el valor práctico que
posee.
 TEORIA COHERENTISTA
2022

1 7 7 0
HEGEL ¿QUE ES Ejemplo
COHERENCIA?
Una proposición o Todas las estrellas
teoría es verdadera
si concuerda con el se caracterizan
por tener luz
resto de las
proposiciones
consideradas. La
verdad reside en la
propia. Por lo
coherencia con el tanto es sol es una
resto de las
verdades asumidas. de ellas.
Se reduce a la
contradicción
 ARISTÓTELES
Aristóteles nació alrededor del 384 a. C. en Estagira, una
VERDAD
ciudad de la antigua Grecia situada en la península de
Calcidia. Por tanto, Aristóteles proviene de la antigua
provincia de Macedonia. Su padre fue Nicómaco, médico
y amigo personal del rey de Macedonia, un hecho que
marcaría su futuro. Su madre, Festide, provenía era
originaria de la isla de Evia.
Aristóteles fue discípulo y colaborador de Platón en la
Academia, donde permaneció unos veinte años. Allí
aprendió, entre otras cosas, el arte de la retórica y la
dialéctica. Además, también escribió algunos diálogos, de
los cuales solo se han conservado algunos fragmentos.
TEORIA DE LA
Esta teoría sostiene la concepción básica de la verdad que no es
eliminada en las otras teorías. Su formulación básica la proporcionó
Aristóteles:
Decir de lo que es que no es, o de lo que no es que es, eso es falso;
decir de lo que es que es y de lo que no es que no es, eso es verdadero.
Aristóteles, Metafísica IV, 7
La cita de Aristóteles es algo confusa, pero contiene todos los
elementos de este criterio: En esta formula están contenidos los
elemente que intervienen en el acto de conocer: lo que es (el objeto) y
el decir (el sujeto y su representación del objeto). Hay verdad cuando
hay ajuste entre ambos, y éste es el concepto que espontáneamente
formamos de la verdad: la concordancia, correspondencia o
adecuación entre lo que se dice de algo y lo que ese algo es. Lo cual se
interpreta como que estamos en la verdad cuando existe
correspondencia o adecuación entre lo conocido por el sujeto y el
objeto. En resumen, estamos ante un enunciado verdadero cuando
su significado coincide con la realidad
Aquí encontramos implícito el concepto latino de veritas para la
verdad comentado al hablar de la etimología de "verdad". Es este el
significado de verdad que comentamos en el apartado "La
clasificación de las ciencias".
 EN FILOSOFÍA
2022

·Un filósofo dijo que la verdad no existe y otro

le respondió: al menos en lo que has dicho, no
hay verdad.
·Sócrates la verdad es algo que se descubre
(aletheia)
·Nietzsche lo que existen son interpretaciones.
No existe la verdad sino las verdades
·Descartes se pregunta si hay algo verdadero
en el mundo en donde nuestros sentidos nos
engañan… llegando a la conclusión “cogito ergo
sum”, “pienso, luego existo”

 Crisis y cimientos en la Lógica

EN 1905 FRANK P. RAMSEY PLANTEÓ LA TRABAJOS DE FUNDAMENTACIÓN EN

PARADOJA «SI EL ACTUAL REY DE FRANCIA

LA LÓGICA:
ES CALVO, ENTONCES EL ACTUAL REY DE
FRANCIA NO TIENE CABELLO EN SU CABEZA» EN 1905 FRANK P. RAMSEY PLANTEÓ LA
C O M O O B V I A M E N T E V
E R D A D E R A , I N I C I A N D O PARADOJA «SI EL ACTUAL REY DE FRANCIA ES

UNA CRISIS EN LA LÓGICA. CALVO, ENTONCES EL ACTUAL REY DE FRANCIA

BERTRAND RUSSELL SOLUCIONÓ ESTO NO TIENE CABELLO EN SU CABEZA» COMO
OBVIAMENTE VERDADERA, INICIANDO UNA
EXIGIENDO QUE CADA DESCRIPCIÓN
CRISIS EN LA LÓGICA.
DEFINIDA EN EFECTO CONTENGA UNA
BERTRAND RUSSELL SOLUCIONÓ ESTO EXIGIENDO
AFIRMACIÓN DE EXISTENCIA Y UNA
QUE CADA DESCRIPCIÓN DEFINIDA EN EFECTO
AFIRMACIÓN DE UNICIDAD QUE DA ESTA
CONTENGA UNA AFIRMACIÓN DE EXISTENCIA Y
APARIENCIA «EL ACTUAL REY DE FRANCIA ES
UNA AFIRMACIÓN DE UNICIDAD QUE DA ESTA
CALVO», ENTONCES SUGIRIÓ, PUEDE SER APARIENCIA «EL ACTUAL REY DE FRANCIA ES
REPLANTEADO COMO «EXISTE UN X TAL QUE CALVO», ENTONCES SUGIRIÓ, PUEDE SER

ES EL ACTUAL REY DE FRANCIA, NADA MÁS

QUE X ES EL ACTUAL REY DE FRANCIA, Y X ES

REPLANTEADO COMO «EXISTE UN X TAL QUE ES

EL ACTUAL REY DE FRANCIA, NADA MÁS QUE X
CALVO». ES EL ACTUAL REY DE FRANCIA, Y X ES CALVO».
2022

ESTO ES EQUIVALENTE A DECIR QUE SI

ESTO ES EQUIVALENTE A DECIR QUE SI “TODOS

“TODOS LOS A SON B” NO PODEMOS LOS A SON B” NO PODEMOS ASEGURAR QUE
ASEGURAR QUE “ALGÚN A ES B”. ESTO “ALGÚN A ES B”. ESTO DEBIDO A QUE LA
DEBIDO A QUE LA PRIMERA AFIRMACIÓN NO PRIMERA AFIRMACIÓN NO IMPLICA QUE EXISTA
IMPLICA QUE EXISTA UN A. UN A.
 ·Entre 1910 y 1913, Bertrand Russell y Alfred North
Whitehead publicaron Principia Mathematica,
usando una la lógica de predicados en general, y la

TRABAJOS lógica de primer orden en particular.

DE ·En 1915, Leopold Löwenheim demostró la

consistencia, completitud semántica y decidibilidad
FUNDAME de la lógica de primer orden monádica.
NTACIÓN ·En 1928, David Hilbert y Wilhelm Ackermann

EN LA demostraron la consistencia de la lógica de primer

LÓGICA: orden.
BUSINESS PLAN

·En 1929, Kurt Gödel demostró la completitud

semántica de la lógica de primer orden.
·1936, Alonzo Church y Alan Turing demostraron, de
manera independiente, la indecibilidad de la lógica de
primer orden (no monádica).


LOS PRINCIPALES TRABAJOS DE

FUNDAMENTACIÓN DE LA LÓGICA
MATEMÁTICA SON:

·En 1700 La doctrina logicista tuvo su primer antecedente en Gottfried Leibniz (Cálculo).
·En 1850 publican trabajos
Richard Dedekind, Georg Cantor y Giuseppe Peano
·1879 Gottlob Frege desarrolla la lógica de predicados para estudiar la aritmética.
·1913 Se fundamentó la Matemática por Bertrand Russell y Alfred North Whitehead (Principia
Matemática)
·En 1933, Alfred Tarski abrió otro capítulo en la historia de la lógica de primer orden (y de la
lógica en general), con la publicación de sus definiciones de verdad para lenguajes formales.
·En 1934-1935, Gerhard Gentzen publicó Investigaciones sobre la inferencia lógica
2022

¡MUCHAS GRACIAS
POR SU ATENCIÓN !