Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lgica simblica
Prefacio.
Resulta interesente observar el gran cmulo de esfuerzo que ha requerido esta disciplina para lograr el avance con el que hoy lo conocemos, me sorprende que aun despus de tanto tiempo y habiendo pasado por tantas modificaciones las teoras expuestas por hombre como Aristteles, conserven una muy buena parte de validez, y mas que reemplazarlas por otras mas actuales, se han ido adicionando a ellas conceptos, otros grandes hombre como Leibniz, Boole, Russell, por citar solo algunos de ellos.
Lgica simblica
ii
Indice.
1 Introduccin. 1.1 Definicin de lgica simblica ................................................................. 1 1.2 El objeto de estudio de la lgica ............................................................. 1 1.3 Lenguaje natural y lenguaje simblico .................................................... 2 1.4 La simbolizacin del leguaje lgico ......................................................... 3
Lgica simblica
iii
Biografas I Biografa de Gottfried Wilhelm von Leibniz.................................................... 41 II Biografa de George Boole ............................................................................ 43 Resumen y conclusiones ................................................................................. 45 Bibliografa ....................................................................................................... 56
Lgica simblica
1. Introduccin
1.1 Definicin de Lgica simblica
La lgica simblica es un sistema formal que analiza los signos y lo que designan. El positivismo lgico entiende que el significado es la relacin que existe entre las palabras y las cosas, y su estudio tiene un fundamento emprico: puesto que el lenguaje, idealmente, es un reflejo de la realidad, sus signos se vinculan con cosas y hechos. Ahora bien, la lgica simblica usa una notacin matemtica para establecer lo que designan los signos, y lo hace de forma ms precisa y clara que la lengua tambin constituye por s misma un lenguaje, concretamente un metalenguaje (lenguaje tcnico formal) que se emplea para hablar de la lengua como si de otro objeto se tratara: la lengua es objeto de un determinado estudio semntico. Una de las figuras ms destacadas del Crculo de Viena, el filsofo alemn Rudolf Carnap, realiz su ms importante contribucin a la semntica filosfica cuando desarroll la lgica simblica
Pese a tener diferente contenido, estos ejemplos pueden ser agrupados en tres clases, de acuerdo con las expresiones "Y", "O", "si...entonces", que relacionan entre s a pensamientos como "4 es impar", a los que se llama proposiciones. La lgica proposicional es la parte de la lgica que estudia las formas en que se relacionan unas proposiciones con otras y, sobre todo, la relacin que se da entre las proposiciones que componen un razonamiento.
Lgica simblica
Existen varios lenguajes cientficos: tantos como ciencias particulares; entre los ms conocidos estn el de las matemticas, el de la qumica y el de la lgica, que es el que vamos a examinar en seguida.
Lgica simblica
Lgica simblica
2. La lgica griega
2.1 Aristteles
La opinin de que la lgica comienza con Aristteles se debe a varias razones. Una es que fue el primero en formalizar las expresiones, esto es, en emplear variables para los trminos, para poder analizar mejor las inferencias entre enunciados. Fue tambin el primero en concebir la lgica como el estudio de la inferencia formalmente vlida, y quien construy el primer sistema de lgica de trminos. Pero, adems de la lgica sensu estricto, en las obras de Aristteles aparecen los siguientes temas: estudios acerca del uso de los trminos en el lenguaje ordinario; estudios sobre el arte de la argumentacin y de la retrica; estudios de metodologa de la ciencia, incluida su concepcin del mtodo inductivo; el estudio de la organizacin de los sistemas deductivos; y finalmente la teora del razonamiento deductivo o silogstico. En la concepcin aristotlica de la lgica hay una vacilacin entre dos ideas. Por un lado, la lgica es concebida, en tanto que rgano, como prolegmeno de toda investigacin cientfica, filosfica o simplemente perteneciente al lenguaje
Lgica simblica
ordinario. Por eso la lgica no es una parte de la filosofa; es, a lo sumo, el prtico que permite pasar a cualquiera de sus partes (la terica, la prctica y la potica o productiva). Por otro lado, la lgica aparece como el anlisis de los principios segn los cuales se halla articulada la realidad. As como el primado de la definicin y de la dialctica en Platn poda ser considerado como la consecuencia del inters de este autor por el qu de las cosas, el primado del razonamiento (sobre todo silogstico) en Aristteles podra ser considerado como la consecuencia del inters de este pensador por el porqu de las cosas. La lgica de Aristteles parece seguir el tratado de una ontologa general. Esto se manifiesta en una serie de proposiciones que pueden resumirse del siguiente modo: a) la lgica es un instrumento para el pensar y supone un pensamiento; b) el pensamiento supone una realidad pensada, pues el pensar carece de espontaneidad y es slo relativo, c) es necesario, en vista de ello, desarrollar una teora del concepto como expresivo del ser constitutivo de lo real, d) la lgica puede de este modo convertirse en ciencia de los principios de lo que es. En MetafsicaXI, 7 afirma que la lgica es una tcnica indispensable para la investigacin, pero aade que la consideracin de los principios silogsticos corresponde al filsofo y a quien especula sobre la naturaleza de cualquier sustancia. As, l mismo reconduce la lgica a su supuesto indispensable: la teora de la sustancia. Esta teora es el fundamento de todo conocimiento intelectual. La forma es a la vez la ratio essendi y ratio cognoscendi del ser: en tanto que ratio essendi es sustancia, en tanto que ratio cognoscendi es concepto. La forma, pues, garantiza la correspondencia entre el concepto y la sustancia y, por tanto, la verdad del conocimiento y la racionalidad del ser. Por esto Aristteles puede decir que el ser y la verdad se hallan en relacin recproca: que, por ejemplo, si el hombre existe, la afirmacin de que el hombre exista es verdadera; y recprocamente, si es verdadera la afirmacin de que el hombre existe, el hombre existe. Pero Aristteles aade que en esta relacin el fundamento es la realidad, y que la realidad no es tal porque la afirmacin que le concierne sea verdadera, sino que la afirmacin es verdadera porque la realidad es tal como ella la expresa. En otros trminos, la verdad del concepto se funda en la sustancialidad de laforma y no viceversa: la metafsica precede y fundamenta la lgica. Por ello, se puede decir que Aristteles no pretendi fundar la lgica como ciencia formal, en el sentido moderno del trmino, o sea, de ciencia sin objeto o sin contenido, constituida nicamente por proposiciones tautolgicas. Segn Aristteles, la lgica tiene un objeto y este objeto es la estructura de la ciencia en general que luego es la misma estructura del ser que es objeto de la ciencia. Aristteles afirma que la lgica debe analizar el lenguaje apofntico o declarativo, que es el propio de las ciencias teorticas, en el cual tienen lugar las determinaciones de verdadero y falso segn que la unin o separacin de los signos (de que consta una proposicin) reproduzca o no la unin o la separacin de las cosas. El lenguaje apofntico no tiene nada de convencional. Segn Aristteles, las palabras del lenguaje son convencionales, tanto es as que de una lengua a otra
Lgica simblica
son distintas. Pero las palabras se refieren a afectos del alma que son los mismos para todos y constituyen imgenes de objetos que son los mismos para todos. Por tanto, se puede decir que, para Aristteles, el lenguaje es convencional en su diccionario, no en su sintaxis; en consecuencia, la lgica ha de mirar a esta sintaxis para analizar la estructura fundamental del conocimiento cientfico y del ser.
Lgica simblica
Divisin aristotlica de los enunciados simples en ocho tipos, segn su cuantificacin y su carcter afirmativo o negativo: Afirmativo S es P Todo S es P Algn S es P S es P Negativo S no es P Ningn S es P Algn S no es P S no es P
Enunciado
En su exposicin definitiva, la lgica aristotlica no conoce mas que cuatro tipos de enunciados (simples), los tipos que los lgicos medievales designaron mediante las letras a, e, i, o, correspondientes a los enunciados universales afirmativos (a), universales negativos (e), particulares afirmativos (i) y particulares negativos (o). A afirmativo Todo S es P P pertenece a todo S Universal E negativo Ningn S es P P no pertenece a ningn S I afirmativo Algn S es P P pertenece a algn S Particular O negativo Algn S no es P P no pertenece a algn S
Lgica simblica
enunciado universal negativo y el correspondiente particular afirmativo, es decir, dos enunciados de los tipos ningn S es P y algn S es P. Todo A es B es el contradictorio de algn A no es B Ningn A es B es el contradictorio de algn A es B Algn A es B es el contradictorio de ningn A es B Algn A no es B es el contradictorio de todo A es B Cada enunciado es equivalente a la negacin de su contradictorio. Por tanto, si negamos un enunciado, hemos de afirmar su contradictorio. Si afirmamos un enunciado hemos de negar su contradictorio. La oposicin contraria o contrariedad se da entre dos enunciados que no pueden ser ambos verdaderos, sino que al menos uno de ellos ha de ser falso. Tambin los dos pueden ser falsos. Si el uno es verdadero, el otro es falso. Pero si el uno es falso, el otro puede ser tanto verdadero como falso. La contrariedad se da entre un enunciado universal afirmativo y el correspondiente enunciado universal negativo, es decir, entre dos enunciados de los tipos todo S es P y ningn S es P. Todo A es B es el contrario de ningn A es B Ningn A es B es el contrario de "todo A es B Leyes de la oposicin contradictoria: Si no (todo A es B), entonces (algn A no es B) Si no (ningn A es B), entonces (algn A es B) Si no (algn A es B), entonces (ningn A es B) Si no (algn A no es B), entonces (todo A es B) Leyes de la oposicin contraria: Si (todo A es B), entonces no (ningn A es B) Si (ningn A es B), entonces no (todo A es B). Estas dos leyes son invlidas desde el punto de vista de la lgica actual.
Lgica simblica
La conversinde un enunciado consiste en la permutacin de su sujeto y su predicado. El enunciado conserva los mismos conceptos, pero el concepto que haca de predicado pasa a hacer de sujeto, y a la inversa. Naturalmente, no siempre la verdad de un enunciado garantiza la verdad del enunciado que resulta de la permutacin de sus conceptos. Los enunciados universales negativos y los particulares afirmativos pueden convertirse siempre; los enunciados particulares negativos no pueden convertirse nunca; los enunciados universales afirmativos pueden convertirse slo a condicin de transformar su cuantificacin de universal en particular. Aristteles obtiene las siguientes leyes lgicas de la conversin: Si (ningn A es B), entonces (ningn B es A) Si (algn A es B), entonces (algn B es A) Si (todo A es B), entonces (algn B es A)
Lgica simblica
10
Ejemplo: todo A es B todo B es C ---------------todo A es C La formulacin aristotlica original de la ley de este ejemplo es la siguiente: Si A se predica de todo B y B se predica de todo C, entonces necesariamente A se predica de todo C (Analticos anteriores, I, 26 a 37) Cuatro son las combinaciones de la primera figura que Aristteles reconoce explcitamente como implicaciones, como silogismos, y stas son sus correspondientes leyes lgicas: (1.1) Si todo A es B y todo B es C, entonces todo A es C (1.2) Si todo A es B y ningn B es C, entonces ningn A es C (1.3) Si algn A es B y todo B es C, entonces algn A es C (1.4) Si algn A es B y ningn B es C, entonces algn A no es C La segunda figura se da cuando el sujeto de la conclusin es sujeto de una premisa, el predicado de la conclusin es sujeto de la otra premisa y el concepto medio es predicado de ambas premisas. Tambin en esta figura reconoce Aristteles cuatro combinaciones como dando lugar a la implicacin de la conclusin por las premisas, como silogismos. (2.1) Si todo A es B y ningn C es B, entonces ningn A es C (2.2) Si ningn A es B y todo C es B, entonces ningn A es C (2.3) Si algn A es B y ningn C es B, entonces algn A no es C (2.4) Si algn A no es B y todo C es B, entonces algn A no es C La tercera figura se da cuando el sujeto de la conclusin es predicado de una premisa, el predicado de la conclusin es predicado de la otra premisa y el concepto medio es el sujeto de ambas. En esta tercera figura reconoce Aristteles seis combinaciones en las cuales las premisas implican la conclusin, seis silogismos: (3.1) Si todo B es A y algn B es C, entonces algn a es C (3.2) Si todo B es A y algn B no es C, entonces algn A no es C (3.3) Si algn B es A y todo B es C, entonces algn A es C (3.4) Si algn B es A y ningn B es C, entonces algn A no es C (3.5) Si todo B es A y todo B es C, entonces algn A es C (3.6) Si todo B es A y ningn B es C, entonces algn A no es C
Lgica simblica
11
Llamo silogismo perfecto al que no necesita nada fuera de lo puesto en las premisas para hacer evidente la necesidad de la conclusin. Llamo silogismo imperfecto al que [para hacer evidente la necesidad de la conclusin] necesita de una o varias cosas que no aparecen explcitamente en las premisas, aunque se siguen necesariamente de ellas (Analticos anteriores, I, 24 b 22) Un silogismo perfecto es evidentemente vlido. Un silogismo imperfecto es igualmente vlido, pero su validez no es evidente, sino que ha de ser mostrada con ayuda de un silogismo perfecto. Aristteles elige como axiomas de la silogstica a los silogismos de la primera figura, por ser stos los nicos perfectos y evidentes. Por qu son evidentes los silogismos de la primera figura? Porque en esta figura y slo en ella: 1) la primera premisa acaba con el mismo concepto con que empieza la segunda, lo que facilita la inteleccin; 2) el concepto medio ocupa efectivamente el puesto medio, lo que evidencia su papel mediador; 3) el primer y ltimo conceptos del antecedente (o unin de las dos premisas) son el primer y ltimo conceptos del consiguiente (o conclusin). Adems, en el primer silogismo de la primera figura, que es el ms evidente de todos, el concepto sujeto de la conclusin o concepto menor tiene una extensin menor que el concepto medio, que tiene una extensin intermedia entre los otros dos y, por tanto, menor que la del concepto predicado de la conclusin o concepto mayor. Los silogismos de las figuras segunda y tercera son vlidos, pero su validez no es evidente, sino que slo se patentiza reducindolos a los de la primera figura.
Lgica simblica
12
2.2
Los estoicos
Mediante el trmino lgica los estoicos expresaban la doctrina que tiene por objeto los lgoi, o discursos. Como ciencia de los dicusos continuos, la lgica es retrica; como ciencia de los discursos divididos en preguntas y respuetas, la lgica es dialctica. La dialctica se define como la ciencia de lo que es verdadero y de lo que es falso y de lo que no es ni verdadero ni falso. Con la expresin lo que no es ni verdadero ni falso los estoicos probablemente entendan los sofismas o las paradojas, sobre cuya verdad o falsedad no se puede decidir. A su vez, la dialctica estoica se divide en cuatro partes, segn trate de las palabras o de las cosas que significan las palabras: la que trata de las palabras es la gramtica; la que trata de las cosas significadas es la lgica en sentido propio: por lo tanto, sta tiene por objeto las representaciones, las proposiciones, los razonamientos y los sofismas. Los megricos y los estoicos fueron los primeros en estudiar la lgica de enunciados, esto es, las relaciones entre enunciados unidos por partculas como y, o, si entonces, etc. Los megrico-estoicos se interesaron por los razonamientos que tienen la forma de argumento y no de una implicacin, esto es, de series de premisas distintas afirmadas y una conclusin derivada de ellas, en vez de enunciados-premisas condicionales que implican un enunciado-conclusin. Pero lo ms fundamental es que esta lgica investigaba la lgica de las partculas conectivas entre los enunciados. Los estoicos establecieron algunas leyes lgicas, como el Modus Ponens (si p entonces q, y p, por tanto q), el Modus Tollens (si p entonces q, y no q, por tanto no p) el silogismo disyuntivo (p o q, y no p, por tanto q), etc., aunque ellos los entendieron como reglas de inferencia.
Lgica simblica
13
Lgica simblica
14
de ser; no puede tener un modo de ser, si no tiene una cualidad fundamental que lo diferencia de los dems; y no puede tener esta cualidad si no subsiste por s, y es sustancia. El concepto ms alto y ms amplio es el concepto de ser; por cuanto todo en cierto modo es, y no hay, por tanto, un concepto ms extenso que ste. El concepto ms determinado, en cambio, es el de especie, que no tiene otra especie debajo de s, esto es, el individuo, por ejemplo, de Scrates.
Lgica simblica
15
medio) y no es necesario. La falta de estos caracteres permite que los estoicos distingan la concluyencia de un razonamiento de su verdad. El razonamientos antes expuesto es verdadero slo si es de noche, pero es falso si es de da. Sin embargo, es concluyente en todo caso, porque la conexin de las premisas con la conclusin es correcta. Los tipos fundamentales de los razonamientos concluyentes los llaman los estoicos apodcticos o razonamientos no demostrativos. Son evidentes por s mismos y son los siguientes: 1) Si es de da hay luz. Pero es de da. Luego hay luz (A B; A; B [MP]); 2) Si es de da hay luz. Pero no hay luz. Luego no es de da (A B; B; A [MT]); 3) Si no es de da, es de noche. Pero es de da. Luego no es de noche (A B; A; B); 4) O es de da o es de noche. Pero es de da. Luego no es de noche (A B; A; B [SD1]); 5) O es de da o es de noche. Pero no es de noche. Luego es de da (A B; B; A [SD2]). Estos esquemas de razonamientos son siempre vlidos, pero no siempre son verdaderos, ya que son verdaderos solamente cuando la premisa es verdadera, es decir, corresponde a la situacin de hecho. Sobre ellos se modelan los razonamientos demostrativos, que no slo son concluyentes, sino que adems manifiestan algo que antes era oscuro: o sea, algo que no es inmediatamente manifiesto a la representacin catalptica que se ve siempre limitada al aquy ahora. El razonamiento demostrativo lo llaman los estoicos un signo indicativo por cuanto permite poner en claro que antes era oscuro. En cambio, son signos rememorativos aquellos que, en cuanto se presentan, hacen evidente el recuerdo de la cosa que primero ha sido observada en conexin con ellos y ahora no es manifiesta. Uno de los temas ms debatidos fue la lgica de los condicionales. Dos fueron las interpretaciones principales que se dieron acerca de las condiciones de verdad de los condicionales. Segn Filn de Megara, los enunciados del tipo si entonces slo son falsos cuando el antecedente es verdadero y el consecuente falso; en todos los dems casos es verdadero. Este condicional fue denominado por Russell implicacin material, y es el usado normalmente en lgica desde Frege. Por contra, segn Diodoro de Cronos, para que un enunciado condicional sea verdadero es menester, no meramente que no sea en ese instante el antecedente verdadero y el consecuente falso, sino que nunca sea el antecedente verdadero y el consecuente falso. De este modo, si es de da entonces es de noche es siempre falso, independientemente de cuando se emita. Como para Diodoro la verdad del condicional slo se da si constituye una implicacin material siempre verdadera, podemos llamarlo implicacin material permanente. Hubo incluso quienes pensaban que slo tiene sentido considerar a un condicional verdadero cuando se da algn tipo de relacin entre el contenido del antecedente y el del consecuente, de modo que no sea posible que siendo el antecedente verdadero el consecuente sea falso. Esto es lo que en este siglo C.I. Lewis ha denominado implicacin estricta. Este es el tipo de implicacin que se da para Aristteles entre las premisas y la conclusin de un razonamiento, de modo que el que las premisas de un razonamiento sean falsas no basta para justificar la validez del razonamiento, sino que es menester que si las premisas fueran verdaderas, la
Lgica simblica
16
conclusin necesariamente lo sera. En suma, slo en la implicacin estricta el consecuente es deducible del antecedente.
Lgica simblica
17
suppositio, o de la significacin de un mismo trmino segn el lugar que ocupa en un enunciado. Estas teoras guardan relacin con la teora moderna de la cuantificacin.
En este cuadro aparecen las contradictorias (alterutrae), las contrarias (incongruae) y las subcontrarias (suppares). Faltan las subalternas. Boecio vuelve a tomar el cuadrado lgico de Apuleyo, pero lo completa con la subalternacin. Habla de proposiciones contradictoriae, contrariae, subcontrariae y subalternae. Introduce asimismo trminos como sujeto, predicado y contingente. El cuadrado lgico completado y estructurado por Boecio se presenta del siguiente modo:
Lgica simblica
18
Ms tarde los medievales indicarn mediante letras las cuatro proposiciones clsicas (vase Pedro Hispano). Colocando de manera oportuna las formas normales de las proposiciones categricas, se obtiene el clsico cuadrado de la oposicin:
donde A y E son una verdadera y la otra falsa, no pueden ser ambas verdaderas, pero pueden ser ambas falsas; A, O y E, I siempre son una verdadera y otra falsa, y no pueden ser ambas verdaderas ni ambas falsas; I y O resultan implicadas, respectivamente, por A y E. Este cuadrado no fue concebido como un juego elegante, sino que se consider que las relaciones lgicas ilustradas mediante el presente diagrama proporcionaban una base lgica que garantizaba la validez de ciertas formas elementales de razonamiento. stas eran las que concernan a las inferencias inmediatas, esto es, aquellas inferencias en las que la conclusin surge inmediatamente de la premisa, sin mediacin de una segunda premisa. As, un silogismo es una inferencia mediata, mientras que la inferencia: todos los hombres son justos y, por eso, algn hombre es justo es inmediata. El cuadrado tradicional nos ofrece la base lgica para un nmero considerable de inferencias inmediatas de este tipo, que pueden enumerarse as: Si A es verdadera: E es falsa, I es verdadera, O es falsa Si E es verdadera: A es falsa, I es falsa, O es verdadera Si I es verdadera: E es falsa, A y O son indeterminadas
Lgica simblica
19
Si O es verdadera: A es falsa, E e I son indeterminadas Si A es falsa: O es verdadera, E e I son indeterminadas Si E es falsa: I es verdadera, A y O son indeterminadas Si I es falsa: A es falsa, E es verdadera, O es verdadera Si O es falsa: A es verdadera, E es falsa, I es verdadera Otros tipos de inferencias son aquellos que se obtienen por conversin, por obversin y por contraposicin. La conversin se realiza mediante el intercambio de las respectivas proposiciones de los trminos del sujeto y del predicado de una proposicin. En este caso, se trata de la conversio simplex y se aplica a E y a I; O no tiene proposicin conversa, y A la tiene per accidens: adems de cambiar la posicin de los trminos, es preciso cambiar tambin la cantidad de la proposicin, de universal a particular. Por ejemplo: la conversa de todos los perros son animales es algunos animales no son perros. Se produce obversin cuando el trmino-sujeto permanece incambiado, y tambin permanece incambiada la cantidad de la proposicin que se desea obvertir, pero se cambia la cualidad, sustituyendo el trmino-predicado por su complemento. La obversin se aplica a los cuatro tipos de proposiciones categricas. Estamos ante una contraposicin cuando en una proposicin categrica se sustituye su trmino-sujeto por el complemento de su trmino predicado y, al mismo tiempo, su trmino-predicado se sustituye por el complemento de su trmino-sujeto. La contraposicin se aplica a A y a O; I no tiene proposicin contrapuesta, y E slo la tiene per accidens. Pueden resumirse as estos tipos de inferencias inmediatas: CONVERSIN Convertenda A: Todo S es P E: Ningn S es P I: Algn S es P O: Algn S no es P OBVERSIN Obvertencia A: Todo S es P E: Ningn S es P I: Algn S es P O: Algn S no es P CONTRAPOSICIN Obversa E: Ningn S es no-P A: Todo S es no-P O: Algn S no es no-P I: Algn S es no-p Conversa Algn P es S (per accidens) E: Ningn P es S I: Algn P es S No existe conversa
Lgica simblica
20 Contrapuesta A: Todo no-P es no-S O: Algn no-P no es no-S (por limitacin) No existe contrapuesta
I: Algn S es P O: Algn no-P no es no-S O: Algn S no es P Para Boecio las proposiciones hipotticas son ms generales que las categricas: es posible expresar una proposicin categrica a travs de una proposicin hipottica, pero no es posible llevar a cabo la operacin inversa. Distingue entre dos tipos de proposiciones hipotticas: el primer tipo se da cuando el consecuente est vinculado al antecedente de una manera accidental; en el segundo tipo, el consecuente es una consecuencia natural del antecedente. Por ejemplo, al decir si el fuego es clido, el cielo es redondo, no pretendemos afirmar que el cielo es redondo porque el fuego sea clido, sino sencillamente que al mismo tiempo que el fuego es clido, el cielo es redondo.
Lgica simblica
21
La suposicin y la significacin difieren en que la significacin es la imposicin de una voz a la cosa significada mientras que la suposicin es la acepcin del mismo trmino ya significante para cualquier otra cosa; por ejemplo, cuando se dice el hombre corre este trmino hombre alude a Scrates, a Platn, o cualquier otro. La significacin es antes que la suposicin, pero no son idnticas ya que el significar es propio de la voz y el suponer lo es del trmino ya compuesto de voz y significacin (Summulae, 6, 03). Distingue entre suposicin simple y suposicin personal. Existe suposicin simple cuando el trmino comn se emplea para la cosa universal que el mismo representa, como cuando se dice el hombre es una especie: en cuya proposicin el trmino hombre est en lugar del hombre en general y no por un individuo humano determinado. En cambio, hay suposicin personal cuando el trmino comn est en lugar de los individuos comprendidos por el mismo, como en la proposicin el hombre corre, donde el trmino hombre est en lugar de los individuos humanos, o sea, en lugar de Scrates, de Platn y de otros.
Lgica simblica
22
Otro concepto importante es el de suposicin; se llama as a la acepcin en que es tomado un nombre. Por ejemplo, en la frase el hombre es animal, la palabra hombre supone por una especie; en el hombre corre, por un individuo; en el hombre es sustantivo, por una palabra. Con la suposicin hay que relacionar la copulacin, que afecta del mismo modo al predicado. Queda an la amplificacin, caso en que un nombre es empleado para designar no slo los objetos presentes, sino tambin los pasados, futuros y posibles: esto afecta necesariamente al sentido de la proposicin en que se encuentra. Lo que los lgicos medievales pretendan, en realidad, era estudiar el nico instrumento de razonamiento de que se dispona: la lengua latina. Los lgicos construyeron un lgebra del lenguaje y se esforzaron mucho por disipar sus ambigedades y extraer las reglas de su uso exacto.
Lgica simblica
23
deduccin lgica. En tanto que los principios generales o elementos simples son el fundamento de todo lo real, para Llull hay una coincidencia entre lgica y ontologa, y el autntico conocimiento es una visin mstica en Dios. La lgica en la que se basaba era, fundamentalmente, la silogstica de Aristteles, que supone unos principios ciertos (que incluso los infieles han de aceptar), y consideraba que haba la posibilidad de encontrar todos los trminos medios posibles que unan cualquier sujeto con el predicado que le conviene. De esta manera, se podran enumerar todos los predicados posibles de un sujeto y determinar de acuerdo con las reglas lgicas, cules le pertenecan. Pensaba que as incluso se podra demostrar lgicamente el misterio de la Trinidad. De esta manera, aunque basndose en la lgica demostrativa de Aristteles, Ramn Llull la conceba como una lgica capaz de ser inventiva, que no se limita a resolver las verdades conocidas, sino que es capaz de descubrir las nuevas. Adems de este clculo general, que influy decisivamente en Leibniz (y que, por intermedio de ste, se puede considerar un precedente de la lgica moderna), Llull defendi tambin una metafsica ejemplarista y un realismo neoplatnico, muy influido por el agustinismo que imperaba entre los franciscanos a los que Llull estaba prximo. No obstante, en Llull se trata de poco ms que de una idea visionaria. Fue Descartes quien concibi la idea de un lenguaje general como una suerte de aritmtica, como parte del mtodo de una filosofa verdadera, si bien se cuid de tratar l mismo de constituir tal lenguaje y lo plante como un proyecto para la posteridad.
3.3.2 Leibniz
Para Leibniz el saber conceptual se reducir en ltimo trmino a descubrir todas las combinaciones posibles de los primeros elementos primitivos y sus conexiones en este reino de las verdades esenciales. Ya a sus veinte aos haba escrito sobre un gnero de arte combinatoria, que tendra por cometido hallar una especie de alfabeto de los conocimientos humanos, que permitiera, mediante la combinacin de sus letras y el anlisis de las palabras compuestas de aqullas, descubrir y juzgar todo lo dems. Leibniz era un gran admirador de la silogstica aristotlica, aunque no crea que todos los argumentos pudiesen ponerse en forma de silogismo; por ejemplo, los argumentos por inversin de la relacin, como Tito es ms alto que Cayo. Por tanto, Cayo es ms bajo que Tito. Sin embargo, no lleg a crear una lgica de relaciones debido a que pensaba que stas podan reducirse a conjunciones o concatenaciones de predicados mondicos. Sostuvo tambin que las figuras de los silogismos no son tres, sino cuatro, obtenindose entonces veinticuatro, y no catorce, formas de silogismo vlidos. En De arte combinatoria pens en la creacin de una caracterstica universalis o lenguaje simblico universal que fuese un instrumento de clculo del pensamiento.
Lgica simblica
24
Su ideal era que las disputas y diferencias de opinin se pudiesen resolver mediante el clculo. De acuerdo con eso, los disputantes se sentaran, tomaran sus plumas y diran: Calculemus. Quera adems crear una lgica del descubrimiento o lgica inventiva. Leibniz ensay varios clculos lgicos: 1) trat de simbolizar los conceptos mediante nmeros enteros, aritmetizando la lgica, 2) utiliz letras en lugar de nmeros, 3) elabor un clculo de la inclusin, o sea, una lgica intencional, y 4) esboz un clculo con el concepto de sustraccin (diferente del de negacin) de las comprensiones de los trminos. De acuerdo con su tesis de que el concepto de predicado est incluido en el concepto de sujeto, intent elaborar una lgica en que lo importante fuese la relacin conceptual entre el predicado y el sujeto, independientemente de la existencia o no existencia del objeto designado por el sujeto. En las escuelas [i.e., en la escolstica] hablan de otra manera, no considerando las nociones, sino ejemplos sujetos a nociones universales... En verdad, prefer considerar las nociones universales o las ideas y sus compuestos, porque no dependen de la existencia de los individuos. A la lgica basada en esta idea se le ha llamado lgica intensional. En Algunas dificultades de la lgica, Leibniz propone dos lecturas de las proposiciones categricas. Son las siguientes: Todo A es B Algn A no es B Ningn A es B Algn A es B AB = A AB A AB AB ente AB = AB ente A no B es no-ente A no B es ente AB es no ente AB es ente
En la versin de la segunda columna puede observarse que, dada la tesis de la contencin o inclusin del predicado en el sujeto, tanto A como el predicado B estn incluidos en el sujeto A, es decir, AB A; pero tambin podemos ver que A AB, y esto se debe a que para Leibniz todo enunciado o proposicin, tanto de razn como de hecho, afirma en el fondo una identidad (o su negacin). Si la identidad es una verdad de razn, sta se demuestra en un nmero finito de pasos; si es una verdad de hecho, se necesita, para su demostracin por parte de nosotros (no de Dios), un anlisis infinito, es decir, una aproximacin continua e interminable a una identidad que slo es vista por la mente divina. La versin de la tercera columna muestra que todas las oraciones de sujeto-predicado, unidas por la cpula (llamadas oraciones de tercer adyacente) son equivalentes a oraciones en que el sujeto es la unin del sujeto y predicado, del cual se predica la entidad o la no entidad (oraciones de segundo adyacente).
Lgica simblica
25
Lgica simblica
26
Kant distingue entre la ciencia de las leyes de la sensibilida den general la esttica y la ciencia del intelecto en general la lgica. La lgica se divide en a) lgica general y b) lgica trascendental. La lgica general prescinde de los contenidos y se limita a estudiar las leyes y los principios en general del pensamiento, sin los cuales no existira una utilizacin del intelecto. Esta es la clebre lgica formal descubierta por Aristteles y que, segn Kant, naci casi perfecta, hasta el punto de que no tuvo que dar ningn paso atrs y se ha limitado a sufrir correcciones slo de detalle. A Kant, en la Crtica de la razn pura no le interesa la lgica formal, sino la trascendental, que no prescinde del contenido. Cul ser el contenido que la lgica trascendental tiene por objeto, adems de las formas mismas del pensamiento? Kant distingue entre conceptos empricos y conceptos puros; los empricos son aquellos conceptos que contienen elementos sensibles; puros, en cambio, son aquellos que no estn mezclados con ninguna sensacin.
Lgica simblica
27
no todo es percepcin inmediata; stas son ciertas y contra ellas no hay apelacin. Sin embargo, la mayor parte de nuestro saber lo obtenemos por deducciones. Despus de las observaciones particulares siempre queremos establecer leyes generales y conceptos. Y estas leyes implican siempre una conexin y dependencia entre un A y un B, C, etc. En A System of Logic, Rationative and Inductive establece las siguientes reglas: 1. Mtodo de concordancia: si dos o ms casos, en los que tiene lugar un fenmeno, tienen una nica circunstancia comn, sta es causa o efecto de aquel fenmeno. 2. Mtodo de diferencia: si dos casos contienen un fenmeno W siempre que se da la circunstancia A, y no la contienen si A falta, W depende de A. 3. Mtodo combinado de concordancia y diferencia: si varios casos, en que est presente A, contienen un fenmeno W, y otros casos, en que no est presente A, no contiene W, A es condicin de W. 4. Mtodo de los residuos: si W depende de A = A1, A2, A3, mediante la comprobacin de las dependencias de A1 y A2, queda tambin comprobado en qu grado depende W de A3. 5. Mtodo de las variaciones concomitantes: si un fenmeno W cambia siempre que cambia otro (fenmeno U), de modo que todo aumento o disminucin de U va acompaadio de un aumento o disminucin de W, W depende de U.
4. Boole
Probablemente puede considerarse El anlisis matemtico de la lgica de Boole como el nacimiento de la lgica matemtica. Boole esta influido, adems de por las ideas de la lgica clsica, por las de Hamilton y De Morgan, relativas a la teora que se basaba en el cambio de las cuatro formas de enunciado categrico (A, I, E y O) en un nmero mayor en las cuales se toma en consideracin la cuantificacin del predicado. Por ejemplo, Hamilton advirti dos tipos de enunciados universales: Todo S es todo P y Todo S es algn P. Si se tiene en cuenta tambin la cuantificacin de predicados, entonces todo enunciado de la forma sujetopredicado puede transformarse en una ecuacin o en la enunciacin de que esa ecuacin es falsa, aproximando de este modo la lgica al lgebra. En la teora de Hamilton y De Morgan, S y P se convierten en signos de las cosas mismas que poseen las cualidades (y no como signos de cualidades, tal como ocurra en Aristteles). Este es el cambio de todo S es P a todos los S son P (p.e., de toda hoja es verde a todas las hojas son verdes). Este cambio de un enfoque intensional (en trminos de cualidades de las cosas) por uno extensional (en trminos de clases de objetos) permiti una estricta matematizacin de la lgica, y as un avance ms rpido, pues los conceptos extensionales siempre poseen unos criterios de aplicacin ms claros.
Lgica simblica
28
El nombre que se emplea en lgica y matemticas para designar un grupo formado por todas las cosas que poseen una cierta propiedad es el de clase o conjunto, y de las cosas que poseen esa propiedad se dice que son elementos de la clase o del conjunto. Las ideas de clase y elemento son bsicas en la matemtica actual. El resultado de la teora de Hamilton y De Morgan fue posibilitar una concepcin de la lgica como un lgebra de clases. Y Boole fue el primero en tener claramente esta concepcin. Boole da cuenta de la antigua lgica como un lgebra, mostrando cmo los enunciados A, I, E y O pueden traducirse en forma de ecuaciones simples; cmo las consecuencias necesarias de cualquiera de estos enunciados pueden obtenerse algebraicamente partiendo de su ecuacin correspondiente; cmo la validez de un silogismo puede comprobarse convirtiendo el grupo de enunciados que lo integran en un sistema de ecuaciones simples y viendo si la ecuacin correspondiente a la conclusin puede ser obtenida algebraicamente a partir de las ecuaciones correspondientes a las premisas; y cmo si se dan ciertos enunciados como premisas de un silogismo, pero sin especificar conclusin alguna, es posible obtener algebraicamente de ellos una conclusin necesaria partiendo de sus correspondientes ecuaciones. Pero Boole expuso, adems, una teora de la lgica de enunciados considerada como un lgebra. Como su teora de la lgica de enunciados fue, en cuanto a la forma, la misma que la del lgebra de clases, fue el primero en ofrecer una teora unificada de la lgica. De este modo, el lgebra de Boole es como una teora con dos interpretaciones. As, en lgebra de clases 1 significa todo, esto es, la clase de todos los elementos posibles, 0 es nada, o sea, la clase que no tiene por elemento nada que sea elemento de todo, x + y es la clase cuyos elementos son las cosas de todo que son elementos de x o y de y, pero no de ambos; x ( y es la clase de elementos comunes a x e y. Pero esas cuatro frmulas significan respectivamente en lgica de enunciados: lo verdadero, lo falso, que x es verdadero o y es verdadero, pero no ambos, y finalmente que x es verdadero e y es verdadero. Traducido a notacin actual tendramos, por ejemplo, expresiones de la lgica de enunciados como p q, p q o p q que tienen sus equivalentes en lgebra de clases: A B, A B o A B respectivamente, y las leyes del lgebra tienen su equivalente en leyes de la lgica de enunciados.
Lgica simblica
29
Admitido por todos los matemticos, a partir de 1872, que todos los conceptos de la matemtica pueden reducirse a los de la aritmtica y los de sta a los nmeros naturales, Frege adopta sobre s la tarea de derivar estos ltimos por medios estrictamente lgicos. Con ello lograra establecer que toda la matemtica es reducible a la lgica. Para esta labor tiene que cumplir dos objetivos: (1) precisar qu entiende por lgica y enumerar los conceptos lgicos con los que poder definir los aritmticos; (2) demostrar que los teoremas aritmticos son derivables de los principios lgicos mediante el nico proceso vlido, la deduccin. Esto ltimo obliga a especificar cules son los primeros principios lgicos y cules son las reglas de inferencia. Y en vista de estos objetivos, Frege dar un primer paso: construir una lgica que le sea vlida para su objetivo, una lgica del pensamiento puro, alejada de la influencia de la gramtica y del lenguaje usual, para lo que debe crear un simbolismo adecuado. Esta tarea ser acometida en la Conceptografa y en las leyes fsicas de la aritmtica. En la Conceptografa seala que existen dos tipos de juicios, los analticos y los sintticos. Frege estima que los aritmticos son juicios analticos, contra el sentir kantiano, pero entiende por juicio analtico aquel que puede derivarse, en forma estrictamente lgica, de las definiciones. No se tiene en cuenta, aqu, el contenido de dicho juicio, sino su derivabilidad. Explica, a continuacin que la etapa inicial de su trabajo se centra en reducir el concepto de orden en una sucesin al de consecuencia lgica, para proceder desde all al concepto de nmero. Para realizar esta tarea encuentra el lenguaje ordinario inadecuado. Agregar que una de las tareas de la filosofa debe consistir en liberar el espritu humano de los errores que, en cuanto al concepto, presenta el lenguaje ordinario. En particular, debe eliminarse la confusa terminologa entre sujeto y predicado en beneficio de argumento y funcin. Para conseguir estos fines, dedica su atencin a construir un lenguaje de frmulas, a semejanza del aritmtico, pero que permita un anlisis lgico del razonamiento matemtico, del pensamiento puro. Estos dos objetivos le llevan a dividir la Conceptografa en dos partes: en la primera dar una descripcin semntica de los smbolos que emplea; en la segunda, realizar una representacin sistemtica, deductiva, de algunos juicios del pensamiento puro. En otras palabras, expone, en la primera parte, por vez primera, lo que hoy se conoce como lgica de primer orden que incluye la lgica proposicional. En el segundo apartado, aplicar su Conceptografa para definir, por los medios estrictamente lgicos, la nocin de sucesin, y la de orden lineal o cadena, as como mostrar que el principio de induccin completa puede describirse por medio de su Conceptografa. La Conceptografa no es una mera bsqueda de un simbolismo ms o menos arbitrario y que refleje el lenguaje ordinario; su objetivo es conseguir un clculo lgico al estilo de lo preconizado por Leibniz pero que, adems, refleje el pensamiento puro; pues, para Frege, el signo es inseparable del contenido que representa. Segn Frege, lo primero es el concepto; lo segundo, el signo con el cual se representa el concepto. El hombre no crea los conceptos, los aprehende; el hombre no crea sistemas matemticos, sino que stos preexisten
Lgica simblica
30
conceptualmente al mismo; los contenidos conceptuales puros son independientes de que el hombre los perciba, imagine o piense. En lgica, en matemticas, lo que importa es el pensamiento puro, no la gnesis del mismo. Esta conviccin lleva a Frege a oponerse a los mtodos de Boole, porque Boole parte en su labor de la construccin de un clculo formal que permite ulteriores interpretaciones distintas; para Frege ello equivale a partir del signo material para alcanzar el concepto. Y Frege insiste en que tales clculos, por su punto de partida, se mostrarn impotentes para la expresin de los conceptos y relaciones estrictamente lgicos. Para Frege, lo primero es el contenido conceptual o de juicio; lo segundo, el signo con que pueden representarse tales contenidos o pensamientos. Y un contenido que no hace referencia, en momento alguno, a los aspectos psicolgicos. Una proposicin lgica no es ms que un signo compuesto con arreglo a una regla determinada; signo que posee un sentido que se mantendr en cualquier lengua a la que se traduzca la proposicin anterior. Y es este sentido el que Frege denomina pensamiento, independiente, por tanto, de la representacin sensorial del mismo, de la actividad psicolgica o espiritual ms o menos subjetiva. La Conceptografa pretende ser una conceptografa que permita la traduccin a signos que reflejen las relaciones entre los conceptos simbolizados mediante un manejo por reglas estrictamente especificadas. En realidad, yo no he querido hacer un simple calculos ratiocinator sino una lingua charaterica [sic] en el sentido de Leibniz. Y ello hasta el extremo de que si se partiera de un clculo al estilo del lgebra lgica se est condenando a mantenerse en una especie de lgebra abstracta, vaca, mientras que puede concebirse una lingua characterica que no aboque en un clculo por el mero clculo. El clculo no debe considerarse como otra cosa que como un complemento de dicha lingua. Frente a los formalistas, que llegan a identificar numeral y nmero, Frege distingue tres planos: expresin, contenido judicativo de esa expresin y asercin o juicio del contenido o pensamiento. Lo nico que importa en la Conceptografa es el contenido judicativo. Los griegos vencieron a los persas en Platea y los persas fueron vencidos por los griegos en Platea son dos expresiones diferentes, pero presentan el mismo pensamiento, el mismo contenido. Contenido que puede ser convertido en asercin, aunque sea independiente de tal asercin e incluso puedan existir contenidos que carezcan de la expresin asociada correspondiente. Ello conduce a rechazar la distincin entre sujeto y predicado, vlida fundamentalmente para la expresin gramatical y no para el contenido judicativo ni para el conceptual. La nica diferencia que importa entre contenidos judicativos es la que existe entre universales y particulares, porque dicha distincin lo es en cuanto a contenido conceptual y no slo en cuanto a expresiones. De este modo quedan fuera de la lgica las viejas distinciones entre juicios categricos, hipotticos, disyuntivos... Igualmente, conduce a admitir que la negacin se aplica a contenidos de juicios y no a la sola expresin de los mismos, contenidos a los que harn referencia, por modo exclusivo, las restantes constantes lgicas que explicitar Frege.
Lgica simblica
31
Desde este enfoque que diferencia radicalmente lgica de gramtica y de teora del conocimiento, Frege se ve obligado a rechazar la posibilidad de distinciones modales como tema propio de la lgica. As, es posible que la Tierra choque algn da con otro cuerpo celeste es una expresin en la cual quien la afirma no conoce las leyes de las cuales pueda seguirse la negacin; en otras palabras, una distincin modal de posiiblidades o de necesidad se refiere ms al fundamento cognoscitivo que se tiene en el momento de enunciarla, que al contenido del juicio. Desde esta posicin se invalida cualquier construccin lgico-modal. Ms arriba se ha dicho que Frege sustituye los conceptos de sujeto y predicado por los de argumento y funcin. Cmo se hace esto? Sea una expresin como La vaca come hierba. Si en lugar de La vaca ponemos la oveja, la expresin seguir siendo vlida. Se puede reemplazar el trmino vaca por otros trminos o, generalizando, por un lugar vaco: ( ) come hierba, y ello de manera tal que, al cubrir ese espacio vaco por un trmino conveniente se tenga la expresin completa que podr o no ser judicable. Y lo ser cuando el trmino sea conveniente, en cuyo caso dicho trmino poseer la propiedad indicada por la otra parte de la expresin; en nuestro ejemplo, vaca poseer la propiedad de comer hierba. Todos aquellos trminos que permitan cubrir el espacio vaco constituirn los argumentos, mientras que la propiedad que los mismos poseen, la de comer hierba, constituye la funcin para tales argumentos. Si ahora se toma la expresin Jorge ama a Luisa, en lugar de Jorge y Luisa pueden colocarse otros trminos por argumentos, por lo que la expresin general tendra dos espacios vacos ( ) ama a ( ) y la funcin ama a ser una funcin de dos argumentos. El proceso puede continuar generalizndose para obtener funciones pluriargumentales. Los espacios vacos se representarn por letras entre parntesis, como indeterminadas, mientras que la propia funcin se representar, igualmente, por una letra. Representacin que Frege hace por (A) para la funcin de un argumento y (A,B) para la funcin de dos argumentos. Si al reemplazar convenientemente la letra entre parntesis resulta que el contenido obtenido es capaz de ser convertido en juicio, en asercin, entonces es que el argumento satisface la funcin, es decir, posee la propiedad determinada por la misma. Es el anlisis de una proposicin en letra funcional y argumento el que permite superar a Frege la distincin entre sujeto y predicado. Anlisis por el cual puede establecerse uno de los logros ms definitivos de la lgica matemtica: la teora de la cuantificacin. Siguiendo con la funcin, puede ocurrir que todo trmino que se reemplace en el argumento de una funcin posea esta propiedad, con lo que estamos ante un cuantificador universal. La negacin del cuantificador universal nos permite hacer aserciones existenciales. La introduccin de los cuantificadores universal y existencial le lleva a introducir las nociones de variable libre y variable ligada. El cuantificador universal debe estar sometido a que cualquier sustitucin que pueda hacerse en una funcin tiene que dar un contenido que pueda convertirse en juicio: Si una combinacin de
Lgica simblica
32
signos que siguen a un trazo de contenido puede convertirse en juicio, entonces esa posibilidad permanece inalterada por una sustitucin (pargrafo 11). La variable que acompaa al cuantificador aparece como una variable ligada y, por ello, es diferente a una variable libre.
Lgica simblica
33
III.
Lgica simblica
34
IV.
V.
definiciones que introducen trminos definidos valindose de los no definidos, y que, por consiguiente, cabe eliminar efectuando la reduccin a estos ltimos (pero las deducciones facilitan los mtodos de inferencia); teoremas demostrables apoyndose en I) a IV).
Para nuestros fines adoptaremos la siguiente forma de los axiomas, empleando 0, nmero y sucesor (para abreviar, utilizaremos la notacin Sx en lugar de sucesor de x, siendo x una variable que pueda representar cualquier nmero): I. II. III. IV. V. 0 es un nmero; si x es un nmero, Sx ser un nmero no hay dos nmeros que tengan el mismo sucesor 0 no es el sucesor de ningn nmero todos los nmeros tienen la propiedad P si a. P(0), y b. si para cualquier x, P(x), P(Sx). Definiciones para suma y multiplicacin: D1. Adicin (+): 1. x + 0 = x 2. x + Sy = S(x + y) D2. Multiplicacin : 1. x 0 = 0 2. x Sy = (x y) + x Como ejemplo de la utilidad de esta formalizacin, veamos la demostracin de que 3+1=4 1. 0 es un nmero (por los axiomas I y II) 2. 0 = 1 (por definicin) 3. (0) es un nmero (en virtud de 1 y el axioma II) 4. (0) = 1 = 2 (por sustitucin y definicin) 5. 2 es un nmero (en virtud de 3, de una sustitucin y el axioma II) 6. 2 = 3 (por definicin) 7. 3 es un nmero (en virtud de 5, de una sustitucin y el axioma II) 8. 3 = 4 (por definicin) 9. (3 + 1) = (3 + 0) (por sustitucin y adicin) 10. (3 + 1) = (3 + 0) (por definicin de adicin (parte 2)) 11. (3 + 0) = 3 (por definicin de adicin (parte 1)) 12. (3 + 0) = 3 = 4 (por sustitucin y en virtud de 11 y 8)
Lgica simblica
35
13. (3 + 1) = 4 (por sustitucin y en virtud de 9 y 12) En este sistema formal, las expresiones 3, 4, 1 y + no significan ms que lo que expresan sus definiciones a base de los trminos primitivos, y, si atendemos slo a los fines sintcticos, exactamente lo mismo podramos haber escrito en su lugar, A, B, C y %, de igual manera que hubiera sido posible escribir *, refunfa y expeditor en lugar de los trminos primitivos que hemos utilizado, 0, nmero y sucesor. Los nmeros ordinales proyectados por los axiomas de Peano representan relaciones de orden o sucesin, tales como primero, segundo, etc. Si decimos de las cosas susceptibles de ser contadas que son miembros de conjuntos o clases de cosas, nos acercamos ms a las intuiciones que tenemos acerca de ellas. Si adoptamos esta manera de expresarnos, lo que querremos decir al pronunciar uno ser esa propiedad comn compartida por todos los miembros de cierta clase, y cabr sostener que cuanto sea uno constituir una clase de un solo miembro, en virtud de su singular identidad como esa cosa. Ahora bien, puede decirse que todas las cosas del universo son idnticas a s mismas, pero en la medida en que son discriminablemente nicas cada una de ellas tiene su propia identidad, o conjunto nico de propiedades que la hagan ser esa cosa, y no otra; y semejantes clases de un solo miembro, o clases unitarias, comparten, a su vez, una propiedad: la de tener un solo miembro. De ah que podamos definir el nmero cardinal uno como la clase de todas las clases con un solo miembro, o sea, la clase de las clases unitarias; anlogamente, se define el cardinal dos como la clase de todas las clases dotadas de dos miembros, y el nmero cardinal cero como la clase de todas las clases carentes de miembros, o clase vaca. Por consiguiente, podemos entender o constituir los nmeros de tal modo que lleguemos a interpretar los nmeros naturales a base de la cardinalidad, esto es, en el sentido de la numerosidad de los miembros de cada clase de clases igualmente dotadas de ellos, una vez generados los cardinales correspondientes a cada trmino sucesivo de la serie de los nmeros naturales, 0, 1, 2, 3, Si partimos de 0, adoptndolo como primer nmero, y lo entendemos como la clase vaca, podemos generar el segundo, o sea, 1, como la clase cuyo nico miembro sea la clase vaca; luego, la clase que contenga como nico miembro la clase unitaria cuyo solo miembro es la clase vaca ser 2, y as sucesivamente.
Lgica simblica
36
(lgica de predicados mondicos), y la teora de clases y relaciones (lgica de predicados polidicos) como un lgebra. La segunda parte, titulada Prolegmenos a la aritmtica cardinal, se ocupa de las ideas necesarias para definir nmero cardinal y para poder construir una aritmtica de los nmeros cardinales con los pilares de la lgica. Los volmenes 2 y 3 estudian en detalle las aritmticas de los nmeros cardinales y ordinales, basndolas enteramente en la lgica.
Lgica simblica
37
nuevos valores, definidos en trminos de ese total, dicho total aparece por ello aumentado y, en consecuencia, los nuevos valores que a l se refieren se referirn a ese total aumentado. Tendremos, por tanto, que distinguir entre proposiciones que se refieren a un determinado total de proposiciones, y proposiciones que no lo hacen. Las que se refieren a una totalidad de proposiciones nunca pueden ser miembros de tal totalidad. Podemos definir como proposiciones de primer orden las que no se refieren a una totalidad de proposiciones; proposiciones de segundo orden, a las que se refieren a totalidades de proposiciones de primer orden, y as ad infinitum. Mediante esta teora, conocida como teora de los tipos, logramos salvar la paradoja del mentiroso. Bsicamente la teora consiste en negar la posibilidad de la autorreferencia; es decir, no debemos nunca hablar de las proposiciones de un lenguaje L en ese mismo lenguaje L, sino que debemos utilizar un lenguaje L + 1.
Lgica simblica
38
debe subsistir en algn oscuro mundo platnico del ser, porque, de otro modo, vuestra afirmacin de que la montaa de oro no existe no tendra significado. El punto esencial de la teora de las descripciones es que, aunque la montaa de oro pueda ser gramaticalmente el sujeto de una proposicin con significado, tal proposicin, cuando se analiza correctamente, deja de tener tal sujeto. La proposicin la montaa de oro no existe se convierte en la funcin proposicional x es de oro y una montaa es falsa para todos los valores de x. El enunciado Scott es el autor de Waverley se convierte en para todos los valores de x, x escribi Waverley es equivalente a x es Scott. Aqu, la frase el autor de Waverley ya no aparece. La teora de las descripciones, adems, arroja luz sobre el significado de existencia. El autor de Waverley existe quiere decir hay un valor de c para el cual es cierta la funcin proposicional: x escribi Waverley es siempre equivalente a x es c. La existencia, en este sentido, puede afirmarse solamente de una descripcin, y, cuando se analiza, se descubre que es un caso de funcin proposicional que es verdadera por lo menos para un valor de la variable. Podemos decir el autor de Waverley existe y podemos decir Scott es el autor de Waverley, pero Scott existe no es gramaticalmente correcto. En el mejor de los casos, puede interpretarse su significado como la persona llamada Scott existe, pero (la persona llamada Scott( es una descripcin, no un nombre. Cuando quiera que un nombre se emplea correctamente como tal nombre, no es correcto gramaticalmente decir que existe.
Lgica simblica
39
2. las conectivas: , 3. los diversos signos de puntuacin ((),{}, [], etc.) Como smbolos definidos aparecen: [(X [X [X Y =def (X Y =def X Y)] Y Y) (Y X)}]
Y =def {(X
Se emplean, adems, cuatro reglas de formacin: 1. 2. 3. 4. una variable proposicional sola es una frmula bien formada del clculo si X es una fbf, entonces X tambin lo es Si X e Y son fbfs, X ( Y tambin lo es Estas son todas las reglas de formacin el clculo (esta ltima regla tiene un carcter metalingstico respecto de las anteriores y metalingstico respecto al clculo) y se establece para dejar sentado que todas las reglas estn explicitadas)
Aparecen, tambin, dos reglas de transformacin: a. Dada una tesis del clculo en la que aparezcan variables de enunciado, el resultado de sustituir una, algunas o todas esas variables por fbfs del clculo ser tambin una tesis del clculo; con tal de que cada variable sea sustituida siempre que aparece, y siempre por el mismo sustituto (regla de sustitucin) b. Si X es una tesis del sistema, y los es tambin X ( Y, entonces Y es una tesis del sistema (regla de separacin o modus ponens) Adems, Russell y Whitehead formularon los siguientes seis axiomas: 1. 2. 3. 4. 5. 6. lo que est implicado por una premisa verdadero es verdadero p p p q (p q) (p q) (q p) [p (q r)] [q (p r)] (q r) [(p q) (p r)]
Adems de estas proposiciones primitivas, formulan el axioma de identificacin de variables reales. Cuando tenemos aseveradas por separado dos funciones de x diferentes, en donde x es indeterminado, frecuentemente es importante saber si podemos identificar la x de una asercin con la x de la otra. Este ser el caso si ambas aserciones presentan x como el argumento de alguna funcin, es decir, si f
Lgica simblica
40
x es un componente de ambas aserciones o, con ms generalidad, si (x, y, z, ) es un constituyente en una asercin, y (x, u, v, ) es un constituyente de la otra. Con estos elementos pueden comenzar a deducirse todos los teoremas de la lgica elemental de enunciados. En realidad, como se demostr ms tarde, incluso puede construirse un sistema entero de lgica de enunciados con menos elementos. Por ejemplo, puede usarse una sola conectiva para definir todas las dems: la barra de Sheffer (p | q que se lee no conjuntamente p y q o p y q son incompatibles). Con los Principia Mathematica queda definitivamente establecida la lgica moderna como un sistema formal axiomtico, plenamente simbolizado, en el que se unifican y se establecen claramente las relaciones entre la lgica de enunciados y la de predicados, los diversos tipos de predicados de primer orden, y los predicados de orden superior (la cuantificacin de las variables de predicado). El nico borrn que se le puede achacar a este sistema son los resultados de Gdel de 1931, sobre la incompletud de los sistemas formales. Ahora bien, este no es un borrn de los Principia solamente, sino de cualquier sistema formal que podamos inventar y que, en definitiva, lo que viene a demostrar es que no podemos demostrar que las matemticas no son contradictorias.
Lgica simblica
Biografas
Lgica simblica
41
Lgica simblica
42
antepasado de los actuales computadores de escritorio. Sus derivaciones siguieron siendo producidas hasta que sus equivalentes electrnicos se hicieron de fcil acceso en los inicios de los aos 1970. El 21 de noviembre de 1675 escribi un manuscrito usando por primera vez la notacin de la integral f(x)*d(x). En el mismo manuscrito estaba dada la regla para la diferenciacin. Esa regla fue dada a conocer dos aos despus, en julio de 1677.
Lgica simblica
43
Lgica simblica
44
llamada Algebra Booleana la cual ahora encuentra aplicacin en la construccin de computadores, circuitos elctricos, etc. Boole tambin trabaj en ecuaciones diferenciales, el influyente Tratado en Ecuaciones Diferenciales apareci en 1859, el clculo de las diferencias finitas, Tratado sobre el Clculo de las Diferencias Finitas (1860), y mtodos generales en probabilidad. Public alrededor de 50 escritos y fue uno de los primeros en investigar las propiedades bsicas de los nmeros, tales como la propiedad distributiva. Muchos honores le fueron concedidos a Boole, fue reconocido como el genio en su trabajo recibi grandes honores de las universidades de Dublin y Oxford y fue elegido miembro acadmico de la Real Sociedad (1857). Sin embargo, su carrera que comenz un tanto tarde termin infortunadamente temprano cuando muri a la edad de 49 aos, el 8 de Diciembre de 1864 en Ballintemple, County Cork (Irlanda). Las circunstancias son descritas por Macfarlane de la siguiente forma: "Un da en el 1864 camino desde su casa al colegio, una distancia de dos millas, con una lluvia torrencial y luego dio una conferencia con la ropa empapada. El resultado fue un resfro febril el cul pronto da sus pulmones y termin su carrera....." Lo que a Macfarlane le falt decir es que la esposa de Boole (Mary nieta de Sir George Everest, de quin despus fue nombrada la montaa) crea que el remedio podra ser la causa. Ella puso a Boole en cama y arroj cubos de agua sobre la cama, ya que su enfermedad haba sido causada por mojarse. El trabajo de Boole lleg a ser un paso fundamental en la revolucin de los computadores, cuando Claude Shannon en 1938, demostr como las operaciones booleanas elementales, se podan representar mediante circuitos conmutadores elctricos, y como la combinacin de estos poda representar operaciones aritmticas y lgicas complejas. Shannon demostr asmismo que el lgebra de Boole se poda utilizar para simplificar circuitos commutadores.
Lgica simblica
Resumen y conclusiones
Lgica simblica
45
Resumen y conclusiones.
1. Introduccin
Definicin La lgica simblica es un sistema formal que analiza los signos y lo que designan, dichos signos se vinculan con cosas y hechos usando una notacin matemtica, constituye por s misma un lenguaje o metalenguaje (lenguaje tcnico formal). El filsofo alemn Rudolf Carnap desarroll la lgica simblica El objeto de estudio de la lgica - Es una ciencia y su objeto de estudio lo constituyen las formas, estructuras o esquemas del pensamiento, diferenciando entre estructura y contenido en el pensamiento a cerca de las cosas. El contenido pueden ser agrupados en tres clases: "Y", "O", "si...entonces", La lgica proposicional es la parte de la lgica que estudia las formas en que se relacionan unas proposiciones con otras y, sobre todo, la relacin que se da entre las proposiciones que componen un razonamiento. Lenguaje natural y lenguaje simblico - Los lenguajes humanos son sistemas de signos, que representan algo. En el lenguaje natural, utilizamos palabras, habladas o escritas, que pueden tener significados distintos, dependiendo de las circunstancias, originando confusiones y errores. En las ciencias nos encontramos un lenguaje preciso, tcnico y lleno de smbolos, signos elegidos cuidadosa y conscientemente para representar a otros signos. Existen tantos lenguajes cientficos como ciencias particulares; entre los ms conocidos estn el de las matemticas, el de la qumica y el de la lgica, que es el que vamos a examinar en seguida. La simbolizacin del lenguaje lgico - Al simbolizar un lenguaje lo que se persigue es, bsicamente, sencillez, claridad y exactitud. En la lgica proposicional se examinan las posibles relaciones entre proposiciones, sin atender a su contenido, simboliza con simples literales y las expresiones mediante las cuales son relacionadas (como "Y", "O", "si. . . entonces"),
Lgica simblica
46
Lgica simblica
47
Todo A es B es el contradictorio de algn A no es B Ningn A es B es el contradictorio de algn A es B Algn A es B es el contradictorio de ningn A es B Algn A no es B es el contradictorio de todo A es B Oposicin contraria o contrariedad - Se da entre dos enunciados que no pueden ser ambos verdaderos, sino que al menos uno de ellos ha de ser falso. Tambin los dos pueden ser falsos. Si el uno es verdadero, el otro es falso. Pero si el uno es falso, el otro puede ser tanto verdadero como falso. La contrariedad se da entre un enunciado universal afirmativo y el correspondiente enunciado universal negativo, de los tipos todo S es P y ningn S es P. Todo A es B es el contrario de ningn A es B Ningn A es B es el contrario de "todo A es B Leyes de la oposicin contradictoria: Si no (todo A es B), entonces (algn A no es B) Si no (ningn A es B), entonces (algn A es B) Si no (algn A es B), entonces (ningn A es B) Si no (algn A no es B), entonces (todo A es B) Leyes de la oposicin contraria: Si (todo A es B), entonces no (ningn A es B) Si (ningn A es B), entonces no (todo A es B). Conversin de enunciados Consiste en la permutacin de su sujeto y su predicado. El enunciado conserva los mismos conceptos, pero el concepto que haca de predicado pasa a hacer de sujeto, y a la inversa. Naturalmente, no siempre la verdad de un enunciado garantiza la verdad del enunciado que resulta de la permutacin de sus conceptos. Los enunciados universales negativos y los particulares afirmativos pueden convertirse siempre, los enunciados particulares negativos no pueden convertirse nunca, los enunciados universales afirmativos pueden convertirse slo a condicin de transformar su cuantificacin de universal en particular. Los casos posibles son: Si (ningn A es B), entonces (ningn B es A) Si (algn A es B), entonces (algn B es A) Si (todo A es B), entonces (algn B es A) Silogismos y figuras - El silogismo es un discurso en el cual, puestas ciertas cosas, algo distinto de las cosas puestas se sigue necesariamente de ellas, como consecuencia suya, y sin que sea preciso introducir ningn otro trmino para justificar la necesidad de la conclusin. Aristteles usa la palabra silogismo para referirse solo a la formada por tres enunciados (dos premisas y una conclusin), y que aparezcan exactamente junto los tres trminos o conceptos. se utilizan las siguientes figuras.
Lgica simblica
48
La primera figura - Cuando el sujeto de la conclusin es sujeto de una premisa, el predicado de la conclusin es predicado de otra premisa y el concepto medio es predicado de una premisa y sujeto de otra. Ejemplo: todo A es B todo B es C ---------------todo A es C stas son sus correspondientes leyes lgicas: Si todo A es B y todo B es C, entonces todo A es C Si todo A es B y ningn B es C, entonces ningn A es C Si algn A es B y todo B es C, entonces algn A es C Si algn A es B y ningn B es C, entonces algn A no es C La segunda figura - se da cuando el sujeto de la conclusin es sujeto de una premisa, el predicado de la conclusin es sujeto de la otra premisa y el concepto medio es predicado de ambas premisas. Tambin en esta figura reconoce Aristteles cuatro combinaciones como dando lugar a la implicacin de la conclusin por las premisas, como silogismos. (2.1) Si todo A es B y ningn C es B, entonces ningn A es C (2.2) Si ningn A es B y todo C es B, entonces ningn A es C (2.3) Si algn A es B y ningn C es B, entonces algn A no es C (2.4) Si algn A no es B y todo C es B, entonces algn A no es C La tercera figura se da cuando el sujeto de la conclusin es predicado de una premisa, el predicado de la conclusin es predicado de la otra premisa y el concepto medio es el sujeto de ambas. En esta tercera figura reconoce Aristteles seis combinaciones en las cuales las premisas implican la conclusin, seis silogismos: (3.1) Si todo B es A y algn B es C, entonces algn a es C (3.2) Si todo B es A y algn B no es C, entonces algn A no es C (3.3) Si algn B es A y todo B es C, entonces algn A es C (3.4) Si algn B es A y ningn B es C, entonces algn A no es C (3.5) Si todo B es A y todo B es C, entonces algn A es C (3.6) Si todo B es A y ningn B es C, entonces algn A no es C
Un silogismo perfecto es evidentemente vlido. Un silogismo imperfecto es igualmente vlido, pero su validez no es evidente, sino que ha de ser mostrada con ayuda de un silogismo perfecto. Aristteles elige como axiomas de la silogstica a los silogismos de la primera figura, por ser stos los nicos perfectos y evidentes.
Lgica simblica
49
Los silogismos de las figuras segunda y tercera son vlidos, pero su validez no es evidente, sino que slo se patentiza reducindolos a los de la primera figura. Silogismos: premisas y validez - Aristteles parte del principio que toda doctrina o disciplina deriva de un conocimiento preexistente. Para que el silogismo concluya necesariamente, las premisas de donde deriva deben tambin ser necesarias. Deben ser inmediatos, esto es que son indemostrables, como evidentes por s mismos, ya que si no fueran tales, seran principios de los principios y as sucesivamente hasta el infinito. La induccin y la deduccin La induccin, segn Aristteles, es una deduccin que, en lugar de deducir un extremo de otro mediante el trmino medio, como hace el silogismo, deduce el trmino medio de un extremo, valindose del otro externo.
2.2 Los estoicos - Los estoicos definan a la lgica como la doctrina que tiene
por objeto los lgoi, o discursos. La lgica es dialctica. La dialctica se define como la ciencia de lo que es verdadero y de lo que es falso y de lo que no es ni verdadero ni falso. El criterio de verdad - El problema fundamental de la lgica estoica es el del criterio de la verdad, que es la representacin catalptica o conceptual. Tiene dos interpretaciones: 1-La fantasa (la accin del intelecto que se apodera y comprende el objeto), 2-La representacin impresa en el entendimiento por el objeto, esto es, la accin del objeto sobre el entendimiento. El asentimiento y la epoch - El asentimiento constituye el juicio; el cual se define precisamente o bien como asentimiento o como disconformidad o como suspensin, esto es, renuncia provisional al asentimiento de la representacin recibida o a disentir de la misma. Los estoicos posteriores definan la ciencia como una representacin catalptica o un hbito inmutable para aceptar tales representaciones, acompaadas de razonamiento y afirmaban que no hay ciencia sin dialctica, siendo propio de la dialctica presidir los razonamientos. El nominalismo estoico Para los estoicos los conceptos no tienen ninguna realidad objetiva, lo real es siempre individual y el universal subsiste solamente en los conceptos. El estoicismo es, pues, un nominalismo. Las categoras son reducidas a cuatro: 1) el sustrato o sustancia; 2) la cualidad; 3) el modo de ser; 4) el modo relativo. La proposicin y el razonamiento - Tres son los elementos que se coligan: el significado, lo que significa y lo que es. Lo que significa es la voz, el significado es la cosa sealada por la voz y a la que nosotros unimos pensando en la cosa correspondiente, lo que es, es el sujeto externo. Segn los estoicos, un significado es completo si puede expresarse en una frase. Por lo tanto, slo la proposicin es un significado completo. El razonamiento consiste en una conexin entre
Lgica simblica
50
proposiciones simples del tipo siguiente: si es de noche, hay tinieblas; pero es de noche, luego hay tinieblas. Este tipo de razonamiento no tiene nada de comn con el silogismo aristotlico.
Otros tipos de inferencias son aquellos que se obtienen por conversin, por obversin y por contraposicin. La conversin (simples) se realiza mediante el intercambio de las respectivas proposiciones de los trminos del sujeto y del predicado de una proposicin. La obversin se aplica a los cuatro tipos de proposiciones categricas. Una contraposicin es cuando en una proposicin categrica se sustituye su trmino-sujeto por el complemento de su trmino predicado y, al mismo tiempo, su trmino-predicado se sustituye por el complemento de su trmino-sujeto.
Lgica simblica
51
Pedro Hispano - En las Summulae logicales aparecen por primera vez las vocales, palabras y versos mnemotcnicos que luego se emplearon corrientemente en la enseanza de la lgica. Para indicar las figuras y los modos del silogismo emplea las palabras mnemnicas Barbara, Celarent, Darii, Ferio, etc., cuyas vocales indican la cantidad y la cualidad de las proposiciones que constituyen las premisas y conclusiones del silogismo. De Llull a Leibniz - En la Edad Media, el uso de la disputatio como ejercicio escolar produjo un desarrollo del arte de discutir, es decir, de la dialctica propiamente dicha, y un estudio ms intenso de la sofstica. Tambin los tratados sobre las controversias, que estudian las inferencias entre proposiciones simples y compuestas y los sophismata, que no es un sofisma, es una proposicin que contiene alguna dificultad, debido a una falta o a una ambigedad de construccin, casos particulares de sophismatason: los insolubles, o proposiciones que, tomadas al pie de la letra, se contradicen (como yo digo mentira); los imposibles, en los que la contradiccin no se solventa por una simple distincin lgica, como ocurre en el caso de los insolubles. Otro concepto importante es el de suposicin; se llama as a la acepcin en que es tomado un nombre. Por ejemplo, en la frase el hombre es animal, la palabra hombre supone por una especie; en el hombre corre, por un individuo; en el hombre es sustantivo, por una palabra. Con la suposicin hay que relacionar la copulacin, que afecta del mismo modo al predicado. Queda an la amplificacin, caso en que un nombre es empleado para designar no slo los objetos presentes, sino tambin los pasados, futuros y posibles: esto afecta necesariamente al sentido de la proposicin en que se encuentra. Raimundo Lulio - Menciona dieciocho principios generales. De ellos, nueve son los atributos divinos: bondad, eternidad, grandeza, poder, voluntad, virtud, sabidura, verdad y gloria. Los otros nueve sealan las relaciones entre los seres creados y contingentes: principio, medio, fin, contrariedad, diferencia, concordancia, minora, igualdad y mayora. Proyect una especie de mquina con ruedas de conceptos, una especie de precursora de las computadoras, capaz de combinar y clasificar todos los conceptos, de manera que se pudiera discutir y razonar sin errores. Leibniz - Sostuvo tambin que las figuras de los silogismos no son tres, sino cuatro, obtenindose entonces veinticuatro, y no catorce, formas de silogismo vlidos. Escribi sobre un gnero de arte combinatoria, que tendra por cometido hallar una especie de alfabeto de los conocimientos humanos, que permitiera, mediante la combinacin de sus letras y el anlisis de las palabras compuestas de aqullas, descubrir y juzgar todo lo dems. Leibniz ensay varios clculos lgicos: 1) trat de simbolizar los conceptos mediante nmeros enteros, aritmetizando la lgica, 2) utiliz letras en lugar de nmeros, 3) elabor un clculo de la inclusin, o sea, una lgica intencional, y 4) esboz un clculo con el concepto de sustraccin (diferente del de negacin) de las comprensiones de los trminos.
Lgica simblica
52
La lgica de Port-Royal - No conciben la lgica como una ciencia, sino como un arte, el arte que ensea no a combinar palabras y frmulas, sino a pensar correctamente, as, la lgica tiene que convertirse en un instrumento adecuado para servir a las dems ciencias. El pensamiento asume la forma de lenguaje, pero el lenguaje no debe enclaustrar o distorsionar el pensamiento. La funcin de la lgica, arte de pensar, consiste justamente en poner en claro el autntico pensamiento que se halla debajo de las apariencias de la forma verbal, Kant: lgica formal y lgica trascendental Para Kant la intuicin y los conceptos constituyen los elementos de todos nuestros conocimientos, de manera que ni los conceptos, sin que les corresponda de algn modo una intuicin, ni la intuicin, sin los conceptos, pueden darnos un conocimiento. Pensaba que la clebre lgica formal descubierta por Aristteles, naci casi perfecta, hasta el punto de que no tuvo que dar ningn paso atrs y se ha limitado a sufrir correcciones slo de detalle. A Kant, en la Crtica de la razn pura no le interesa la lgica formal, sino la trascendental, que no prescinde del contenido. El siglo XIX - Entre 1825 y 1900 el lgebra y la geometra experimentaron grandes cambios, que hacia 1900 dieron lugar a una nueva concepcin de la filosofa de la matemtica. Hasta 1825 el lgebra no era sino la teora de las ecuaciones. Peacock adelant la idea de que el lgebra es una ciencia deductiva como la geometra. Para Mill la lgica es una elaboracin posterior de nuestras intuiciones sensibles. Pero no todo es percepcin inmediata; stas son ciertas y contra ellas no hay apelacin. Sin embargo, la mayor parte de nuestro saber lo obtenemos por deducciones, establece las siguientes reglas: 1. Mtodo de concordancia, 2. Mtodo de diferencia, 3. Mtodo combinado de concordancia y diferencia, 4. Mtodo de los residuos, 5. Mtodo de las variaciones concomitantes.
Lgica simblica
53
5. La lgica simblica
Gottlob Frege - El objetivo de Frege es fundamentar la aritmtica y aclarar de una vez para siempre la naturaleza de los nmeros naturales, tal objetivo se condensa en lo que se conoce como programa logicista en la fundamentacin de la matemtica: reducir la aritmtica a lgica, es decir, derivar los conceptos de la aritmtica de conceptos lgicos y deducir los principios aritmticos de los principios lgicos. Con ello lograra establecer que toda la matemtica es reducible a la lgica. Para esta labor tiene que cumplir dos objetivos: (1) precisar qu entiende por lgica y enumerar los conceptos lgicos con los que poder definir los aritmticos; (2) demostrar que los teoremas aritmticos son derivables de los principios lgicos mediante el nico proceso vlido, la deduccin. En la Conceptografa seala que existen dos tipos de juicios, los analticos y los sintticos, los aritmticos son juicios analticos, contra el sentir kantiano, pero entiende por juicio analtico aquel que puede derivarse, en forma estrictamente lgica, de las definiciones. La Conceptografa no es una mera bsqueda de un simbolismo ms o menos arbitrario y que refleje el lenguaje ordinario; su objetivo es conseguir un clculo lgico al estilo de lo preconizado por Leibniz pero que, adems, refleje el pensamiento puro. En lgica, en matemticas, lo que importa es el pensamiento puro, no la gnesis del mismo. Frege distingue tres planos: expresin, contenido judicativo de esa expresin y asercin o juicio del contenido o pensamiento. Lo nico que importa en la Conceptografa es el contenido judicativo. La introduccin de los cuantificadores universal y existencial le lleva a introducir las nociones de variable libre y variable ligada. El cuantificador universal debe estar sometido a que cualquier sustitucin que pueda hacerse en una funcin tiene que dar un contenido que pueda convertirse en juicio. Giuseppe Peano Puso de relieve que la implicacin es la relacin fundamental en matemticas, por ser implicaciones casi todos los enunciados verdaderos en cualquier sistema matemtico. Constat la posibilidad, gracias a la lgica, de poner todos los enunciados de la matemtica y no slo la aritmtica, como crea Frege en forma de un lenguaje artificial de signos, y construir las demostraciones de todos los teoremas matemticos mediante cambios y sustituciones de tales signos partiendo de axiomas y definiciones. Entre sus descubrimientos e invenciones destacan: a) la definicin de una clase por medio de un enunciado de la forma: la clase de los x tales que P(x) (que simboliz como x px); b) la idea de que los enunciados con variables libres difieren de un modo importante de los bivalentes; c) el uso de puntos en lugar de los signos (, ), [, ], para agrupar complejos de signos; d) el uso de signos diferentes a los matemticos para las operaciones y relaciones lgicas cuando
Lgica simblica
54
puede haber peligro de lectura errnea; e) la distincin clara de la relacin de ser elemento de una clase respecto de la de ser parte de una clase; siendo denotada la primera por y la segunda por ; f) la idea de el tal y tal que resulta necesaria para el tratamiento de propiedades de las que tenemos que decir que las posee slo un individuo; g) la notacin del cuantificador universal escribiendo las variables en la parte inferior derecha del conector de enunciados; h) la notacin del cuantificador existencial mediante . Pero, el logro ms importante de Peano fue la formalizacin de la aritmtica. Russell y los Principia Matemtica - La obra Principia Mathematica de Russell y Whitehead es a la lgica moderna lo que el Organon de Aristteles para la lgica clsica. Es la sntesis y culminacin de todos los desarrollos de la segunda mitad del siglo XIX. La teora de los tipos La paradoja de Russell (la paradoja de la clase de todas las clases que no son miembros de s mismas). La solucin de este problema lleg cuando Russell se dio cuenta de que la dificultad resida ms en la lgica que en las matemticas y que, por tanto, era la lgica lo que haba que modificar. Cmo salvar tal dificultad?. Tendremos, por tanto, que distinguir entre proposiciones que se refieren a un determinado total de proposiciones, y proposiciones que no lo hacen. Las que se refieren a una totalidad de proposiciones nunca pueden ser miembros de tal totalidad. Podemos definir como proposiciones de primer orden las que no se refieren a una totalidad de proposiciones; proposiciones de segundo orden, a las que se refieren a totalidades de proposiciones de primer orden, y as ad infinitum. Mediante esta teora, conocida como teora de los tipos, logramos salvar la paradoja del mentiroso. Bsicamente la teora consiste en negar la posibilidad de la autorreferencia; es decir, no debemos nunca hablar de las proposiciones de un lenguaje L en ese mismo lenguaje L, sino que debemos utilizar un lenguaje L + 1. La teora de las descripciones - La teora de las descripciones est considerada como la aportacin ms importante de Russell a la lgica. El punto central de esta teora es que una frase puede contribuir al significado de una oracin sin tener significado en absoluto aisladamente. Otra diferencia entre nombre y descripcin consiste en que, un nombre no puede aparecer significativamente en una proposicin a menos que haya algo que denomine, mientras que una descripcin no est sujeta a esta limitacin. Los Principia Matemtica - Aparece la primera axiomatizacin de la lgica, la lgica puede concebirse o bien como un sistema de reglas de deduccin natural (reglas de inferencia), o bien como un clculo. En un clculo han de presentarse slo los elementos imprescindibles todos ellos perfectamente determinados y en trminos de stos se irn construyendo los dems.
Lgica simblica
55
En Principia Mathematica aparecen como smbolos primitivos: Las variables preposicionales (p, q, r, s, etc.), las conectivas: , , y los diversos signos de puntuacin ((),{}, [], etc.). Se emplean cuatro reglas de formacin: 1-Una variable proposicional sola es una frmula bien formada del clculo, 2-Si X es una fbf, entonces X tambin lo es, 3Si X e Y son fbfs, X (Y tambin lo es) , 4-Estas son todas las reglas de formacin el clculo (esta ltima regla tiene un carcter metalingstico respecto de las anteriores y metalingstico respecto al clculo) y se establece para dejar sentado que todas las reglas estn explicitadas) Aparecen, tambin, dos reglas de transformacin: 1-Dada una tesis del clculo en la que aparezcan variables de enunciado, el resultado de sustituir una, algunas o todas esas variables por fbfs del clculo ser tambin una tesis del clculo, con tal de que cada variable sea sustituida siempre que aparece, y siempre por el mismo sustituto (regla de sustitucin), 2-Si X es una tesis del sistema, y los es tambin X ( Y, entonces Y es una tesis del sistema (regla de separacin o modus ponens) Russell y Whitehead formularon los siguientes seis axiomas: 1. 2. 3. 4. 5. 6. lo que est implicado por una premisa verdadero es verdadero p p p q (p q) (p q) (q p) [p (q r)] [q (p r)] (q r) [(p q) (p r)]
Con los Principia Mathematica queda definitivamente establecida la lgica moderna como un sistema formal axiomtico, plenamente simbolizado, en el que se unifican y se establecen claramente las relaciones entre la lgica de enunciados y la de predicados, los diversos tipos de predicados de primer orden, y los predicados de orden superior (la cuantificacin de las variables de predicado).
Lgica simblica
56
Bibliografa.
Arnaz, Jos Antonio, Iniciacin a la lgica simblica, 3 ed, Trillas Claudio Gutirrez, La lgica y el conocimiento, Universidad de Costa Rica, University of Delaware Enciclopedia Encarta 2003. 1993-2002 Microsoft Corporation. www.biografias.com