Beruflich Dokumente
Kultur Dokumente
EL CÁLCULO DE PROPOSICIONES Y
DE PREDICADOS
1. LA LÓGICA
3. CONECTORES:
Monádicos: Negación: ¬ no
Diádicos:
Condicional o implicación: → si… entonces
Conjunción: Λ y
Disyunción: V o
Bicondicional o coimplicación: ↔ si y sólo si…entonces
1
CONCEPCIÓN PÉREZ GARCÍA
4. REGLAS DE FORMACIÓN DE FÓRMULAS: por las que se
unen los símbolos con las conectivas. Permiten distinguir
entre frases bien construidas y mal construidas.
2. HISTORIA DE LA LÓGICA
* La lógica formal nació hace 2500 años, cuando Aristóteles y
los estoicos se interesaron por la construcción y el análisis
de esquemas de argumentos. Desde entonces, salvo las
contribuciones realizadas durante la Edad Media, la lógica no
ha experimentado grandes desarrollos hasta mediados
del siglo XIX.
2
Por matematización se entiende en metodología científica la subordinación de
una ciencia al método de la matemática. De las ventajas inherentes a la
matematización es claro ejemplo la física, que comenzó a marchar por el camino
seguro del progreso científico desde que, en el siglo XVII, Galileo la sometió al
rigor del método matemático.
3
La dialéctica es la lógica de la opinión. A ella se opone la analítica
(inaugurada por Aristóteles), que es la lógica de la argumentación rigurosa.
Aristóteles llamó a dos de sus obras Primeros Analíticos y Segundos Analíticos.
2
CONCEPCIÓN PÉREZ GARCÍA
1. ARISTÓTELES: señalaremos que además de una
completa doctrina silogística4 y de varios trabajos
de lógica inductiva, realizó teorías metodológicas.
Además, el Estagirita inventó la lógica modal5. Para
Aristóteles, la lógica era una introducción a toda
investigación científica y un análisis de los principios
en los que se halla articulada la realidad. La lógica
Aristotélica fue la lógica por antonomasia durante mucho
tiempo.
4
En el silogismo, a partir de dos premisas se deriva una conclusión.
5
La lógica modal analiza proposiciones a las que se antepone cualquiera de las
cuatro partículas modales: posible (p. Ej. Es posible que haya seres inteligentes
en otros lugares del universo), necesario (p. Ej. Es necesario que dos y dos sean
cuatro), imposible (p. Ej. Es imposible que un círculo sea cuadrado) y
contingente (p. Ej. Es contingente que el equipo A gane al equipo B).
6
Una de ellas era la siguiente: Si miento y digo que miento, ¿miento o digo la
verdad? La tradición cuenta que Teofrasto, discípulo de Aristóteles, escribió tres
libros sobre el tema y Crisipo más de veinte, y que al lógico Filitas de Cos la
investigación de aquel enigma le costó la muerte por extenuación.
3
CONCEPCIÓN PÉREZ GARCÍA
5. LEIBNIZ: precursor de la lógica matemática.
También expuso que sería adecuado usar símbolos para
la lógica y cálculos similares a los matemáticos.
7
Tras Russell cabe mencionar a Georg Cantor, gran matemático que destacó por
su teoría sobre el infinito y la teoría de conjuntos.
4
CONCEPCIÓN PÉREZ GARCÍA
la teoría de modelos, la teoría de algoritmos y de
funciones recursivas.
5
CONCEPCIÓN PÉREZ GARCÍA
* Un enunciado o proposición es cualquier oración
declarativa que tiene un sentido completo y que es susceptible
de ser verdadera o falsa, pero no ambas a la vez.
Ej. Pepe y Juan son altos (p Λ q): Pepe es alto (p). Juan es alto
(q).
p = saber filosofía
q = ser una persona inteligente
r = callar sobre lo que no se sabe
8
Ver la tabla de verdad del ejemplo al final del tema.
6
CONCEPCIÓN PÉREZ GARCÍA
falsos, entonces será una contradicción, o que sean unos
verdaderos y otros falsos, lo que es una indeterminación.
9
El universal positivo es todos, el negativo es ninguno. El particular positivo es
alguno y el negativo alguno no. Para los ejemplos propuestos: Λx Hx → −Ix
(Ningún hombre es implume) y Vx Cx → −Kx (Alguna chica no es
karateka).
7
CONCEPCIÓN PÉREZ GARCÍA
* Ej.2.: La proposición Alguna chica es karateka podría
representarse de este modo:
Vx CxKx
5. CONCLUSIÓN
8
CONCEPCIÓN PÉREZ GARCÍA
conseguir una ciudadanía que sea capaz de pensar por sí
misma y de dialogar inteligentemente.
VVV V V V V V
VVF V F F V F
VFV F F V V V
VFF F F V V F
FVV V V V V V
FVF V F F V V
FFV V V V V V
FFF V V V V V
* * *
BIBLIOGRAFÍA CONSULTADA
9
CONCEPCIÓN PÉREZ GARCÍA