You are on page 1of 3

Lgica clsica de primer orden: estrategias de deduccin, formalizacin y evaluacin semntica. Falguera Lpez. Capitulo II SISTEMA LGICO FORMALES.

1. Nocin de sistema lgico. Algunos esquemas representativos de un determinado tipo de argumentos. Por sistematizacin de los esquemas lgicos hay que entender la formulacin de criterios conforme a los que clasificar tales esquemas e incluso el establecimiento de criterios reductivos entre los esquemas lgicos admitidos, especificando qu esquemas son irreductibles y, por lo tanto, bsicos. Ahora la empresa de sistematizar esquemas lgicos de un determinado tipo de argumentos se realiza recurriendo a tcnicas formales, mientras que en los tratamientos tradicionales no se conocan tales tcnicas. Tales sistematizaciones han dado lugar a cuerpos tericos, SISTEMAS LOGICOS. Un sistema lgico es un cuerpo terico que consiste en un conjunto de esquemas lgicos, algunos de los cuales se presentan como bsicos y los dems como derivados, que se toman como criterios de validez de determinado tipo de argumentos. 2. Nocin de sistema lgico formal (primera aproximacin) Los sistemas lgico-formales, y los que correspondientes lenguajes formales, se conciben como resultado de una construccin convencional, y se definen mediante sus regalas de construccin. El que un sistema lgico-formal sea una construccin convencional no conlleva que sea una construccin totalmente arbitraria. Aunque los sistemas lgicos-formales deban poderse presentar sin hacer referencia a contenidos semnticos y sin establecer conexiones de ninguna ndole con lenguajes naturales, por lo general la construccin de un sistema lgico-formal ha estado orientada por la pretensin de dar cuenta de los esquemas lgicos que subyacen a determinado tipo de argumentos y de los principios que aseguran la validez deductiva de ese tipo de argumentos. LENGUAJE FORMAL, se le asocia determinada interpretacin pretendida que fija un uso semntico para sus expresiones lgicas y el tipo de entidades que designan el resto de las expresiones bsicas; interpretacin pretendida conforme a la cual se relaciona ese lenguaje formal con un lenguaje natural. La existencia de esa relacin es lo que asegura que podamos reexpresar enunciados de un lenguaje natural en lo que denominaremos FORMULAS BIEN FORMADAS (fbfs) del lenguaje formal en cuestin. La reexpresin de enunciados de un lenguaje natural en fbfs del lenguaje de un sistema lgico-formal es lo que se denomina FORMALIZACIN. El proceso de formalizacin nos permite explicitar qu forma lgica subyace a un enunciado de un lenguaje natural. Una vez obtenidas las formas lgicas de determinados enunciados de un lenguaje natural es posible analizar las relaciones lgicas existentes entre esos enunciados. Al formalizar los enunciados de un argumento podemos analizar las relaciones deductivas que se dan entre sus premisas y su conclusin conforme a l marco del sistema lgico-formal en el que estemos trabajando. Podemos entender un sistema lgico-formal como un modelo para comprender la lgica subyacente a una parte de un lenguaje natural. Un sistema lgico-formal ha de poderse presentar sin referencia a condiciones semnticas de ninguna ndole, sin estableces supuestas conexiones con un lenguaje natural. La nocin de sistema lgico-formal cae bajo la nocin ms general de SISTEMA FORMAL o CLCULO: 3. Nocin de sistema formal o clculo. Un sistema formal S est formado por dos componentes: un LENGUAJE FORMAL L y un MECANISMO DEDUCTIVO D. S diciendo que S=<L,D>. 1

Un lenguaje formal L se identifica mediante el conjunto de sus fbfs. Por lo tanto, si dos lenguajes L y L tienen el mismo conjunto de fbfs es que son el mismo lenguaje. Hay al menos dos formas de concebir una FRMULA. Una es como entidades abstractas que son expresables mediante muestras; siendo una muestra una hilera o sarta finita de smbolos o marcas. La otra, hace corresponder las frmulas a las propias muestras. Esta segunda opcin tiene la desventaja de no considerar que dos lenguajes formales pueden o ser diferentes. Otra desventaja de identificar frmulas con muestras es la de requerir que un lenguaje formal venga dado por un conjunto de muestras efectivas. Cabe solventar este problema considerando que las fbfs no tienen que identificarse con muestras efectivas sino con muestras construibles conforme a ciertas reglas. Hablaremos a partir de aqu de las fbfs de un lenguaje formal como si se tratara de las muestras concretas construibles. Hemos de sealar que el conjunto de fbfs de un lenguaje formal L se determina convencionalmente por el creador del lenguaje. Para ello el lenguaje formal se especifica mediante: a. b. un conjunto finito de expresiones o smbolos primitivos. Este conjunto se denomina el VOCABULARIO PRIMITIVO de L. un conjunto de REGLAS DE FORMACIN, que determinan qu secuencias de expresiones del vocabulario primitivo son fbfs.

Un lenguaje formal es un lenguaje artificial. El mecanismo deductivo D de un sistema formal S suele venir dado por dos tipos de componentes, a saber: a. el establecimiento por convencin de que ciertas fbfs de L juegan el papel de AXIONAS de S, o que ciertas expresiones de un metalenguaje de L que representan fbfs de S con determinada forma juegan el papel de ESQUEMAS DE AXIOMAS de S. los axiomas son fbfs que se toman como postulados de partida indiscutibles en un sistema formal. b. el establecimiento por convencin de un conjunto de REGLAS DE TRANSFORMACIN que permiten pasar de fbfs de L a otra fbf de L en S. 4. Nocin de sistema lgico-formal (segunda aproximacin) Un sistema lgico-formal es un lenguaje formal junto con un mecanismo deductivo. Por lo que concierne al lenguaje formal encontramos que en su vocabulario primitivo hay que diferenciar determinados smbolos que se toman como expresiones lgicas, a los que tambin denominamos CONSTANTES LGICAS u operadores lgicos. Dos tipos de sistemas lgico-formales, aquellos cuyo mecanismo deductivo se especifica mediante axiomas y reglas de transformacin, que denominamos SISTEMAS AXIOMTICOS, y aquellos cuyo mecanismo deductivo se especifica exclusivamente mediante reglas de transformacin, que denominamos SISTEMAS DE DEDUCCIN NATURAL. En un sistema lgico-formal axiomtico se priman las leyes lgicas, es decir fbfs del lenguaje en cuestin que son axiomas o son deducibles en ese sistema a partir de los axiomas mediante las reglas de transformacin de dicho sistema. Los axiomas son los primeros postulados, o primeras leyes lgicas, indiscutibles del sistema. Las leyes lgicas deducibles reciben el nombre de TEOREMAS. En un sistema lgico-formal de deduccin natural se prescinde de axiomas. El mecanismo deductivo est dado exclusivamente por un conjunto de REGLAS BSICAS DE TRASNFORMACIN. Estas reglas bsicas se clasifican en reglas de introduccin y de eliminacin, de manera que para cada constante lgica bsica hay una regla de introduccin una de eliminacin. Las reglas de transformacin que corresponden a relaciones deductivas demostradas reciben el nombre de REGLAS DERIVADAS. En un sistema lgico-formal de deduccin natural se priman las reglas de transformacin. Dado un sistema lgico-formal axiomtico en principio es posible obtener un correspondiente sistema lgico-formal de deduccin natural. Todo lo deducible en un sistema lgico-formal de deduccin natural mediante reglas derivadas es deducible mediante reglas bsicas. 2

- Lenguaje Formal Smbolos primitivos - lgicos - no lgicos - Vocabulario Smbolos definidos - lgicos - no lgicos Smbolos auxiliares
AXIOMTICO

SISTEMA LGICO FORMAL

- Mecanismo deductivo - axiomas

DE DEDUCCIN NATURAL

- reglas de transformcin

A un sistema lgico-formal se le puede asociar una SEMNTICA. Proporciona citerior de interpretacin para el sistema formal. Se supone en la semntica una correspondencia entre categoras de expresiones que no son lgicas en el sistema lgico-formal y tipos de entidades aceptados en la semntica, adems de una correspondencia entre las expresiones lgicas del sistema lgico-formal y los usos de determinadas expresiones de un tipo de lenguaje natural respecto al cual stas son tomadas como lgicas. Un modelo M para comprender la lgica subyacente a una parte de un tipo de lenguaje natural lo constituye un determinado sistema lgico-formal S junto con una determinada semntica pretendida.