Metalgica Una Introduccin a la Metateora de la Lgica Clsica de Primer Orden

Geoffrey Hunter

Parte I

Introduccin: Nociones Generales

Metateora de la lgica: se refiere a las oraciones usadas para expresar verdades de la lgica, las
cuales deben ser FRMULAS de un LENGUAJE FORMAL.

LENGUAJE que pueda ser especificado sin hacer referencia alguna, directa o indirecta, al
significado de las frmulas del lenguaje.

1. LENGUAJES FORMALES:

Los objetos bsicos de la METATEORA son los LENGUAJES FORMALES.

LENGUAJES FORMALES: pueden ser completamente definidos sin referirse a interpretacin

alguna para ello, no lo necesita.

Se pueden identificar con conjuntos de FRMULAS BIEN FORMADAS.

FRMULAS: signo de una frmula puede ser una marca o una serie de marcas.

CONJUNTO DE FBF'S de un lenguaje formal particular es determinado por el hacer de su creador,

que establece qu cosas sern FBF'S de su lenguaje.

1. conjunto de smbolos - el alfabeto de su lenguaje.

2. conjunto de reglas de formacin- determinan que secuencia de smbolos de un alfabeto son
FBF'S de su lenguaje.

Ambos deben definirse sin referencia a significado o interpretacin, si no es as, no es un lenguaje

formal.

SMBOLOS: trmino tcnico- no necesitan simbolizar nada, deben ser capaces de ser especificados
sin referencia alguna. Son abstractos, como las frmulas. Un signo de un smbolo es una marca o
configuraciones de marcas.

Si ya tenemos un lenguaje formal establecido, pasaremos a hacer una de dos cosas o ambas:

1. podemos definir la nocin de una interpretacin del lenguaje - teora modelo.

2. especificar el aparato deductivo para el lenguaje - teora de prueba
2. INTERPRETACIONES DE LENGUAJES FORMALES TEORA MODELO:

De forma muy general, la interpretacin de un lenguaje formal es la asignacin de significados a sus

smbolos y/o frmulas. (Restringiremos nocin de interpretacin a interpretaciones para la cual
cada frmula interpretada es V (1) o F (0), por ahora)

TEORA MODELO: es la teora de las interpretaciones de lenguajes formales. (Un modelo de una
frmula de un lenguaje es una interpretacin del lenguaje para la cual la frmula resulta verdadera).

Conceptos claves en Teora Modelo son:

- Verdad para una interpretacin
- Consecuencia semntica (modelo teortico)
- Validez lgica

Ejemplo: interpretacin lenguaje formal W

Triangulo: 1
cuadrado: 0

"triangulo cuadrado triangulo" = "1 0 1"

En sentido amplio de "interpretacin", no necesita proposiciones una frmula interpretada, donde

"proposicin" significara oracin expresando algo V o F.

Especificando el aparato deductivo para un lenguaje formal obtenemos un sistema formal.

Sistema formal S es un lenguaje formal L junto con un aparato deductivo dado por establecimiento
de:

1. Ciertas frmulas de L sern AXIOMAS de S.

y/o
2. Conjunto de REGLAS DE TRANSFORMACIN (REGLAS DE INFERENCIA) que determinen
que relaciones entre frmulas de L son relaciones de CONSECUENCIA INMEDIATA en S.
(permiten derivaciones de unas frmulas a otras)

APARATO DEDUCTIVO:
-debe definirse sin referencia alguna a una interpretacin intencionada/esperada del lenguaje: si esto
no es as, el sistema no es un sistema formal.
-puede consistir de AXIOMAS y REGLAS DE INFERENCIA, o solo de axiomas, o solo de reglas
de inferencia.
TEORA DE PRUEBA: La parte de la teora de SISTEMAS FORMALES (lenguajes formales con
aparato deductivo) que no involucra la TEORA MODELO de forma esencial. No requiere
referencia alguna a interpretaciones de los lenguajes.

3. APARATO DEDUCTIVO. SISTEMA FORMAL. TEORA DE PRUEBA

Especificando el aparato deductivo para un lenguaje formal obtenemos un sistema formal.

Sistema formal S es un lenguaje formal L junto con un aparato deductivo dado por establecimiento
de:

1. Ciertas frmulas de L sern AXIOMAS de S.

y/o
2. Un conjunto de REGLAS DE TRANSFORMACIN (REGLAS DE INFERENCIA) que
determinen que relaciones entre frmulas de L son relaciones de CONSECUENCIA INMEDIATA
en s. (permiten derivaciones de unas frmulas de otras)

APARATO DEDUCTIVO:
-debe definirse sin referencia alguna a una interpretacin intencionada/esperada del lenguaje: si esto
no es as, el sistema no es un sistema formal.
-puede consistir de AXIOMAS y REGLAS DE INFERENCIA, o solo de axiomas, o solo de reglas
de inferencia.

TEORA DE PRUEBA:
La parte de la teora de SISTEMAS FORMALES (lenguajes formales con aparato deductivo) que
no involucra la TEORA MODELO de forma esencial. No requiere referencia alguna a
interpretaciones de los lenguajes.

Conceptos dentro de la teora de prueba:

- prueba de un sistema - prueba formal

- teorema de un sistema - teorema formal
- derivacin en un sistema - derivacin formal
- consecuencia sintctica - prueba teortica

Las cuatro refieren al aparato deductivo

todas pueden definirse sin decir algo sobre interpretaciones.

El lenguaje formal puede identificarse con el conjunto de todas sus fbfs.

Pero un sistema formal no puede identificarse con el conjunto de todos sus teoremas.
S y S' pueden tener exactamente los mismos teoremas y aun as diferir en alguna forma importante
en cuanto a prueba teortica.
4. "SINTAXIS", "SEMNTICA"
Sintaxis: tiene que ver con lenguaje formal o sistemas formales, no toma en cuenta esencialmente su
interpretacin.

Semntica: tiene que ver con las interpretaciones del lenguaje formal.

Sintaxis tiene sentido ms amplio que prueba teortica ya que puede aplicarse a propiedades de
sistemas formales sin aparato deductivo, as como tambin a propiedades de sistemas formales.

Semntica significa MODELO TEORTICO.

5. METATEORA. LA METATEORA DE LA LGICA

Metateora:- teora de sistemas y lenguajes formales y sus interpretaciones, que a la vez son sus
objetos de estudio y consiste en un corpus de verdades y conjeturas sobre estos objetos.
Abarca problemas como consistencia, completitud, (decidability) independencia de conjunto de
formulas.
La teora modelo (modal?) y teora de prueba le pertenecen.

Metateora de la lgica: teora de esos sistemas y lenguajes formales que le interesan al lgico:

-Se interesa por el lenguaje formal porque sus formulas pueden interpretarse como expresiones de
verdades lgicas.

-Se interesa por sistemas formales porque sus teoremas pueden interpretarse como expresiones de
verdades lgicas o porque sus reglas de transformaciones pueden interpretarse como reglas de
inferencia lgicamente validas.

6. USO Y MENCIN. LENGUAJE OBJETO Y METALENGUAJE. PRUEBAEN UN SISTEMA

FORMAL Y PRUEBA SOBRE UN SISTEMA FORMAL. TEOREMA Y METATEOREMA.

USO y MENCION de lenguaje:

Con respecto a los lenguajes formales se les denomina LENGUAJE OBJETO, ya que hay uso de
ellos.
El lenguaje que describe un lenguaje objeto es un METALENGUAJE, ya que hay mencin del
lenguaje objeto.

PRUEBA EN UN SISTEMA FORMAL: tiene AXIOMAS en una serie de formulas de un lenguaje

formal que satisface ciertos requisitos puramente sintcticos del sistema.

PRUEBA SOBRE UN SISTEMA FORMAL: un pedazo de discurso significativo, expresado en

metalenguaje, justificando una afirmacin VERDADERA sobre el sistema.

TEOREMA DE UN SISTEMA FORMAL: formula de un lenguaje formal que satisface ciertos

requerimientos puramente sintcticos y no tiene significado, mientras que

TEOREMA SOBRE UN SISTEMA FORMAL: (METATEOREMA) es una afirmacin

VERDADERA sobre el sistema, expresada en metalenguaje.