Professional Documents
Culture Documents
Gnesis de la lgica
El origen de la lgica como ciencia formal se remonta a los tiempos de Aristteles (siglo IV a. C.), quien fue su creador. Sin embargo, el gran filsofo de Estagira no emple este trmino para referirse a esta ciencia, sino que aluda a ella usando la palabra analtica (del griego analysis: solucin, resolucin; fin, en el sentido
de trmino). Es por esta razn que los escritos fundamentales del
Organon aristotlico (conjunto de sus investigaciones sobre lgica) reciben el nombre de Analticos.
No se sabe exactamente por quin ni en qu poca ha sido empleada la palabra lgica en el sentido moderno. Segn indicacin de Boecio el trmino lgica pudo haber sido creado por los
comentadores de Aristteles para oponer el Organon de ste a la
dialctica estoica, tal vez en tiempo de Andrnico de Rodas. En
todo caso esta palabra es empleada por Cicern (siglo I a. C.); y el
uso que se hace de ella en Alejandro de Afrodisia (siglo II d. C.) y
en Galeno parece demostrar que se haba hecho muy corriente en
su poca. El empleo de este trmino es corriente desde los estoicos
(siglo III a. C.): los teoremas lgicos, las leyes lgicas, como
una de las tres especies de filosofa.1
1
1 9
2 0
nificacin que, habitualmente, han sido sealados como sus rasgos definitorios.
Igualmente, logos significaba palabra, es decir, el lenguaje
que traduca un pensamiento ya ordenado por la norma racional.
As, esta funcin especial del lenguaje interesaba a la lgica y se
abri el camino para la determinacin del concepto de proposicin, pues sta implica asertos y negaciones, los cuales son susceptibles de discusin y pueden llevar la verificacin de su verdad o falsedad. Siguiendo este camino naci la lgica en el pensamiento griego. A travs de la palabra que expresaba pensamientos correctos se poda organizar una ciencia que garantizara la inteligibilidad de las cosas. Por supuesto que la lgica fue afinando
su significacin hasta convertirse en el instrumento del pensar correcto de que habla Aristteles.2
Usos de la palabra lgica como sustantivo, adjetivo y adverbio,
en el lenguaje coloquial
Inmerso en el lenguaje coloquial el trmino lgica, en su uso sustantivo (la lgica, lo lgico, lo ilgico, la logicidad, la
ilogicidad), adjetivo (lgico, lgica, ilgico, ilgica y sus
respectivos plurales) y adverbial (lgicamente, ilgicamente),
adquiere diversos sentidos.
Como sustantivo
Empleado como sustantivo en el lenguaje cotidiano la palabra lgica adquiere el sentido de estructura de razonamiento, forma o
modo de pensar o razonar, o, simplemente, razonamiento. As, se
habla, por ejemplo, en un artculo periodstico, de la lgica del
escndalo, para referirse al modo de pensar de la prensa de nuestro medio, que decide brindar cobertura a un hecho en funcin al
escndalo que ste genere. Asimismo, se emplea el trmino lgi2
2 1
ca como sinnimo de sentido comn, buen sentido, razn o actitud racional, cuando se afirma, por ejemplo, que felizmente prevaleci la lgica. Se hace uso del sustantivo lgica, tambin,
para significar una determinada estructura de ordenamiento o la
forma en que se encuentran dispuestas ciertas partes o ciertos elementos de un determinado conjunto a mbito. As, se es el sentido que toma en el siguiente texto: Me he visto obligado dijo
a creer que la lgica de sus acciones estaba desequilibrada (Gustave Flaubert, Madame Bovary). Suele tambin significar, en otro
contexto, coherencia o sentido; as, podemos leer: Aunque todo
es mentira, no deja de tener lgica lo que dice (Shakespeare,
Hamlet).
Como adjetivo
En su uso adjetivo, la palabra lgica pasa a significar natural, en el sentido de previsible; es decir, hace referencia a un hecho o accin que se esperaba sucediese como consecuencia necesaria de un evento determinado; y as se dice: Es lgico que el
anciano reaccione de la siguiente manera si le robaste las manzanas (Vasconcelos, Mi planta de naranja lima). Tambin suele usarse el mencionado trmino para significar algo obvio o evidente: No poda haber ms que un solo significado lgico tras las
palabras de Luisa Bourget (A. Christie, Poirot en Egipto). Asimismo, pasa a significar, en otros casos, necesario, como en el texto
siguiente: Como consecuencia lgica de su buena actuacin en
las tablas, comenz a trabajar en el cine (Miguel Pajn, Grandes
estrellas del cine). En otras ocasiones, con este trmino, se hace referencia al carcter coherente que algo posee; en ese sentido, por ejemplo, se dice que los ingenieros hidrulicos participantes en el proyecto propusieron soluciones lgicas al problema (El Comercio,
03-08-02, p. 10). Adems, cuando se dice de algo que tiene un orden lgico, se hace referencia a aquello que tiene un orden riguroso, sistemtico y coherente, aunque en este caso, tal vez, el uso del
trmino sea redundante, pues todo orden, por definicin, supone
2 2
2 3
2 4
a) La clorofila es verde.
b) Los felinos son carnvoros.
c) El calor dilata los cuerpos.
La lgica es una ciencia formal que estudia las tcnicas, procedimientos, reglas, mtodos y los principios o leyes usados para
distinguir la inferencia correcta de la incorrecta; para discriminar
la inferencia vlida de la no vlida. Es ciencia formal porque ella
atiende slo al aspecto estructural de las inferencias sin considerar el contenido significativo de sus proposiciones componentes.
Naturalmente, esta definicin no pretende afirmar que slo es
posible razonar o inferir correctamente si se ha estudiado lgica.
Sostener esto sera tan errneo como pretender que slo es posible
correr bien si se ha estudiado la fsica y la fisiologa necesarias
para la descripcin de esta actividad. Algunos excelentes atletas
ignoran completamente los complejos procesos que se operan dentro de ellos mismos cuando ejecutan sus habilidades. Y es innecesario decir que los profesores de edad algo madura que ms saben acerca de tales cosas se desempearan muy pobremente, si
arriesgaran su dignidad en el campo atltico. Pero, inversamente,
la agudeza intelectual que la lgica desarrolla con su cultivo hace
que la persona que la ha estudiado tenga la posibilidad de razonar o inferir correctamente, con ventaja sobre aquella que nunca
ha considerado los principios o leyes generales implicados en esta
actividad, limitada al buen sentido natural o sentido comn.
Ello se debe a varias razones. Ante todo, un estudio adecuado
de la lgica la enfocar como un arte tanto como una ciencia, y el
estudiante deber hacer ejercicios relativos a todos los aspectos de
la teora que aprende. Aqu como en todo, la prctica ayuda a perfeccionarse. En segundo lugar, una parte tradicional de estudio
de la lgica consiste en el examen y el anlisis de las falacias o
sofismas, es decir, de ciertos tipos de razonamientos incorrectos
que se cometen con la intencin de engaar. El conocimiento de
estas trampas nos ayuda positivamente a evitarlas. Finalmente, el
estudio de la lgica suministrar al estudiante ciertas tcnicas, re-
2 5
2 6
2 7
b) Otro objetivo es discriminar, mediante un mtodo sistemtico, las inferencias correctas de las que no lo son.
Al perseguir estos objetivos la lgica contempornea ha concebido las inferencias como formuladas lingsticamente y se ha
servido de lenguajes artificiales para alcanzarlos. De entre stos,
la familia ms importante es la de los lenguajes de primer orden.
La lgica de primer orden es la teora ms verstil y aplicable, tambin la ms estudiada y la mejor conocida, de la lgica contempornea. Otros nombres con los que se la conoce son lgica de predicados y lgica cuantificacional. La lgica de primer orden abarca
en cierto sentido la lgica de proposiciones.4
Nocin de forma lgica
La proposicin es una oracin aseverativa susceptible de ser calificada de verdadera o falsa. Ejemplos:
a) Einstein fue el creador de la teora de la relatividad
b) El Per est al norte del Ecuador
En estos ejemplos a) y b) son proposiciones: a) es verdadera y b) es falsa. En consecuencia, la verdad y la falsedad
son sus propiedades; as, pues, solamente poseen el atributo de
verdad o falsedad las formas lingsticas que afirman o niegan
algo, es decir, las proposiciones.
La inferencia es una operacin lgica que consiste en obtener
la verdad de una proposicin, conocida como conclusin, a partir
de la verdad de una o ms proposiciones, conocidas como
premisas. Ejemplos:
a) Si eres limeo, entonces eres peruano
Si eres peruano, entonces eres sudamericano
Luego, si eres limeo, entonces eres
sudamericano
4
2 8
(premisa)
(premisa)
(conclusin)
(premisa)
(premisa)
(conclusin)
Los ejemplos a) y b)son inferencias. Si en a) reemplazamos eres limeo por p, eres peruano por q, y eres sudamericano por r, se obtendr la forma lgica siguiente:
Si p, entonces q
Si q, entonces r
Luego, si p, entonces r
Si en b) sustituimos loretano por S, chileno por P
y peruano por M, se obtendr la forma lgica siguiente:
Ningn M es P
Todos los S son M
Luego, ningn S es P
En a) las proposiciones Si eres limeo, entonces eres peruano y Si eres peruano, entonces eres sudamericano representan a las premisas; la proposicin Si eres limeo, entonces eres
sudamericano representa a la conclusin. Igualmente, en b) las
proposiciones Ningn peruano es chileno y Todos los loretanos son peruanos desempean el papel de premisas; y la proposicin Ningn loretano es chileno hace las veces de conclusin.
Es fcil advertir que a) y b) son ejemplos de inferencias
vlidas, puesto que en ambos casos la conclusin deriva necesariamente de las premisas. En efecto, nadie puede aceptar la verdad de stas y, simultneamente, negar la verdad de aqulla sin
incurrir en flagrante contradiccin.
2 9
Pero cmo sabemos que las mencionadas inferencias son vlidas? Todos lo sabemos por intuicin, sin embargo sta es subjetiva y no puede garantizar objetivamente la validez de las inferencias en todos los casos. Es aqu, entonces, donde se hace necesario establecer las condiciones formales de validez de las inferencias.
La inferencia a) es vlida porque su forma lgica: Si p, entonces q. Si q, entonces r. Luego, si p, entonces r tambin lo es. Es
decir, toda inferencia que tenga dicha forma es vlida, independientemente de los significados que asuman p, q o r. As,
por ejemplo, si reemplazamos p, por penalista, q por abogado y r por colegiado, obtendremos otra inferencia vlida.
Y si continuamos reemplazando p, q o r por cualquier
trada de proposiciones, obtendremos siempre inferencias igualmente vlidas.
De modo anlogo, la inferencia b) es vlida porque su forma lgica: Ningn M es P. Todos los S son M Luego, ningn S es
P lo es asimismo. Y todas las inferencias que tengan dicha forma
son vlidas. En efecto, si sustituimos S por planta, P por
mineral y M por vegetal, respetando estrictamente el orden
en que aparecen S, P y M en la forma lgica vlida, obtendremos nuevamente una inferencia vlida. Y si seguimos sustituyndolos por otras tradas de trminos respetando la estructura
lgica vlida obtendremos inferencias tambin correctas.
La validez o invalidez son propiedades de las inferencias, es
decir, nicamente ellas pueden ser calificadas de vlidas o de invlidas. Las inferencias pueden ser deductivas e inductivas y radica la diferencia en el grado de relacin existente entre las premisas
y la conclusin, pues en una inferencia deductiva la conclusin
deriva necesariamente de las premisas: la verdad de stas garantiza la de aqulla; las premisas implican la conclusin. Consecuentemente, una inferencia es deductivamente vlida cuando es imposible que sus premisas sean verdaderas y su conclusin sea falsa. En una inferencia inductiva, en cambio, la conclusin no se
sigue necesariamente de las premisas: stas solamente la hacen
probable.
3 0
3 1
Digamos a estas alturas que por razonamiento deductivo estamos entendiendo un tipo de razonamiento que busca descubrir si
una conclusin dada es consecuencia de determinadas premisas,
asunciones, axiomas o presupuestos. Algunos ejemplos pueden
ayudar a ilustrar esta definicin.
La siguiente es una forma comn muy empleada en el razonamiento deductivo:
Si ocurre A, entonces ocurrir B
Ocurre A
En consecuencia, ocurre B.
Aqu hay dos premisas y una conclusin. Las premisas son
(1) Si A ocurre, entonces ocurrir B y (2) Ocurre A. Luego, la conclusin es ocurre B. Un caso especial de esta forma podra ser:
Si ganamos el juego, entonces ganaremos las series
Nosotros ganamos el juego
En consecuencia, nosotros ganamos las series
Por supuesto que nosotros tenemos que reconocer que esa forma argumental tambin podr aplicarse de alguna manera a una
condicin o estructura ms complicada. Podemos usar esa forma
para mostrar, por ejemplo, que el siguiente razonamiento es vlido:
Si R y S ocurren, entonces G no ocurrir
R y S ocurren
En consecuencia, G no ocurre.
Desde otro nivel deductivo consideraremos el caso de las matemticas de cualquier colegio secundario: En geometra plana,
para empezar, se nos dan un cierto nmero de axiomas. Tomemos
dos de ellos. (1) El todo es igual a la suma de sus partes. (2) Una
cantidad puede ser sustituida por su igual. Ahora, si nosotros consideramos un segmento lineal AB (el significado de segmento li-
3 2
neal deber estar dado por definicin), que est dividido en dos
partes, x e y, tal que x = y, podemos probar que 2x = AB de la manera siguiente:
1) x + y = AB, porque el todo es igual a la suma de sus partes,
x e y son partes de AB.
2) x + x = AB, porque x es igual a y, y una cantidad puede ser
sustituida por su igual; entonces podemos sustituir y por x.
3) x + x = 2x, por un axioma de aritmtica (todos los axiomas
de aritmtica se asumen en geometra plana).
4) 2x = AB, sustituyendo x + x por 2x en el paso nmero dos.
En los ejemplos arriba citados estamos haciendo deducciones
que son extremadamente simples; de hecho tan simples que el estudiante puede sentirse irritado o indignado por ser forzado a recorrer tales procedimientos tortuosos a fin de llegar a una conclusin que era tan obvia desde el primer momento. Tal como el filsofo Schopenhauer dijo, es como tener dos piernas rotas por lo
que a uno se le tenga que ensear a caminar con muletas.
Sin embargo, una metfora mejor que la de Schopenhauer podra ser aquella que se refiere al entrenamiento de un aviador para
que vuele valindose de sus instrumentos. Bajo condiciones climticas normales y cielo despejado un piloto puede volar por instinto y por reacciones naturales a los datos que le dan sus sentidos.
Pero si l se encontrase bajo una tormenta o nubes cargadas y apenas pudiese ver las puntas de sus alas ya no podra confiar ms
en su comprensin intuitiva de la situacin en que se halla. Es un
hecho muy reconocido por los aviadores que al volar a travs de
las nubes es posible sentir como si se estuviese haciendo un escalamiento cerrado, cuando de hecho se est volando recto y nivelado; o, por otro lado, estar en realidad en una espiral ceida hacia
tierra aun cuando los sentidos le digan a uno que est en una cmoda condicin de vuelo recto y nivelado.
3 3
Como resultado de tales decepciones provenientes del conocimiento intuitivo, en consecuencia, es esencial que el aviador aprenda un tipo de vuelo que est basado en una negacin deliberada
de sus sentidos intuitivos. Si l tuviese que aprender un tipo de
vuelo que lo convirtiese en un piloto profesional capaz de volar
un aeroplano en condiciones ms complejas, entonces l deber
aprender a caminar con muletas como si sus piernas se hubiesen roto. Es decir, l deber aprender a depender absolutamente
de sus instrumentos aun cuando contradigan en gran medida la
evidencia de sus sentidos.
Tanto en lgica como en matemticas el proceso de razonamiento deductivo tiene algunas de las caractersticas de los instrumentos de vuelo. Los presupuestos bsicos y las reglas de operacin con que trabajamos son anlogos a los instrumentos y su
respectivo uso en un avin. Asimismo, es tanto necesario como productivo para nosotros permanecer dentro de los lmites de aquellos presupuestos (axiomas) y reglas como lo es para el aviador
observar y volar con los instrumentos de su panel.
Si el proceso de razonamiento deductivo pudiese parecer innecesariamente tedioso al tratar los problemas elementales que hemos mencionado podemos tener la seguridad de que esta aproximacin en apariencia tediosa es la nica que resolver los problemas complicados que ocurren en el examen de temas ms profundos. Pero, ciertamente, una real certeza proviene nicamente del
uso del procedimiento deductivo en la manera como se abordan
los problemas de geometra o lgebra o lgica y descubriendo as,
por uno mismo, su utilidad y poder.
El razonamiento inductivo nos ofrece menos certeza que el razonamiento deductivo y ms bien una diversidad de grados de
probabilidad. En el razonamiento deductivo nosotros estamos efectuando las implicaciones de nuestras asunciones y reglas operativas para obtener resultados que pueden ser poco claros al principio, pero que estn en verdad ya implicados en nuestras reglas y
asunciones. Pero en el razonamiento inductivo estamos trabajando con predicciones del futuro, generalizaciones concernientes a
3 4
3 5
3 6
3 7
3 8
El tratamiento estructural que hizo el Estagirita de la deduccin signific un aporte sustancial al desarrollo de la lgica y de
la matemtica: el mtodo axiomtico. En efecto, debido a que todos
los razonamientos podan ser considerados como estructuras,
Aristteles axiomatiz su teora del silogismo. La silogstica
aristotlica forma parte de lo que hoy se considera la teora general de la inferencia deductiva y su desarrollo hace de su lgica un
antecedente remoto de la contempornea.5
Casi contemporneos con Aristteles fueron los lgicos estoicos y los megricos. Los primeros tuvieron el mrito de profundizar en algunos campos a los que el Estagirita no haba concedido
suficiente atencin. Estos filsofos son los precursores ms lejanos de la actual lgica proposicional y de las teoras que incluyen
predicados relacionales, que son indispensables para dotar a la
matemtica de una lgica adecuada que el silogismo no proporciona. Por su parte, los megricos hicieron tres aportaciones a la
lgica: una en lo relativo a las paradojas (por ejemplo, la del mentiroso, atribuida a Eublides); otra en el examen de los conceptos
modales y, adems, iniciaron un importante debate sobre los enunciados condicionales.6 El ms importante de ellos, Diodoro Cronos,
se dedic a la lgica de las modalidades temporales esclareciendo
relaciones importantes entre verdad y tiempo. Sin embargo, el influjo del Estagirita fue avasallador y los estoicos y megricos fueron desconocidos en la Edad Media, durante la cual las investigaciones lgicas se centraron en el silogismo y sus aplicaciones.
Edad Media
Durante la Edad Media los mximos representantes de la lgica
escolstica, como Pedro Abelardo, Pedro Hispano, Toms de Aquino, Raimundo Lulio y Guillermo de Occam, no slo perfeccionaron y sistematizaron temas heredados de la tradicin antigua, sino
emprendieron nuevas investigaciones como la teora de las supo5
6
Ibdem, p. 50.
Ibdem, p. 52.
3 9
siciones precursora de la moderna teora de la jerarqua de lenguajes, la cual es empleada para la eliminacin de paradojas
metalgicas. Asimismo, trabajaron en forma apreciable la lgica
proposicional y conocieron sus principales reglas de inferencia a
pesar de no manejar un lenguaje simblico adecuado, lo que hizo
muy difciles sus trabajos. Por aadidura, la concepcin nominalista de los universales de Occam que interpreta los conceptos
como nombres genricos es muy prxima a la nocin contempornea de predicado lgico.
Los escolsticos, adems, emprendieron un estudio especial y
profundo de la lgica modal llevndola bastante ms all del nivel inicial en el que la haba dejado Aristteles. Tambin se enfrentaron con el problema de las paradojas semnticas, de las
que hallaron no menos de una docena de soluciones, logrando desentraar casi todos sus aspectos. Finalmente, los escolsticos desarrollaron la mayor parte de sus investigaciones de manera
metalgica, o sea no construyendo frmulas lgicas sino describindolas, cosa que los antiguos slo haban hecho en contadas
ocasiones. No obstante, como lo anotramos lneas arriba, los filsofos medievales no lograron avanzar mucho, debido a que no
contaron con un lenguaje adecuado para un eficaz anlisis de
inferencias.
Las principales aportaciones de esta poca son las relacionadas con los trminos sincategoremticos, la teora de la suposicin
y la teora de las consecuencias.7
Renacimiento y Edad Moderna
En el siglo XVII Guillermo Leibniz el precursor de la lgica matemtica descubre por su cuenta todo cuanto haban descubierto
los estoicos, megricos y medievales y se constituye en el primer
filsofo que tom conciencia de la necesidad de disponer de un
lenguaje especial para progresar en el estudio de las deducciones.
Aunque los especialistas reconocen que esta idea ya estaba en ger7
4 0
4 1
4 2
marcara el comienzo de la lgica formal contempornea. Desarrolla un primer sistema axiomtico, plenamente simbolizado, consistente y completo, de lgica de primer orden aun antes de que se
tuvieran las herramientas lgicas adecuadas para llevar a cabo la
prueba de la completud de un sistema deductivo cualquiera.
Bochnski, por ejemplo, no duda en comparar su primera obra lgica, el Begriffsschrift, con los Primeros analticos y anota:
El Begriffsschrift contiene toda una serie de perspectivas totalmente nuevas. As, Frege es el primero en formular de manera clara la distincin entre variable y constante; el concepto
de funcin lgica y el concepto de cuantificador; da una formulacin notablemente ms rigurosa a la teora aristotlica de sistema axiomtico, distingue cuidadosamente entre ley y regla,
introduce la diferencia igualmente precisa entre lenguaje y
metalenguaje...9
4 3
4 4
filsofo y lgico austriaco Rudolf Carnap en el terreno de la sintaxis lgica y las del lgico y matemtico polaco Alfred Tarski en
el de la semntica lgica.
En su obra La sintaxis lgica del lenguaje Carnap sostiene la tesis de que la lgica de un lenguaje determinado se identifica con
su sintaxis que, a su vez, es totalmente convencional, sin estar en
ningn caso vinculada a los contenidos del discurso. Sin embargo, a slo un ao de distancia de su publicacin apareca en una
revista filosfica un largo artculo del lgico polaco Alfred Tarski,
titulado El concepto de verdad en los lenguajes formalizados,
que puede considerarse como el acta de nacimiento de la nueva
semntica.10
En 1930, el joven austriaco Kurt Gdel, de 24 aos, demostr
en su tesis doctoral el teorema ms importante de lgica matemtica de este siglo, conocido como Teorema de las Proposiciones
Indecidibles. En 1938, Claudio Shannon realiz la aplicacin del
lgebra de las proposiciones al diseo de circuitos elctricos (conmutadores y relays), lo que constituye el aporte ms importante a
la construccin de las modernas computadoras electrnicas
digitales.1 1
Lgica clsica y lgica no-clsica
El panorama de la lgica que ha heredado el mundo actual se presenta enriquecido no slo por el nmero de trabajos y resultados,
sino tambin por el nmero de las reas exploradas. Ha llegado a
ser necesario ordenar y clasificar estos tipos de lgica, destacando en nuestro medio el esfuerzo ordenador de Francisco Mir
Quesada Cantuarias para quien la lgica puede dividirse en clsica y heterodoxa o no-clsica.
De manera muy general la lgica clsica, segn Francisco Mir
Quesada, puede caracterizarse como aquella que es asertrica, es
10
11
4 5
4 6
como un conjunto de principios descubiertos a posteriori para gobernar el razonamiento matemtico. Esto es, obviamente, un reto a
la concepcin clsica de la lgica entendida como el estudio de
principios aplicables a todo razonamiento sin tener en cuenta el
contenido, y considerada como la teora ms general respecto de
la cual incluso la matemtica es secundaria. El rechazo del principio del tercio excluido es caracterstico de la lgica intuicionista.
La lgica modal es otro ejemplo de lgica no-clsica, identificada con los trabajos de Lewis. Trabaja con razonamientos que involucran esencialmente los conceptos de necesidad y posibilidad. Aade al vocabulario clsico los operadores uniposicionales
L (que se lee necesariamente), y M (que se lee posiblemente), y el operador biposicional , (que se lee implica estrictamente). Esta lgica fue tratada por Aristteles y los lgicos medievales; en el presente siglo Hugh Mac Coll contribuy con propuestas formales y filosficas. Las primeras axiomatizaciones de
lgica modal de oraciones fueron ofrecidas por Lewis en 1918.
Lewis sostiene que la implicacin material de la lgica clsica es
totalmente inadecuada para la nocin intuitiva de implicacin, que
requiere no slo que p no sea verdadero y q falso sino que p n o
pueda ser verdadero y q falso. En consecuencia propuso que se
debera introducir en la lgica de los Principia un nuevo operador
para la implicacin estricta, que podra definirse como la necesidad de la implicacin material.13
Los profesores Richard Routley y Robert Meyer, de la Universidad Nacional de Australia, y el brasileo Newton da Costa han
formulado un sistema de lgica que califican de dialctico porque
no excluye la contradiccin y contiene variantes que incorporan
el principio de negacin de tal manera que ste exprese la idea de
desarrollo. Da Costa cre un nuevo sistema de lgica, denominado actualmente paraconsistente, que ha despertado el inters de muchos lgicos contemporneos.14
13
14
Cf. HAACK, Susan, Filosofa de la lgica, Madrid, Ctedra, 1978, pp. 199200.
Cf. ALCHOURRN, Carlos, op. cit., p. 67.
4 7
4 8
4 9
Formalizacin de la inferencia:
pq
q r
_______
p r
p: eres fundamentalista
q: eres fantico
r: eres sectario
Anlisis de la inferencia mediante el mtodo analgico (aplicando la regla de inferencia del Silogismo Hipottico):
AB
BC
________
A C
pq
qr
_______
p r
5 0
Formalizacin de la inferencia:
( x) (A x Px)
( x) (Cx Ax)
Notacin
Ax: x es abogado
Px: x es profesional
Cx: x es constitucionalista
( x) (Cx Px)
Anlisis de la inferencia mediante el mtodo de la derivacin
con frmulas cuantificadas:
Notacin
EU: Ejemplificacin Universal
SH: Silogismo Hipottico
GU: Generalizacin Universal
1.
2.
3.
4.
5.
6.
( x) (Ax Px)
( x) (Cx Ax) / ( x) (Cx Px)
Ax Px
EU. (1)
Cx Ax
EU (2)
Cx Px
SH (3,4)
( x) (Cx Px)
GU (5)
5 1
5 2
Una manera sencilla de construir el nombre de una proposicin consiste en escribirla entre comillas simples. Por ejemplo: La
Tierra es mayor que la Luna es el nombre de La Tierra es mayor
que la Luna. La primera expresin pertenece al metalenguaje de
este texto y la segunda a su lenguaje objeto. Asimismo, se puede
construir nombres de nombres, de predicados, etc. Por ejemplo: canario es el nombre de canario e inteligente es el nombre de inteligente. Pero no puedo decir que canario es un pjaro, pero s que
canario es trisilbica, pues en este caso no estoy hablando de
un pjaro sino de la palabra misma.
Tal diferencia corresponde, adems a la que se establece entre
el uso y la mencin de los signos. En el primer ejemplo, No es
verdad que Ayacucho sea la capital del Per, el signo no es usado; en el segundo, No es una partcula que designa negacin y
que se antepone a una proposicin, el mismo signo es mencionado. Ya el lenguaje ordinario establece tal diferencia, como cuando
decimos: Lima es la capital del Per, donde Lima es usado, o
Lima es un vocablo de cuatro letras, donde Lima es mencionado. Las comillas simples en el segundo ejemplo sirven para subrayar que estamos frente a un caso de mencin.
De lo expuesto se desprende que en todos los textos de lgica
se insertan enunciados metalgicos y que de ordinario lgica y
metalgica van aparejadas. Sin embargo, hay ciertos problemas tratados en tales libros que son especficamente metalgicos: son los
que se refieren a la construccin de sistemas lgicos. Por ejemplo,
el problema de saber si un sistema lgico es o no consistente es un
problema fundamentalmente metalgico.
La esfera de la filosofa de la lgica est relacionada con la de
la metalgica, pero es distinta de ella. La metalgica estudia las
propiedades formales de los sistemas lgicos formales; por ejemplo, las pruebas o refutaciones de su consistencia, completud o
decidibilidad. La filosofa de la lgica trata, asimismo, de cuestiones sobre estos sistemas, pero de orden filosfico ms bien que puramente formales. Tratndose, por ejemplo de las relaciones entre
el clculo bivalente de proposiciones y el clculo plurivalente, el
5 3
5 4
Cuestionario N. 3
1. Cmo se divide la lgica de primer orden?
2. Qu estudia la lgica de proposiciones?
3. Qu estudia la lgica de predicados?
4. Qu es la lgica de relaciones?
5. Qu es la lgica de clases?
6. Qu diferencia hay entre lgica y filosofa de la lgica?
7. Qu diferencia existe entre lgica y metalgica?
8. Qu diferencia existe entre lenguaje y metalenguaje?
9. Qu diferencia existe entre uso y mencin de los signos?
10. Qu es la semitica y qu ramas de estudio comprende?
Pensamiento y lenguaje
El pensamiento, en el sentido ms amplio, es cualquier proceso
mental que se produce en la conciencia de los hombres y de manera rudimentaria en los animales. El concebir, juzgar, razonar,
imaginar, recordar, incluso el querer y sentir, son ejemplos de formas de pensamiento. En el sentido ms propio y restringido, el
pensamiento es sinnimo de inteligencia, razn o entendimiento.
El pensamiento es una de las manifestaciones ms importantes de nuestra conciencia. Gracias a l es posible la comprensin
del mundo, la captacin de objetos presentes o ausentes, la aprehensin de relaciones y entidades abstractas y la formacin de
representaciones no sensibles de ellos. Las ciencias, la filosofa
y el conocimiento en general no podran existir al margen del
pensamiento.18
Sin embargo, para conocer no basta pensar. Es necesario al mismo tiempo fijar y comunicar nuestros pensamientos a los dems.
Y esto slo es posible en virtud del lenguaje. En el sentido ms
amplio, el lenguaje es cualquier medio de comunicacin interpersonal y empleado por algunos animales. En un sentido restringido, el lenguaje es un sistema convencional de signos regulado por
18
5 5
reglas sintcticas y que sirven al hombre como instrumento de comunicacin. Es el medio de expresin del pensamiento, es decir,
su forma de existencia. Tambin es el medio ms eficaz para fijar,
conservar y transmitir los conocimientos acumulados de generacin en generacin. Si no fuera por el lenguaje se hubiera perdido
irremediablemente la valiosa experiencia de muchas generaciones
y cada nueva generacin se hubiera visto forzada a empezar de
nuevo el difcil proceso del estudio del mundo.
El lenguaje, a decir de E. Sapir, es un mtodo exclusivamente
humano y no instintivo, de comunicar ideas, emociones y deseos
por medio de un sistema de smbolos producidos de manera deliberada. Estos smbolos son, ante todo auditivos, y son producidos
por los llamados rganos del habla. Asimismo, sostiene que la
comunicacin, humana y animal (si acaso se puede llamar comunicacin), producida por gritos involuntarios instintivos, nada
tiene de lenguaje en el sentido en que este autor lo entiende.19
Con respecto del lenguaje, dice F. Saussure, hay que colocarse
desde el primer momento en el terreno de la lengua y tomarla como
norma de todas las otras manifestaciones del lenguaje. Pero, qu
es la lengua?, segn este autor, la lengua no se confunde con el
lenguaje: la lengua no es ms que una determinada parte del lenguaje, aunque esencial. La lengua es un sistema de signos que expresan ideas, y por eso comparable a la escritura, al alfabeto de
los sordomudos, a los ritos simblicos, a las formas de cortesa, a
las seales militares, etc. Slo que es el ms importante de todos
esos sistemas.20
Augusto Salazar Bondy, deja entrever, aunque sin tratarlo directamente, la posibilidad de la existencia del lenguaje entre los
animales.2 1 Igualmente, H.G. Gadamer manifiesta que, en el sentido ms amplio, el lenguaje refiere a toda comunicacin, no slo al
habla, sino tambin a toda la gesticulacin que entra en juego en
el trato lingstico de los hombres. Hay tambin el denominado
19
20
21
5 6
SAPIR, E., El lenguaje, Mjico, Fondo de Cultura Econmica, 1980, pp. 14-15.
SAUSSURE, Ferdinand de, Curso de lingstica general, Bueno Aires,
Losada, 1945, pp. 51-60.
SALAZAR BONDY, Augusto, Iniciacin filosfica, Lima, Arica, 1969, p. 117.
23
5 7
25
5 8
Siguiendo el esquema trazado por Charles Morris, en Fundamentos de la teora de los signos, pueden distinguirse tres dimensiones en el lenguaje: el sentido de los signos tema especfico de la
semntica, la interconexin de los signos entre s objeto de la
sintaxis, ntimamente vinculada con la lgica y el contexto personal y social del uso del lenguaje-cometido de la pragmtica.
Estas tres dimensiones del lenguaje se interrelacionan entre s.
En virtud de esto, el sentido de las palabras y oraciones se halla
determinado en mucho por las relaciones sintcticas entre los signos y por las implicancias subjetivas y sociales del habla. De otro
lado, las conexiones entre los signos de un lenguaje determinado,
as como su fuerza y eficacia pragmticas, dependen del sentido.
Igualmente, el uso, que es siempre un funcionar de los signos en
circunstancias concretas, consagra reglas y principios de construccin y transformacin.
En lo que atae a este punto del libro dirigiremos nuestra atencin a la dimensin semntica (del sentido o significacin del lenguaje). El sentido de una oracin es fundamental. Desde esta perspectiva, el lenguaje cumple bsicamente tres funciones: informativa, expresiva y directiva.
El lenguaje cumple una funcin informativa (llamada tambin
enunciativa, referencial o descriptiva) cuando es utilizado para
comunicar algo a otras personas, informar sobre el mundo y los
hechos, describir las cosas y sus propiedades o para explicar los
fenmenos o hechos del mundo. Gracias a ella, nuestro lenguaje
es capaz de formular conocimientos y de transmitirlos. Por ejemplo, cuando pronunciamos la oracin Los alumnos que estn reunidos en el pasillo hacen mucho ruido, por el sentido que ella tiene podemos informar a quienes nos escuchan que hay alumnos
en el pasillo y que estn haciendo ruido. stos son los hechos del
mundo a los cuales es remitido quien escucha y entiende nuestro
lenguaje.
Cumplen esta funcin todas las oraciones aseverativas o
declarativas, es decir, aquellas que afirman o niegan algo. La ciencia nos ofrece los ejemplos ms claros del lenguaje cumpliendo esta
funcin. Ejemplos:
5 9
6 0
6 1
Asimismo, en k) se denota un hecho, es decir, hay informacin; adems, se expresa la causa de la molestia, y con esto, irritacin, adquiriendo un matiz expresivo; y, finalmente, se invoca a
eludir tal situacin, con una clara intencin imperativa. Ambas
expresiones, j) y k), renen estas tres funciones claramente
diferenciables al anlisis.
Cuestionario N. 4
1. En el sentido ms amplio, qu es el pensamiento?
2. En el sentido ms restringido, qu se entiende por pensamiento?
3. Qu es el lenguaje en sentido amplio?
4. Qu es el lenguaje en sentido restringido?
5. Considera plausible el punto de vista asumido por Sapir con
relacin al lenguaje?
6. Qu comentario le sugiere la opinin de F. Saussure con respecto al lenguaje?
7. Qu piensa acerca de la posibilidad dejada entrever por H.G.
Gadamer y A. Salazar Bondy sobre la existencia del lenguaje
entre los animales?
8. Cul es la relacin entre lenguaje y pensamiento?
9. Cul es la importancia que adquieren el lenguaje y el pensamiento en el contexto humano?
10. Por qu tanto el pensamiento como el lenguaje tienen un carcter social?
11. Qu relacin existe entre las tres dimensiones del lenguaje sealadas por Charles Morris?
12. Cules son las funciones bsicas del lenguaje?
13Cundo el lenguaje cumple una funcin informativa y en qu
tipo de oraciones se expresa sta?
14. Por qu en las ciencias el lenguaje cumple exclusivamente una
funcin informativa?
15. Cundo el lenguaje cumple una funcin expresiva y en qu
tipo de oraciones se expresa sta?
16. Qu funcin cumple bsicamente el lenguaje en el mbito de la
creacin literaria?
6 2
Ejercicio N. 1
Usos de la palabra lgica
En el lenguaje coloquial
1. Seale de qu modo (como sustantivo, adjetivo o adverbio) es
usado el trmino lgica e indique su significado en los siguientes textos:
a) En esos encuentros imaginarios haba analizado diferentes posibilidades. Conozco mi naturaleza y s que las situaciones imprevistas y repentinas me hacen perder todo sentido, a fuerza de
atolondramiento y timidez. Haba preparado, pues, algunas variantes que eran lgicas o por lo menos posibles. No es lgico que
un amigo ntimo le mande a uno un annimo insultante, pero
todos sabemos que es posible. (E. Sbato, El tnel.)
b) Y tanta es la premura que el alcalde de Miraflores Germn Kruger
inaugur el viernes una obra inconclusa, aunque suene ilgico. (El Comercio, 18- 08- 02, p. 22)
c) Yo, con slo mirarla, me doy cuenta de que el mal est empezando. No es nada preciso, no hay un sntoma claro, una evidencia
objetiva; tampoco una lgica, un motivo, una causa concreta que
lo origine. (G. Polarollo, Atado de nervios.)
d) Hace poco nos enteramos de que en el Congreso se iba a eliminar
la Comisin de Cultura, arrumando sta en el furgn de cola de
otra comisin. Felizmente prevaleci la lgica y no se deshizo
con una mano lo que se haba hecho con la otra. La Comisin de
Cultura todava existe. (El Dominical del diario El Comercio, 1808- 02, p. 19.)
6 3
e) Los resultados estadsticos pueden ser considerados lgicamente vlidos... (La Razn, 16- 07- 02, p. 13.)
f) La trampa lgica por la cual todo el que se lanza contra Toledo
es un amigo de la oposicin democrtica viene avanzando
peligrosamente. (La Repblica, 22-08-02, p. 7.)
g) En la sierra es lgico que el lder decida todo sin pedir opinin de
nadie y mucho menos a una mujer; si a ello sumamos la ignorancia tenemos un modelo de atraso social. (Somos de El Comercio,
ao XV, N. 820, 2002.)
h) Los hombres adoran los razonamientos abstractos y las
sistematizaciones bien elaboradas, a tal punto que no les molesta deformar la verdad, cierran los ojos y los odos a todas las
pruebas que los contradicen con tal de conservar sus construcciones lgicas. (F. Dostoievski, Memorias del subsuelo.)
i) No pretendo afirmar que universos como el nuestro se den
de manera frecuente, simplemente afirmo que la frecuencia
es perada no es cero, dijo Tryon. La lgica de la situacin
dicta, no obstante, que los observadores siempre se encuentran
en universos capaces de generar vida, y tales universos son
impresionantemente grandes. (J. Gribbin, En busca del gato de
Schrdinger.)
j) Le escribi: pero la melancola me invade con gran fuerza, y
cuanto ms se normaliza mi salud, cuanto ms puedo pensar
con frialdad y lgica, tanto ms demencial me parece que siga
fabricando cuadros que nos cuestan tanto y no aportan nada.
(H. Frank, Van Gogh)
k) Aunque ha encontrado a Mara por casualidad, atribuye el
encuentro a la causalidad de su capacidad lgica, pero inmediatamente ante el miedo ilgico de perderla se da cuenta de su
desorientacin... (S. Sauter, Introduccin a El tnel).
l) Un piloto de una aerolnea comercial sostuvo a Correo lo siguiente: Si hubo poca visibilidad el comandante de la nave debi
regresar y evitar el aterrizaje. Lo lgico era no continuar con el
vuelo (Correo, 12-01-2003).
m) El concepto de etnicidad que opera en la novela presupone una
relacin de causalidad entre los orgenes y el estado actual de
6 4
Ejercicio N. 2
Reconocimiento de enunciados segn su relacin
con las ramas de la semitica
1. Indique a qu rama de la semitica pertenecen los siguientes
enunciados y explicar por qu, teniendo en cuenta el siguiente ejemplo:
Los escolares usan insignias en el pecho que indican a qu
colegio asisten.
Respuesta: Este enunciado pertenece a la pragmtica, pues
hace referencia al uso de insignias como signo.
a) Las palabras graves llevan acento ortogrfico slo cuando terminan en una consonante que no sea n o s.
b) Los alemanes pronuncian la r con un fuerte tono gutural.
c) La palabra inglesa end significa fin en espaol.
d) Las mujeres hindes despus de casarse usan una pequea marca circular de color rojo en la frente.
e) En el comps de cuatro cuartos un silencio de blanca significa la
interrupcin del sonido del instrumento o de la voz durante
medio comps.
6 5
f) La palabra que tiene valor de pronombre relativo cuando forma parte de una oracin subordinada adjetiva.
g) El bajo nivel de hemoglobina en la sangre es seal de anemia.
h) La palabra lima tiene diversos significados segn el contexto
en que se la use.
i) Tehern es la capital de Irn es una proposicin verdadera.
j) La aparicin de colores intensos en algunos animales indica que
stos se encuentran en su periodo de apareamiento
k) Las palabras esdrjulas llevan el acento prosdico en la
antepenltima slaba.
l) Los ingleses y los franceses pronuncian algunas consonantes de
manera muy distinta.
m) La alarma indica que hay peligro de incendio en el edificio.
n) Las corcheas son ms breves que las blancas.
) Los estandartes en los desfiles o paradas militares se utilizan
para identificar la procedencia de cada uno de los grupos.
o) En algunas tribus, cierto tipo de peinado es signo de que las
mujeres que lo usan son solteras.
p) Los uniformes permiten reconocer a qu institucin militar pertenece el que lo usa y cul es su grado.
q) Despus de la luz verde de un semforo se enciende la amarilla
y luego la roja.
r) Cuando suenen dos timbres consecutivos se podr ingresar en el
comedor.
s) Los operadores lgicos didicos tienen mayor jerarqua que el
operador mondico.
Ejercicio N. 3
Funciones del lenguaje
1. Distinga las funciones bsicas del lenguaje en los siguientes textos, y precise los casos de funcin mltiple.
a) La defensa de la persona humana y el respeto de su dignidad
son el fin supremo de la sociedad y del Estado. (Constitucin Poltica del Per, Art. 1.)
6 6
b) Todos ustedes deben hacer lo mismo que Humberto Grieve. Deben ser buenos alumnos como l. Deben estudiar y ser aplicados
como l. Deben ser serios, formales y buenos nios como l. (Csar Vallejo, Paco Yunque.)
c) Los preparativos para la fiesta de quince aos de Zara Toledo
estn a la orden del da en Piura. El vestido, el local, el buffet, las
bebidas y los invitados. Zara quiere algo sencillo y de paso deja
las puertas abiertas para que concurra su padre a lo que ser su
fiesta del ensueo. (La Republica, 14-12-2003.)
d) Si eres un bien arrebatado al cielo/ por qu las dudas, el gemido, el llanto/ la desconfianza, el torcedor quebranto/ las turbias
noches de febril desvelo? (Manuel Gonzlez Prada, El amor.)
e) No hay dinero, no hay nada por ahora. Clmate, Garmendia.
Con el tiempo se te pagar. (Ciro Alegra, Calixto Garmendia.)
f) El funcionario pblico que, abusando de sus atribuciones, comete y ordena, en perjuicio de alguien, un acto arbitrario cualquiera, ser reprimido con pena privativa de libertad no mayor de
dos aos. (Cdigo Penal Peruano, Art. 376.)
g) Admitir que la no-verdad es condicin de la vida: esto significa,
desde luego, enfrentarse de modo peligroso a los sentimientos de
valor habituales; y una filosofa que osa hacer esto se coloca, ya
slo con ello, ms all del bien y del mal.(F. Nietzsche, Ms all
del bien y del mal.)
h) No quiero abrazos ni chacta. Que vengan aqu todos los yayas
desarmados y, a veinte pasos de distancia, juren por nuestra
jirca que me dejarn partir sin molestarme. (Enrique Lpez
Albjar, Ushanan jampi.)
i) Aprovecha ahora que eres joven para sufrir todo lo que puedas,
que estas cosas no duran toda la vida. (Gabriel Garca Mrquez,
El amor en los tiempos del clera.)
j) Lloraban mis hermanas, y la ms pequea, Jess, me dijo en
secreto, antes de salir: Oye, anda junto con l. Cudalo...
pobrecito! (Abraham Valdelomar, El Caballero Carmelo.)
k) Obra de manera tal que la mxima de tu voluntad pueda siempre
valer como principio de una legislacin universal. (Immanuel
Kant, Crtica de la razn prctica.)
6 7
6 8