Informe de Jefe de Grupo

N° Integrante del grupo Tarea encargada Aportes

(%) (1-5)

01 Angel
02 Yosibel
03 Kasandra
04 Anderson
05 Bruno
06 Sanchez Betancourt Franko Dimitrios

Resumen

A lo largo de la investigación de este informe hemos podido concluir que la lógica tuvo
sus inicios en las primeras civilizaciones concretamente con los griegos en occidente y
los chinos e indios en oriente. Cabe resaltar que Aristóteles sentó las bases para que la
lógica sea estudiada más adelante. Durante la edad medieval se desarrollaron nuevos
métodos para poder inferir tal como el cuadro de Boecio que fue un aporte más al
desarrollo de esta ciencia. Continuando con la línea de tiempo, en la edad moderna se
logro esquematizar de una manera diferente a la lógica la cual se enfocaba en el
lenguaje. Mientras que, en la edad contemporánea la lógica buscaba fundamentar los
principios matemáticos y es aquí donde aparecen grandes representantes como Boole,
Leibniz y Frege. Sus ideas fueron la base teórica para el desarrollo de las
computadoras y la ciencia de la computación que actualmente se utiliza.

1
 ÍNDICE

INTRODUCCIÓN ............................................................................................................ 3
LINEA DE TIEMPO DEL DESARROLLO DE LA LOGICA ............................................ 4
Edad Antigua .............................................................................................................. 4
Antigua Grecia ........................................................................................................ 4
Antigua India ........................................................................................................... 6
Antigua China ......................................................................................................... 6
Edad Medieval ............................................................................................................ 7
Europa Medieval ..................................................................................................... 7
Edad Moderna y Edad Contemporánea ................................................................... 8
Bibliografía .................................................................................................................. 12

2
 INTRODUCCIÓN

El siguiente informe consta de cuatro épocas muy bien diferenciadas de la historia de la

lógica, además cuenta con información sobre la evolución de esta, pero para poder entender esta
historia se debe tener idea o manejo de algunos conceptos tal como: ¿Qué es la lógica?, ¿cuál
es su objeto de estudio?

La lógica estudia los diversos procedimientos teóricos y prácticos seguidos para la

adquisición del conocimiento y, basándose siempre en ellos, llega a formular, de una manera
rigurosa y sistemática, los métodos de la investigación científica. Al establecer estos métodos, la
lógica los desarrolla y los generaliza, haciéndolos aplicables a todas las ciencias. A la vez, al
generalizar los métodos, la lógica pone al descubierto la riqueza de sus posibilidades. Cuando
han sido formulados lógicamente y, lo que es más importante, después de haber sido verificados
en la experiencia, los métodos se convierten en instrumentos indispensables para las
investigaciones que se emprenden en todas las ciencias, incluyendo entre ellas a la filosofía y,
naturalmente, a la propia lógica.

3
 LINEA DE TIEMPO DEL DESARROLLO DE LA LOGICA

Edad Antigua (515-300 A.C.): En esta época se descubren los principios lógicos.
Aristóteles, su máximo representante, crea el primer sistema de lógica formal y se
hacen aportes para el desarrollo de la lógica bivalente y modal. Mientras que, en India
se enfocaron en la inferencia lógica y en China se habló sobre la rigurosidad de la
lógica.

Antigua Grecia

 Parménides De Elea
Parménides comienza una de sus obras refutando la teoría del continuo
cambio de Heráclito; y sin quererlo descubre el principio de identidad. La
realidad no puede ser una cosa y luego otra, porque esta afirmación está en
contra de toda lógica.
 Zenón De Elea
Zenón de Elea dio origen al método dialectico, la reducción al absurdo. Sus
razonamientos que tuvo se le conocen como ¨aporías¨ que son paradojas.
 Demócrito
Demócrito fue el que planteo el principio de la ¨la razón suficiente¨. En
otras palabras ¨No hay efecto sin causa¨
 Protágoras
Protágoras Fue el primero en utilizar las oraciones en el plano sintáctico y
semántico
 Sócrates
Sócrates fue el creador del método de la mayéutica. Hizo hincapié en la
discusión racional y la búsqueda de definiciones generales
 Platón
Platón formulo el ¨Principio de No contradicción¨ o ¨Principio de
Contradicción¨ la cual dice ¨Es imposible que una misma proposición sea
verdadera y falsa al mismo tiempo¨ ¬ (p ∧ ¬p).

4
 Aristóteles
Aristóteles fue el creador de la teoría del Silogismo el cual es una forma de
obtener un razonamiento perfecto, descubrió el ¨Principio del Tercio Excluido¨ el
cual decía ¨Toda proposición es verdadera o falsa. La tercera opción está
excluida¨ (A v ¬A)
Introdujo el uso de variables y desarrollo la lógica de predicados. Su aporte
mas importante al desarrollo de la lógica fue su obra ¨El Organon¨ la cual
consistía en un compuesto de libros o tratados.
i. Categorías. - estudia los términos
ii. De la Interpretación. - estudia los enunciados
iii. Primeros Analíticos. - Estudia la argumentación
iv. Tópicos
v. Refutación Sofistica
 Megáricos
Escuela fundada por Euclides en su ciudad natal Megara a la que
pertenecieron: Filón de Megara y Diodoro Cronos. Ellos hicieron aportes a la
lógica modal la cual es un sistema formal que intenta capturar el comportamiento
deductivo de algún grupo de operadores modales.
 Estoicos
Fue una corriente filosófica que consideraba que los elementos
fundamentales para elaborar el conocimiento son: el juicio y el raciocinio esto se
formula a través de la veracidad o falsedad de este. Estudiaron por primera vez
la lógica de proposiciones, construyeron una lógica de enunciados (Lógica de
dos valores) y en la lógica de enunciados aparecen la negación, la implicación,
la conjunción y la disyunción. Además, realizaron la Interpretación material del
condicional.

5
Antigua India

 Dignaga
Dignaga fue un reformador, filosofo indio y fundador la lógica budista en
lengua sanscrita. Reglo el arte de discutir sobre la lógica budista, formulo la
relación entre la realidad del movimiento y las formas estáticas del pensamiento,
su posición fue análoga a la de Aristóteles.
 Darmakirti

Darmakirti expone un breve tratado de la lógica budista; formula una

teoría de sensaciones; desarrolla la teoría de la coordinación entre el mundo
exterior y su representación mental en imágenes y conceptos; sistematizo las
formas del silogismo; estableció una teoría del juicio; formulo una teoría de
inferencia.

Antigua China

 Chuang Chou
Chuang Chou recopilo los trabajos de Hui-Shih y Kung-Sun Lung; los
cuales sirvieron para el desarrollo la teoría de la definición de los nombres y sus
relaciones con los objetos en cambio incesante; considero la unidad entre la
semejanza y la diferencia; estableció algunas paradojas las cuales lo condujeron
al razonamiento.

6
Edad Medieval (524-1315 D.C.): En esta época los aportes al desarrollo de la lógica
fueron mínimos ya que se enfocaron en fundamentar la teología y seguir el sistema
aristotélico.

Europa Medieval

 Boecio
Romano, Boecio desarrollo la lógica aristotélica y desarrollo un método para
hallar inferencias inmediatas, haciendo uso del cuadro de oposición que lleva su
nombre ¨Cuadro de Boecio¨.
 Pedro Abelardo
Pedro Abelardo fue precursor del método escolástico (posteriormente
aplicado a las sumas teológicas), el cual consiste en contraponer las sentencias
opuestas de las autoridades teológicas.
 Tomas De Aquino
Fue seguidor de Aristóteles y busco una demostración racional de la
existencia de Dios, así como la interpretación de los dogmas religiosos.
 Duns Scoto
Seguidor de la lógica tradicional de Aristóteles, se opuso a Tomas de Aquino
sobre su idea de que la verdad se logra a través de la experiencia.
 Guillermo De Ockham
Fue representante de la doctrina filosófica Nominalismo la cual negaba la
existencia de los universales en la realidad o en la mente y los considero meros
nombres o términos.
 Raimundo Lulio
Planteo que la razón puede y debe demostrar todo y dar pruebas suficientes
de la verdad cristiana. Además, diseño una máquina que demostraba
lógicamente la existencia y los atributos de Dios.

7
Edad Moderna y Edad Contemporánea (1626 - ): La época moderna marca el inicio
de la Lógica Matemática. El siglo XIX se caracteriza por el nivel de abstracción que
alcanza la lógica matemática. FREGE marca el comienzo de la lógica contemporánea y
su obra solo es comparable con los primeros analíticos de Aristóteles.

 Francis Bacon
En su obra ¨Novum Organum¨, hace la primera formulación moderna del
método científico, establece de manera explícita y sistemática la inducción
experimental, expone métodos para determinar las relaciones de causalidad,
enuncia las bases empíricas del descubrimiento y la invención, y desarrolla una
teoría de la experiencia a él se le conoce como El Padre de la Lógica Inductiva.
 Thomas Hobbes
Hobbes Considero el razonamiento como un cálculo de signos. Desarrollo la
lógica formal como combinación de nombres de acuerdo a las reglas
establecidas
 Leibniz
Alemán. Precursor de la Lógica Moderna, Planteo la necesidad de crear un
lenguaje universal; Introdujo el cálculo lógico en su obra ¨MATHESIS
UNIVERSALIS¨, que fuese operacionalmente mecánico, inequívoco y no
cuantitativo que permitiera acabar con todas las disputas y controversias.
Además, Desarrollo el cálculo de la lógica proposicional. Considero también que
para comprobar la verdad del entendimiento bastan los principios de identidad,
contradicción y tercio excluido; para comprender la verdad de hecho es
indispensable la razón.
Estableció la ley de la tautología, Extrajo de su experiencia como brillante
matemático las ideas que habrían de sacar a la lógica formal del estancamiento
a que la había llevado la escolástica. Leibniz intento formular una
¨Characteristica Universalis¨, es decir, un lenguaje simbólico para expresar sin
ambigüedad todos los elementos del pensamiento y luego combinarlos
rigurosamente, formando así conceptos, juicios y razonamientos. Paralelamente,
Leibniz formula una teoría general de la ordenación, establece una teoría lógica

8
 de las estructuras, planea la teoría de la lógica matemática, constituye una teoría
de la definición, por analogía con la descomposición de los números enteros en
sus factores primos, intenta establecer una lógica del descubrimiento y enuncia
una teoría de las permutaciones. Finalmente, Formulo la ley de la ¨Razón
Suficiente¨
 Leonhard Euler
En su obra ¨Introducción al análisis de los infinitos¨(1748), Euler realizo el
primer tratamiento analítico completo del álgebra, la teoría de ecuaciones, la
trigonometría y la geometría analítica. Introdujo los diagramas que llevan su
nombre para ilustrar geométricamente los silogismos.
 George Boole
Fue uno de los mas grandes innovadores de la lógica. Elaboro el álgebra de
Boole, construyó una teoría de las clases y sus elementos; construyó un cálculo
algebraico con símbolos y operaciones definidas. Planteo la relación entre lógica
de clases y lógica proposicional. Su mayor obra fue: ¨Investigación de las Leyes
del Pensamiento¨ la cual habla sobre la primera formulación propiamente
algebraica de la lógica, estableciendo definidamente las leyes para la ejecución
de las operaciones y dando una interpretación coherente de los resultados, se
debe a George Boole, quien es así el creador de la lógica simbólica moderna.
 John Venn
Trato de encontrar la significación lógica de operaciones como la sustracción
y la división. El merito de Venn fue básicamente el haber aclarado los
procedimientos de Boole representado los procesos algebraicos en los
diagramas de Venn.
 Augustus De Morgan
Planteo que el silogismo no es mas que una serie de combinaciones y
relaciones de clases; planteo que la base común de la lógica es la inclusión o
exclusión total o imparcial de clases y Estableció varios razonamientos no-
silogísticos, enuncia las leyes de transitividad y expresa rigurosamente las leyes
distributivas de la negación, que llevan ahora su nombre. (Ley de Morgan)

9
 Gottlob Frege
Se le considera el padre y fundador de la Lógica Matemática Moderna, hace
la distinción entre ley y regla. Estableció la diferencia entre ¨constante¨ y
¨variable¨; Logró independizar el cálculo lógico del cálculo matemático, Su obra
¨Conceptografía¨ es comparable a la de Aristóteles. Intento deducir los principios
de la aritmética de los principios de la lógica. Se enfrento a la ambigüedad del
lenguaje normal y a la insuficiencia de los sistemas lógicos disponibles, invento
muchas notaciones simbólicas, como cuantificadores y variables, estableciendo
así las bases de la lógica matemática moderna.
 Giussepe Peano
Fue el primero en dar a la lógica el nombre de Lógica Matemática, considero
que la lógica es el instrumento de la matemática. Propuso uso de puntos
auxiliares en reemplazo de los signos de agrupación y un modo de simbolizar los
cuantificadores.
 Bertrand Russell
Filósofo, matemático británico que fundamento lógicamente las matemáticas
reordeno la lógica en un sistema axiomático con su obra: ¨Principia
Mathematica¨, escrita junto a su amigo Alfred Whitehead, y en la que propone
que las matemáticas pueden reducirse a una rama de la lógica.
Formuló rigurosamente la lógica matemática dentro del sistema mas
completo que se ha establecido, realizan un tratamiento detallado del calculo
proposicional, el calculo de clases de relaciones, establecen la teoría de los
tipos, analizan las paradojas, hacen una critica refinada y profunda de la lógica
simbólica, y crean el lenguaje formalizado que mas se utiliza en la actualidad.
 Kurt Gödel
Matemático austriaco-estadounidense fue el creador del Teorema de Gödel
el cual define que a partir de cualquier sistema simbólico formal es posible
construir una proposición que no se puede probar ni refutar en el mismo sistema.
Escribió:¨La consistencia de la hipótesis del continuo¨

10
 Alfred Tarski
Lógico Polaco que creó la Semántica de la Lógica, Definió el concepto de
verdad en los lenguajes formalizados, Estudió las significaciones de los juicios y
conceptos en lógica, también los problemas de la construcción de las teorías
deductivas de la metalógica y la semiótica.
Definió el concepto de verdad en los lenguajes formalizados, estableció que
cada enunciado verídico es demostrable, etc.
Sus obras principales: ¨Lógica, semántica, metamatemáticas¨(1956), ¨Lógica,
metodología y filosofía de la ciencia¨(1962)
 Jan Lukasiewicz
Jan fue matemático, lógico, filosofo polaco que Elaboro el primer sistema de
lógica polivalente: trivalente. Se ocupo de la lógica de sentencias, de la lógica
plurivalente, de la lógica modal, del silogismo aristotélico y de la historia de la
lógica.
Invento un simbolismo que evita los paréntesis y puntos, Se preocupo de la
axiomática de la lógica de sentencias formulando un interesante sistema de tres
axiomas y logro formular un sistema con un solo axioma.
 Rudolf Carnap
Alemán, nacionalizado estadounidense. Interpreto a la filosofía como un
proceso de análisis lógico. Se intereso sobre todo por el análisis del lenguaje de
la ciencia ya que considero que las afirmaciones empíricas de esta última eran
las únicas significativas.

11
Bibliografía
Encyclopedia Britannica. (s.f.). Obtenido de https://www.britannica.com/topic/history-of-logic

Gortari de, E. (1965). Lógica General. En E. Gortari de, Lógica General (págs. 16-36). Ciudad de México:
Grijalbo.

Gortari de, E. (1979). Introducción a la Lógica Dialéctica. En E. Gortari de, Introduccion a la Lógica
Dialéctica (págs. 16-26). Ciudad de México: Grijalbo.

Histography. (s.f.). Obtenido de https://histography.io

Histropedia. (s.f.). Obtenido de http://histropedia.com/timeline/tmhqtpg9bg0t/History-of-logic

Malena. (20 de Febrero de 2008 ). La Guía . Obtenido de https://filosofia.laguia2000.com/filosofos-pre-

socraticos/parmenides-y-el-principio-de-identidad

Wikipedia. (s.f.). Obtenido de https://es.wikipedia.org/wiki/Historia_de_la_lógica#Mesopotamia

Wikipedia. (s.f.). Obtenido de https://en.wikipedia.org/wiki/Dharmakirti

Wikipedia . (s.f.). Obtenido de https://es.wikipedia.org/wiki/Lógica_india

Wikipedia . (s.f.). Obtenido de https://es.wikipedia.org/wiki/Parménides_de_Elea

12