1.

Argumentos

Ejemplos:
Ejemplo 1 El detective Sherlock Holmes entra en posesin de un viejo sombrero de fieltro, a partir del cual infiere ciertas cosas acerca de su propietario, sin

ww w.

La lgica se ocupa de las argumentaciones vlidas. Las argumentaciones ocurren cuando se quiere justificar una proposicin con base en otras asegurando que la primera es consecuencia necesaria de las ltimas. Un argumento es una lista de proposiciones o enunciados. El ltimo enunciado es la conclusin del argumento y los otros son las premisas o hiptesis. Cuando se afirma que un argumento es vlido o correcto se sostiene que las premisas y la conclusin estn relacionadas de tal manera que la conclusin se sigue de las premisas por necesidad estricta, en otras palabras, que afirmar las premisas y negar la conclusin sera contradictorio.

at

em

at

ic a

1.c

om

conocerlo. Entre sus conclusiones est la de que el propietario es muy intelectual. Al comunicrselo al Dr. Watson, ste pide a Holmes que la justifique. En guisa de respuesta, Holmes se cal el sombrero en la cabeza. Lo baj ms abajo de la frente y se le asent sobre el puente de la nariz. 'Es cuestin de capacidad cbica', dijo: 'un individuo de tamao cerebro ha de tener algo en l'. Con esto Holmes da por demostrada su conclusin. Hagamos explcito el argumento de Holmes: 1. Este sombrero es grande. 2. Los propietarios de sombreros grandes tienen cabezas grandes. 3. La gente de cabeza grande tiene grande el cerebro. 4. La gente de cerebro grande es muy intelectual. Conclusin: 5. El propietario de este sombrero es muy intelectual.

Conclusin: 3. Todos los perros son mamferos.

En el ejemplo (1) la conclusin no est justificada por las premisas porque la verdad de las premisas no est demostrada. Sin embargo, $/ se aceptara sin reserva la verdad de las premisas, entonces la verdad de la conclusin tendra que ser aceptada tambin. Por su forma lgica, el argumento es correcto, pero para que la conclusin quede totalmente justificada se tiene que probar la verdad de las premisas. El caso del ejemplo (2) es distinto. Aunque tanto las premisas como la conclusin son verdaderas, la relacin entre ellas no es tal que la conclusin se siga necesariamente de las premisas. Consideremos el siguiente argumento: 1. Todos los franceses son europeos. 2. Todos los italianos son europeos. Conclusin: 3. Todos los italianos son franceses.

ww

w.

at

em

at

ic a

2. Todos los perros son mortales.

1.c

1. Todos los mamferos son mortales.

om

Ejemplo 2

Este argumento tiene exactamente la misma forma que el argumento del ejemplo (2) y sin embargo tiene premisas verdaderas y conclusin falsa. A la lgica le interesa Informa de las proposiciones que integran un argumento, no su verdad o falsedad de hecho. Cuando un argumento es correcto, lo es en virtud de la forma de las proposiciones que lo componen. A lo largo del libro estudiaremos proposiciones en distintos lenguajes, las analizaremos y caracterizaremos todos los argumentos correctos en esos lenguajes.

1.2

Falacias

Ejemplos:

Aqu una palabra clave en el argumento cambia de significado durante l, este tipo de falacia se llama de equivocacin. 2. Las palomas mensajeras estn prcticamente extintas. Esa es una paloma mensajera y por tanto est prcticamente extinta.

Esta falacia surge de aplicar lo que es verdadero para un todo a cada parte del todo. Es una falacia de divisin. Las falacias de presuncin engaan por su semejanza a formas vlidas de argumentacin.

ww

w.

1.

El control de la natalidad es un suicidio de raza, pues si no nacen nios la raza desaparecer.

at

em

at

ic a

Hay argumentos que parecen vlidos pero que en realidad no lo son. Se llaman falacias, y aunque no las estudiaremos en este libro, su estudio tambin cae dentro del dominio de la lgica. Aqu nos limitaremos a dar algunos ejemplos de falacias comunes. Las falacias pueden ser divididas en tres tipos: falacias de ambigedad, falacias de presuncin y falacias de relevancia. Las falacias de ambigedad engaan por la naturaleza confusa del lenguaje en el que se expresan los argumentos.

1.c

om

Ejemplos:
Mal uso de las generalizaciones: 1. 2. Herir a las personas es malo; por lo tanto los dentistas son malos. La ciencia no debe ser tomada en serio. No ha podido explicar el origen de la vida. Bifurcacin (presume que una cierta clasificacin es exhaustiva): 3. Jesucristo: "Quien no est conmigo est contra mf \ Peticin de principio (se supone lo que se quiere justificar): 4. 5. El Corn es infalible, pues fue compuesto por Mahoma, profeta de Dios. Todo ser humano debera ser libre, pues la libertad es un derecho universal de la humanidad.

6.

Tesis irrelevante (se aduce a hechos irrelevantes para justificar la conclusin): 7.

Ejemplos:
Falacia gentica (se condena una conclusin aduciendo a sus orgenes): 1. 2. La religin se origin con la magia y el animismo. Por lo tanto no tiene sentido. Esta ley est diseada para explotar a los pobres: fue escrita por el senador ms rico.

ww

Las falacias de relevancia engaan a travs de emociones.

w.

Tienes que comerte la espinaca, hijito. Ya sabes cuntos nios se mueren de hambre en el mundo.

at

em

at

Cada vez que se hacen pruebas atmicas se registran tormentas serias. Es obvio que se deben cesar estas pruebas, si no queremos alterar el clima del planeta.

ic a

1.c

Falsa causalidad (se sugiere que ciertos eventos estn conectados causalmente sin ninguna justificacin):

om

Falacia ad hominem (se argumenta atacando a la persona que sostiene lo contrario): 3. Se rechaza la sugerencia del Sr. X de aumentar la eficiencia de las universidades. Dado que se trata de un empresario, no se le puede pedir que entienda que nuestro propsito es educar a la juventud, no obtener ganancias.

1.3

Lenguajes y metalenguajes

En el primer caso se est afirmando algo de una persona, "George Sand" denota a una persona y se dice que la expresin se est usando. En el segundo se afirma algo de una expresin, "George Sand" se est mencionando. En lgica a veces no es tan claro cundo se est usando una expresin y cundo se est mencionando. Para evitar confusiones se ha convenido en entrecomillar una expresin cuando se est mencionando. Por ejemplo, con esta convencin se escribe: Pars es la capital de Francia y "Pars" tiene cinco letras.

1.4

Resumen histrico

Tradicionalmente se ha distinguido entre la lgica deductiva, cuyos principios se usan para obtener conclusiones de premisas dadas, y la lgica inductiva, que saca conclusiones generales a partir de hechos particulares que sirven de evidencia para

ww

w.

at

em

at

ic a

1. 2.

George Sand fue amante de Chopin. George Sand era el seudnimo de Aurora Dupin.

1.c

Al estudiar lgica estaremos estudiando proposiciones en ciertos lenguajes y las relaciones entre ellas. Para estudiar estas proposiciones tendremos que utilizar un lenguaje, como el espaol, por ejemplo. Tendremos, por lo tanto, varios niveles de lenguaje: el lenguaje en el que estn escritos los argumentos bajo objeto de estudio y el lenguaje utilizado para estudiarlos. Este ltimo es el metalenguaje. Esta diferencia de niveles se da en el habla cotidiana, pero el contexto nos ayuda a identificar el nivel en el que se est hablando. Consideremos, por ejemplo, las dos oraciones siguientes:

om

ellas. Esta distincin es obsoleta porque los problemas de induccin se tratan ahora en la metodologa de las ciencias naturales. Para nosotros, entonces, lgica quiere decir lgica deductiva. En un sentido estricto la lgica deductiva se divide en dos: la lgica de proposiciones y la lgica de predicados. La lgica de proposiciones se llama as porque en ella las proposiciones o enunciados forman la nica categora semntica bsica. Algunas proposiciones son simples y no se analizan, otras son compuestas y se analizan descomponindolas por medio de conectivos proposicionales (y, o, no, s i . . . entonces) en proposiciones ms simples. (Esta lgica se estudia con detalle en los captulos 4 y 5). En la lgica de predicados las proposiciones simples se descomponen en partes ms simples, que forman as una segunda categora semntica: la categora de los nombres. Los nombres aparecen en las proposiciones unidos a predicados (de ah el nombre de lgica de predicados), que expresan propiedades y relaciones, funcionando como "verbos". (Esta lgica se estudia en los captulos 7 y 8). En un sentido ms amplio la lgica tambin comprehende varias teoras del lenguaje como sintaxis lgica y semntica lgica. Las lgicas modales (que estudian los conceptos de necesidad, posibilidad, contingencia, etc.) y el estudio de las paradojas y falacias tambin entran en este aspecto amplio de la lgica. Aunque la teora de la lgica proposicional es anterior desde un punto de vista lgico, a la lgica de predicados, esta ltima antecedi a la primera histricamente. El primer sistema de la lgica de predicados fue creado por Aristteles en el siglo IV a.c, en su monumental obra Organon, ttulo que refleja el punto de vista de que la lgica es una herramienta para afinar el pensamiento. En su obra, Aristteles describi y clasific silogismos vlidos (Le., aqullos en los que la conclusin en efecto se sigue de las premisas) y demostr por medio de contraejemplos la invalidez de ciertos silogismos. Tambin inici el desarrollo de la lgica modal. Una de las caractersticas ms importantes de la obra de Aristteles es que pudo dar a sus silogismos la forma de principios lgicos gracias a que, por primera vez en la historia de la lgica, hizo uso de variables o letras para representar proposiciones arbitrarias. La lgica moderna empez en el siglo XVII con Leibniz y desde entonces su desarrollo ha estado estrechamente relacionado con las matemticas. El programa de Leibniz era la construccin de un lenguaje universal, un clculo general del razonamiento y una metodologa general. l aplic con xito mtodos

ww

w.

at

em

at

ic a

1.c

om

matemticos para la interpretacin de la silogstica aristotlica, y su visin acerca de lenguajes artificiales y la reduccin del razonamiento a clculos aritmticos fructific en el trabajo de Gdel y en la emergencia de las ciencias computacionales. Durante la segunda mitad del siglo XIX se gestaron los cimientos para el gran desarrollo que la lgica ha tenido desde entonces. El matemtico ingls George Boole public en 1854 un trabajo titulado An Investigation into the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Pwbabilities. Con este trabajo se progres considerablemente al continuar los intentos de Leibniz de un clculo algebraico para las leyes del pensamiento. El lgebra booleana tiene interpretaciones tanto en la lgica proposicional como en la de predicados. El enfoque del matemtico alemn Gottlob Frege era distinto. l estaba interesado en el concepto de nmero. Pensaba que la nocin de nmero natural se poda reducir a conceptos lgicos y que, por lo tanto, se podra demostrar que la aritmtica era una parte de la lgica. Una reduccin formal de la aritmtica a la lgica la dio Frege en Grundgesetze der Arithmetik Begriffsschriftlich (1893). Otro aspecto en el estudio de la lgica y los fundamentos de la matemtica empez con la creacin de la teora de conjuntos por Georg Cantor, como una nueva disciplina matemtica. La teora de Cantor no era deductiva, como la de Frege, sino que estaba, por as decirlo, en estado pre-axiomtico. Para Cantor un conjunto era "una coleccin de objetos distintos, definidos, de nuestra percepcin o nuestro pensamiento". Un conjunto est determinado unvocamente por sus elementos. Con estos conceptos Cantor cre una de las teoras matemticas ms profundas y bellas, con la que dio inicio el estudio de los llamados cardinales transfinitos. En 1902 Bertrand Russell descubri una paradoja que atacaba tanto al sistema de Frege como al de Cantor. Es la llamada Paradoja de Russell que consiste en definir el conjunto R cuyos elementos son precisamente todos los conjuntos que no son elementos de s mismos. Es R un elemento de s mismo o no? Si lo fuera, entonces, por definicin, tendra que satisfacer la propiedad que lo define y por lo tanto no sera elemento de s mismo. Pero si no es elemento de s mismo entonces satisface la propiedad que define a i? y en consecuencia sera un elemento de R, esto es, sera un elemento de s mismo. Esta es una contradiccin. La paradoja de Russell no era la nica paradoja que haba sido descubierta a fines del siglo pasado y a principios de ste. Haba paradojas en teora de conjuntos que

ww

w.

at

em

at

ic a

1.c

om

involucraban el concepto de cardinalidad y haba paradojas semnticas, algunas que databan desde el tiempo de los griegos, como la paradoja del mentiroso y algunas recin descubiertas. Paradoja del Mentiroso. Un hombre dice: "Estoy mintiendo". Si est mintiendo entonces lo que dice es verdadero y por lo tanto no est mintiendo. Si no est mintiendo, entonces lo que dice es verdadero, luego est mintiendo. Paradoja de Berry (1906). Hay slo un nmero finito de slabas en espaol. Por lo tanto hay slo un nmero finito de expresiones en espaol que tienen menos de cuarenta slabas. Hay, por tanto, slo un nmero finito de nmeros naturales denotados por una expresin en espaol con menos de cuarenta slabas. Sea k el mnimo nmero natural no denotado por una expresin en espaol de menos de : cuarenta slabas. La expresin en itlicas denota a A y tiene menos de cuarenta slabas. Paradoja de Grelling (1908). Un adjetivo se llama autolgico si la propiedad denotada por el adjetivo es satisfecha por el adjetivo mismo. Un adjetivo es heterolgico si la propiedad denotada por el adjetivo no se aplica al adjetivo mismo. Por ejemplo, "azul" es heterolgico mientras que "polisilbico" es autolgico. Considrese el adjetivo "heterolgico". Si es heterolgico entonces no satisface la propiedad denotada por l mismo y por tanto no es heterolgico, si no es heterolgico entonces satisface la propiedad denotada por l mismo y, por tanto, es heterolgico.

Encabezada por Bertrand Russell. A pesar de haber encontrado contradicciones en la teora de Frege, Russell sigui creyendo que la aritmtica se poda derivar de la lgica y que, en consecuencia, toda la matemtica podra ser fundamentada en la lgica. En su intento por demostrar esto produjo, en colaboracin con Whitehead, Principia Mathematica (1910-1913). Este trabajo se convirti pronto en un clsico de la lgica. Con respecto a las paradojas, Russell argument que surgen de un crculo vicioso que consista en suponer totalidades ilegtimas. Not que la auto-referencia

ww

1. La propuesta logicista

w.

at

El anlisis de las paradojas condujo a varias propuestas para eliminarlas. Las tres propuestas principales, a principios de este siglo, fueron las siguientes:

em

at

ic a

1.c

om

est presente en todas las paradojas y sugiri estratificar al lenguaje para evitar que una expresin predique sobre s misma. Esta es la llamada teora de tipos. Esta teora influy mucho en Zermelo, quien en 1908, produjo una teora axiomtica para la teora de conjuntos de Cantor que elimin todas las paradojas conocidas de la teora.

2. La propuesta intuicionista
Un enfoque ms radical fue adoptado por Brouwer y su escuela intuicionista. Ellos crean que la raz de las paradojas estaba en el concepto del infinito, y que el problema estaba en generalizar del caso finito al caso infinito. Para ellos no tena sentido hablar de totalidades infinitas. Tambin rechazaron la universalidad de ciertas leyes lgicas, como la ley del tercero excluso: P o no P. Heyting hizo un estudio sistemtico de los principios lgicos clsicos que los intuicionistas aceptaban y esta escuela dio origen a un tipo de lgica no-clsica conocida como lgica intuicionista.

3. La propuesta formalista

Es la propuesta del matemtico alemn David Hilbert y su escuela. Hilbert estaba tan interesado como Frege en el mtodo axiomtico, pero, a diferencia de l, no le daba ninguna importancia a la interpretacin de los smbolos de un formalismo. Para l la matemtica era una coleccin de sistemas formales sin significado y la tarea del matemtico era demostrar que estos sistemas eran consistentes, es decir, sin contradicciones. La disciplina que se ocupara de la demostracin de la consistencia de las teoras matemticas no sera la matemtica propiamente, sino una nueva disciplina que l llam metamatemtica. Su proyecto era, pues, el desarrollo de un sistema lgico-matemtico dentro del cual estuvieran inmersas todas las matemticas y que fuera consistente. Este programa recibi un fuerte golpe a manos del matemtico austraco Kurt Gdel, quien en 1931 demostr que cualquier sistema formal lo suficientemente fuerte como para contener a la aritmtica o es incompleto (es decir, existen verdades no demostrables en el sistema) o es inconsistente (Le. contradictorio). Pero aunque el trabajo de Gdel destruy el programa de Hilbert, ayud al desarrollo de un campo descuidado en matemticas: el de determinar qu mtodos son vlidos en la resolucin de problemas.

ww

w.

at

em

at

ic a

1.c

om

ww

w.

at

em

at

ic a

1.c

Gdel en ese trabajo desarroll el concepto de funciones recursivas, las cuales fueron posteriormente propuestas como la contraparte formal de la nocin vaga e intuitiva defuncin calculable. Otros matemticos y lgicos estaban tratando de hacer precisamente esto, dar una respuesta satisfactoria a la pregunta sobre qu queremos decir cuando afirmamos que una funcin es efectivamente calculable. De aqu surgieron varios conceptos, aparte del de las funciones recursivas de Gdel: las funciones Indefinibles de Church y las funciones Turing-computables de Turing. En 1936, se demostr que todos estos conceptos, aunque superficialmente diferentes, eran equivalentes. Con la proliferacin de las computadoras, los estudios en lgica y teora de algoritmos han adquirido nuevo mpetu. Originado por estudios para modelar el funcionamiento del cerebro, surgi el concepto de autmata; y posteriormente se hall su interrelacin con los lenguajes formales. La versin ms general de autmata es la mquina de Turing. De un tiempo a la fecha se han desarrollado otros vnculos con la lgica dentro del campo de la denominada inteligencia artificial, como son la demostracin automtica de teoremas, la programacin lgica, etc.

om