ALGUNOS TIPS SOBRE EL EXAMEN FINAL

El examen busca que usted tenga claros los conceptos centrales del curso:

1. Sistema formal
a. Reglas de formacin y transformacin

2. Concepto de argumento.
a. Premisa y conclusiones
b. Definicin de argumento y argumento correcto
c. Esquemas de argumento.

3. Lenguaje - metalenguaje.

4. Sintaxis y semntica de la lgica proposicional y la lgica de predicados.

a. Sintaxis de la lgica proposicional
i. Concepto de enunciado y su diferencia con el de proposicin u oracin.
ii. Definicin de frmula bien formada.
iii. Conectivos lgicos y forma lgica de los enunciados.

b. Semntica de la lgica proposicional

i. Funcin de verdad vy tablas de verdad como procedimiento de decisin
ii. Concepto de tautologa, contradiccin y contingencia
iii. Consistencia y completud de la lgica proposicional
iv. La lgica como sistema formal

c. Sintaxis de la lgica de primer orden

i. Cuantificadores
1. Variables libres y ligadas - Rango de cuantificacin.
ii. Definicin de trmino y frmula
iii. Forma lgica
iv. Forma normal prenexa

d. Semntica de la lgica de primer orden

i. Universo del discurso
ii. Predicados y variables
iii. Modelo
iv. Definiciones intensionales y extensionales de predicados.
v. Consistencia, decidibilidad y satisfacibilidad.

5. Deduccin natural en lgica de primer orden

a. Reglas de inferencia para la deduccin natural
b. Relacin entre tautologas, teoremas y el sistema de deduccin natural.

6. Extensiones y planteamientos alternativos a la lgica clsica.

a. Lgica trivalente de Kleene y Lukasiewicz
 b. Sintaxis y semntica de la lgica modal proposicional
i. Operadores modales.
ii. Forma lgica de enunciados modales
iii. Modelo
1. Concepto de mundo posible y relacin de accesibilidad.

7. Principios y teoremas transversales

a. Principio de composicionalidad.
b. Principio de extensionalidad.
c. Teorema de Lwenheim - Skolem.
d. Teorema de validez (Post).
e. Teorema de completitud para la lgica proposicional (Gdel).
f. Teoremas de incompletitud de Gdel.

Sobre cada uno de estos conceptos, se espera que usted d una respuesta favorable en trminos de qu
son y cmo se usan en lgica. El eje es el concepto de sistema formal, pues es en este sentido que se
van a entender los posteriores estudios sobre el lenguaje; pues se asume que el lenguaje al menos es
susceptible de entrar en la estructura de dichos sistemas (es el postulado de los primeros generativistas
como Chomsky y de herederos de la tradicin analtica en filosofa).

Estos conceptos deberan verse en tres niveles de comprensin:

a) Intratextual: se espera que se entienda la estructura de las definiciones y conceptos vistos a

nivel proposicional, esto es, que se entienda, por ejemplo, las relaciones planteadas entre
sujetos y predicados o entre oraciones subordinadas y oracin central, as como la coherencia
de los textos ledos en relacin con las definiciones requeridas. Por ejemplo: la definicin de
argumento correcto establece una relacin entre premisas y conclusin, que viene dada por
cmo se estructura dicha definicin (Un argumento se dice correcto en el caso en el que si sus
premisas son verdaderas su conclusin necesariamente
es verdadera).
b) Intertextual: se espera que pueda relacionar los textos ledos durante el semestre. Por ejemplo,
que se entienda la relacin entre las lecturas sobre semntica de la lgica proposicional, la
lectura sobre Gdel de Penrose y la lectura de Smullyan de principio de semestre y los
paralelismos entre estas versiones.
c) Extratextual: Se espera que se entienda la aplicacin de estos conceptos en la lgica misma, en
filosofa, en lingstica y en las bases de los estudios sobre computacin. En general. que exista
una comprensin sobre la

Les dejo algunas preguntas que pueden guiar su estudio:

a) Explique por qu la siguiente proposicin pertenece al metalenguaje de la lgica: Las reglas de

inferencia permiten pasar de las premisas a la conclusin.
b) Cules son los trminos primitivos de un sistema formal?
c) Cmo entiende usted una regla de transformacin?
d) Qu diferencia encuentra usted entre una regla de formacin y una regla de transformacin?
e) Por qu las reglas de inferencia se entienden como reglas de transformacin?
 f) Es posible pensar en el espaol (y en general en cualquier lenguaje natural) como un sistema
formal? Justifique su respuesta.
g) Clasifique las siguientes enunciados dependiendo si se refieren al nivel sintctico, al semntico
o al pragmtico de la lgica clsica y si pertenece al lenguaje o al metalenguaje.

La funcin de interpretacin
por asignacin cambia el
valor de una variable por un
individuo del dominio de la
funcin
v( )= 1 si = x(P x P x) es una
tautologa en lgica clsica
pero no en algunas de sus
desviaciones.
La definicin de frmula bien Una frmula se dice bien
formada es recursiva formada si es una variable
proposicional, tiene la forma
, o es de la forma
donde representa cualquier
conectivo lgico.

f) Por qu cree que la lgica clsica se ha enfocado en estudiar la deduccin?

g) Podra una regla de inferencia garantizar la validez de un argumento?
h) Por qu cree que el Modus Ponens es una regla de inferencia vlida?
i) Comente la siguiente afirmacin teniendo en cuenta lo trabajado sobre lenguaje y metalenguaje: Hay
dos errores en esta orasin.
j) Explique la relacin que usted cree que existe entre la estructura sujeto - predicado y la teora de
conjuntos.

Mi consejo es que no intenten estudiar todo lo visto porque se van a abrumar. Lo mejor es tratar de
analizar mucho las lecturas de clase, las clases y las presentaciones y pensar en los conceptos dados
durante el semestre. El examen no ser de memoria, sino ms bien, de anlisis.