LOGICA – FCE / CUATRIMESTRE 1 / CURSO 2 / CLASE 19

DE MARZO DE 2021
GUIA DE CLASE

Unidades del programa a ver:

UNIDAD TEMÁTICA I:
Objetivos:
Que el alumno conozca los conceptos básicos de la lógica y los pueda relacionar entre sí,
adoptando como concepto básico el de deducción.
Contenidos:
(a) El concepto de deducción y la lógica simbólica. Deducción e información. El concepto de
información semántica y de enunciado. El principio de bivalencia. Diferentes aproximaciones a
la caracterización de la relación de deducción. La noción de forma lógica. Los conceptos de
validez y consistencia. Regla lógica y ley lógica. (b) Lógica simbólica: objetivos y métodos. Las
nociones de lenguaje y sistema formal, Lógica pura y lógica aplicada. La lógica clásica de
predicados de primer orden.

UNIDAD TEMÁTICA II
Objetivos:
Que el alumno se introduzca en los conceptos de computabilidad y procedimientos efectivos a
través de la idea de Máquina de Turing y sepa dar ejemplos de funciones computables, para
luego aplicar estaos conceptos a la lógica simbólica.
Contenidos:
Las nociones de método efectivo y de función computable. Máquinas de Turing y la noción de
computabilidad de Turing. La tesis de Turing-Church. Método efectivo y decidibilidad.

------------------------------------

Si se quiere resumir los puntos más centrales de la UNIDAD I, vista el martes pasado, se pueden
establecer los siguientes:

- DEDUCCION (RAZONAMIENTO DEDUCTIVOS, FORMA LOGICA, VALIDEZ, etc.);

- INFORMACION SEMANTICA (el concepto de enunciado o proposición);

Esencial para esta unidad es el Apunte Cero, que tienen disponible en la parte teórica de los
“Materiales” del curso. Este apunte presenta y a veces caracteriza todos los conceptos
centrales de curso y es un apunte al que se sugiere volver a medida que se va avanzando en el
curso. Las sucesivas unidades despliegan ideas que están en él, y a la vez, estas ideas se van a ir
aclarando y ejemplificando. De este modo, si no se entiende del todo algunos de los conceptos

1
que allí aparecen, se va a ir esclareciendo luego, cuando este conceptos sea vean “en
movimiento” a lo largo del curso,

Tengan presente que los apuntes, junto con las guías de clase, constituyen las “clases
teóricas” del curso y están concebidos para la lectura independiente. A su vez, recuérdese
que las guías son tan sólo indicaciones para sacarle el mayor provecho posible a la lectura de
los apuntes y que de ningún modo los reemplazan.

Sobre la noción de información semántica, téngase en cuenta la sección 2 “Información

proposicional” del Apunte Cero. La noción clave, fundamental para la comprensión de lo que es
la deducción y para la teoría lógica es la de enunciado; es la unidad informativa central, en lo
que hace a la lógica deductiva, y que se define en esa sección como:

(2.1.) Un enunciado es cualquier signo del cual tenga sentido decir que es verdadero o falso.

Si de un signo tiene sentido predicar verdad o falsedad, entonces se lo entiende como un

enunciado. La idea de enunciado no es dependiente de la existencia de idiomas en particular.
Por ejemplo,

(23 2 + 17) = (501 + 45)

es un enunciado (escrito) que tiene la forma de una ecuación, al modo usual en aritmética o en
álgebra y que están presentados en la escritura de una lengua, sino en la notación de la
aritmética. Lo que requiere, obviamente, la formulación de un enunciado es un sistema de
signos, en el cual formularse.

Sobre el concepto de razonamiento deductivo y la noción de validez, ya comenzamos a ver

algo en la clase anterior, en el texto de la “clase 1”, y el tema es tratado a partir de la sección 3
del Apunte Cero.

---------------------------------------------

En esta clase, nos queremos concentrar ahora en el último punto de los mencionados antes:
LOS CONCEPTOS DE COMPUTABILIDAD Y DE METODO EFECTIVO.

Para esta cuestión cuentan en la sección teórica de los Materiales del Campus Virtual con (a) el
texto que ofrecemos para esta cuestión es el capítulo traducido al castellano del libro
Computability and Logic (muy usado en cursos de Lógica orientados a ciencias de la
computación), (b) la guía desarrollada por Mariana Olezza que sintetiza lo esencial de ese
capítulo. Esta noción de computabilidad se reconstruirá mediante la idea de Máquina de
Turing.

El concepto de computable (función computable) se aplica tanto a problemas como

enunciados y teorías matemáticas (o que tienen una formulación matemática). Como queda

2
claro al comienzo del capítulo, que es la lectura obligatoria para este tema, la cuestión se
entiende en términos de funciones. El concepto de función es clave. Ustedes vienen viendo este
concepto desde las primeras materias de matemática (álgebra y análisis, sobre todo), y
seguramente están familiarizados con la definición de función en el lenguaje de la teoría de
conjuntos como una aplicación de un dominio a un conjunto de valores, en para cada elemento
del dominio la aplicación enviará a un único elemento del conjunto de valores. Esto es algo
definitorio. Esto lo pueden encontrar en cualquier definición de función en internet (por
ejemplo, en Wikipedia). Por ejemplo, la potenciación al cuadrado en el conjunto de los
números naturales es una función computable: x2 = y es una función que para todo número
natural x va a tener un único valor y, y ese valor se puede calcular, por ejemplo, como x.x. Así,
se tiene

12 = 1
22 = 4
32 = 9
42 = 16
…
Pese a que esta lista es infinita, siempre que se da un número natural cualquiera, el cuadrado
es calculable.

Las funciones computables son aquellas en las que existe un procedimiento que nos permite
obtener (calcular) el valor (único) en un número finito de pasos.

Los ejemplos más a mano y simples de funciones computables son las operaciones aritméticas
vistas en el colegio primario. Piénsese también en el procedimiento que usamos para sumar dos
números naturales cualquiera. Ese procedimiento es un “cómputo”.

Pero, desde ya, hay funciones computables fuera de la matemática: el PBI per cápita
de un país, es un caso. Otras palabras para referirse al concepto de computable son
“decidible”, “recursivo”, “finito”, “efectivo”, “calculable” y “resoluble” (aunque no
siempre son exactamente sinónimas).

-------------------------------------------------

REPRESENTACIÓN Y CÓMPUTO

El capítulo también habla de las diferentes notaciones para los números y su relación
con los procedimientos de cómputo. Existen notaciones que a la vez que representan
los números también son aptas para el cómputo. Este es el caso de la notación
decimal (y también la de barras o palotes). Por el contrario, la numeración romana no
permite esto. La construcción de una notación que permita computar es algo muy
importante cuando se trabaja con funciones computables. Por ejemplo, la notación índigo
arábiga para los números naturales, mencionada en el texto, se formula en función de “hacer
las cuentas”. Por el contrario, una notación como la romana no permite hacer cuentas (al

3
menos con un procedimiento sencillo). La notación romana sirve como representación pero no
es apta para el cómputo, mientras que la índigo arábigo sirve para ambas funciones, lo mismo
que la notación “monádica” (o de palotes) que es mencionada en el texto.

-------------------------------------------

Vale la pena advertir que al describir lo que es una máquina de Turing (que es una
máquina abstracta, pero realizable de hecho de diferentes maneras) se mencionan
operaciones que apelan a la escritura: “inscribir”, “borrar”, y también la cinta puede
entenderse como una superficie de escritura dividida en celdas, donde se pueden
hacer marcas. De este modo, se puede entender también a la representación de las
operaciones en una máquina de Turing como una notación.

Lo que intenta determinar el concepto abstracto de máquina de Turing es el concepto

de función computable.

En el texto que tienen que leer se caracteriza una máquina de Turing recurriendo a la analogía
con un carro que es movido por un ser humano (un “homúnculo”). Pero hay otras
representaciones distintas de una máquina de Turing. Por ejemplo, la siguiente

que recurre a plantear una máquina con algún tipo de lector de cinta magnética (una analogía
un poco más tecnológica). Y abajo tienen otra más imaginativa:

4
Una función computable puede reducirse, en el contexto de las máquinas de Turing, a una
secuencia de instrucciones referidas a esas operaciones de “inscribir”, “borrar”, “mover a la
derecha”, “mover a la izquierda”, etc. La secuencia de esas operaciones presentada en un
orden determinado constituye el programa. En la analogía que se visualiza en el texto el
programa se supone adentro de este homúnculo.

Toda operación que se pueda reducir a estas operaciones que hace la máquina es computable.

Lo que dirá la célebre tesis Church-Turing es que TODA función que sea computable puede
caracterizarse o definirse mediante la indicación de una secuencia de esas operaciones.

Así se pretende capturar todas las funciones computables. Como se sabe, esta tesis es tan sólo
una conjetura; no se ha demostrado que sea verdadera, pero hasta ahora ha funcionado.

Sobre la obra de Alan Turing pueden ustedes encontrar mucha información en internet
(incluso videos y libros sobre su vida). Turing estaba inmerso en todo el clima
intelectual vinculado a la lógica matemática, que se estaba consolidando cuando él
publicó, en 1936, su célebre artículo sobre computablidad (que se puede encontrar
también en internet).

-------------------------------------------------

LECTURA PARA AMPLIAR EL TEMA

Sobre máquinas de Turing puede verse la entrada correspondiente de la Stanford
Encyclopedia of Philosophy,
https://plato.stanford.edu/entries/turing-machine/

-------------------------------------------------

La teoría de la computabilidad se desarrolló en la primera mitad del siglo pasado en

forma paralela a la lógica simbólica y en gran parte debido a problemas de esta última.

5
Esta teoría se presentó como una teoría matemática acerca de las funciones recursivas,
que fue desarrollada por la matemática húngara Rózsa Péter (información sobre su
vida y obra se encuentra en internet). Alonzo Church desarrolló el cálculo lambda y
Turing presentó su máquina. Toda operación realizada en las computadoras usuales
son, prima facie, computables, es decir, se las puede describir mediante una
secuencia de instrucciones de una máquina de Turing. Un problema que interesa en
las ciencias de la computación es que una función puede ser computable, pero no
factible. ¿Qué quiere decir esto? Una función puede ser computable (y por lo tanto
realizable en un tiempo finito), pero ese tiempo finito de ejecución del procedimiento
con los recursos disponibles puede ser muy extenso (por ej. miles de millones de años).
El problema que le interesa al informático y al ingeniero es desarrollar procedimientos
factibles, esto es, que sean realizables en los hechos.

------------------------------------

El martes próximo comenzaremos con la UNIDAD III, en la que muchos conceptos de los vistos
se verán “en funcionamiento”.