Historia de la logica by DARA YADIRA MARTHA COAQUIRA TIERREZ https://padlet.com/daracoaquirat/vwl5vh2clm84690p en-us 2022-09-23 01:58:36 UTC 2025-10-20 11:23:26 UTC hello@padlet.com LÓGICA ANTIGUA (SIGLO XI AC.) daracoaquirat https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2547376896 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




]]> 2023-04-07 20:54:08 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2547376896 LÓGICA MEDIEVAL https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2547659996 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.


]]> 2023-04-08 16:13:52 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2547659996 384-322 ac daracoaquirat https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553637935 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]]> 2023-04-13 19:36:15 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553637935 1555 pachecocatherine90 https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553739703
  • 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.

    • ]]>     2023-04-13 22:15:00 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553739703     1620 pachecocatherine90 https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553742393
  • Obra: Novum Organon (1620)- Francis Bacon
  • Critica la lógica aristotélica que había dominado  durante siglos.
  • Importancia al método científico.

    • ]]>     2023-04-13 22:20:52 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553742393     1679 pachecocatherine90 https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553746062
  •  Obra: Mathesis Universalis (1679)- Leibniz
  • ideas, pensamiento- símbolos matemáticos
  • creador del cálculo infinitesimal (velocidad, aceleración)

    • ]]>     2023-04-13 22:29:16 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553746062     1781 pachecocatherine90 https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553748089
  •  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

    • ]]>     2023-04-13 22:32:22 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553748089     1854 pachecocatherine90 https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553749686
  • 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


    ]]>     2023-04-13 22:36:16 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553749686     1879 pachecocatherine90 https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553750556
  • 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").



    ]]>     2023-04-13 22:38:22 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553750556     LÓGICA MODERNA( SIGLO XVI-XIX) pachecocatherine90 https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553792646 2023-04-13 23:50:30 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553792646 LÓGICA CONTEMPORÁNEA shine255lol https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553895479 2023-04-14 01:24:58 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2553895479 BOECIO- HASTA EL SIGLO XII https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554011554 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.]]>     2023-04-14 03:01:51 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554011554     GUILLERMO DE OCKHAM - SIGLO XIV https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554036920 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. ]]>     2023-04-14 03:22:47 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554036920     CUADRO LÓGICO DE LAS CONTRADICCIONES https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554038693 2023-04-14 03:24:24 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554038693 1910 shine255lol https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554045619 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.]]> 2023-04-14 03:31:01 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554045619 1895 shine255lol https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554073088 En el libro ''Formulaire de mathematiques'' quedaron enunciados los principios de Guiseppe Peano. Estos axiomas permitieron definir el conjunto de los números naturales.]]> 2023-04-14 04:05:28 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554073088 1899 shine255lol https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554081946 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.]]> 2023-04-14 04:16:20 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554081946 1931 shine255lol https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554095818 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.]]> 2023-04-14 04:33:12 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554095818 1938 shine255lol https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554100130 Claudio Shannon adaptó el teorema de las proposiciones indeacibles para aplicarlos en circuitos electricos que pudieran dar paso a la construcción de computadoras.]]> 2023-04-14 04:38:01 UTC https://padlet.com/daracoaquirat/vwl5vh2clm84690p/wish/2554100130