La lógica

La ciencia:
Es un cuerpo sistematizado de conocimientos que nos permite conocer, explicar y
solucionar.
2 tipos:

 Las ciencias formales: están constituidas por un conjunto de proposiciones

denominados analíticas, su verdad o falsedad se establece lógicamente.
 Las ciencias fácticas: están constituidas por un conjunto de proposiciones que se
llaman sintéticas, su verdad o falsedad se establece empíricamente.

La lógica:
Es una ciencia formal que se constituye como un instrumento de análisis y síntesis de la
racionalidad.
Estudia:
A. Técnicas
B. Procedimientos
C. Reglas
D. Métodos
E. Principios
F. Leyes
Importancia:
I. Permite clarificar nuestros razonamientos o pensamientos a través de la distinción
de la corrección e incorrección de éstas.
II. Permite reducir los procedimientos verbales extensos y ambiguos a simples
operaciones con símbolos breves.
III. Permite adquirir destrezas y habilidades en el uso de las argumentaciones.
IV. La eficacia de las argumentaciones o racionamientos nos permite actuar en la vida
con éxito, evitando los fracasos.
V. Prepara para el uso de una buena argumentación, la cual nos conduce a un mejor
conocimiento de la realidad y acortar el camino a la verdad.
VI. Constituye el instrumento imprescindible para el ejercicio serio de la tarea científica.
VII. Resuelve el problema de la comunicación eficaz entre personas en distintos niveles
de exactitud.
 La lógica
Principios lógicos:
Se consideran verdades axiomáticas.
a. El principio de identidad: expresando que el principio de identidad se verifica cuando
en una proposición verdadera el concepto de contenido.

b. El principio de no contradicción: tiene una formulación ontológica la cual un objeto

no puede ser y al mismo tiempo no ser.

c. El principio de tercero excluido: expresa que dos proposiciones contradictorias no

puedes ambas ser falsas y por lo tanto entre la verdad y falsedad no existe en una
tercera posibilidad.

d. El principio de razón suficiente: expresando que todo lo que existe tiene su razón de
ser.

Historia de la lógica:
La palabra lógica ha ido cambiando he sentido. Comenzó siendo los razonamientos
propuesto por los filósofos griegos y posteriormente hacia diversos sistemas formales
relacionados con la teoría.

Edad antigua (I a V): Aristóteles fue el primer filósofo que escribió un tratado de lógica
se expuso la teoría de la deducción. Fue el primer lógico en usar variables, fue muy
importante, sin ellas habría sido imposible alcanzar el nivel de generalidad y abstracción.

Edad media (VI a XVI):no solo perfeccionaron y sistematizaron temas heredados de la

tradición antigua, sino emprendieron nuevas investigaciones como la teoría de la
suposición. A si mismo trabajaron la lógica proposicional y conocieron sus principales
reglas de inferencia.
 La lógica
Edad moderna (XVII a XIX): en el siglo XVII Guillermo Leibniz, padre de la lógica moderna,
descubre por su cuenta todo cuanto habían descubierto los estoicos, megáricos y
medioevales.
fue impulsor de la nueva ciencia denominada lógica matemática.
El ideal de Leibniz era lograr un instrumento lógico lo suficiente poderoso como para
poder traducir desde hace más de un siglo la lógica ha tomado un nuevo curso y en poco
tiempo ha experimentado significados progresos que le han renovado por completo.
El impulso fue dado por dos matemáticos y lógicos ingleses: George Booble (cuya obra
´´El análisis matemático de la lógica´´ apareció en 1847) y Augusto de Morgan, quién ese
mismo año público su y ´´lógicos ingleses´´.
Este nuevo lenguaje, conocido como Algebra de Booble, manifestó su potencia
resolviendo problemas que excedían los alcances de la lógica aristotélica y poniendo por
primera vez en evidencia los errores Aristóteles.
A fines del siglo XIX aparecen los trabajos del matemático y lógico alemán Gottlob
Frege, considerado el padre de la lógica matemática, cuyos aportes podemos
mencionar: fue el primero en formula la manera clara la distinción entre variable y
constante, así mismo Frege propuso un método de cálculo de matrices para la logica
proposicional muy semejante a la que se usa actualmente.
Con Guiseppe Peano, se cierra sentido la línea de desarrollo de cálculo lógico iniciada
por el ´´Análisis matemático de la lógica´´ de Booble. La obra Peano tiene un signicado
histórico considerable, pues con ella el siglo XIX había no solo logrado un manual
completo.

Edad contemporánea (XX a actualidad):

Los trabajos de Frege y Peano, fueron sistematizados y desarrollados por dos filósofos
y lógicos e ingleses Bertrand Russell y Alfred Whitehead.
El propósito de esta obra fue poner toda la matemática conocida hasta ese entonces,
en estricto orden.
El matemático y lógico alemán David Hilbert, fundador de la escuela formalista, mostro
que los defectos de la obra de Russell y Whitehead, de debían a la falta de rigor en el
empleo del lenguaje, un método denominado ´´matematemática´´, ´´programa
hilbertiano´´ matemática clásica puede concebirse como formalizarle en tres sistemas
axiomáticos fundamentales: el de la aritmética, el del análisis y el de la teoría de
conjuntos.