TALF II - TEMA 2 Qu es verdadero?

Xavier Alamn Roldn

Universidad Autnoma de Madrid

Qu es formalizar?: sistemas formales

La idea de sistema formal fue desarrollada de una manera especial por el lgico americano Emil Post durante la dcada de los 20. Su intencin era definir qu es computar, capturar los procesos que mecanizan el razonamiento.

Qu es verdadero?

Un ejemplo de sistema formal: MIU (1)

Slo emplea tres letras: M, I, U. Cualquier cadena formada por dichas tres letras es una cadena de MIU. Empezamos con una bolsa de cadenas aceptables, que contiene una nica cadena:

MI
Esta cadena se denomina axioma: es aceptable por decreto. Las dems cadenas aceptables se obtienen mediante reglas de generacin.
Qu es verdadero?
3

Un ejemplo de sistema formal: MIU (2)

Regla 1: Si se tiene una cadena que termine en I, se le puede aadir una U al final. Regla 2: Si se tiene una cadena Mx, donde x es cualquier cadena de MIU, se puede agregar Mxx a la coleccin de la bolsa. Regla 3: Si en una de las cadenas aparece la secuencia III, se puede sustituir dicha secuencia por una U. Regla 4:Si en una de las cadenas aparece la secuencia UU, dicha secuencia puede ser eliminada.
Qu es verdadero?
4

Un ejemplo de sistema formal: MIU (3)

Se comienza con la bolsa de cadenas aceptables conteniendo el axioma MI. Se puede coger cualquier cadena de la bolsa, aplicarle una de las reglas, y dejar el resultado en la bolsa. Si una cadena est en la bolsa, entonces es aceptable. Problema: Es la cadena MU aceptable?.

Qu es verdadero?

Un ejemplo de sistema formal: MIU (4)

A las cadenas aceptables se les llama tambin teoremas. A la secuencia de reglas que genera un teorema a partir de un axioma se le llama derivacin o demostracin de dicho teorema.

Qu es verdadero?

Procedimientos de decisin
Dado un sistema formal, nos gustara disponer de un mecanismo de verificacin que dado una cadena nos diga si es o no un teorema. A este mecanismo se le denomina procedimiento de decisin Pero qu entendemos por un mecanismo de verificacin?

Qu es verdadero?

Un procedimiento de decisin MIU (1)

Emplear todas las reglas aplicables al axioma MI: se obtiene MIU y MII. Emplear todas las reglas aplicables a los teoremas obtenidos en el paso anterior: se obtienen MIIU, MIUIU y MIIII. Emplear todas las reglas aplicables a los teoremas obtenidos en el paso anterior: se obtienen MIIIIU, MIIUIIU, MIIIIIIII, MUI etc. Si eventualmente se obtiene la cadena buscada, es un teorema, si nunca se obtiene, no es un teorema.
Qu es verdadero?
8

Un procedimiento de decisin MIU (2)

El anterior mecanismo no es aceptable como procedimiento de decisin. Es de importancia primordial que estemos seguros de obtener la respuesta en un tiempo finito. Si tenemos un procedimiento de decisin tenemos una caracterizacin muy concreta de la naturaleza de todos los teoremas del sistema.

Qu es verdadero?

Forma y significado: el sistema mg

Alfabeto: m g Axiomas (infinitos) procedimiento de decisin: xm-gx- es un axioma si x es una cadena cualquiera de guiones. Regla de produccin: Si x,y,z son cadenas de guiones cualesquiera, si xmygz es un teorema, entonces xmy-gz- es un teorema

Qu es verdadero?

10

Procedimiento de decisin mg
Una cadena mg es un teorema si y solo si el nmero de guiones inicial ms el intermedio es igual al nmero de guiones final. Todo sistema formal que slo tenga reglas incrementadoras tiene siempre un procedimiento de decisin: comenzar con el hipottico teorema, y buscar con qu reglas puede haber sido producido. Lo habr sido a partir de teoremas de menor longitud. Este proceso se puede seguir recursivamente. Como la longitud de los teoremas que se van obteniendo siempre disminuye, est asegurado que se termina encontrando un axioma, o llegando a cadenas que ya no pueden ser obtenidas de una regla de produccin.
Qu es verdadero?
11

Procedimientos top/down y bottom/up

El anterior procedimiento de decisin es top/down Tambin hay un procedimiento bottom/up: Se meten en una bolsa los axiomas. Se itera: Se aplican todas las reglas a todos los teoremas de la bolsa. Se aaden los teoremas obtenidos a la bolsa. Si el tamao mximo de los teoremas de la bolsa excede del de la cadena que estamos probando, paramos Si la cadena est en la bolsa, es un teorema, en caso contrario no lo es.

Qu es verdadero?

12

Forma y significado: interpretando mg

m = ms g = igual a - = uno -- = dos etc. La anterior correspondencia se denomina interpretacin. Una interpretacin es significativa si establece un isomorfismo entre el sistema formal y una parte de la realidad. De alguna manera, el sistema formal captura el significado de la parte de dicha parte de la realidad.
Qu es verdadero?
13

Forma y significado: es nico?

La interpretacin propuesta encaja tan perfectamente con la realidad que uno podra tener la tentacin de pensar que en realidad es la interpretacin natural de ese sistema formal. Incluso que es LA interpretacin, no podra tener otra. El smbolo m es LA SUMA. Sin embargo esto no es as: m => igual a g => restado de - => uno etc. Y aunque este caso es trivial, los hay mucha ms complejos.
Qu es verdadero?
14

Forma y fondo

Leer el captulo 3 de GEB.

Qu es verdadero?

15

Destruyendo un sistema formal

Aadamos un nuevo esquema de axiomas al sistema mg: xm-gx es un axioma si x es una cadena de caracteres El sistema formal ha sido destruido: aparecen teoremas falsos: --m--g-- Tambin aparecen contradicciones internas: -m-g-- y -m-g- son ambos axiomas!

Qu es verdadero?

16

Pero realmente ha sido destruido?

La falacia de pensar que se ha destruido el sistema formal mg viene de identificar el sistema con la interpretacin (isomorfismo) que le dimos. Al modificar el sistema forma, el isomorfismo deja de ser vlido, pero podra haber otro que si valiera.

Qu es verdadero?

17

Una nueva interpretacin para mg

Basta con definir g como mayor o igual. El sistema mg vuelve a ser coherente!. Incluso la incoherencia interna ha desaparecido. Sin embargo, bajo esta interpretacin el nuevo mg no es completo: por ejemplo --m--g- no es un teorema!

Qu es verdadero?

18

Clculo proposicional (1)

El objetivo ahora es crear un sistema formal que capture el concepto de verdadero y falso. El primer paso es crear un sistema formal que sea capaz de manipular verdades: es el clculo proposicional. Leer y comentar el captulo VII de GEB. La lgica proposicional genera nuevas verdades a partir de otras verdades.

Qu es verdadero?

19

Clculo proposicional (2)

x , y : <x^y> <x^y>: x , y se puede aadir o quitar de cualquier teorema. Si de x se puede obtener y: <x y> Cualquier teorema se puede usar en la regla anterior para pasar de x a y. x , <x y>: y Son intercambiables:
<x y> <x y> <x y> <x y> <x y> <x y>
Qu es verdadero?
20

El siguiente paso: TNT

El siguiente paso es capturar el concepto de verdadero y falso en un mbito muy restringido: la teora de los nmeros naturales. Leer el captulo VIII de GEB.

Qu es verdadero?

21

El teorema de Gdel

Presentacin en clase

Qu es verdadero?

22