LA LÓGICA

I. LA LÓGICA ES UN LENGUAJE FORMAL

1. ¿Qué es un lenguaje? ¿Para qué sirve?

Un lenguaje es un conjunto de signos. Hay muchos lenguajes y todos son estudiados por la semiótica o
ciencia de los signos.
Sirve para la comunicación entre individuos, máquinas, animales, etc.
2. ¿Qué es un signo? Clases.
Un signo es todo aquello que representa otra cosa en algún aspecto.
Las clases de signos son: a) Iconos (entre el signo y lo representado existe una relación de semejanza);
b) Índices (entre el signo y lo representado existe una relación de efecto a causa); y c) Símbolos (entre
el signo y lo representado no existe ninguna relación)
3. Explica las 3 partes de la semiótica.
a) Sintasis: estudia las relaciones de los signos entre sí. b) Semántica: se ocupa de las relaciones de los
signos con aquellos que designan, es decir, se interesa por el significado. c) Pragmática: se interesa
por los signos en tanto que son actos de un sujeto o grupo de sujetos. Se encarga de las relaciones
entre las palabras y los seres humanos que las usan.

4. Relación entre las 3 partes.

La relación pragmática supone la semántica y la sintáctica. La semántica sólo supone la sintáctica. En
cambio, la relación sintáctica no supone las otras dos y es posible estudiarla sin atender a ella.
5. ¿De qué aspectos prescinde la lógica y cuál le interesa?
La lógica prescinde del aspecto semántico del lenguaje (su significación) y también del aspecto
pragmático (su uso entre las personas) y le interesa exclusivamente el aspecto sintáctico del lenguaje.
6. ¿Por qué decimos que la lógica es un “lenguaje formal”? ¿Qué tiene en común con la matemática?
Porque en él solo importa la estructura sintáctica. Sustituye los signos del lenguaje por símbolos.
La lógica tiene en común con la matemática que ambos son lenguajes formales, que no se ocupan de los
hechos, porque prescinden de los contenidos para ocuparse solo de la forma de los símbolos.
7. ¿Qué hace la lógica simbólica?
La lógica simbólica sustituye los signos del lenguaje por símbolos, es decir, construye un lenguaje
puramente formal, en el que solo importa la estructura sintáctica. Sin embargo, este lenguaje permitirá
después interpretaciones semánticas: los símbolos lógicos con sustituidos por palabras significativas.
II. LA LÓGICA ES UN LENGUAJE ARTIFICIAL

8. Lenguaje natural / lenguaje artificial

El lenguaje natural es heredado y el lenguaje artificial es construido. El lenguaje natural es el que utiliza
en la vida diaria una comunidad de hablantes y el lenguaje artificial es un lenguaje de precisión
construido por los científicos para formular con más exactitud las relaciones entre los objetos analizados.
9. ¿Cuál es el fin del lenguaje artificial?
El fin del lenguaje artificial es subsanar los defectos que presenta nuestro lenguaje natural, ya que este,
aunque posea unas posibilidades de comunicación infinitas, sea rico y flexible, posee también,
precisamente por ello, una falta de rigor que, a veces, solo el contexto ayuda a precisar. Su propia falta
de flexibilidad le hace ser excesivamente ambiguo.
10. Defectos principales del lenguaje natural.
a) Polisemia o pluralidad de significados de una palabra. Esto da lugar a la equivocidad (polisemia en
las palabras) y a la anfibología (polisemia en las frases)
b) No distingue entre uso y mención, dando lugar con ello a paradojas semánticas.
c) Imprecisión en algunos adjetivos, sobre todo los indefinidos.
d) Utiliza términos enlaces ambiguos (y, pero, también…)
e) Un mismo símbolo representa funciones distintas (la o disyuntiva)
f) No tiene una sintaxis exacta (como se forma la negación)

11. ¿Qué son las paradojas semánticas? ¿Cómo se evitan?

Las paradojas semánticas son razonamientos que están compuestos por enunciados contradictorios, que
se implican mutuamente, no pudiendo ambos ser verdaderos simultáneamente.
Las paradojas se evitan distinguiendo entre uso y mención cuando estas se dan entre términos. Y
distinguiendo entre lenguaje objeto y metalenguaje cuando la paradoja se da entre oraciones.
III. LA LÓGICA ES UN CÁLCULO

12. ¿Qué es un cálculo?

Un cálculo es un sistema de relaciones entre símbolos carentes de significado. Es la estructura artificial
de todo lenguaje.
13. Elementos del cálculo. Explícalos.
a) Conjunto de símbolos primitivos o elementales. Estos han de estar bien determinados para que
no haya lugar a dudas de si un símbolo cualquiera pertenece o no a dicho conjunto.
b) Conjunto de reglas de formación o construcción que establezcan las combinaciones correctas
posibles de esos símbolos elementales.
c) Conjunto de reglas de transformación que permitan pasar de una combinación de símbolos bien
formada a otra.

IV. LA LÓGICA ES UNA CIENCIA FORMAL

14. ¿Qué quiere decir que la lógica sea un sistema formal axiomático?
Que la lógica es una ciencia formal ya que utiliza el método axiomático, ya que parte de un conjunto de
axiomas.
15. ¿Qué son los axiomas, los postulados y los teoremas?
El concepto de axioma se debe a Aristóteles quien afirmó que los principios de toda demostración son
los axiomas y las definiciones. Para Aristóteles los axiomas eran verdades primeras e inmediatas,
evidentes por sí mismas, indemostrables y comunes a todas las ciencias. Para Aristóteles el axioma
fundamental es el principio de identidad (“lo que es, es”), del que deriva el principio de no contradicción
(“es imposible que una cosa sea y no sea al mismo tiempo”)
Los postulados son enunciados indemostrables, pero no absolutamente evidentes.
Los teoremas son enunciados no evidentes pero demostrables a partir de ciertas reglas.
16. ¿Qué propiedades debe cumplir un sistema formal axiomático para que sea válido?
a) Consistencia: es consistente cuando a partir del conjunto de sus axiomas no puede concluirse una
contradicción.
b) Independencia: los axiomas son independientes si ninguno de ellos puede derivarse como teorema
a partir de los otros, es decir, ninguno puede ser deducido a partir de los demás.
c) Completitud: un sistema formal es completo cuando sobre cualquier proposición integrante del
sistema pueda determinarse si es verdades o falsa.

V. EL OBJETO DE LA LÓGICA

17. ¿Qué es un razonamiento?

Un razonamiento es aquella operación mental por la cual podemos deducir de unas verdades conocidas
(premisas) otras desconocidas (conclusiones).
18. ¿Cuál es la consideración lógica del razonamiento?
En el razonamiento deductivo, a partir de ciertos enunciados (supuestos) resulta necesariamente un
enunciado distinto. Los enunciados de los que parte se llaman premisas y el enunciado que resulta de
las premisas se llama conclusión. Cuando el razonamiento es válido la conclusión resulta de las
premisas de forma necesaria. La consideración lógica del razonamiento no está interesada en el
razonamiento como actividad mental (eso es asunto de la psicología) y tampoco atiende a su
consideración semántica.
19. Diferencia entre verdad y validez
La verdad es una propiedad de los enunciados, un enunciado puede ser verdadero o falso, pero no es
una propiedad de los razonamientos. La validez es una propiedad de los razonamientos, los
razonamientos pueden ser válidos o no válidos. Un razonamiento es válido cuando suponemos que las
premisas son verdaderas y, por tanto, la conclusión también es verdadera.
20. ¿Cuál es el objeto material y formal de la lógica?
El objeto material de la lógica son los razonamientos y el objeto formal es la validez de los
razonamientos.