# data[].attributes.body
Mesopotamia: En el siglo XI ac. Esagil-kin-apli, en su diagnóstico médico, se basó en un conjunto lógico de axiomas y asunciones, en ellas se incluyeron la visión moderna donde es posible determinar el problema del mismo, su etiología y su desarrollo futuro y las posibilidades de recuperación

# data[].attributes.body
Los orígenes de la lógica se remontan al filósofo griego Aristóteles (384 – 322 ac.) en su trabajo conocido “organon” desarrollo el primer estudio sistemático de la deducción en la sección denominada “primeros analíticos”
Aristóteles no hace de la lógica una disciplina metafísica sino que restablece correspondencias reciprocas entre pensamiento lógico y estructura ortológica
El examinó un tipo especial de deducción "el silogismo" y radico principalmente en estudiar estas deducciones considerando su forma o estructura con independencia de su significado o contenido

# data[].attributes.attachment_link.title
как-стать-уважаемым-всеми-человеком

# data[].attributes.body
La lógica mantiene la condición propedéutica bajo el nombre de la dialéctica.
Se desarrollo con elementos de la lógica aristotélica que trataba de la sintaxis  y la semántica del lenguaje.
Su enseñanza estuvo asociado estrictamente a la gramática y a la retórica, todo ello eran instrumentos de gran utilidad para el estudio de textos bíblicos, los documentos de la iglesia y otras obras de la Doctrina católica
Boecio se conoce como el maestro de la lógica debido a las interpretaciones de las obras de aristotéles.
Surgen dos posiciones filosóficas
-Realistas, palabras con esencia real.
-Nominalistas,palabras que existen únicamente en el pensamiento.

# data[].attributes.body
Es considerado maestro de la lógica, su trabajo más significativo sobre el tema de la lógica en la época medieval es la Consolidación de la Filosofía.
Boecio se conoce como el maestro de la lógica debido a las interpretaciones de las obras de aristotéles.
HASTA EL SIGLO XII
-Metafísica
-Retórica
Para Boecio una preposición es universal cuando el predicado está afirmando o negando algo con respecto a todo lo abarcado por el sujeto.
El problema de los Universales y la lógica medieval, se plantea la discusión filosófica medieval sobre el lenguaje. Se centraba en el lenguaje-realidad, trata de indagar si las palabras tienen el poder de expresar la esencia o el ser de las cosas.

# data[].attributes.body
Realizo los principales cambios en la forma de concebir la lógica tradicional.
En su tesis, el afirma que los términos implicados en una proposición tienen una propiedad de suposición, lo cual hace referencia al sentido que suponemos
Junto con Pedro Hispano culmino en toda la problemática.

# data[].attributes.body
Obra: "Dialectique"(1555)- Petrus Ramus.

Distinción entre dialéctica (descubrir) y retórica( persuadir)

Critica a la lógica aristotélica tradicional.

Propone una nueva lógica más clara.

# data[].attributes.body
Obra: Novum Organon (1620)- Francis Bacon

Critica la lógica aristotélica que había dominado  durante siglos.

Importancia al método científico.

# data[].attributes.body
Obra: Mathesis Universalis (1679)- Leibniz

ideas, pensamiento- símbolos matemáticos

creador del cálculo infinitesimal (velocidad, aceleración)

# data[].attributes.body
Obra: Crítica a la razón pura (1781)-Immanuel Kant.

Examina los límites del conocimiento.

La razón solo puede conocer los fenómenos.

Se plantea los juicios: juicios analíticos( a priori-sin experiencia) y juicios sintéticos( a posteriori-con experiencia y a priori)

Plantea la lógica trascendental

# data[].attributes.body
Obra: Investigación sobre las leyes del pensamiento (1854)-Boole.

pensamiento- números-operaciones algebraicas.

Obra: El análisis matemático de la lógica (1847), conceptos-números-álgebra booleana ( 1 y 0-símbolos: verdadero y falso).

EJM:

El gato tiene 3 ojos (F) --> 0

El perro es un canino (V) --> 1

# data[].attributes.body
Obra: Conceptografía (1879)- Frege.

Distinción de sentido (concepto o idea) y referencia (objeto).

EJM:

¿Qué es una ballena?
SENTIDO: Un mamífero acuático
REFERENCIA: Ballena

Utilizo los cuantificadores ( el símbolo ∀ llamado "cuantificador universal" y el símbolo ∃ llamado "cuantificador existencial").

# data[].attributes.body
En el libro ''Formulaire de mathematiques'' quedaron enunciados los principios de Guiseppe Peano. Estos axiomas permitieron definir el conjunto de los números naturales.

# data[].attributes.body
El autor matemático David Hilbert tomo en cuenta las fuentes griegas de Euclides para escribir su ibro ''Fundamentos de Geometría'', donde formuló los principios de axiomatización, una de sus teorías decía que era necesario establecer un conjunton de postulados básicos antes de plantear de forma detallada algún problema físico o matemático.

# data[].attributes.body
Bertrand Russsell y Alfred North Whitehead con su libro "Principia mathematica" lograron gran parte de las matemáticas eliminando las paradojas semánticas, combinando las matemáticas con un lenguaje lógico se formaron las bases de la lógica formal.

# data[].attributes.body
Kurt Gödel intenta demostrar lo irrealizable del programa de Hilbert para el pensamiento matemático y da a conocer sus dos teoremas, uno de ellos siendo el primer teorema de incompletitud.

# data[].attributes.body
Claudio Shannon adaptó el teorema de las proposiciones indeacibles para aplicarlos en circuitos electricos que pudieran dar paso a la construcción de computadoras.