Filosofa del Lenguaje

INTRODUCCION A LA LOGICA
GAMUT, Ed. Eudeba
Introduccin
La lgica es la ciencia del razonamiento.
La argumentacin es una de las tantas aplicaciones del razonar.
Los razonamientos que estudia la lgica son ARGUMENTOS O ESQUE MAS DE
ARGUMENTOS, que pueden ser vlidos (inferencia vlida) o no.
Argumentos secuencia de oraciones donde las premisas estn al comienzo y la
conclusin al final del argumento; si las premisas de un argumento vlido son todas
verdaderas, entonces la conclusin tambin es verdadera. La conclusin de un
argumento vlido es una consecuencia lgica de sus premisas. Decir argumento
verdadero no es lo mismo que decir argumento vlido; pueden no ser argumentos
verdaderos pero si vlidos para la lgica.
Esquemas de argumentos un argumento es vlido si cumple con este esquema:
A o B
No A
B
Los esquemas de argumentos son abstracciones que eliminan de los argumentos
concretos todos los elementos que no tengan relacin con su validez.
Investigar la validez de los argumentos implica estudiar una relacin particular que
se da entre los significados de las oraciones, la relacin de consecuencia lgica, y
por ende, implica estudiar el significado de las expresiones particulares. El
significado de una expresin compuesta debe construirse a partir del significado
de sus partes componentes, este es el principio de composicionalidad del
significado de Frege.
Cada sistema lgico caracteriza su propia clase esquemas de argumento vlidos: su
validez se basa en el significado de ciertas expresiones que emplea el sistema;
estas expresiones son las constantes lgicas, dado que dentro de ese sistema su
significado es absolutamente fijo.
En lgica los argumentos deben ser vlidos solo en virtud de su forma externa y no
en virtud de su contenido. Una expresin debe otorgar validez estructural a un
esquema de argumento si se la puede considerar como una constante lgica; esta es
su nica funcin en el lenguaje, dado que no tienen contenido descriptivo, su
significado est enteramente determinado por el papel que cumplen en los
argumentos. As las conjunciones y, o, si (entonces), si y solo si, y la negacin
no se consideran como las constantes lgicas de la lgica proposicional y estas
conjuntamente con las expresiones cuantificadoras de la lgica de predicados.
Estos son algunos ejemplos de constantes lgicas, otros vamos a encontrar en a
lgica temporal, en la epistmica o en la dentica.
El conjunto de constantes lgicas posibles es abierto.
La contribucin de la lgica a la lingstica es doble: 1) la lgica contribuye con
sistemas que dan una descripcin precisa de un grupo de expresiones que, debido a
su importancia en el razonamiento, no pueden ser ignoradas por una teora
lingstica del significado;
2) la lgica contribuye
con mtodos y conceptos tiles para el anlisis de expresiones y construcciones de
las que tradicionalmente no se ha ocupado la lgica en tanto teora del
razonamiento, pero que deben ser explicadas por una teora lingstica del
significado.
La ciencia de la lgica surgi cuando Aristteles reuni y organiz ciertas ideas
filosficas acerca del razonamiento, dando origen a su lgica silogstica. Los
silogismos son tipos particulares de inferencias en las que la conclusin se obtiene
a partir de dos premisas.
La teora del silogismo indica cuales inferencias son vlidas y cules no. Las
siguientes proposiciones sujeto/predicado pueden aparecer en silogismos:
Todo A es B (Universal Afirmativa)
Todo A es no B (Universal Negativa)
Algn A es B (Particular Afirmativa)
Algn A es no B (Particular Negativa)
La lgica Aristotlica solo intentaba describir el razonamiento cientfico, es por
eso que las oraciones singulares no le interesaban. Aristteles tambin mencion
otras formas de inferencias como por ejemplo el Modus Ponens:
Si l est ebrio, l es peligroso.
l est ebrio
l es peligroso
La validez de las inferencias silogsticas depende de expresiones como todo y
algn o si (entonces).
Los Estoicos desarrollaron sistemticamente este ltimo tipo de inferencias, ellos
tambin fueron los que comenzaron a cuestionarse cosas tales como por ejemplo:
(22) La oracin (22) del captulo 1 es falsa.
Esta cuestiones llevaron a Tarski en el siglo XX a realizar una distincin
metodolgica entre el lenguaje en tanto objeto de discusin, el lenguaje objeto, y
el lenguaje como medio en el que dicha discusin toma lugar, el metalenguaje.
Durante la Edad Media se encuentran algunos grmenes de distinciones que hoy
trazamos, tales como uso/mencin, por ejemplo:
1) msterdam es la ciudad capital de Holanda.
2) msterdam tiene nueve letras.
1) msterdam el usado para referirse a esa ciudad de Holanda.
2) msterdam donde el trmino es mencionado.
Durante la Edad Media la lingstica se preocup por encontrar bases racionales
para las reglas de la gramtica. La idea de una gramtica universal gan
popularidad. Despus de todo, si el pensamiento humano es el mismo en todos lados,
entonces la gramtica ideal tambin debe serlo; segn este enfoque los lenguajes
son variaciones sobre y aproximaciones a este tema ideal.
En el siglo XIII Guillermo de Shyreswood dice: La gramtica nos ensea a hablar
correctamente, la retrica nos ensea a hablar elegantemente, y la lgica nos
ensea a hablar con la verdad.
Los desarrollos no fueron de importancia hasta llegar a Leibniz (1646-1716) quien
desarroll ideas que an hoy siguen vigentes. Sugiri que se desarrollara una
caracterstica universalis, un lenguaje universal en el cual pudiera representarse el
lenguaje en forma directa, sin las ambigedades, vaguedades y figuras del habla.
La manipulacin de los signos de este lenguaje universal, el ars combinatoria, se
correspondera directamente con las operaciones que realizamos en nuestro
pensamiento. Sera posible entonces constatar la validez de las cadenas de
razonamientos de este lenguaje por medio del clculo, el clculo ratiocinator.
La bsqueda de un sistema simblico de ideas y la matematizacin del concepto de
validez de cadenas de razonamientos son caractersticas esenciales de la lgica
moderna.
En el siglo XIX, avanzando en la direccin que plante Leibniz, aparece la lgica de
predicados de Frege desarrollando un lenguaje simblico mucho ms poderoso que
el de la lgica silogstica de Aristteles.
Frege considera que hay palabras claves en su teora, tales como no, si
(entonces), todo y es. El gran avance consisti en que no se requiere ms que
estas expresiones para manejar fenmenos tales como la cuantificacin mltiple,
siempre y cuando uno se asegure de que toda oracin pueda ser considerada como
el resultado de un proceso de construccin sistemtica que adiciona palabras
lgicas una a una. A esta idea de Frege se la conoce como el principio de
composicionalidad del significado. Se traza as una comparacin instructiva entre el
lenguaje natural y los formales. Russell, Wittgenstein, Carnap, heredan el inters
de Frege.
Una de las tareas del anlisis filosfico consiste en mostrar las formas
gramaticales engaosas de las oraciones del lenguaje natural en cuanto tales y
revelar sus verdaderas formas lgicas. Un ejemplo clsico es el artculo On
denoting de 1905, escrito por Russell, contra el argumento filosfico conocido
como La barba de Platn.
La tesis de Russell ejerci una influencia considerable en el desarrollo de las dos
tradiciones filosficas principales del siglo XX acerca del lenguaje: el positivismo
lgico y la filosofa analtica.
Segn el positivismo lgico, la tarea de la filosofa consiste en clarificar lo que es
genuino conocimiento y descartar todo lo dems. Esta corriente empu dos armas
de asalto contra la metafsica: el criterio de verificabilidad y la tesis de la
incorreccin gramatical. En el primero, Hempel fue el ltimo que habl de este
criterio como de traducibilidad en 1950; en el segundo encontramos a Carnap en
1932.
Los positivistas lgicos descartaron el lenguaje natural como medio apropiado para
el debate filosfico y cientfico significativo. Los positivistas lgicos consideraron
que una de las tareas ms importantes de la filosofa consista en construir
lenguajes artificiales cuya sintaxis fuera lo suficientemente rigurosa como para
impedir la formacin de pseudoafirmaciones.
La filosofa analtica: en 1921 Wittgenstein tambin suscribi a la opinin segn la
cual la forma gramatical de una oracin en el lenguaje natural puede diferir de su
forma lgica real. Por esto el autor que a tarea de la filosofa es teraputica: el
objetivo del anlisis filosfico consiste en una clarificacin lgica de nuestros
pensamientos los cuales son a menudo confusos cuando el lenguaje se va de
fiesta.
En 1931 Ryle considera que el lenguaje natural lleva al pensamiento a conclusiones
errneas pero, a diferencia de los positivistas lgicos como Carnap que sostena lo
mismo, Ryle consider que un anlisis tal del lenguaje natural que se interese en
identificar las expresiones y construcciones que llevan a confusin filosfica, era
uno de los desafos filosficos ms importante.
El anlisis crtico del lenguaje se seal una nueva tarea, la del anlisis conceptual y
junto a esta un nuevo mtodo. La filosofa analtica llega a considerar el lenguaje
natural no solo como fuente de confusin filosfica sino tambin como una fuente
de ideas filosficas valiosas. El anlisis del lenguaje natural puede proporcionarnos
conocimientos filosficos. El lenguaje natural puede ser inadecuado y puede ser
perfeccionado. En opinin de Austin (1956) esto puede suceder especialmente si
consideramos algn problema que ha sido tratado largamente por los filsofos del
pasado, dado que el lenguaje que disponemos para discutir tales problemas est
oscurecido por la jerga de teoras filosficas abandonada hace tiempo. En tales
casos, el lenguaje natural puede engaar y confundir.
Una de las caractersticas de la lgica moderna es que no se ocupa tanto de los
argumentos que pueden construirse en uno u otro lenguaje natural como de los
razonamientos en los lenguajes formales. Esto se debe a que la lgica se interesa
por los esquemas de argumentos. Un argumento es una cadena de oraciones de un
lenguaje natural, los esquemas de argumentos pueden considerarse como una
cadena de oraciones tomadas de un lenguaje formal. Otra razn por la cual los
lenguajes naturales no son apropiados para investigar la validez de argumentos, es
que contienen ambigedades.
En lgica denominamos lenguaje objeto, al lenguaje acerca del cual hablamos y
denominamos metalenguaje al lenguaje con el cual se habla acerca de un lenguaje
objeto. El mismo lenguaje objeto puede discutirse con diferentes metalenguajes. A
veces es conveniente ampliar el metalenguaje agregando smbolos que faciliten el
hablar acerca del lenguaje objeto; estos pueden denominarse metavariables.
No hay razn por la cual el lenguaje objeto y el metalenguaje deban ser diferentes.
Un lenguaje como el espaol, es lo suficientemente rico como para poder hablar
acerca de s mismo. Los trminos lenguaje objeto y metalenguaje se refieren a las
funciones que pueden tener un lenguaje en un contexto particular. La distincin
entre estas dos funciones de los lenguajes se vincula estrechamente con la
distincin de uso y mencin que ya hemos realizado.
Aunque parezca sorprendente no es necesario exhibir los smbolos de un lenguaje
formal. Esto nos permite desligarnos de las frecuentes dificultades respecto de la
distincin uso/mencin que de otra forma podran surgir en la descripcin de los
lenguajes formales: los smbolos y las formulas nunca se refieren a s mismo; solo
nos referimos a ello por medio de nombres.