LGICA

1. Qu es la lgica?
La lgica es el lenguaje del razonamiento, el trmino lgica proviene del griego logos que significa
discurso pero se aplica al campo de la inteligibilidad y del pensamiento ordenado. La lgica se define
formalmente como la ciencia que se ocupa de la validez de la inferencia y demostracin. La profunda
comprensin de la lgica presenta ms matices y se revela sumamente atractiva para los filsofos.
La lgica se ocupa principalmente de los principios del razonamiento vlido, como, por ejemplo, qu
es necesario para considerar que una argumentacin sea lgicamente vlida; es decir, trata de explicar
qu son los principios del razonamiento vlido de la manera ms sistemtica posible.
l ser implementada por un !bil profesional la lgica se convierte en una poderosa !erramienta para
interrogar al mundo en el que vivimos. La lgica filosfica introduce el rigor y la claridad de la
matemtica al lenguaje de los filsofos.
"oy en d#a cuando !ablamos de lgica solemos referirnos, en realidad, a una rama de la matemtica.
$uando los filsofos !ablan de %la lgica& se refieren a %la lgica moderna& que antes sol#a llamarse
%lgica simblica& pero se la denomina virtualmente %lgica matemtica&. Las mismas comprenden
la teor#a de los conjuntos y la teor#a de las funciones computables que es el aspecto matemtico de lo
que se conoce como ciencia de la computacin.
$omo medio para describir el pensamiento racional la lgica trasciende muc!os l#mites filosficos y
se adentra en el campo de la metaf#sica, la epistemolog#a y la filosof#a de la mente y del lenguaje. 's
una !erramienta para trabajar sobre ciertas nociones bsicas como la referencia, la predicacin, la
identidad, la verdad, la cuantificacin, la existencia, la necesidad, la definicin y la consecuencia.
2. La lgica de Aristteles
'l origen de la lgica se remonta a ristteles quien vivi la edad de oro en la cultura griega en el
siglo () antes de $risto. *us reflexiones sobre la lgica pueden apreciarse en algunas de sus obras
entre las que podemos mencionar Primeros Analticos, Segundos Analticos, Categoras y Sobre la
Interpretacin, que en conjunto se conocer bajo el nombre de Organon. ristteles deseaba
establecer reglas que permitieran a los ciudadanos griegos detectar una argumentacin vlida y
correcta de otra invlida y, por lo tanto, incorrecta.
'l principio de no contradiccin y del tercero excluido son fundamentales en la lgica aristotlica. 'l
principio de no contradiccin sostiene que ninguna proposicin puede ser verdadera y falsa a la vez.
+ientras que el principio del tercero excluido sostiene que una proposicin debe ser o bien verdadera
o bien falsa.
ristteles cre su sistema de lgica formal a fin de poder determinar la validez de una
argumentacin, independientemente de su contenido. 'l centro de la lgica formal aristotlica es el
silogismo, una forma de argumentacin compuesta de , premisas y una conclusin, como, por
ejemplo,
1
-. .odos los !ombres son mortales
,. *crates es un !ombre .
/or lo tanto, *crates es mortal
3. El Silogismo
0urante muc!o tiempo la lgica estuvo dominada por ristteles y su teor#a del silogismo. /odr#a
decirse que l ten#a una visin muy simple acerca de lo que es un razonamiento. 1n t#pico ejemplo de
razonamiento para l ser#a2
-. .odo es 3
,. .odo 3 es $ .
/or lo tanto, todo es $
'scribe ristteles 4s. () a.c.52
Un silogismo es un discurso en el que una ve concedidas ciertas cosas, se siguen, o concluyen,
necesariamente otras distintas! "e re#iero con esta $ltima #rase a que las mismas producen la
consecuencia y, por ello, no se requiere de ning$n otro t%rmino adicional para &acer que la
consecuencia sea necesaria!'
'n el silogismo aristotlico la conclusin se deduce de las premisas. *i no sabemos que *crates es
mortal, entonces el !ec!o de que todos los !ombres sean mortales y que *crates sea un !ombre
puede ofrecerse como prueba para afirmar efectivamente que *crates es mortal. 'ste es un
razonamiento deductivo, es decir, que la conclusin es la consecuencia necesaria de las premisas. La
caracter#stica de un silogismo disyuntivo exitoso consiste en que al ser ejecutado directamente no
pueden inferirse conclusiones falsas de premisas verdaderas. .omemos el siguiente ejemplo2
-. .odos los rboles son plantas
,. .odos los robles son rboles .
/or lo tanto, .odos los robles son plantas.
/odemos formalizar el anterior razonamiento y expresarlo de esta manera
-. .odo + es /
,. .odo * es + .
/or lo tanto, todo * es /
'sta forma de argumentacin es vlida y su validez es totalmente independiente de la verdad de los
enunciados que la componen.
/or ejemplo, tomemos un razonamiento tan discutible como el siguiente2
-. .odos los rboles son ngeles
,. .odos los pjaros son rboles .
/or lo tanto, todos los pjaros son ngeles
2
pesar de las apariencias este argumento es totalmente vlido aunque sus premisas y conclusin
sean falsas. simismo, tambien puede ser vlido un razonamiento con premisas falsas y conclusin
verdadera
-. .odos los rboles son flores
,. .odos los claveles son rboles .
/or lo tanto, todos los claveles son flores
. I!ducci!
La otra forma bsica de razonamiento lgico es el inductivo. 6ue establece cmo inferir
generalizaciones confiables de los !ec!os observables.
ristteles no !ablaba 7nicamente sobre la deduccin sino tambin sobre la induccin. 0esde ya el
no empleaba el trmino en lat#n sino el trmino griego del que fue traducido. *i bien no tiene una
explicacin satisfactoria acerca de la induccin considera que la ciencia requiere tanto del
conocimiento deductivo como del inductivo. +enciona como ejemplo, en *egundos nal#ticos, la
siguiente situacin. "ay personas que estn muriendo a causa de una sustancia venenosa, pero no se
sabe cul es. 0e pronto surge la !iptesis de que es debido a algo que !a estado comiendo, algo que
es venenoso. 8l usa una metfora muy grfica y compara el pasaje de tener datos desordenados a
construir una !iptesis con un ejrcito en retirada. 0e pronto, mientras se estn retirando las tropas
un valiente soldado se pone de pie y dice2 %9o, pnganse de pie conmigo nosotros podemos vencer a
estos !ombres, y luego el ejrcito se organiza y vence en la batalla&
l pasar de lo particular a lo general un razonamiento inductivo no debe garantizar la transferencia
de la verdad de las premisas a su conclusin. .omemos el siguiente ejemplo en el que tanto las
premisas como la conclusin son verdaderas.
-. 'sta barra de plata es metal y es conductor de la electricidad
,. 'sta barra de oro es metal y es conductor de la electricidad
:. 'sta barra de cobre es metal y es conductor de la electricidad .
/or lo tanto, concluimos inductivamente que todo lo que es metal es conductor de la electricidad.
*i encontramos un razonamiento deductivo que tenga premisas verdaderas y conclusin falsa,
decimos que dic!a forma es invlida.
/ero observemos qu sucede si lo intentamos con un razonamiento inductivo
-. 'sta barra de plata es metal y es slida.
,. 'sta barra de oro es metal y es slida.
:. 'sta barra de cobre es metal y es slida .
/or lo tanto, todo lo que es metal es slido.
0esde ya, esta conclusin es falsa2 el mercurio 4"g5 es metal y es l#quido.
diferencia de lo sucedido con el razonamiento deductivo, ristteles no pudo encontrar en la
induccin un mtodo formal para determinar su validez. 's por ello que ristteles afirmaba que la
induccin no es demostrativa y la releg a un segundo nivel de importancia.
3
*eg7n ristteles2
(o podemos establecer por induccin una verdad universal sobre la evidencia aportada por
grupos de particulares que no o#recen ninguna e)cepcin, porque la induccin no demuestra cu*l es
la naturalea esencial de una cosa sino si la misma tiene o carece de un cierto atributo'!
*i bien la lgica aristotlica es fundacional seg7n los parmetros modernos no se considera que dic!o
sistema sea fuerte. $on el paso del tiempo present grandes defectos formales y deposit demasiada
confianza en el silogismo disyuntivo. 9o obstante, a7n permanece abierta la pregunta acerca de !asta
qu punto la debilidad de su lgica socav la totalidad de su obra filosfica.
". #i$os de Lgica
0ice ;it <ine 4/rofessor of /!ilosop!y 9e= >or? 1niversity52 %unque la lgica aristotlica fuera
pobre no creo que su pensamiento filosfico se viera empobrecido como resultado de ello. +uc!as
personas consideran lo contrario2 que un pensador puede trascender su propia opinin acerca de
cmo se debe proceder en el campo de la lgica. unque uno considere que esta sea la manera en que
debe realizarse un razonamiento lgico uno va a razonar en la manera en que le parezca que lo debe
!acer independientemente de lo que piense acerca de cmo se deber#a proceder&.
1na de las restricciones del sistema aristotlico fue combinar dos proposiciones para dar lugar a una
tercera ms compleja. Los filsofos estoicos que prosperaron en tenas aproximadamente ,@ aAos
despus de la muerte de ristteles crearon una lgica proposicional que estudiaba enunciados en
cuanto son necesariamente verdaderos o falsos y las condiciones de su verdad o falsedad.
"ay dos tipos fundamentales de lgica2
La lgica proposicional y la lgica predicativa. La lgica proposicional se ocupa de aquellos
enunciados que pueden ser verdaderos o falsos sin estudiarlos en cuanto a su significado. La lgica
predicativa es una !erramienta ms poderosa con reglas de inferencia adicionales que pueden
presentar variables y expresar equivalencias entre proposiciones como2
%9o todas las rosas son rojas&
%lgunas rosas no son rojas&
/or supuesto, la lgica predicativa es la lgica de los predicados y lo notable acerca de la misma es el
sistema de variables y cuantificadores que utiliza, emplea variables simples como ), y y y
cuantificadores como %/ara .odos& y %lgunos&. La lgica predicativa se utiliza de cierta manera en
forma opuesta a la lgica proposicional, en donde tomamos a un enunciado como unidad y no
analizamos al que denominamos, %p&, por ejemplo. +ientras que en la lgica predicativa analizamos
dic!o enunciado dividindolo en sujeto y predicado.
'l aporte que los estoicos !icieron a la lgica pas virtualmente inadvertido durante siglos. lgunos
filsofos medievales como por ejemplo Balter 3urley, Cuillermo de Dc?!am, Eo!n 3uridan. lberto
de *ajonia y /aolo de )enecia se concentraron en reforzar la lgica aristotlica y !acer importantes
aportes a la misma. *in embargo, el avance inexorable de la ciencia !izo necesaria la aparicin de
4
nuevos sistemas de pensamiento. > fue el filsofo ingls <rancis 3acon quien formul un sistema que
!abr#a de desafiar la ortodoxia del rganon de ristteles.
%. El Novum Organum de &aco!
3acon no fue muy modesto al presentarse a s# mismo como el creador del nuevo rganon, de una
nueva lgica para interrogar al mundo. La lgica antigua era 7til para presentar lo que uno ya sab#a
pero no para descubrir cosas nuevas. Lo que 3acon intent !acer en el nuevo rganon fue
precisamente proveer un mtodo para interrogar al mundo que implicara ir por el mundo recogiendo
datos y organizndolos en diferentes tablas y poder extraer conclusiones tericas de los datos que
!ayamos ingresado a dic!as tablas. 3acon quiso presentar una manera racional de organizar la
experiencia y de interrogar la naturaleza de forma tal que con esta combinacin de razn y
experiencia realmente pudiramos progresar.
0e acuerdo a <. 3acon2
Si bien mi m%todo es di#cil de practicar es, no obstante, sencillo de e)plicar y consiste en lo
siguiente! Propongo establecer etapas de certea progresivas! Acepto la evidencia de los sentidos
guiada y protegida por un proceso de correccin cierto, pero rec&ao en su mayor parte la
operacin mental que sigue al acto sensorial! +n lugar de ello, introduco y e)pongo un nuevo
camino seguro en el que la mente pueda traba,ar comenando directamente con la m*s simple de las
percepciones sensoriales!'
'. La lgica (oder!a) George &oole
'n el siglo F(F los filsofos comenzaron aplicar activamente estructuras matemticas al campo de la
lgica. 'sta revolucin matemtica marc el comienzo de lo que !oy se conoce como la lgica
moderna.
La lgica !izo eclosin despus de -GHI cuando Ceorge 3oole un gran matemtico ingls, que
tambin !izo grandes aportes a la teor#a de las ecuaciones diferenciales y cre lo que se conoce como
el clculo de las secuencia finitas, invent el lgebra de la lgica o lgebra de clases un aporte que si
bien !oy en d#a es considerado como algo elemental todav#a representa un logro importante. 0espus
de -GHI la lgica no dej de evolucionar.
3oole un matemtico autodidacta ampli la obra del filsofo alemn Codfried Leibnitz y cre la
primera lgebra de la lgica. 3oole descubri que los s#mbolos de la lgica se comportaban de la
misma manera que los algebraicos y utiliz a estos 7ltimos para expresar proposiciones !ipotticas,
tales como2
-. *i y 3, entonces $ y 0
,. /ero y 3 .
'ntonces $ y 0
/ero en lugar de tratar los trminos del silogismo , 3, $ y 0 estim ms importante considerar, en
general, la verdad de las proposiciones.
5
'ntonces, si / es verdadera, entonces 6 ser verdadera, donde / y 6 representan proposiciones. 'ste
razonamiento ser perfeccionado por el matemtico Cottlob <rege dando origen a la lgica
proposicional.
*. Gottlo+ ,rege
'l avance decisivo realmente se produjo en el siglo F(F y aunque diversas personas estuvieran
interesadas en cmo o qu pod#an mejorar en la obra aristotlica fue <rege quien logr el verdadero
progreso e introdujo la era moderna de la lgica con lo cual las dos figuras principales ser#an
ristteles o <rege.
Cottlob <rege era un intelectual poco conocido en su poca, un matemtico que se propuso
demostrar que las leyes aritmticas pod#an reducirse en 7ltima instancia a la lgica lo cual se conoce
bajo el nombre de logicismo. "izo el aporte individual ms importante para el estudio de la lgica en
la !istoria de dic!a disciplina. <ue el primero en identificar la distincin entre los axiomas lgicos y
las reglas que son necesarias para realizar una deduccin. 0io los primeros pasos !acia la
axiomatizacin de la lgica, cre el calculo proposicional y refin la nocin aristotlica de la
cuantificacin. 'l pasaje de la era aristotlica a la era moderna !ab#a concluido.
ristteles ten#a una visin muy simple acerca de qu tipos de enunciados pod#an incluirse en un
razonamiento lgico. /resentaba fundamentalmente I formas.
-oda A es .
(inguna A es .
Alguna A es .
Alguna A no es .
>, bsicamente intent descifrar cuales son los patrones de inferencia vlidos involucrados en dic!os
enunciados2 un logro verdaderamente importante. /ero el principal problema con la lgica es que
presentaba un visin muy empobrecida de lo que puede afirmarse.
'l enunciado2 %.odo niAo ama a una niAa& no puede enmarcarse fcilmente dentro del tipo de
enunciados que ristteles ten#a en consideracin, entonces, l no podr#a abordar el razonamiento
que estos enunciados implican. 'l gran avance de <rege fue ver cmo organizar estos enunciados
diferentes de manera sistemtica y una de sus grandes innovaciones fue explicitar el uso de las
variables en la lgica, entonces l expresar#a el enunciado -#odo !i.o ama a u!a !i.a/ de la
siguiente manera2 para cada x, siendo x un nio hay una y luego y es una nia amada, entonces x
ama a y0 e introdujo este sistema de variables y cuantificadores lo cual le permite expresar una
variedad muc!o mas amplia de enunciados y proveer una explicacin muc!o ms integral de lo que
puede ser el razonamiento lgico.
Cracias a 3oole y <rege los filsofos desarrollaron una notacin ms rigurosa para el anlisis lgico.
*eg7n la lgica aristotlica en un razonamiento la verdad de la conclusin est implicada en la
verdad de las premisas. /or lo tanto, es posible convertir cualquier razonamiento en un condicional
respetando la estructura %siJ entonces&. *i las premisas son verdaderas entonces la conclusin
tambin ser verdadera lo cual puede simbolizarse as#.
/K6
6
%/& expresa las premisas y %6& la conclusin y el s#mbolo entre las mismas 4K5 la relacin entre
ambas. /or ejemplo, la afirmacin si corro, entonces me canso, puede simbolizarse dic!a manera.
qu# el antecedente %*i corro& es condicin suficiente pero no necesaria para que se cumpla el
consecuente %entonces me canso&. 's decir, que es suficiente que corra para que me canse pero no
necesario porque puedo cansarme por cualquier otra causa. 1na condicin suficiente es aquella que
siendo verdadera implica necesariamente que sus consecuencias tambin lo sean. /ero no ocurre lo
mismo a la inversa. 'l consecuente puede ser verdadero y antecedente falso sin afectar el valor de
verdad del condicional. 'ste tipo de anlisis es fundamental dentro de la filosof#a moderna.
1. 2ussell 3 45ite5ead
La obra monumental de <rege /os #undamentos de la Aritm%tica influy profundamente al filsofo
ingls 3ertrand Lussell, su obra Principia "at&ematica escrita en colaboracin con su mentor lfred
9ort! B!ite!ead le debi muc!o a la obra pionera de <rege.
Eunto con el rganon de ristteles Principia "at&ematica es, sin dudas, la obra ms influyente
dentro del campo de la lgica. 'n ella Lussell tom el desarrollo del logicismo iniciado por <rege.
<rege es una figura sumamente importante debido a que anticip la reduccin de la matemtica a la
lgica simblica y se discute si se trata realmente de una reduccin. /ero !ab#a una falla en su
sistema. Lussell le escribi una famosa carta en la que le seAalaba que la denominada paradoja de
Lussell pod#a verificarse en el sistema de <rege lo cual representaba una verdadera inconsistencia e
!izo que <rege desistiera de su teor#a. Lussell formul la paradoja que encontr en la lgica de <rege
de la siguiente manera2
/a clase de todas las clases que no pertenecen a s mismas pertenece a s misma si y solo si no
pertenece a s misma!
La cr#tica que Lussell le !izo a <rege !oy conocida como la parado,a de 0ussell es uno de los tantos
dilemas falacias y paradojas que ponen a prueba la verdadera capacidad de los lgicos. 0entro de las
ms conocidas podemos mencionar a la infame paradoja del +entiroso que a cautivado a los
filsofos desde que 'pimnides de $reta declarara que todos los cretenses eran mentirosos.
*i bien esta es no es su forma ms antigua la paradoja del mentiroso consiste en lo siguiente, digamos
que escribo en una !oja de papel una 7nica oracin que dice %La 7nica frase en esta !oja de papel es
falsa& o tambin %la 7nica frase en esta !oja de papel no es verdadera&. 1sted pregunta si la 7nica
frase en esa !oja de papel es verdadera, responder#a que si lo fuera entonces no lo ser#a porque eso es
lo que dice la frase misma. 'ntonces, por oposicin, podemos decir que no es verdadera, pero es la
7nica frase en esa !oja de papel, entonces es verdadera.
'scriben 3ertrand Lussell y lfred 9ort! B!ite!ead2
/os crculos viciosos surgen de suponer que un con,unto de ob,etos pueden contener miembros que
solo pueden de#inirse a trav%s del con,unto considerado como un todo!'
7
16. Al7red #ars8i
'l enfoque de 3ertrand Lussell sobre el lenguaje fue retomado por el lgico polaco lfred .ars?i,
fundador de la lgica semntica. *u aporte ms importante es su teor#a semntica de la verdad. .ars?i
sostuvo que si se tiene tiene un sistema de notacin formal, por ejemplo, un lenguaje formal como el
que crearon Lussell y B!ite!ead en el que se puede expresar toda la matemtica moderna inclusive
la prueba de 3ayes o el teorema de <ermat, o si se tiene un lenguaje formal como el creado por la
ciencia de la computacin cuyas implicancias filosficas sern discutidos por muc!o tiempo, advirti
que era posible decir que un enunciado era verdadero sin utilizar el trmino %verdadero& simplemente
repitiendo el enunciado. 1no puede decir que el enunciado %la nieve es blanca es verdadero& pero no
!ay necesidad de mencionar la palabra %verdadero&. *implemente diremos la nieve es blanca.
'ntonces Mpara qu necesitamos el %trmino& verdaderoN
*eg7n .ars?i2
/as personas no &an advertido que el lengua,e sobre el cual &ablamos no debe coincidir
necesariamente con el lengua,e con el que &ablamos! 1+llos2 &an desarrollado una sem*ntica del
lengua,e en este mismo lengua,e y, en t%rminos generales, procedieron como si slo &ubiera un tipo
de lengua,e en el mundo'!
11. 9a:id ;il+ert
'l matemtico alemn 0avid "ilbert, a comienzos de la dcada de -O,@, formul una propuesta para
formalizar la matemtica de manera axiomtica. esta propuesta se la denomin el programa de
"ilbert e introdujo a la lgica dentro del campo del lenguaje.
La lgica dio un giro lingP#stico no tanto con <rege sino ms que nada con "ilbert quien elabor un
programa2 la <ilosofia de la +atemtica; en el que deb#a probar que la matemtica era realmente
consistente. 'ntonces ten#a que tratar a la matemtica en s# como un objeto matemtico, por lo cual,
centr su atencin no en los objetos matemticos en s# sino en los s#mbolos matemticos. 'sto es lo
que se conoce como Metamatemtica y la lgica realmente despeg a partir de ese momento. Cran
parte de la lgica no se ocupaba de las cosas reales en s#, es decir, de aquello sobre lo que estamos
!ablando sino del lenguaje real que utilizamos para referirnos a ellas. 'ntonces, si bien creo que
dic!o enfoque puede resultar extraAo para <rege y Lussell !ab#a dudas acerca de si estaban
refirindose a lo que dic!o lenguaje representa o al lenguaje en s#.
12. <urt G=del
'l programa de "ilbert ejerci una influencia decisiva sobre el matemtico y lgico c!eco ;urt
CQdel, quien sosten#a que todos los sistemas lgicos eran esencialmente incompletos. medida que
la matemtica fue alejndose de la visin euclidiana tradicional, los matemticos buscaron nuevas
formas de desentraAar las posibles inconsistencias internas de su obra. 6uer#an ver si pod#an excluir
la posibilidad de que para un teorema ya probado tambin pudiera verificarse un teorema opuesto
!aciendo que su sistema careciera de sentido. /ara ello, era necesario garantizar la integridad de sus
sistemas, es decir, que !ubiese una manera de probarlo o refutarlo. 'sto podr#a ser dif#cil para un
teorema en particular pero los matemticos estaban convencidos de que era cierto en principio.
8
La visin de CQdel es la siguiente2 esta es la paradoja del +entiroso a menos que no se verifique que
un enunciado o su negacin debe ser demostrable. 'ntonces, gracias a que %demostrable& no es lo
mismo que %verdadero& pudimos evitar que lograra producir la paradoja del +entiroso, lo cual
!ubiera sido negativo ya que a diferencia de la paradoja de Lussell que requiere de una teor#a de
conjuntos muy fuerte para poder desarrollarla, el teorema de CQdel es un teorema de aritmtica
elemental que podr#a demostrar que toda la teor#a de los n7meros es inconsistente, es decir, que tiene
ciertas contradicciones. 's como si CQdel !ubiese estado jugando al juego de la gallina para ver qu
tan cerca pod#a estar de probar que existen inconsistencias en la parte ms elemental de la
matemtica y en lugar de c!ocar contra la pared o contra otro automvil produjo esta maravillosa
paradoja cuyo significado ser objeto de anlisis filosfico por siempre.

CQdel demostr que un sistema axiomtico formal sencillamente no puede ser consistente y completo
a la vez, o bien no puede probarse todo dentro de un sistema particular o no se puede garantizar que
no !aya alguna contradiccin. /ara los matemticos no pod#an ocurrir ambas cosas a la vez.
0espus de Lussell la figura ms importante fue CQdel. 'llo se debe principalmente no solo a sus
grandes logros en el campo de la +etamatemtica sino a los resultados obtenidos sobre los l#mites de
los sistemas formales. /resent un sistema matemtico mediante el cual es posible referirse
razonablemente acerca de los n7meros. /ero el !ec!o de si es o no consistente no puede probarse
dentro del sistema. > tambin demostr que si es consistente entonces !abr ciertos enunciados
dentro del sistema para los que no ser posible comprobar si son verdaderos o falsos. 'sta ser#a una
formulacin bien elemental acerca de los resultados de CQdel que fueron un logro extraordinario de
enorme significado filosfico.
*eg7n CQdel2
(o es posible a#irmar con certea sobre ning$n sistema #ormal que todas las consideraciones
conceptuales pueden representarse dentro del mismo'!
13. C>rculo de ?ie!a
CQdel frecuentaba un grupo de pensadores que se reun#a en )iena para discutir aspectos filosficos.
'ste grupo conocido como $#rculo de )iena estaba compuesto por2 +oritz *c!lic?, Ludolf $arnap,
Dtto 9eurat! y muc!os otros.
*e inspiraron en los rpidos avances de la ciencia y la lgica e iniciaron un movimiento llamado
/ositivismo Lgico. *eg7n la visin positivista, un enunciado acerca del mundo pod#a tener sentido,
si y solo si, pod#a verificase emp#ricamente o si se pod#a demostrar su verdad a travs del anlisis
lgico de sus signos o s#mbolos. La lgica se !ab#a ubicado en el centro del debate filosfico.
1. Ala! #uri!g
medida que la lgica evolucion en el siglo FF, la misma influy decisivamente en el desarrollo
de la ciencia de la computacin. Ceorge 3oole !ab#a expresado enunciados usando un cdigo binario
compuesto por %-& y %@& 4unos y ceros5 que le resultar familiar a cualquier programador
contemporneo. La mquina de .uring es la representacin abstracta del funcionamiento de una
computadora y recibi su nombre en !onor al lgico matemtico ingls lan .uring. La mquina de
9
.uring es un invento destinado a formalizar el funcionamiento de una computadora. 'sta consiste
realmente en un procedimiento mecnico que procesar cierto resultado. 'ntonces, en realidad la
mquina de .uring es un conjunto de instrucciones expresadas que !oy en d#a recibir#an el nombre
algoritmos a las que uno presentara un problema y las mismas nos proveern un resultado sin
necesidad de usar el entendimiento, el ingenio o la creatividad. > eso es precisamente lo que !ace una
computadora. 's un simple conjunto de reglas mecnicas. .uring descubri la manera de !acer una
mquina que comprende una cinta que se mueve y borra ciertos elementos. 's precisamente la idea
de una computadora. La mquina de .uring es simplemente una computadora, un sistema
completamente mecnico que manipula s#mbolos.
1". El $ro+lema de la i!ducci!
1no de los aspectos de la lgica que !a intrigado a los filsofos por siglos es la induccin que regula
cmo inferimos reglas generales de los !ec!os que observamos. $omo no ofrec#a la certeza lgica de
la deduccin, ristteles ten#a profunda sospec!as acerca del razonamiento inductivo, sospec!as que
luego fueron compartidas por muc!os filsofos.
'n realidad, la induccin no jug un papel muy importante debido a la idea equivocada de ristteles
de que la induccin era un sostn provisorio y que cuando uno descifrara que estaba sucediendo era
posible encontrar ciertos principios intuitivos a priori a partir de los cuales se pod#a aplicar la
deduccin. 0ic!o error result extremadamente costoso ya que no fue sino !asta la generacin de
<rancis 3acon que se advirti que no se puede !acer ciencia por mtodos a priori, sino que es
necesario usar la induccin. La induccin no es un sostn provisorio ni algo que deba ser superado
por una reflexin apod#ctica sino que es esencial.
La importancia del papel de la induccin para la ciencia, seg7n la cual las !iptesis estn respaldadas
por la acumulacin de evidencia inst a muc!os filsofos a intentar ubicarla dentro del razonamiento
vlido, en caso de que ello fuera posible.
'l filsofo austriaco Karl Popper sostuvo que en la vida diaria utilizamos un mtodo de prueba y
error que puede parecer inductivo pero cuya estructura lgica era completamente diferente.
Peter Strawson sostuvo que la induccin no deb#a !acerse pasar por la deduccin para ser
considerada vlida, ya que existe un principio de uniformidad en la naturaleza que convalida las
conclusiones del razonamiento inductivo.
'l filsofo estadounidense Nelson Woodman argument que no era posible crear un sistema formal
de lgica inductiva ya que para cada !iptesis confirmada por la evidencia existe un n7mero infinito
de !iptesis alternativas que tambin pod#an ser confirmadas por dic!a evidencia.
La teor#a de la confirmacin 3ayesiana que debe su nombre al matemtico ingls del siglo F)(((
homas !ayes. 's un mtodo que apoya la lgica inductiva basndose en la probabilidad estad#stica
mediante la combinacin del sentido com7n y la evidencia observacional.
10
1%. Los di7ere!tes sistemas lgicos
s# como la lgica fue ejerciendo cada vez mas influencia sobre la filosof#a tambin aument el
n7mero de sistemas destinados a abordar las diferentes reas de investigacin.

La lgica e@te!si:a 4'xtensional Logic5 fue creada para !acer afirmaciones sobre objetos, relaciones
entre objetos y las relaciones en s#.
La lgica modal introduce los operadores necesario y posible pero no tiene en cuenta la existencia de
lo necesario o de lo posible.
'l filsofo estadounidense "larence #rving $ewis inici el anlisis moderno de la modalidad con la
publicacin en -O-G de su libro Investigacin sobre la lgica simblica.
'xiste un movimiento moderno que comenz con Le=is a comienzos del siglo pasado y persiste
!asta nuestros d#as. La lgica modal se convirti en una parte muy importante no tanto de la filosof#a
sino de la ciencia de la computacin y de la lingP#stica. +uc!os movimientos lingP#sticos y enfoques
importantes sobre el comportamiento de programas se basaron en la lgica modal. simismo la
lgica modal es de suma utilidad para discutir aspectos de la filosof#a del tiempo. 'ntonces, es una
rama de la lgica que tiene gran influencia tanto dentro como fuera del campo de la filosof#a.
La lgica de!tica introduce los operadores %debe& y %puede& dentro del lenguaje lgico y presenta
un nuevo tipo de lenguaje en la discusin filosfica de la tica. La lgica dentica analiza el aspecto
del deber y trata de comprender proposiciones tales como
%'s obligatorio J&
%'st permitido J&
%'st pro!ibido J&
La lgica e$istmica0 tal como lo indica su nombre, se ocupa de los aspectos epistemolgicos
in!erentes a proposiciones del tipo de2
%.oms sabe J&
R+ar#a supone J&
%>o creo J&
La lgica di:erge!te 40eviant logic5 rec!aza el principio del tercero excluido que desde la poca de
ristteles elimina cualquier posibilidad entre la verdad y la falsedad. este grupo pertenecen la
lgica plurivalente 4multiSvalued logic5, la lgica universal 4universal logic5 y la lgica difusa 4fuzzy
logic5.
La lgica $luri:ale!te acepta ms de dos valores de verdad. +ientras que la lgica u!i:ersal aspira
a construir sistemas vlidos para todos los mundos posibles.
/or su parte, la lgica di7usa reconoce infinitos valores de verdad y se !a convertido en una
!erramienta muy importante de la que se est valiendo la econom#a donde deben tomarse decisiones
en un ambiente de gran incertidumbre.
11
1'. E$>logo
'l dilogo constante entre la lgica y la filosof#a cuenta con una larga y compleja !istoria uno de los
puntos cr#ticos es2 M0nde debe poner el nfasis la lgicaN Msobre el formalismo y el rigorN Mo sobre
el contenido semnticoN
0espus de "ilbert pas a ser muy !abitual !ablar directamente sobre el lenguaje en s# y gran parte
de la lgica de !oy en d#a consiste simplemente en el estudio de los simbolismos. 'n opinin de ;it
<ine esto no es del todo bueno. %$reo que de cierto modo perdimos el sentido de la inocencia que
<rege y Lussell ten#an y que ser#a bueno recuperar ya que el principal inters radica en lo que el
lenguaje representa y no en el lenguaje en s#. M/or qu no !ablar directamente sobre esoN 9o me
opongo a estas investigaciones de orientacin lingP#stica. *implemente pienso que tal vez !emos
dejado algo afuera al concentrarnos tanto en ese aspecto exclusivamente&.
/ara algunos la lgica representa un gigantesco sistema de reglas y s#mbolos arcaicos para otros un
s#mbolo de claridad y orden. .al vez la descripcin ms acertada sea la de una !erramienta
absolutamente verstil que se emplea constantemente aun cuando todav#a se encuentra en v#as de
desarrollo. 6uizs quien !aya logrado capturar mejor la naturaleza de la lgica sea Le=is $arroll
cuando escribi2
Si ocurri, puede ser, y si ocurriera, sera! Pero como no ocurre, no es! +so es la lgica'
12