Lenguaje, verdad y lógica es un libro de 1936 sobre el significado del filósofo Alfred Jules Ayer , en el que el autor define, explica y defiende el principio de verificación del positivismo lógico , a veces denominado criterio de significación o criterio de significado . Ayer explica cómose puede aplicar el principio de verificabilidad a los problemas de la filosofía. Lenguaje, verdad y lógica llamaron la atención del mundo de habla inglesa sobre algunas de las ideas del Círculo de Viena y de los empiristas lógicos .
Según el libro autobiográfico de Ayer, Part of My Life , fue el trabajo que comenzó en el verano y otoño de 1933 el que finalmente condujo a Language, Truth and Logic , específicamente Demonstration of the Impossibility of Metaphysics , publicado más tarde en Mind bajo la dirección de GE. Moore . El título del libro fue tomado ("Hasta cierto punto plagiado", según Ayer) de Logik, Sprache, Philosophie de Friedrich Waismann . [1]
Según Ayer, los enunciados analíticos son tautologías. Una tautología es una afirmación que es necesariamente verdadera , verdadera por definición y verdadera bajo cualquier condición. Una tautología es una repetición del significado de una afirmación, utilizando diferentes palabras o símbolos. Según Ayer, los enunciados de la lógica y las matemáticas son tautologías. Las tautologías son verdaderas por definición y, por tanto, su validez no depende de pruebas empíricas .
Los enunciados sintéticos o proposiciones empíricas afirman o niegan algo sobre el mundo real. La validez de los enunciados sintéticos no se establece simplemente por la definición de las palabras o símbolos que contienen. Según Ayer, si un enunciado expresa una proposición empírica, entonces la validez de la proposición se establece por su verificabilidad empírica.
Las proposiciones son declaraciones que tienen condiciones bajo las cuales pueden ser verificadas. Según el principio de verificación, las declaraciones significativas tienen condiciones bajo las cuales se puede afirmar o negar su validez.
Las afirmaciones que no tienen significado no pueden expresarse como proposiciones. Toda proposición verificable es significativa, aunque pueda ser verdadera o falsa. Toda proposición afirma o niega algo y, por tanto, es verdadera o falsa.
Ayer distingue entre verificación "fuerte" y "débil", señalando que existe un límite en cuanto a cuán concluyentemente se puede verificar una proposición. No es posible una verificación "fuerte" (totalmente concluyente) para ninguna proposición empírica, porque la validez de cualquier proposición siempre depende de una mayor experiencia. Por otra parte, la verificación "débil" (probable) es posible para cualquier proposición empírica.
Ayer también distingue entre verificabilidad práctica y teórica. Las proposiciones para las que no tenemos un medio práctico de verificación pueden seguir siendo significativas si podemos verificarlas en principio.
El significado literal también debe distinguirse del significado fáctico. El significado literal es un atributo de declaraciones que son analíticas o empíricamente verificables. El significado fáctico es un atributo de las declaraciones que tienen significado sin ser analíticas. Por tanto, las afirmaciones que tienen un significado fáctico dicen algo sobre el mundo real.
Ayer está de acuerdo con Hume en que hay dos clases principales de proposiciones: las que se refieren a "relaciones de ideas" y las que se refieren a "cuestiones de hecho". Las proposiciones sobre "relaciones de ideas" incluyen las proposiciones a priori de la lógica y las matemáticas. Por otra parte, las proposiciones sobre "cuestiones de hecho" hacen afirmaciones sobre el mundo empírico.
Ayer sostiene que las proposiciones filosóficas son analíticas y que se ocupan de "relaciones de ideas". La tarea de la filosofía es aclarar las relaciones lógicas de las proposiciones empíricas. Si el significado de las proposiciones se define por la verificabilidad, entonces la filosofía no puede proporcionar verdades especulativas sobre enunciados metafísicos que no puedan verificarse empíricamente.
Ayer rechaza la tesis metafísica de que la filosofía puede darnos conocimiento de una realidad trascendente . Descarta los argumentos metafísicos, calificándolos de tonterías y diciendo que no pueden verificarse empíricamente. Sostiene que los enunciados metafísicos no tienen un significado literal y que no pueden estar sujetos a criterios de verdad o falsedad.
Una consecuencia significativa del abandono de la metafísica como preocupación de la filosofía es el rechazo de la visión de que la función de la filosofía es proponer principios básicos de significado y construir un sistema deductivo ofreciendo las consecuencias de estos principios de significado como una imagen completa de la realidad. . Pero algunos podrían argumentar que esto es [ ¿quién? ] , lo que hace Ayer, al presentar el principio de verificabilidad como criterio de significatividad para cualquier proposición empírica.
Según Ayer, nunca se puede demostrar que ninguna proposición relativa a "cuestiones de hecho" sea necesariamente cierta, porque siempre existe la posibilidad de que pueda ser refutada mediante pruebas empíricas adicionales. La certeza lógica sólo es posible para las observaciones analíticas, que son tautologías, y no para las observaciones empíricas relativas a "cuestiones de hecho".
Ayer explica que su empirismo radical se opone al racionalismo. El racionalismo afirma que hay verdades sobre el mundo que pueden conocerse mediante un razonamiento a priori o independientemente de la experiencia. Según el principio de verificabilidad, las proposiciones sobre "cuestiones de hecho" sólo pueden ser significativas si pueden ser verificadas empíricamente.
Ayer está de acuerdo con la explicación de Kant sobre la distinción entre juicios analíticos y sintéticos y la desarrolla . Según Ayer, una proposición es analítica si su validez depende únicamente de las definiciones de los símbolos que contiene. Una proposición es sintética si su validez está determinada por los hechos de la experiencia.
Las observaciones analíticas nos brindan nuevos conocimientos porque revelan implicaciones insospechadas de nuestras declaraciones y creencias. Pero las observaciones analíticas no nos dan nuevos conocimientos sobre cuestiones de hecho, porque sólo nos dicen lo que ya se sabe.
Ayer define la verdad como el criterio mediante el cual se validan las proposiciones empíricas. Decir que una proposición es verdadera es simplemente afirmarla, y decir que una proposición es falsa es simplemente afirmar una proposición contradictoria. Así, la verdad y la falsedad son simplemente signos de afirmación o negación de proposiciones empíricamente verificables.
De la misma manera, las afirmaciones de valor sólo tienen significado en la medida en que son verificables. Si un juicio ético o estético no puede someterse a pruebas empíricas, entonces carece de sentido. Una prueba empírica puede ser práctica o teórica.
Para Ayer, los juicios éticos o estéticos son más subjetivos que objetivos y no se puede demostrar que sean verdaderos o falsos. Los juicios éticos o estéticos expresan sentimientos, no proposiciones, y no tienen validez objetiva. Los juicios de valor no son analíticos y no son verificables como "cuestiones de hecho".
Según Ayer, cuando discutimos sobre si un juicio de valor es correcto o incorrecto, en realidad estamos discutiendo sobre los hechos empíricos en los que se basa un juicio de valor, o sobre la interpretación lógica de los hechos empíricos. No podemos discutir sobre algo que no puede expresarse como una proposición. Sólo podemos discutir sobre algo que puede verificarse analítica o empíricamente.
Para Ayer, las afirmaciones metafísicas, como las afirmaciones sobre la realidad trascendente, no tienen validez objetiva y, por tanto, carecen de significado. Ejemplos de esta falta de significado incluyen declaraciones sobre la existencia o inexistencia de Dios. Según Ayer, tales afirmaciones no pueden ser probadas ni refutadas, y no pueden validarse ni invalidarse mediante pruebas empíricas.
El empirismo lógico de Ayer hace una contribución importante a la filosofía en el sentido de que proporciona un método para poner fin a disputas filosóficas que de otro modo serían irresolubles. En el empirismo lógico de Ayer, la filosofía ya no se ve como una preocupación metafísica, no es una búsqueda de primeros principios ni un intento de proporcionar verdades especulativas sobre la naturaleza de la realidad última. Más bien, la filosofía se ve como una actividad de definir y aclarar las relaciones lógicas de proposiciones empíricas. Al considerar cómo distinguir entre un hombre consciente y una máquina inconsciente, [2] Ayer también anticipa el desarrollo en 1950 de la prueba de Turing para probar la capacidad de una máquina para demostrar inteligencia (conciencia).
El principio de verificabilidad, sin embargo, puede convertirse en un medio para rechazar arbitrariamente cualquier concepto abstracto o trascendente, como “verdad”, “justicia” o “virtud”. Se considera que estos conceptos no tienen un significado literal. Por tanto, el punto de vista de Ayer puede convertirse en un escepticismo radical. Se considera que la ética, la estética y la religión no tienen significado literal. Los conceptos éticos se ven simplemente como expresiones de sentimientos. Se considera que los conceptos éticos o estéticos no tienen contenido fáctico y, por lo tanto, no pueden aceptarse como válidos o inválidos.
Ayer tiene cuidado de explicar que el principio de verificación es una definición de significado y que no es una proposición empírica. Admite que existen otras posibles definiciones de significado.
La reserva más frecuentemente expresada sobre el principio es si es en sí mismo verificable; esto fue abordado en el diálogo ficticio "Positivismo Lógico: una discusión". Ayer creía que podría derivarse analíticamente de las definiciones habituales de palabras como "comprensión". Admitió que entonces se podría pedir la verificación de esa definición y luego proceder a una regresión infinita. Ayer consideró que esta última opción simplemente no valía la pena considerar, aunque filósofos como Donald Davidson y Richard Rorty la han utilizado desde entonces para socavar la visión concreta del lenguaje que se encuentra en obras como Language, Truth and Logic .
El positivismo lógico fue el sabor filosófico de la época en las décadas de 1920 y 1930, y de hecho fue popularizado por Ayer en su libro Language, Truth and Logic . Sin embargo, el propio Ayer rechazó más tarde gran parte de su propio trabajo. Cincuenta años después de escribir su libro, dijo: "El positivismo lógico murió hace mucho tiempo. No creo que mucho de Lenguaje, Verdad y Lógica sea cierto. Creo que está lleno de errores". [3]
En 2002, el libro se había impreso en doce ediciones. [4] Estos incluyeron: