Accede a apuntes, guías, libros y más de tu carrera

linea-del-tiempo-de-logica

5 pag.

Descargado por veronica gonzalez

(annetteveronicaramirezgonzalez@gmail.com)
Encuentra más documentos en www.udocz.com
Aristóteles creó la lógica
tal como la concebimos Diodoro de cronos trato
hoy en día. Publicó las modalidades lógicas
Órganon un instrumento (necesario, posible e
que ya explicaba la imposible) en relación
lógica como una ciencia con la verdad y el
instrumental o tiempo.
metodológica (lógica
analítica y tópica) .

Estilpón de Megara Crisipo de Soli fue

estableció la paradoja uno de los mejores
de predicación. Se le lógicos griegos
atribuyo al correr del .Estableció los 5
caballo (la predicación principios
es identidad). indemostrables de la
inferencia hipotética.

Descargado por veronica gonzalez

(annetteveronicaramirezgonzalez@gmail.com)
Encuentra más documentos en www.udocz.com
 Pedro Abelardo en obras
(Si y no, Lógica para los
que ingresan, Lógica a
apetición de nuestros
Galeno contribuyo al
compañeros) ,analiza la
desarrollo de la lógica , copula de las
famoso por la preposiciones , distingue
introducción a la la negación de un termino
dialéctica. de la preposición entera.

Carlomagno de Jean Salisbury en su

Alcuino escribió uno Metalogicon , expone
de los primeros por primera vez el
manuales de lógica en Órganon aristotélico
la época medieval: completo; además habla
Dialéctica. de una maquina
inventada por Guillermo
Descargado por veronica gonzalez
de Soissons.
(annetteveronicaramirezgonzalez@gmail.com)
Encuentra más documentos en www.udocz.com
Alberto magno o ¨El
grande¨ establece el
procedimiento de
convertir las Guillermo de Ockham en
preposiciones mediante su Suma de toda lógica ,
un entimema o silogismo formula las famosa leyes
abreviado atribuidas a De Morgan.

Guillermo de Sherwood o
Shyreswood en sus Juan Luis Vives es su obra
introducciones a la lógica, de la censura de lo
recopila las aportaciones verdadero, representa las
medievales a la semántica funciones lógicas por
llamadas propiedades de medio de ángulos y
los términos (significación,
triángulos
suposición, ampliación,
disminución, apelación). Descargado por veronica gonzalez
(annetteveronicaramirezgonzalez@gmail.com)
Encuentra más documentos en www.udocz.com
Galileo Galilei distingue Edmund Husserl en sus
entre axiomas y Investigaciones lógicas,
postulados, y desarrolla
ataca el psicologismo
el método experimental,
en el tratamiento en la lógica y establece
matemático de la la lógica
hipótesis. fenomenológica.

Thomas Hobbes en
su computación Alfred Trisky en
Lógica , ve el lógica , semántica,
razonamiento como matemática , aporta
un calcula de signos, la fundamentación
avanzando en la de la metodología y
búsqueda de un la metamatemática.
calculo lógico.
Descargado por veronica gonzalez
(annetteveronicaramirezgonzalez@gmail.com)
Encuentra más documentos en www.udocz.com
A.M. Turing en Sobre
números computables
, con su aplicación al
problema de la
distinción, relaciona la
lógica y la
computabilidad
Línea del tiempo de
Lógica …
electrónica.

Saul Kripke en El Wendolyne Vázquez Martinez

nombrar y la
necesidad , estudia los Martin Alejandro Acevedo Soriano
nombres como
designadores rígidos
en la semántica de
mundos posibles para
la lógica modal.
Descargado por veronica gonzalez
(annetteveronicaramirezgonzalez@gmail.com)
Encuentra más documentos en www.udocz.com