8. LA VERDAD EN LAS MATEMTICAS Y EN LAS CIENCIAS EMPRICAS (SOCIALES Y NATURALES) 2. QU ES LA VERDAD? El saber es la creencia justificada y verdadera.

Verdadero/a puede decirse de las cosas en la medida en que corresponden a la idea que nos hacemos de ellas; pero estrictamente slo se dice de las proposiciones (unos pensamientos que afirman o niegan algo) aunque algunos prefieren atribuir la verdad a los enunciados (expresin verbal de una proposicin en una oracin descriptiva) o las creencias (asentimiento o aceptacin o una proposicin por considerarla verdadera). No obstante existe una cierta ambigedad en el significado de la expresin proposicin verdadera o verdad, VERDADES DE RAZN Y VERDADES DE HECHO. Leibniz estableci esta distincin que tiene sus precedentes en la filosofa griega y medieval; as los escolsticos ya distinguan entre verdades en materia necesaria y verdades en materia contingente. Leibniz en su Monadologa remite a sus Ensayos de Teodicea para entender la diferencia, las verdades de razn son verdades necesarias o tautologas, es decir, proposiciones en las que el predicado no aade nada que no est ya contenido en el sujeto. Son caractersticas de la matemtica y la lgica. Las verdades de hecho son contingentes, es decir, su opuesto tambin es posible pues no es absurdo o contradictorio. Son las proposiciones de las ciencias naturales y sociales. Hume tom esta distincin y aplicndolo a la naturaleza y extensin de nuestro conocimiento, redujo todas las operaciones del entendimiento a: relaciones de ideas (aritmtica, lgebra, geometra) y cuestiones de hecho (basadas en las impresiones. Pertenecen a las ciencias empricas, la filosofa moral y la ciencia del comportamiento humano). Ms adelante Kant apoyado en Leibniz y los empiristas distingui entre proposiciones analticas y sintticas. A. J. Ayer aclar la distincin entre ambas diciendo en su obra lenguaje, verdad y lgica que una proposicin es analtica cuando su validez depende slo de las definiciones de los smbolos que contiene; y sinttica cuando su validez depende de los hechos de experiencia. As pues las matemticas perteneceran a las verdades de razn: son proposiciones analticas, y son necesariamente verdaderas por definicin, por el significado que hemos dado a sus trminos. Su verdad no depende de la experiencia. Pero las ciencias empricas s que tienen un problema con la verdad. Son verdades de hecho, que no son analticas sino sintticas. Por ello algunos reservan la

palabra verdad para las verdades de hecho y reservan el trmino validez para las de razn. 1. VERDADES DE RAZN: LA VALIDEZ DE LAS MATEMTICAS. Una proposicin matemticas est demostrada cuando se deduce de otras proposiciones ya admitidas, cuando se hace ver que se deriva de ellas de forma necesaria , cuando se hace ver que lo que dice esa proposicin estaba ya contenido en esas otras proposiciones. As las matemticas son una inmensa tautologa. En todo sistema matemtico existen unas primeras proposiciones que sirven de base para todas las demostraciones que se hacen dentro de ese sistema, pero que ellas, en s mismas, son INDESMOSTRABLES. Reciben el nombre de POSTULADOS o AXIOMAS. Hasta finales del s.XIX se pensaba que no se podan demostrar porque eran evidentes. Con la llegada de las geometras no encli XXXXXXXX para deducir de ellas nuevas proposiciones, y construir de esta manera sistemas matemticos coherentes, proposiciones que son adems indemostrables. Las matemticas modernas se fundamentan en la lgica, la teora de conjuntos gracias a las aportaciones hechas por Hibert, Cantor o Russell, y la publicacin francesa Elementos de matemticas, que pretendan enunciar y demostrar los principales teoremas descubiertos con anterioridad. Desde entonces se considera a esta ciencia como un SISTEMA AXIOMTICO FORMAL constituido por una pluralidad de proposiciones, llamadas tesis del sistema, unos axiomas, otros teoremas. -axiomas: a partir de Aristteles y Euclides hasta el s. XIX los axiomas materiales son proposiciones verdaderas con evidencia inmediata. Actualmente se conciben como axiomas formales cuya verdad no se plantea como problema, pero se establecen como fundamento de todas las dems proposiciones del sistema. -teoremas: son proposiciones que se demuestran a partir de los axiomas, de otros teoremas demostrados. La estructura de un sistema axiomtico formal es: Parte morfolgica. Un conjunto de: componentes primitivos, operaciones relativas a tales componentes, reglas de formacin de componentes derivados.

Parte axiomtica. Un conjunto de axiomas, definiciones, reglas o criterios de deduccin, de teoremas. Las matemticas utilizan distintos axiomas, definiciones y criterios de deduccin. a) La lgica b) Teora de conjuntos c) Aritmtica d) Geometra Axiomas de -Huntington, Birkhoff, Machane. -Zermelo-Fraenkel, Neumann, Bernays, Gdel -Peano -Hilbert Los requisitos que debe cumplir un sistema axiomtico-formal: 1. Independencia, ninguno puede ser deducido de los dems. 2. Consistencia, es decir, que partiendo de los axiomas no sea posible demostrar un teorema o su negacin. 3. Completitud, es decir, que sobre cualquier proposicin integrante del sistema puede determinarse si es verdadera o falsa. Gdel en 1931 descubri las limitaciones del sistema axiomtico formal. Dice que existen proposiciones de las que no se puede decidir si son verdaderos o falsas mantenindose dentro del sistema. Habra que salirse y formular otro axiomas, pero esto llevara un proceso indefinido. La verdad - validez en las matemticas. Si las matemticas estn constituidas por unos axiomas de los que se deducen, con rigor lgico total, una serie de proposiciones sin caer en contradicciones, VERDAD en las mismas significa COHERENCIA, CONSISTENCIA. Coherencia: cuando los enunciados se derivan de los axiomas del sistema al que pertenecen. Consistencia: capacidad de derivarse necesariamente de unos axiomas.

Las matemticas no se preocupan de si los enunciados corresponden con la realidad. Ello no significan que no tengan nada que ver con ella. Es ms, las matemticas son uno de los elementos fundamentales del mtodo que utilizan las ciencias experimentales. a) Posibilitan y garantizan la rigurosidad y correccin de su pensamiento, ya que su funcionamiento de hace con total correccin, libre de condicionantes externos. b) Garantizan una precisin total en la expresin de ese conocimiento al utilizar smbolos no interpretados que carecen de la ambigedad de las palabras o smbolos interpretados. EN CONCLUSIN, la eficacia de las matemticas est en funcin de su contribucin rigurosa a las ciencias a la hora de razonar y precisin en su forma de expresarse. As entendemos a Leonardo da Vinci cuando dice: ninguna certeza hay all donde no estn las matemticas. 4. LAS VERDADES D HECHO: LA VERDAD DE LAS CIENCIAS EMPRICAS. 4.1. LA VERDAD COMO CORRESPONDENCIA. LA VERDAD COMO CORRESPONDENCIA. Todas las teoras de la verdad parten o presuponen la concepcin de la verdad como correspondencia que procede de Aristteles y presente en su Metafsica IV y IX. Es el ajuste del pensamiento a la realidad, y el ajuste es de la clase: si a una cosa en la realidad le pertenece una propiedad, en el pensamiento puede decirse lo mismo. De aqu deriva la famosa definicin medieval de la verdad como adecuacin: Adaequatio intellectus et rei, secundum quod intellectus dicit esse quod est, vel non ese quod non est (summa contra gentiles) Adecuacin del entendimiento y la cosa, segn el entendimiento afirma ser lo que es, y no ser lo que no es. Esta definicin ya estaba atestiguada en Isaac Ben Salomn (s. XI) y se encuentra en Toms de Aquino. En el s.XX sufre una transformacin: la correspondencia o adecuacin se establece entre las proposiciones y los hechos (o estados de cosas). Por toro lado, la dificultad de la definicin es determinar que significado tiene el trmino correspondencia (adecuacin, conformidad, etc.) Russell y Wittgenstein propusieron que las proposiciones son como figuras o cuadros, y as son elementos estn

combinados del mismo modo que en los hechos, ya que entre las proposiciones y los hechos hay una estructura semejante S. E. Toulmin lo represent grficamente: frase, elementos de la frase, estructura de la frase, hecho correspondiente; pero indic que esta interpretacin de la verdad slo valdra para las descripciones. A.TARSKI, lgico polaco, hace una nueva versin de la definicin clsica de verdad como correspondencia; propuso la frmula: p es verdadera si y solo si p donde p es una proposicin y p el hecho correspondiente. Esta frmula no es una definicin, sino slo un esquema que expresa las condiciones mnimas que debe cumplir cualquier definicin y expresiones como correspondencia, adecuacin, etc., han desaparecido. A partir de aqu Tarski crea su propia concepcin. LOS CRITERIOS DE VERDAD Sentado que es la verdad, ahora se trata de cmo podemos saber si una proposicin es verdadera. La definicin clsica de verdad tiene como presupuestos filosficos: 1) realismo: existe el mundo real que percibimos 2) confianza: en que nuestros conocimientos y saberes sobre el mundo pueden ser correctos. Las reglas que nos permiten discernir si estamos en la verdad o en el error se llaman criterios: y son: 1 La evidencia: si la certeza es la propiedad del sujeto, la evidencia lo es del objeto. Es lo que uno ve claramente y por ello no admite grados. Exige la presencia inmediata del objeto. Este puede ser una cosa (Sartre) o una idea (Descartes). Una idea es evidente cuando y ano se necesita nada ms para aceptarla, ya que cualquier otra razn que se diera sera menos convincente. As Descartes defini la evidencia como lo que se presentase a mi espritu con tanta claridad y distincin que no tuviera la menor posibilidad de ponerlo en duda. 2 La coherencia: Al menos entendemos no-contradiccin y deducibilidad. Este criterio se aplica en las ciencias formales (consistencia) y a las ciencias empricas donde un enunciado es aceptado como cientfico si puede integrarse en el cuerpo vigente de conocimientos cientficos (paradigma). El coherentismo de las ciencias empricas es nofundamentalista, ya que no presupone la existencia de fundamentos ltimos evidentes de los que deriven todos los dems enunciados cientficos.

Al margen de la ciencia, la coherencia puede ser un buen criterio de verdad para los SISTEMAS DE CREENCIAS filosficas y ordinarias. Esta es la opinin de D. Davison en Mente, mundo y accin. Para l la coherencia no es una definicin de la verdad, sino slo un criterio de aceptabilidad de una proposicin como verdadera; lo cual no implica necesariamente que lo sea. No concibe las creencias como algo cerrado y definitivo, sino como algo vivo y en evolucin: cuando sobreviene una evidencia incontrovertible que contradice el sistema, este se reorganizar y expulsar a las creencias particulares incompatibles. 3 Las consecuencias prcticas. Una idea es verdadera, si es til para la comunidad. El pragmatismo acepta la definicin clsica de la verdad como correspondencia con la realidad. Pero introducen correcciones al considerar que no se deben considerar las ideas separadas de los personajes que las piensan, sino como creencias actuales suyas; tampoco hay que separarlas de la accin: toda creencia incluye una disposicin a actuar y es un instrumento para la accin. El pragmatismo de C.S. Pierce es una teora de la significacin; un mtodo para determinar el significado que l llam pragmatismo. No es una teora de la verdad. As lo indica en su obra. El hombre, un signo. W. James s formul una teora de la verdad que es una correccin de la teora de la verdad como correspondencia o adecuacin. En la Conferencia 6 de Pragmatismo seala que si la verdad es adecuacin, esta slo puede comprobarse por medio de una comparacin directa, cuando la idea es una imagen de la cosa. Cuando no es una imagen slo cabe la posibilidad de verificarlo por sus consecuencias prcticas la verdad se hace cierta por los acontecimientos. 4 Consenso. El consenso es la garanta de la verdad de una creencia; esto se basa en que la verdad es un hecho intersubjetivo. La verdad tiene que ser comunicada y compartida por todos. El consenso universal ya fue defendida por los estoicos y en la actualidad la concepcin consensual de la verdad es defendida por K.-O. Apel y J. Habermis que reelaboran la propuesta de Pierce. Esta concepcin dice que busquemos en cada caso cul es la opinin comn y aceptamos eso como verdad. En conclusin la definicin de verdad como correspondencia para universalmente presupuesta por todos, a pesar de sus limitaciones (determinar el

concepto mismo de correspondencia o adecuacin). Sin embargo, el acuerdo sobre los criterios de verdad, parece imposible. Ningn criterio parece absolutamente seguro, por lo que nunca podremos estar seguros de conocer la verdad. Heidegger analiz el concepto tradicional de verdad como correspondencia, y lo consider vlido pero derivado de otro ms fundamental y originario: LA VERDAD COMO DESVELAMIENTO (ACETHEIA). Un enunciado slo puede corresponder con una realidad cuando esa realidad se muestra tal y como es, cuando se presenta sin verlos. Por ello, la verdad, no es originariamente adecuarse a una realidad por parte del hombre sino dejar ser lo que se muestra permitir que la propia realidad desvele. Y el ser humano slo puede corresponder a este desvelamiento; a esta desocultacin. Esta experiencia de dejar ser es la libertad. La esencia de la vida es la libertad; no del ser humano, sino de algo que sale a su encuentro a lo que solo cabe prestar odos (el ser? el todo? el misterio? Dios? etc.) En el extremo opuesto la teora de la redundancia de F. P. Ramsey (1927) deja a la verdad en una situacin incmoda porque los predicados verdadero y falso son redundantes y podran ser eliminados sin prdida semntica alguna. Por ejemplo si decimos: es verdad que hoy un perro ladrando en la calle qu queremos decir, sino simplemente que hay un perro ladrando en la calle? Pero habra que decir contra Ramsey que ello slo parece demostrar que los predicados verdadero o falso no son en muchos casos necesarios. Pero el problema de la verdad no es ese, sino si al decir hay un perro... realmente lo hay o no. La verdad-validez de las cc. Experimientales. La verdad de las ciencias est condicionada por el mtodo usado. Una teora cientfica es verdadera cuando adems de explicar el conjunto de fenmenos que la han hecho nacer, est contrastada con la realidad mediante experimentos. La correspondencia con la realidad siempre es provisional, como dice K. Popper. Si hubiera coincidencia no habra provisionalidad. La verdad de una teora cientfica fsica no corresponde, ni lo pretende, con la realidad. Le interesa hacer inteligible un conjunto de hechos problemticos y poder manejarlos. El nico punto de contacto de la teora con la realidad son los experimentos. Debemos decir que en realidad slo hay dos mtodos: inductivo y deductivo. O dos procedimientos el experimental (remitirse a la observacin de hechos) y el racional (remitirse a los principios racionales). As el mtodo hipottico-deductivo es una fusin

de ambos procedimientos como ya seal Galileo. A su vez estos 2 3 mtodos ofrecen infinidad de variedades (por ej. una mayor utilizacin de las matemticas, o del lenguaje, etc.) segn sean empleados por unas ciencias o por otras, y segn los objetivos de las mismas. El caso de las cc. Sociales. Las cc. Sociales o humanas nacen en el s. XIX y toman el mtodo cientfico como procedimiento para el estudio que estas ciencias tienen como objeto. Toman como modelo las ciencias de la naturaleza. Tambin desde el comienzo tuvieron conciencia de la singularidad de su objeto de estudio: el hombre respecto a los objetos de las otras ciencias (la materia, los cuerpos celestes, ...). A diferencia de stos, el ser humano tiene capacidad de tomar decisiones, lo cual complica enormemente su estudio cientfico. Entre muchos tericos de la ciencia y filsofos existe la tendencia a aplicar en las ciencias sociales el modelo explicativo propio de las ciencias naturales. Se observa en la economa, la sociologa y la psicologa. Se piensa que as se alcanzar el mismo grado de exactitud y desarrollo. Sin embargo, entre el objeto de las cc. Naturales y de las cc. Sociales existe una diferencia fundamental. Los primeros intenta explicar el por qu de los fenmenos y las segundas intentan comprender su sentido. El objeto de estas ciencias es: 1) extremadamente complejo (caso de las sociedades humanas) 2) mximamente individualizado (personas) 3) muy variable (hay que contar con la variablelibertad, que impide hablar de acontecimientos constantes. Por eso a estas ciencias han sido calificadas como blandas: slo hasta cierto punto es posible hablar, en ellas, de leyes y las previsiones no alcanzan demasiada fiabilidad. Por eso existe una lucha por encontrar mtodos particulares adecuados, y las escuelas o tendencias metodolgicas se encuentran en permanente discusin y renovacin. Voy a mencionar, de forma resumida, los principales mtodos que usan las ciencias humanas. 1. Mtodo hermenutico En el siglo XIX W. Dilthey (1833-1991) deca: explicamos la naturaleza, comprendemos el espritu.

Entonces a las cc. Sociales se las denominaba: ciencias del espritu. Para comprender las acciones humanas, las instituciones, las producciones culturales es necesario tener en cuenta, las INTENCIONES Y CREENCIAS EN QUE SE BASAN. Esta comprensin se lleva a cabo siempre en un determinado HORIZONTE, el propio del que intenta comprender. A esta situacin se la denomina crculo hermenutico: la comprensin se basa en la interpretacin desde la propia situacin cultural. Se constituye como mtodo y escuela en el s. XX. Su precursor fue F. Nietzsche en el s. XIX. Destacan: M. Heidegger; H.-G. Gadamer; P. Ricoeur. Nace del mtodo fenomenolgico, pero lo transforma, ya que nunca podemos dejar de lado nuestra cultura. Por tanto, la forma adecuada de trabajar es explicitando estos presupuestos (pre-comprensin) que guan toda comprensin (interpretacin). Es el mtodo propio de la filosofa actual y ofrece una atencin prioritaria a la dimensin lingstica del hombre intentando alcanzar la experiencia que todo lenguaje comunica (dif. con el analtico). 2. Mtodo analtica-lingstico Es uno de los mtodos actuales del pensamiento. Desarrollado en el mundo anglosajn, su mximo representante es L. Wittgenstein. Se caracteriza por defender que la mayor parte de los problemas filosficos tiene su razn de ser en el mal uso del lenguaje. As implicacin afirma que toda experiencia humana se expresa en el lenguaje; analizar el lenguaje es analizar esta experiencia. El lenguaje mismo que utilizamos es revelador de problemas o de tomas de posicin no conscientes. 3. Mtodo fenomenolgico. Fue creado en el s. XIX por E. Husserl. Se caracteriza por ser la gran aportacin del s. XX a la metodologa filosfica. Husserl quiere volver a las cosas mismas, ms all de todas las construcciones o teoras. Hemos de aprender de nuevo a mirar la realidad, dejando de lado (epoj) la gran cantidad de supuestos que tenemos para concentrarnos en lo esencial (reduccin). Implicacin: con este mtodo aprendemos a mirar el mundo con la actitud natural y actitud personalista. Conlleva una recuperacin integra de la experiencia y del mundo humanos, pero desde la centralidad de la subjetividad.

4. Mtodo dialctico. Su precursor fue Hegel (1770-1831) Concibe a la dialctica como la ley que subyace a la esencia del pensamiento y a la realidad misma. Toda tesis ya encierra en si su anttesis, y ambas son superadas en la sntesis. As las posiciones y fenmenos de la historia son las fases necesarias del despliegue de un organismo ms rico. La historia pensada, es decir, correctamente interpretada, constituye la re-memoracin del espritu. El trmino dialctica viene del dilogo. As como el dilogo es un intercambio (una interaccin) entre dos personas, y ello hace avanzar nuestro conocimiento, la dialctica se basa en los mismos presupuestos; esto es, en la suposicin de que todo saber tiene que descubrir las interacciones y los conflictos entre los fenmenos humanos, y que estas hacen evolucionar la realidad. 5. Mtodo estructuralista. Su nacimiento y desarrollo se vio influido por la creacin de la Semitica, por las ideas de F. de Saussure en lingstica, de C. Levi-Estrauss en etnologa, de Vigotski y Piaget en psicologa, as como los estudios de meta-lgica y meta-matemtica (Frege, Hilbert). La finalidad de la investigacin cientfica es la puesta al descubierto de las estructuras de los objetos, distinguiendo los objetos que se investigan de los medios de investigacin, y fijndose en las relaciones entre hechos o los elementos del sistema. Desempea un papel metodolgico en la reunin de investigaciones interdisciplinarias de fenmenos de la cultura. 6. Mtodo funcionalista. El Funcionalismo Estructural de Talcott Parsons (1979) ha sido la teora sociolgica ms influyente del s. XX. Considera a la sociedad como un sistema en equilibrio estable y se centra en determinar cules son los factores de equilibrio: 1. 2. El carcter normativo de las estructuras sociales las cuales encarnan valores e ideales aceptados por los individuos. El carcter funcional de las estructuras sociales. Cada necesidad se mantiene gracias a una estructura social. Las necesidades del sistema son: 1) adaptacin (al entorno exterior)

2) capacidad de definicin y consecucin de objetivos 3) integracin (coordinacin de sus elementos) 4) Estabilidad normativa. La investigacin funcional se impuso en: Antrologa (Malinowski, Radctiffe-Brown) Sociologa (Durkheim) R. K. Merton lo modific distinguiendo entre funcin latente y funcin manifiesta (intencional) de los grupos sociales. Durkheim seala que la explicacin funcional hace nfasis en la armona y equilibrio de la sociedad. Todo lo que rompa el equilibrio ser disfuncional. As se abandona la investigacin de los orgenes histricos (gnesis, causa) por la de funciones.