1

Lgica - FCE

El concepto de sistema formal. Una primera aproximacin

1. La idea de formalizacin
La intencin de describir procedimientos de manera exacta y precisa es lo que ha motivado la formalizacin. Ms precisamente, se trata de que todos los pasos y reglas empleadas en el procedimiento estn explcitos y absolutamente especificados, sin que quede oculto elemento alguno que forme parte del procedimiento. Esto trae como consecuencia que la correccin de todos los pasos del procedimiento puede ser controlada y revisada. Adems, elementos puramente retricos que estn presentes en la descripcin informal pueden desaparecer en la descripcin formal. La formalizacin ha tenido lugar en algunas partes de la matemtica, donde, por ejemplo, procedimientos como los que implican las operaciones aritmticas (suma, resta, multiplicacin, etc.) han sido objeto de un tratamiento formal. Tambin hay casos de formalizacin en otras disciplinas cientficas y ha sido fundamental para el desarrollo de la computacin en el siglo pasado. Sin embargo, el caso paradigmtico es la lgica. En este caso son los procedimientos inferenciales los que se formalizan. La formalizacin implica la construccin de lenguajes y sistemas formales. Los lenguajes formales son lenguajes artificiales en los que se representan las operaciones que integran el procedimiento a formalizar y los sistemas formales especifican los principios que gobiernan a estas operaciones. Los condiciones que hacen posible la formalizacin (condiciones que estn implcitas en la exposicin del lenguaje simblico de la lgica que se hizo anteriormente) pueden resumirse de la siguiente manera: (a) La existencia de una escritura o una notacin Una primera condicin para poder formalizar es la existencia de un medio que permita fijar smbolos de un modo que se los pueda distinguir unvocamente y que se les pueda presentar en un determinado orden. Este medio puede ser cualquier soporte fsico que permita fijar: piedra, madera, papel, etc.; y la forma de fijacin puede ser variada: inscripciones, tallas o pinturas sobre el soporte fsico. En la actualidad existen formas tecnolgicamente ms sofisticadas de inscripcin: la inscripcin digital sobre un disco magntico (un disco rgido, o un cd) que requieren instrumentos para que las inscripciones puedan ser visualizadas (una pantalla). A todo esto se lo puede considerar, en un sentido general de la palabra, una escritura. As, esta condicin es compartida con cualquier lengua histrica que pretenda ser fijada. (b) La capacidad de abstraer formas o esquemas lingsticos En la formalizacin, la descripcin de los procedimientos debe ser esquemtica (y aqu comienza a diferenciarse de la escritura de las lenguas histricas). Esto quiere decir que los smbolos se toman como meros esquemas a interpretar en diferentes casos: lo que es importante es la descripcin de un procedimiento, que puede darse

2
de diferentes maneras y aplicarse a entidades diferentes, quedando constante el procedimiento. Esto significa, en definitiva, establecer reglas generales, de aplicacin general para los diferentes casos a los que les cabe el procedimiento. Aqu aparece la idea de abstraccin formal. En el caso especfico de la lgica se consider el caso de la obtencin de formas de enunciado y de razonamiento. (c) La capacidad de proceder sin tomar en cuenta el significado Vinculado con lo anterior est el hecho de que en la formalizacin se prescinde del significado que tengan los smbolos. Los smbolos pueden referirse a una categora de objetos, pero no se presupone que tengan un significado determinado. El sistema formal contiene reglas para la manipulacin de los smbolos, las cuales se aplican con prescindencia del significado que estos smbolos tengan: son simplemente figuras, sujetas a ciertas reglas de formacin y transformacin. Las reglas indican cmo obtener estructuras de smbolos a partir de otras.

2. Lenguajes formales
La idea de un lenguaje artificial y puramente simblico de alcance universal y que sirviera para formular el pensamiento humano puede encontrarse ya a fines de la Edad Media y cobr importancia en la Edad Moderna. Un lenguaje artificial con estas caractersticas se opone a las lenguas histricas, tales como el castellano, el chino, el rabe o el ingls, las que son habladas de manera natural por comunidades y que han tenido un origen y un desarrollo histricos, siendo la determinacin de su gramtica posterior al uso y difusin de la lengua. Estos lenguajes estn concebidos como sistemas de ideogramas que representan conceptos, ideas o entidades de manera totalmente independiente de cmo se expresan estas fonticamente en una lengua histrica determinada. As, estos lenguajes artificiales pueden ser usados y entendidos por hablantes de diferentes lenguas histricas. En el caso de los lenguajes formales, al igual que en todos los lenguajes artificiales, la gramtica es estipulada de antemano, siendo por lo tanto anterior al uso. En pocas palabras, un lenguaje artificial consta de un conjunto de smbolos bsicos o alfabeto que puede tener muy variadas caractersticas: puede estar formado por letras de algn alfabeto existente, por signos convencionales o por grficos, dibujos, diagramas, etc, es decir son figuras de cualquier tipo. Sobre la base de este alfabeto, la gramtica se presenta por medio de definiciones de las expresiones que se admiten como bien formadas en el lenguaje. Estas expresiones son cadenas de smbolos, esto es, smbolos dados en un cierto orden. As se constituye la sintaxis del lenguaje. Posteriormente se les puede asignar significado a los smbolos, obtenindose as la semntica del lenguaje. El concepto de lenguaje formal se entiende mejor si se tienen en cuenta los objetivos que guan la construccin de un lenguaje formal y si, adems, se analiza la evolucin del uso de smbolos especiales en la ciencia. Histricamente, aparecieron en diferentes disciplinas signos con un uso especfico y un significado claro, dado de antemano. Un ejemplo sencillo est dado por la numeracin arbiga, tal como la empleamos en diferentes aspectos de la vida. Los numerales 1, 2, 3, etc. se refieren a nmeros y significan respectivamente lo mismo que las palabras uno, dos, tres, etc.. del castellano. No obstante, sus ventajas posicionales y composicionales son obvias. As, con nuestro sistema decimal, juntar los dgitos del 0 al 9 en un orden, da lugar a nuevas expresiones que se refieren a nmeros. As, 256 se refiere al

3
nmero que se designa en castellano con la frase doscientos cincuenta y seis y est claro que es un nmero diferente al que se refiere el numeral 562, pese a contener los mismos dgitos. Pinsese ahora en los smbolos para las operaciones aritmticas de suma y de resta + y los que expresan lo mismo que las palabras ms y menos, eliminando sus ambigedades y dndole un carcter universal: comprese la expresin numrica 7+5 con la frase siete ms cinco. Mientras que la segunda requiere conocimiento de la lengua castellana, la primera requiere nicamente conocimiento de la simbologa aritmtica, conocimiento que posee cualquier persona que conozca aritmtica, independientemente de la lengua histrica que hable. Adems, permite un nivel de abstraccin mayor. Fcilmente, pueden introducirse variables respecto del dominio en consideracin (es decir, expresiones que sirven para referirse de manera indeterminada a cualquier elemento del dominio en consideracin) y as expresar hechos que se cumplen para todos los elementos del dominio, como la propiedad conmutativa de la suma: x + y = y + x, lo cual es mucho ms engorroso formular en castellano (u otra lengua histrica), adems de ofrecer ventajas visuales. El ejemplo de los numerales y los smbolos de operaciones aritmticas muestran lo que puede denominarse un lenguaje tcnico (o simbologa tcnica), que aparece en el contexto de una lengua histrica (tmese, por ejemplo, cualquier manual de lgebra escrito en castellano). Otro caso muy conocido es el de los smbolos para los elementos de la tabla peridica (H para el hidrgeno, Fe para el hierro, etc.) y la manera de expresar combinaciones de los mismos (como H2O para el agua). Lo caracterstico de este lenguaje tcnico es que es especfico de una disciplina o un rea del conocimiento y lo emplean los expertos en ella. Estas terminologas tcnicas pueden verse como estadios en el camino que condujo histricamente a los lenguajes formales. Se pueden resumir las ventajas de introducir smbolos especiales para las expresiones especficas de una disciplina en los siguientes tres puntos: (i) universalidad de la simbologa, (ii) estandarizacin (o unificacin) de las expresiones, (iii) construccin de un clculo formal (tal como se ver ms adelante).

3. Lenguaje objeto y metalenguaje

La construccin de un lenguaje formal requiere una serie de distinciones. El lenguaje, las expresiones que lo componen, se convierten en el objeto de estudio, es aquello que se construye y analiza, mientras que se describen sus rasgos y se caracterizan sus expresiones por medio del lenguaje que empleamos, el castellano por ejemplo. En el caso del lenguaje a analizar hablamos de lenguaje objeto y llamamos metalenguaje al lenguaje que empleamos para hacer referencia al lenguaje objeto. Esta distincin es relativa. Un lenguaje puede ser lenguaje objeto en un momento y metalenguaje en otro. Pinsese, por ejemplo, en una gramtica del ingls escrita en castellano. El ingls es el lenguaje objeto, mientras que el castellano cumple el papel del metalenguaje. Pero, en el caso de una gramtica del castellano escrita en ingls los papeles se invierten. Conviene tener presente esta diferenciacin de niveles a efectos de evitar confusiones. El uso de un metalenguaje para mencionar expresiones del lenguaje objeto requiere, entre otras cosas, tener nombres para sus expresiones. As, puede el metalenguaje puede tener palabras que funcionen como nombres de expresiones del lenguaje. De todos modos, una manera usual de nombrar a las expresiones de un lenguaje objeto en un metalenguaje es entrecomillarlas. Esto es particularmente til cuando el lenguaje objeto y el metalenguaje emplean el mismo tipo de smbolos (como el alfabeto latino, smbolos matemticos, etc.) As, el enunciado

Buenos Aires tiene dos palabras. hace referencia a la expresin lingstica (el nombre de la ciudad) y no a la ciudad, de modo que el enunciado resulta verdadero. Si eliminramos las comillas, estaramos hablando de la ciudad, con lo que el enunciado pasara a ser falso. Sin embargo, en lo que respecta al lenguaje de primer orden, emplearemos comillas (simples o dobles, segn el caso) nicamente en casos que puedan dar lugar a confusiones. En las secciones siguientes, el castellano ser el metalenguaje en el cual describiremos el lenguaje formal de la lgica de primer orden.

4. Sintaxis y semntica
Otra distincin importante tiene que ver con la perspectiva que se adopta al analizar un lenguaje. Un primer inters puede ser el de determinar cmo deben formularse las expresiones de un lenguaje, indicando ciertas reglas para la formacin de expresiones. Este es el plano de la sintaxis. Esto puede ilustrarse con una lengua histrica como el castellano. La expresin El caballo corre por el campo es un enunciado bien construido de acuerdo a la sintaxis del castellano. En cambio, caballo el corre campo el por no responde a las reglas sintcticas aceptadas en esta lengua. Adems, se puede examinar el significado que poseen los signos o expresiones de un lenguaje, es decir, la relacin entre las expresiones del lenguaje y aquello que estas expresiones representan o significan. Este es el plano de la semntica. En los lenguajes formales, el significado de una expresin se establece de manera precisa y clara sin dejar lugar a ambigedades o vaguedades. Esto implica construir una semntica formal. En ella deben distinguirse categoras semnticas para las expresiones del lenguaje y reglas de significado para estas. Por ejemplo, reglas que determinen los objetos a que se refieren determinadas expresiones. En el anlisis de los trminos lgicos y en la exposicin del lenguaje de primer orden se tomarn tanto la sintaxis como la semntica.

5. Nota. Reglas de formacin para expresiones del sistema.

Un problema que debe resolverse al construir un lenguaje formal es determinar qu expresiones son admisibles en el sistema. Un lenguaje formal, tal como el lenguaje de primer orden, contiene un nmero finito de smbolos bsicos (smbolos que pueden ser, dicho sea una vez ms, de cualquier tipo: letras, nmeros, smbolos tipogrficos, figuras geomtricas, diagramas, etc.). A este conjunto finito se lo llama habitualmente alfabeto. Ahora bien, la cantidad de expresiones admisibles (bien formadas) que pueden construirse a partir del alfabeto, aunque conste de muy pocos smbolos, es ilimitada. Entonces, el problema es cmo caracterizar todo este conjunto indeterminado (infinito) de expresiones. Este es un problema sintctico o gramatical, y su solucin consiste en dar definiciones recursivas o generativas de las expresiones admisibles en el lenguaje. Este tipo de definiciones consta de dos partes: (a) Caso base: se caracteriza el conjunto de las expresiones ms bsicas admisibles del lenguaje. (b) Paso inductivo: Una vez caracterizado el conjunto de las expresiones ms bsicas, pasan a definirse las ms expresiones ms complejas. Dadas expresiones admisibles cualesquiera del lenguaje, se definen las expresiones que resultan de su combinacin por medio de otros smbolos.

Este tipo de definicin recibe tambin el nombre de definiciones por induccin semitica y se basan en el principio de induccin matemtica (que no se expondr aqu). En el caso de que el lenguaje posea diversas categoras de expresiones, deben darse definiciones inductivas para las expresiones de cada categora. Esto es lo que suceder ms adelante con el lenguaje de primer orden En lenguajes como este, hay dos categoras bsicas de expresiones: aquellas que sirven para referirse a entidades, los trminos, y aquellas que se emplean para expresar enunciados acerca de esas entidades, que son las frmulas.

6. Sistema formal y clculo

Sobre la base de un lenguaje formal puede construirse un sistema formal. En algunos casos se especifica un conjunto de principios o postulados, que constituyen un conjunto bsico de frmulas bien formadas del lenguaje. Adems. es necesario establecer una serie de reglas llamadas reglas de transformacin que permiten obtener otras frmulas bien formadas a partir de ese conjunto bsico. En el caso de la lgica de primer orden, las reglas de transformacin sern las reglas de inferencia. 6.1. Clculo formal. Desde un punto de vista ms general, en atencin a las reglas, el sistema formal puede considerarse un clculo. Ms especficamente, un clculo formal es un procedimiento para la produccin de figuras sobre la base de figuras bsicas de acuerdo con ciertas prescripciones, que son las reglas bsicas. Toda figura se compone a partir de un conjunto de figuras o signos bsicos, que estn tomados del alfabeto del lenguaje formal. 6.2. Ejemplo de clculo formal. Para ilustrar este concepto tmese el siguiente clculo elemental C que parte de un nico smbolo bsico, es decir, una nica figura bsica, la barra inclinada / y que consta de las dos reglas (1) / (2) A A/ La flecha en ambas reglas indica que a partir de ciertos smbolos, a la izquierda de la flecha, puede producirse la secuencia de smbolos que aparece a la derecha. La regla (1) carece de premisas, funciona como un postulado. Con ella se produce la figura bsica /. En la regla (2) A es una forma para una sucesin cualquiera de barras inclinadas. (Aqu se advierte el carcter esquemtico o abstracto que tienen las reglas de un clculo.) De este modo, se dan casos concretos de aplicacin de la regla (2), como, por ejemplo /// //// ////// /////// Las diferentes concatenaciones de barras inclinadas puede verse como cifras, que representen nmeros naturales. De este modo /// se interpreta como el nmero 3, /////// como el nmero 7. El clculo as interpretado proporciona un procedimiento de generacin de los nmeros naturales.