LOGICA

Es una ciencia formal (abstracta o ideal) porque sus objetos de estudio no

existen en la realidad.

EVOLUCION HISTORICA DE LA LOGICA

Comenzó siendo una modelización de los razonamientos, propuesta
por los filósofos griegos.
La lógica ha pasado por diversas etapas históricas que son las
siguientes:

EDAD ANTIGUA
El filósofo Aristóteles (384 a.c. – 322 a.c.) considerado el padre de la Lógica,
sin embargo sus predecesores desarrollaron y cultivaron la inferencia.
En el plano sintáctico y semántico del lenguaje Protágoras fue el primero en
estudiar las oraciones, Platón en su obra Sofista trató también las afirmaciones y
las negaciones. Los escritos lógicos de Aristóteles están contenidos en su libro
Organón que significa “instrumento”, este libro contiene los cinco tratados
siguientes: las categorías, las proposiciones, los analíticos, (primeros y segundos)
los tópicos y las refutaciones sofísticas.
Más adelante Teofrasto y Eudemo aportaron los silogismos hipotéticos
condicionales perteneciente a la lógica de las proposiciones los Megariacos
plantean el significado de las proposiciones “Si - entonces” los Estoicos
desarrolla la lógica Verdadero – Falso de las proposiciones.

EDAD MEDIA
La Lógica de la edad media o medieval se basa en el trabajo de Aristóteles, es
recogida por los sacerdotes y cultivado mayormente en los conventos, escuelas
y universidades de Europa Occidental.
Los estudios de los lógicos profesionales estuvo dirigido al comentario del
Organón destacando Pedro Hispano y Juan Buridan estableciendo que “de
Dos premisas contradictorias, se puede deducir cualquier conclusión”.
Aquí están tratados una cantidad de nuevos problemas en la frontera de la
lógica y la semántica que no fueron tratados por los pensadores antiguos

EDAD MODERNA
La época moderna marca el inicio de la Lógica Matemática. El precursor de
esta lógica es Guillermo Leibniz quien introdujo el cálculo lógico llamado
“Mathesis Universalis”. También desarrolló el cálculo de la Lógica
Proposicional. Euler es otro de los precursores de la Lógica Matemática,
introdujo los diagramas que llevan su nombre para ilustrar geométricamente los
silogismos.

EDAD CONTEMPORÁNEA
El siglo XIX se caracteriza por el nivel de abstracción que alcanza la lógica
matemática destacando Hamilton sobre la cuantificación de todo o alguno.
Augusto de Morgan considera que la base, común de la lógica radica en las
relaciones de inclusión o exclusión parcial o total entre clases; George Boole
construye la Teoría de Clases. Venn aclara los procedimiento de Boole
representando los procesos algebraicas en los diagramas de Venn. Giussepe
Peano da a la lógica el nombre de lógica matemática creando un lenguaje
simbólico para las demostraciones matemáticas propuso el uso de los puntos
auxiliares y un modo de simbolizar los cuantificadores. Bertrand Russell en su
obra “Los Principios de la matemática” propone que las matemáticas puedan
reducirse a una rama de la lógica generando en su obra investigaciones sobre la
inferencia y sus respectivas aplicaciones. la verdadera revolución de la lógica
vino de la mano de Gottlob Frege, quien frecuentemente es considerado como
el lógico más importante de la historia, junto con Aristóteles. En su trabajo la
Conceptografía, Frege ofrece por primera vez un sistema completo de lógica de
predicados. También desarrolla la idea de un lenguaje formal y define la noción
de prueba
SIGLO XX
El siglo XX sería uno de enormes desarrollos en lógica. A partir del siglo XX,
la lógica pasó a estudiarse por su interés intrínseco, y no sólo por sus virtudes
como propedéuticas, por lo que estudió a niveles mucho más abstractos. En
1910, Bertrand Russell y Alfred North Whitehead publican Principia
mathematica, un trabajo monumental en el que logran gran parte de la
matemática a partir de la lógica, evitando caer en las paradojas en las que cayó
Frege.

SIGLO XXI
Se inicia con la revolución lógica (2005 - ? ). La revolución digital proporciona
los fundamentos económicos y tecnológicos para la transformación de redes
globales de computadoras en sistemas inteligentes, los cuales usan la lógica y los
métodos formales (basados en métodos matemáticos) para soportar nuestro
trabajo, educación y entretenimiento. Entre la información relacionada con las
épocas II y III, podemos citar a John Harrison, quien presenta una historia de
la lógica formal, este documento es en realidad parte de su paper "Formalized
Mathematics".

CONCLUSIÓN
La lógica muestra un devenir histórico muy interesante, naciendo de la fuerte
formalización de las matemáticas de los griegos, que fue impactada, como
muchas ciencias, por el pensamiento de la Edad Media, donde la religión se
anteponía a todo; pero, el ímpetu de la mente de los filósofos renacentistas
ayudó a retomar su desarrollo.

EL ÓRGANON
El órganon es un conjunto de obras de lógica escritas por el filósofo Aristóteles
y compiladas por Andrónico de Rodas siglos más tarde.
Libros
El órgano está compuesto por seis libros:
1. De las categorías
2. Sobre la interpretación
3. Primeros analíticos
4. Segundos analíticos
5. Tópicos
6. Refutaciones sofísticas

De las categorías
 Introduce la clasificación en diez términos de todo aquello que existe. Estas
categorías son: sustancia, cantidad, cualidad, relación, lugar, tiempo, posición,
posesión, acción y pasión

Sobre la interpretación
Define diferentes tipos de juicio: simples y compuestos; particulares y
universales; afirmativos y negativos

Tópicos
Trata temas sobre la construcción de argumentos válidos, y las inferencias
probables, en lugar de las ciertas

Refutaciones sofísticas
Es un tratado sobre falacias lógicas, Aristóteles hace patente su enorme
inquietud por la deformación pedagógica provocada por esta clase de
silogismos