Lenguaje, verdad y lógica

Lenguaje, verdad y lógica es un libro de 1936 sobre el significado , escrito por el filósofo Alfred Jules Ayer , en el que el autor define, explica y defiende el principio de verificación del positivismo lógico , también conocido como criterio de significancia 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 dio a conocer al mundo angloparlantealgunas de las ideas del Círculo de Viena y de los empiristas lógicos .

Según el libro autobiográfico de Ayer, Parte de mi vida , fue el trabajo que comenzó en el verano y otoño de 1933 el que finalmente lo llevó a Lenguaje, verdad y lógica , específicamente Demostración de la imposibilidad de la metafísica , publicado posteriormente en Mind bajo la dirección editorial de G. E. 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, las proposiciones analíticas son tautologías. Una tautología es una proposición necesariamente verdadera , verdadera por definición y verdadera bajo cualquier condición. Una tautología es una repetición del significado de una proposición, utilizando palabras o símbolos diferentes. Según Ayer, las proposiciones de la lógica y las matemáticas son tautologías. Las tautologías son verdaderas por definición y, por lo tanto, su validez no depende de la verificación empírica .

Las proposiciones sintéticas, o proposiciones empíricas, afirman o niegan algo sobre el mundo real. La validez de las proposiciones sintéticas no se establece simplemente por la definición de las palabras o símbolos que contienen. Según Ayer, si una proposición expresa una proposición empírica, su validez se establece por su verificabilidad empírica.

Las proposiciones son enunciados que tienen condiciones para ser verificados. Según el principio de verificación, los enunciados significativos tienen condiciones que permiten afirmar o negar su validez.

Las afirmaciones sin significado no pueden expresarse como proposiciones. Toda proposición verificable tiene significado, aunque puede ser verdadera o falsa. Toda proposición afirma o niega algo y, por lo tanto, es verdadera o falsa.

Ayer distingue entre verificación «fuerte» y «débil», señalando que existe un límite en cuanto al grado de certeza con que se puede verificar una proposición. La verificación «fuerte» (totalmente concluyente) no es posible para ninguna proposición empírica, ya que la validez de cualquier proposición siempre depende de la experiencia posterior. La verificación «débil» (probable), por otro lado, sí 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 disponemos de un medio práctico de verificación pueden seguir siendo significativas si podemos verificarlas en principio.

También es necesario distinguir entre significado literal y significado fáctico. El significado literal es un atributo de las afirmaciones que son analíticas o empíricamente verificables. El significado fáctico es un atributo de las afirmaciones que tienen sentido sin ser analíticas. Por lo tanto, las afirmaciones con significado fáctico dicen algo sobre el mundo real.

Ayer coincide con Hume en que existen 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 otro lado, las proposiciones sobre «cuestiones de hecho» formulan afirmaciones sobre el mundo empírico.

Ayer sostiene que las proposiciones filosóficas son analíticas y que se ocupan de las «relaciones entre ideas». La tarea de la filosofía consiste en clarificar 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 pueda brindarnos conocimiento de una realidad trascendente . Descarta los argumentos metafísicos, calificándolos de absurdos, y afirma que no pueden verificarse empíricamente. Sostiene que las afirmaciones metafísicas carecen de significado literal y que no pueden someterse a criterios de verdad o falsedad.

Una consecuencia significativa de abandonar la metafísica como objeto de estudio de la filosofía es el rechazo de la idea de que la función de la filosofía consiste en proponer principios básicos de significado y construir un sistema deductivo ofreciendo las consecuencias de estos principios como una descripción completa de la realidad. Sin embargo, algunos podrían argumentar que esto es precisamente lo que hace Ayer al presentar el principio de verificabilidad como criterio de significatividad para cualquier proposición empírica.

Según Ayer, ninguna proposición relativa a "hechos" puede demostrarse necesariamente verdadera, pues siempre existe la posibilidad de que sea refutada mediante pruebas empíricas adicionales. La certeza lógica solo es posible para las observaciones analíticas, que son tautologías, y no para las observaciones empíricas relativas a "hechos".

Ayer explica que su empirismo radical se opone al racionalismo. El racionalismo afirma que existen verdades sobre el mundo que pueden conocerse mediante el razonamiento a priori , o independientemente de la experiencia. Según el principio de verificabilidad, las proposiciones sobre «hechos» solo pueden tener sentido si son susceptibles de verificación empírica.

Ayer coincide 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 aportan nuevos conocimientos, pues revelan implicaciones insospechadas de nuestras afirmaciones y creencias. Sin embargo, no nos proporcionan nuevos conocimientos sobre hechos, ya que solo nos informan de lo que ya se sabe.

Ayer define la verdad como el criterio mediante el cual se validan las proposiciones empíricas. Afirmar que una proposición es verdadera equivale simplemente a aseverarla, y afirmar que es falsa equivale simplemente a aseverar una proposición contradictoria. Por lo tanto, la verdad y la falsedad son simplemente signos de afirmación o negación de proposiciones empíricamente verificables.

Del mismo modo, las afirmaciones de valor solo tienen sentido en la medida en que son verificables. Si un juicio ético o estético no puede someterse a una prueba empírica, entonces carece de sentido. Una prueba empírica puede ser práctica o teórica.

Para Ayer, los juicios éticos o estéticos son subjetivos, no objetivos, y no pueden demostrarse como verdaderos o falsos. Expresan sentimientos, no proposiciones, y carecen de validez objetiva. Los juicios de valor no son analíticos ni verificables como hechos.

Según Ayer, cuando debatimos sobre si un juicio de valor es correcto o incorrecto, en realidad estamos debatiendo sobre los hechos empíricos en los que se basa dicho juicio, o sobre la interpretación lógica de los hechos empíricos. No podemos debatir sobre algo que no puede expresarse como una proposición. Solo podemos debatir sobre algo que puede verificarse analítica o empíricamente.

Para Ayer, las afirmaciones metafísicas, como las que se refieren a la realidad trascendente, carecen de validez objetiva y, por lo tanto, son carentes de significado. Ejemplos de esta falta de significado incluyen las afirmaciones sobre la existencia o inexistencia de Dios. Según Ayer, tales afirmaciones no pueden probarse ni refutarse, y no pueden validarse ni invalidarse mediante pruebas empíricas.

El empirismo lógico de Ayer constituye una importante contribución a la filosofía, ya que proporciona un método para resolver disputas filosóficas que de otro modo serían irresolubles. En el empirismo lógico de Ayer, la filosofía ya no se concibe como una preocupación metafísica, ni como una búsqueda de primeros principios ni como un intento de ofrecer verdades especulativas sobre la naturaleza de la realidad última. En cambio, la filosofía se concibe como una actividad de definición y clarificación de las relaciones lógicas de las 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 evaluar la capacidad de una máquina de demostrar inteligencia (conciencia).

Sin embargo, el principio de verificabilidad puede convertirse en un medio para rechazar arbitrariamente cualquier concepto abstracto o trascendente, como «verdad», «justicia» o «virtud». Se considera que tales conceptos carecen de significado literal. Por lo tanto, la postura de Ayer puede derivar en un escepticismo radical. La ética, la estética y la religión se consideran carentes de significado, sin un sentido literal. Los conceptos éticos se ven simplemente como expresiones de sentimiento. Se considera que los conceptos éticos o estéticos carecen de contenido fáctico y, por consiguiente, no pueden aceptarse como válidos ni inválidos.

Ayer se cuida 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 frecuente sobre este principio radica en su verificabilidad; este tema se abordó en el diálogo ficticio «Positivismo lógico: una discusión». Ayer creía que podía derivarse analíticamente de definiciones habituales de palabras como «entendimiento». Admitió que, en ese caso, se podría exigir la verificación de dicha definición y, a partir de ahí, caer en una regresión infinita. Ayer consideraba que esta última opción simplemente no merecía ser considerada, aunque filósofos como Donald Davidson y Richard Rorty la han utilizado posteriormente para refutar la concepción concreta del lenguaje presente en obras como «Lenguaje, verdad y lógica» .

El positivismo lógico era la corriente filosófica predominante en las décadas de 1920 y 1930, y de hecho fue popularizado por Ayer en su libro Lenguaje, verdad y lógica . Sin embargo, el propio Ayer rechazó posteriormente gran parte de su obra. Cincuenta años después de escribir su libro, afirmó: «El positivismo lógico murió hace mucho tiempo. No creo que gran parte de Lenguaje, verdad y lógica sea cierta. Creo que está plagado de errores». ^{[ 3 ]}

Para el año 2002, el libro se había impreso en doce ediciones. ^{[ 4 ]} Estas incluían:

• 1936, Londres : Victor Gollancz Ltd , LCCN 36-18286 , 254 páginas 
• 1946, Londres : Victor Gollancz Ltd, LCCN 46-8544 , 160 páginas 
• 1952, Ciudad de Nueva York : Dover Publications , LCCN 52-860 , 160 páginas 
• 1971, Harmondsworth : Penguin Books , ISBN 0-14-021200-0, 208 páginas

• Lenguaje, demostración y lógica

• El texto completo en formato PDF y otros formatos está disponible en Internet Archive.
• Ayer aplastado : una versión condensada y abreviada de Lenguaje, verdad y lógica.
• Problemas y cambios en el criterio empirista de significado por Carl Gustav Hempel : una crítica del principio de verificación.
• Dos dogmas del empirismo, de Willard Van Orman Quine: una crítica fundamental del positivismo lógico.