-
La lógica, como un análisis explícito de los métodos de razonamiento, se desarrolló originalmente en tres civilizaciones de la Edad Antigua: China, India y Grecia, entre el siglo V y el siglo I a. C.Se considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las ciencias. En el periodo romano la lógica tuvo poco desarrollo, más bien se hicieron sumarios y comentarios a las obras recibidas.En el período bizantino, Filopón.
-
La lógica 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.
-
intenta instaurar en Siracusa una utópica república dirigida por filósofos, y crea la Academia en Atenas, que no era solouna institución filosófica, sino servía de formación política a los jóvenes de la aristocracia. Según muchos críticos, Platón edifica su teoría del conocimiento para justificar el poder preeminente del filósofo y parte de los pensamientos socráticos: la búsqueda de conceptos y definiciones estables de las ideas abstractas
-
Se le considera como fundador de la lógica. Aristoteles definió la lógica como "ciencia que estudia el razonamiento correcto" lo que se entendía que era una herramienta para las demás ciencias. Para Aristoteles existía un tipo de lógica especialmente para la ciencias era el silogismo
-
aporto 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.
-
Desplazo el interés de la lógica de los enunciados simples con sujeto y predicado s los enunciando complejos
-
establecio que “de Dos premisas contradictorias, se puede deducir cualquier conclusión”.
-
Esta epoca Marca el inicio de la Lógica Matemática. El precursor de esta logica es Guillermo G.Leibinz quien introdujo el cual logico llamado "Mathesis Universalis"
-
El punto de partida de este filosofo y matemático francés es la duda universal que consiste presidir de cualquier conocimiento previo que no queda confirmado con que a de manifestar el espíritu. Descartes dudó de toda enseñanza recibida, de todo conocimiento adquirido, del testimonio de los sentidos e incluso de las verdades de orden racional. Llegado a este punto, halla una verdad de la que no puede dudar: la evidencia interior que se manifiesta en su propio sujeto (pienso, luego existo).
-
Sugirió tratar todos los enunciados como las ecuaciones algebraicas, que se usa el signo de igualdad para decir que las dos partes tiene el mismo valor numérico
-
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
-
construye la Teoría de Clases. Venn aclara los procedimiento de Boole representando los procesos algebraicas en los diagramas de Venn.
-
Al matemático alemán Georg F. Cantor se debe la idea del ''infinito continuo'', es decir, la posibilidad de considerar conjuntos infinitos dados simultáneamente. Se le considera el creador de la teoría de los números irracionales y de los conjuntos.
-
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.
-
es uno de uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía científica contemporánea.Por influencia de los trabajos de Cantor descubrió en la teoría de conjuntos varias paradojas que resolvió mediante la teoría de los tipos; años más tarde establecería una teoría similar, la de la jerarquía de los lenguajes, para eliminar las paradojas semánticas
-
En una publicación de Begriffsschrist, donde Gottlob Frege introduce introduce un calculo profesional que combina la teoría de la demostración de Leibniz con una presentación de las conectivas lógicas
-
tuvo múltiples contribuciones a la lógica matemática, destacando la demostración de la consistencia de la hipótesis cantoriana del continuo y el teorema y la prueba de incompletez semántica. En ''Sobre las proposiciones indecibles de los sistemas de matemática formal'' establece que es imposible construir un sistema de cálculo lógico suficientemente rico en el que todos sus teoremas y enunciados sean decibles dentro del sistema
-
En palabras de algunos expertos cmo Copi y Cohen que la lógica científica "es ele estudio de los principios y métodos utilizados para distinguir el argumento correcto de lo incorrecto
