GUÍA DE LÓGICA II 

GRADO 
2ª PARTE | PLAN DE TRABAJO Y ORIENTACIONES PARA SU DESARROLLO 
 

2010-2011

|Amparo Díez Martínez 
GRADO EN FILOSOFÍA 

UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA

 LÓGICA II

1.- PLAN DE TRABAJO

1.1 Textos básicos

Como se indicó en la primera parte de esta guía didáctica, en la asignatura de Lógica II se hará
uso de los dos mismos manuales que ya se han utilizado en Lógica I:

(1) Introducción a la Lógica Formal. El capítulo tercero se detiene extensamente a explicar los
conceptos centrales de la asignatura, así como los procesos de formalización y cálculo. En el
capítulo IV nos ofrece una descripción breve de algunos desarrollos de otras lógicas y las
razones que motivan dichos desarrollos.

(2) Formas Lógicas. En los capítulos V y VI encontraremos una presentación del lenguaje de la
Lógica de Predicados, con descripción e identidad, y muchas explicaciones, ilustradas con
ejemplos, sobre cómo formalizar los enunciados y argumentos y cómo interpretar las fórmulas y
esquemas argumentales; es decir, cómo pasar del lenguaje natural al formal y viceversa. El
capítulo VII está dedicado a los métodos de análisis, sintácticos y semánticos, de las fórmulas de
esta lógica.

Formas Lógicas cubre algunas lagunas presentes en Introducción a la Lógica Formal, como son:

- las Reglas de Formación de Fórmulas de la Lógica de Predicados,

- el método de evaluación semántica mediante árboles, con ejercicios resueltos y
explicados,
- ejercicios de cálculo sintáctico resueltos y explicados,
- ejercicios de formalización, unos explicados, otros solamente propuestos para su
discusión en el foro y en las tutorías presenciales.

La combinación de estos dos textos es suficiente para alcanzar una comprensión sobresaliente
de los contenidos de la asignatura, así como las habilidades y destrezas necesarias para el
cálculo.

1.2 Actividades

En el cuadro que sigue a continuación se resume el conjunto de temas que componen este curso
y las actividades a realizar. En él se señala también el tiempo idóneo de dedicación a cada tema
y actividad, aunque tan sólo a título orientativo, siendo tal distribución del tiempo susceptible de
modificación por parte del alumno conforme a sus necesidades e intereses.

UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA 2

 |Amparo Díez Martínez

BLOQUES A C T I- HORAS A C T IV I DA D 2 HORAS TOTAL SEMA-

HORAS NAS
TEMÁTICO S V I DA D 1

Intervención en el foro,
TEMA 1
Estudio del 5 con ejercicios de lógica 10 15 2
El lenguaje de la Lógica de preparativos para el
tema
Predicados. Elementos del examen y debate.
lenguaje y reglas de
formación de fórmulas.

Intervención en el foro,
TEMA 2
Estudio del 5 con ejercicios de lógica 10 15 2
Ampliación del lenguaje preparativos para el
tema
cuantificacional: examen y debate.
Descripciones definidas e
identidad.

Intervención en el foro,
TEMA 3
Estudio del 20 con ejercicios de lógica 25 45 5
Métodos sintácticos para la preparativos para el
tema
validación de argumentos. El examen y debate.
cálculo de Deducción Natural.

Intervención en el foro,
TEMA 4
Estudio del 10 con ejercicios de lógica 10 20 3
Reglas semánticas para la preparativos para el
tema
evaluación de los argumentos. examen y debate.
Los árboles semánticos.

Intervención en el foro,
TEMA 5
Estudio del 5 con ejercicios de lógica 5 10 1
Aproximación a otras lógicas. preparativos para el
tema
Lógica modal y Lógica examen y debate.
multivalente.

Redacción del trabajo

optativo. Repaso teórico 20 20 3
y práctico.

TOTAL 125 16

UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA 3

 LÓGICA II

En esta asignatura es muy importante la práctica de una serie de ejercicios y su discusión en

grupo y con el tutor, ya sea en la tutoría presencial o en el foro del curso virtual, por lo que se
recomienda al alumno que haga uso de estos dos recursos puestos a su disposición. En el
momento oportuno, se subirán al foro, entre otros, los ejercicios de exámenes de años anteriores
y las soluciones a los ejercicios planteados en el libro Formas Lógicas, tras la discusión sobre las
posibles soluciones alternativas.

2.- ORIENTACIONES PARA EL ESTUDIO DE LOS CONTENIDOS

TEMA 1: El lenguaje de la Lógica de Predicados. Elementos del lenguaje y

reglas de formación de fórmulas.

Introducción

En este tema se estudia el lenguaje de la Lógica de Predicados, esto es, los distintos símbolos
que constituyen su vocabulario y las reglas de formación de fórmulas de dicho lenguaje. Una vez
expuestos los elementos del lenguaje, veremos, por una parte, cómo interpretar las fórmulas de
dicho lenguaje y, por otra, cómo emplearlo para formalizar enunciados del lenguaje natural.

Resultados de aprendizaje:
Conocimientos más relevantes:

1.- Saber reconocer la estructura lógica interna de los enunciados.

2.- Comprender la idea de lenguaje formal y saber reconocer formas lógicas complejas en
expresiones del lenguaje natural.
3.- Entender la distinción entre variable y constante individuales.

TEMA 2: Ampliación del lenguaje cuantificacional: Descripciones definidas e

identidad.

Introducción

En este segundo apartado se explica la conveniencia de enriquecer el lenguaje formal expuesto

en el tema anterior, con dos nuevos símbolos primitivos: el símbolo de identidad (=) y el de la
descripción(ι), cuyos respectivos usos se establecen, como en el caso de las conectivas lógicas y
los cuantificadores, por las reglas de inferencia que los gobiernan. En este tema veremos
también cómo emplear estos dos símbolos para formalizar enunciados del lenguaje natural.

UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA 4

 |Amparo Díez Martínez

Resultados de aprendizaje:
Conocimientos más relevantes:

1.- Saber localizar, en el lenguaje natural, las descripciones definidas y saberlas formalizar.
2.- Reconocer la identidad en algunos usos del verbo ser.
3.- Saber formalizar la identidad e iniciarse en el uso de las reglas que la gobiernan.
4.- Entender que la prueba de validez de algunas argumentaciones depende de formalizar y usar
la identidad y la descripción.

TEMA 3: Métodos sintácticos para la validación de argumentos. El cálculo de

Deducción Natural.

Introducción

Este apartado constituye una presentación de la Lógica de Predicados (ampliada con los
símbolos de identidad y descripción definida) como un sistema de reglas de inferencia. Se
presentan las Reglas Básicas relativas al cuantificador universal, al particular, a la identidad y al
descriptor, así como algunas reglas derivadas de uso frecuente, y se muestra cómo utilizar unas
y otras para la convalidación de argumentos.

Resultados de aprendizaje:
Conocimientos más relevantes:

1.- Conocer las reglas sintácticas básicas del cálculo de predicados, con identidad y descriptor.
2.- Entender la diferencia entres regla básica y regla derivada.
y operar con fórmulas.
3.- Saber examinar argumentos mediante el cálculo deductivo presentado, distinguiendo las
buenas de las malas argumentaciones.
4.- Saber distinguir claramente entre condicional e implicación, en las fórmulas de la Lógica de
Predicados.

TEMA 4: Reglas semánticas para la evaluación de los argumentos. Los

árboles semánticos.

Introducción

En el tema anterior hemos visto cómo convalidar argumentos aplicando reglas sintácticas de
inferencia para obtener una conclusión a partir de unas premisas dadas; pero los argumentos que
contienen cuantificación, identidad o descripciones definidas también pueden ser evaluados con
métodos semánticos. En este apartado se ofrecen las Reglas semánticas Básicas de los dos
cuantificadores, de la identidad y de la descripción, que se añaden a las reglas ya conocidas de
los operadores proposicionales. Los árboles semánticos suministran un procedimiento que se
puede aplicar de manera mecánica (un algoritmo) para determinar la invalidez de una fórmula o
un conjunto de fórmulas, si bien dicho procedimiento no es concluyente en todos los casos.

UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA 5

 LÓGICA II
Resultados de aprendizaje:
Conocimientos más relevantes:

1.- Saber hacer una Árbol Semántico e interpretarlo.

2.- Conocer las reglas semánticas básicas del cálculo de predicados y operar con fórmulas..
3.- Saber distinguir las buenas de las malas argumentaciones.
4.- Saber distinguir claramente las nociones de verdad y validez.
5.- Entender la noción de contraejemplo.
6.- Saber distinguir las fórmulas válidas de las inconsistentes o contradictorias y estas dos de las
meramente consistentes o contingentes.

TEMA 5: Aproximación a otras lógicas. Lógica modal y Lógica multivalente.

Introducción

La deducción presentada en el apartado anterior es una deducción que se apoya en una serie de
reglas de inferencia para extraer consecuencias derivables de ciertos supuestos inicialmente
aceptados. Pero hay otro tipo de deducción: aquella que se apoya en proposiciones previamente
aceptadas con arreglo a algún criterio de racionalidad. Estas proposiciones se denominan
axiomas, a las proposiciones deducidas se les da el nombre de teoremas y de la deducción
axiomática se dice que es una demostración. En este apartado, además de familiarizarnos con
todos estos conceptos, veremos de forma sucinta una presentación de la lógica proposicional en
forma de sistema axiomático.

Resultados de aprendizaje:
Conocimientos más relevantes:

1.- Comprender las nociones de necesidad y posibilidad.

2.- Comprender y saber usar las reglas más sencillas de la lógica modal para proposiciones.
3.- Comprender algunas de las razones que llevaron a considerar la necesidad de desarrollar
lógicas multivalentes.

3.- ORIENTACIONES PARA LA REALIZACIÓN DEL PLAN DE

ACTIVIDADES

3.1: Estudio de los temas.

Como hemos visto en Lógica I, para poder formalizar nuestros enunciados y argumentos y
proporcionar pruebas de la validez de algunas formas de argumentar, debemos familiarizarnos
con un vocabulario y unas reglas de formación de fórmulas y unas reglas de inferencia. El
objetivo de los dos primeros temas de nuestro programa es precisamente ampliar el vocabulario
que ya conocemos y proporcionar para él unas reglas de uso; en el primero introducimos los
cuantificadores y en el segundo la identidad y el descriptor. Ambos temas se pueden estudiar
perfectamente por cualquiera de los dos libros recomendados en la bibliografía básica de la
asignatura; concretamente, el capítulo V de Formas Lógicas trata la cuantificación y el VI la

UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA 6

 |Amparo Díez Martínez

identidad y el descriptor; en el apartado III de Introducción a la lógica formal se estudian los dos
temas juntos y también el tercero de nuestro programa. El tratamiento que se hace de los
métodos sintácticos, para la evaluación de fórmulas y esquemas argumentales, en Formas
Lógicas, VII. Y VII.2, es mucho más extenso y se detiene no sólo en la presentación de modelos
de formas argumentativas, sino también en la orientación para la aplicación de distintas
estrategias de cálculo.

El tema cuarto de nuestro programa (Árboles Semánticos) solamente se puede estudiar por el
libro Formas Lógicas, VII.3, mientras que el tema quinto (otras lógicas), en cambio, lo
encontraremos únicamente en el apartado IV del libro Introducción a la lógica formal.

3.2: Ejercicios.

Los ejercicios propuestos para su discusión y resolución, en las tutorías presenciales y en el foro
virtual, son principal y casi exclusivamente los procedentes de exámenes de años anteriores y del
libro Formas Lógicas. Por ello, las indicaciones siguientes son orientaciones para sacar el mayor
rendimiento al uso de los ejercicios propuestos en dicho libro.

3.2.1: Ejercicios de formalización.

Es importante prestar atención a las formalizaciones que se van ofreciendo, con explicaciones,
en el libro Formas Lógicas, entender cuáles son buenas y cuáles malas y por qué. Los ejercicios
que se proponen y cuya solución no se da son ejercicios de formas muy similares a las
comentadas en las páginas anteriores. Su discusión y solución final tendrá lugar en el foro.

3.2.2: Ejercicios de evaluación semántica.

El método de evaluación semántica mediante árboles, como ya se ha indicado, solamente se

explica en Formas Lógicas. Es un método de fácil aplicación. Se recomienda prestar especial
atención a las reglas básicas, por una parte, y a la relación que este método tiene con la noción
de contraejemplo, por otra.

3.2.3: Ejercicios de Deducción Natural.

Una gran parte del tiempo, tanto del trabajo personal como del desarrollado en las tutorías en
red, se dedicará a la práctica del método sintáctico de Deducción Natural. En el examen
presencial siempre ocupa esta técnica un lugar preferente. Se puede decir que para aprobarlo es
necesario resolver bien al menos una de las deducciones por las que se preguntará. En el foro
practicaremos con muchos modelos de diferente complejidad y atenderemos diligente y
extensamente todas las dudas que se planteen.

Para el buen rendimiento del trabajo personal del alumno podemos recomendar las dos
siguientes estrategias:

- Tomar ejercicios resueltos, borrar o tapar algunas fórmulas o partes de fórmulas y tratar
de reconstruir la deducción original.

- Leer un ejercicio resuelto y las explicaciones que se dan de cada paso en Formas
Lógicas y tratar de hacer esa misma deducción con el libro cerrado. Si no sale, volver a

UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA 7

 LÓGICA II
leer las explicaciones. La validez de un argumento se puede demostrar por diferentes
caminos deductivos, de modo que si la demostración que encontramos no coincide con la
que se da en el libro, lo aconsejable es subirla al foro para su discusión.

3.3: Evaluación.

Criterios de evaluación

La evaluación de está asignatura se llevará a cabo mediante dos vías:

3.3.1.- Evaluación continua y formativa.

El alumno que lo desee podrá realizar un trabajo, consistente en el comentario crítico del
siguiente texto:

Lewis Carroll: “Lo que la tortuga le dijo a Aquiles”, en El juego de la lógica, Alianza
Editorial, Madrid, 1996.

Este trabajo consistirá en una exposición clara del objetivo del diálogo entre Aquiles y la tortuga,
así como una contextualización del tema, y una crítica con toma de posición a favor de Aquiles o
a favor de la tortuga. La extensión no superará las 2.000 palabras y será corregido por el profesor
Tutor asignado al alumno. Tanto los trabajos como las notas de los tutores se subirán a la página
de la asignatura en ALF, al lugar diseñado para ello (entrega de trabajos, en evaluación
continua). La nota del tutor (que será un número entre el 1 y el 10) tendrá un peso del 10% en la
nota final, siempre que el alumno haya obtenido un aprobado (5), como mínimo, en la prueba
presencial.

Naturalmente los alumnos que deseen examinarse en Septiembre no podrán acogerse a la

modalidad de evaluación continua, puesto que la actividad docente, para esta asignatura, termina
en Junio. La fecha última para la subida de los trabajos a ALF es el 20 de Junio.

3.3.2.- Prueba presencial.

Para aquellos alumnos que opten por la Evaluación Continua, la prueba presencial tendrá un
valor del 90% en la nota final; para quienes opten por limitarse a la prueba presencial, tendrá un
valor del 100%.

El examen consistirá en cinco preguntas; al menos una de ellas de carácter teórico y el resto con
cuestiones variadas, ya sea de ejercicios de formalización, interpretación o cálculo, ya sea de
compresión de conceptos.

Habrá una convocatoria ordinaria en Mayo/Junio y otra extraordinaria en Septiembre para

aquellos alumnos que hayan suspendido o no se hayan presentado en la ordinaria. La no
presentación a examen en la convocatoria ordinaria no se contabiliza de ningún modo negativo
en el expediente ni consume convocatoria.

Al examen se puede llevar la Tabla de Reglas que figura en cualquiera de los dos libros básicos
recomendados (última página). El tribunal de exámenes de cada Centro podrá retirar al alumno
dicha tabla en caso de que no sea la original o una fotocopia exacta de ella o contenga
anotaciones.

UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA 8

 |Amparo Díez Martínez

3.3.3.- Otros criterios

El equipo docente tomará en consideración el número y calidad de las intervenciones en los
foros, si bien esta actividad no tiene un valor determinado en la nota final, pues es de suponer
que sus efectos se dejarán sentir precisamente en la presentación de un buen examen escrito.

4.- GLOSARIO
Esta asignatura contiene un buen número de términos especializados, cuyo significado es
precisamente tema de estudio; no se puede dar de ellos una definición única y acabada, sino que
es preciso que el alumno alcance una comprensión de los conceptos involucrados con todos o
casi todos sus matices, según el contexto de aplicación de los términos. Una primera
aproximación al significado de los términos centrales la podemos encontrar en el Diccionario de
la Real Academia Española (DRAE). Otro diccionario de interés para los alumnos de Filosofía es
el de Ferrater Mora. El alumno no debe quedarse, sin embargo, con ninguna de las definiciones
encontradas ahí, pues ello podría dificultar la aplicación del término con todos sus sentidos.

Para ayudar a la comprensión de los términos más importantes de la asignatura, subiremos a la

red un listado de preguntas frecuentes que versan casi siempre sobre la aclaración de los
matices de sus significados. Se ofrecen en este listado diferentes maneras de preguntar y de
responder sobre los usos técnicos de los términos, cuyos significados son casi siempre
dependientes de algunas teorías. Por ejemplo, alcanzar la comprensión cabal del significado de
términos como “verdad” o “validez” comporta un conocimiento de la relación entre el lenguaje
ordinario y el lenguaje lógico o formal, así como la capacidad (trabajada durante el curso) de
concebir todas las situaciones posibles de verdad y no sólo las que son el caso. El concepto de
verdad que aplicamos a los enunciados (lenguaje ordinario) no coincide exactamente con el valor
de verdad que aplicamos a las fórmulas (lenguaje lógico).

No obstante todo lo dicho, podemos ofrecer al alumno el siguiente listado de términos a cuyo
significado debe prestar especial atención:

Antecedente
Argumento
Axioma
Cálculo
Conclusión
Consecuencia
Consecuente
Consistencia
Constante individual
Contradicción
Contraejemplo
Cuantificador existencial
Cuantificador universal
Descripción definida
Descriptor
Forma lógica
Fórmula
Necesidad
Identidad
Implicación
Inferencia

UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA 9

 LÓGICA II
Lenguaje formal
Ley
Posibilidad
Premisa
Regla de inferencia
Tautología
Teorema
Validez
Variable individual
Verdad

UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA 10