-
511 BCE
Integrantes
Vazquez Calderón Pandora Lux Beu
Montaño Jiménez Karla Guadalupe
Mendieta Ventura Ivon Paulina
Osornio Muñoz Miranda Sofía -
510 BCE
Parménides
Fundador de la ontología, Parménides concibió lo real como uno e inmutable; desde la misma Antigüedad, su doctrina se contrapuso a la Heráclito de Éfeso, para quien lo real es perpetuo devenir. Ambos son considerados los más profundos pensadores de la filosofía presocrática. -
Period: 500 BCE to 300 BCE
Origen de la paradoja del mentiroso o pseudómenos.
Una persona dice “estoy mintiendo” Si dice la verdad, entonces es cierto lo que dice, luego está mintiendo; pero si está mintiendo, entonces es falso lo que dice, luego está diciendo la verdad. Ni dice la verdad ni miente. El origen de esta paradoja puede ser de Epiménides, a quien atribuyen la frase “todos los cretenses mienten”, Otros reconocen la paradoja a Eubúlides de la forma “si miento y digo que miento, ¿miento o digo la verdad?”
https://www.youtube.com/watch?v=fc2utSYTng8 -
490 BCE
Zenón de Elea
De él se conservan, como auténticos, cinco fragmentos, gracias al comentario de Simplicio a la Física de Aristóteles. El escrito se dividía en varias partes, a las que Platón denomina logoi o argumentos. Cada una de las partes contenía un cierto número de hipótesis o premisas de los adversarios, que reducía al absurdo para demostrar la tesis propia. El filósofo murió al querer liberar a su patria del tirano Nearco, que ejercía un poder absoluto y opresor. -
470 BCE
Sócrates
Sócrates observa con desagrado cómo en los discursos políticos, jurídicos y filosóficos de su tiempo se manejan conceptos abstractos (virtud, bien, valor, justicia...) al tiempo que se insiste en el origen convencional de los mismos. Sócrates tratará de anclar dichos conceptos en la realidad social y no en los discursos tendenciosos acerca de ella, descubriendo así en tales conceptos una estabilidad que, si confiamos en el testimonio de Platón, habría de ser eterna e inmutable. -
450 BCE
Euclides de Megara
Nace Euclides de Megara, fundador de la escuela megárica y discípulo de Sócrates.
https://www.youtube.com/watch?v=NdcNxq-q1d0 -
427 BCE
Platón
Es innegable que la obra de Platón, radicalmente novedosa en su elaboración lógica y literaria, estableció una serie de constantes y problemas que marcaron el pensamiento occidental más allá de su influencia inmediata, que se dejaría sentir tanto entre los paganos (el neoplatonismo de Plotino) como en la teología cristiana, fundamentada en gran medida por San Agustín sobre la filosofía platónica. -
400 BCE
La escuela megárico-estoica
Su lógica es proposicional del tipo peculiaridades en su modo de entender las conectivas lógicas. Teoría semántica y paradojas.
Apenas se conservan fragmentos originales.
Todo lo que sabemos sobre ella proviene de comentadores posteriores como Sexto Empírico, Cicerón o Diógenes Laercio. Casi todos ellos pertenecen a otras escuelas, y muchos de ellos contrarios al estoicismo. -
Period: 400 BCE to 275 BCE
Megaricos (obra lógica)
Es fundada esta escuela griega de filosofía. Destacan Diodoro Crono y su discípulo Filón de Megara
Partían de un cierto número de variables proposicionales que representaban escribiendo “lo primero”, “lo segundo” representan afirmaciones de las que sentido decir que son verdaderas o falsas, pero cuya estructura interna no interesa
Estudiaban las relaciones de inferencia que se dan entre proposiciones a partir de proposiciones simples.
https://www.youtube.com/watch?v=L2Z8Sj1y9Zg&feature=emb_logo -
384 BCE
Aristóteles
Aristóteles fue un filósofo, polímata y científico nacido en la cuidad de Estagira, en la Antigua Grecia, se le considera el padre de la lógica formal, por su diferente forma de pensar, su filosofía se le conoce como "Lógica Aristotélica" -
336 BCE
Zenon de Citio
Nace Zenon de Citio quien fundó la escuela estóica y desarrolló las ideas lógicas de los megáricos y estimuló en esa dirección a
sus discípulos Cleantes (ca. 330-232 a.C.) y Crisipo (ca. 281-208 a.C.). Más conocidos
son los estoicos del Imperio Romano, como Séneca, Epicteto o Marco Aurelio, quienes
ya no se ocupaban apenas de la lógica de sus maestros griegos
https://open.spotify.com/episode/4Wvc5cIcLR6NL9twVzXtHT?si=SQrqTCg0RdavOxXLZEKMiw -
334 BCE
Órganon
El Órganon es un conjunto de obras compuestas por Aristóteles que constituyen el nacimiento de la lógica aristotélica como disciplina académica así como la primera investigación sistemática sobre los principios de la lógica.
Las obras que contiene son seis: De las categorías.
Sobre la interpretación.
Refutaciones sofísticas.
Primeros analíticos,
Segundos analíticos.
Y Tópicos -
334 BCE
Silogismo (Lógica Aristotélica)
Razonamiento que está formado por dos premisas (premisa mayor y premisa menor) y una conclusión que es el resultado lógico de las dos premisas. Ej. Todos los autos tienen motor (Premisa mayor)
Todos los motores usan aceite (Premisa menor)
Todos los autos usan aceite (Conclusión) -
334 BCE
Doctrina del juicio (Lógica Aristotélica)
El juicio es un pensamiento en el que se afirma o se niega algo de algo. Según Aristóteles, el juicio es el "pensamiento compuesto de más de una idea, pero dotado, a la vez, de una unidad especial que se logra por medio de la oración copulada". Ej. Andrés viste de negro, Andrés es rudo. -
334 BCE
Teoría de términos
Se le llama lógica de términos porque en cada proposición hay dos términos, cada proposición puede ser universal o particular, y también afirmativa o negativa. Por tanto, quedan cuatro tipos: Tipo A: universal y afirmativa (``todos los perros son mortales'')
Tipo I: particular y afirmativa (``algunos ejemplos son absurdos'')
Tipo E: universal y negativa (``ningún filósofo es rico'', o ``todos los filósofos son no ricos'')
Tipo O: particular y negativa (``algunos perros no son filósofos'') -
300 BCE
Filon de Megara
"Floreció" Filón de Megara, cuya interpretación
es adoptada por la moderna lógica simbólica, para que un condicional sea verdadero
basta con que no se dé el caso de que el antecedente sea verdadero y el consecuente sea
falso.
Fue amigo de Zenon de Citio -
Period: 300 BCE to 200 BCE
Estoicos (obra lógica)
Continúan la obra lógica de los megáricos; tratan de derivar cualquier afirmación universalmente válida a partir de cinco esquemas indemostrables, los themata, que en realidad son reglas de inferencia: Si A entonces B, y además A; por tanto B.Si A entonces B, y además no-B; por tanto no-A. No a la vez A y B, y además A; por tanto no-B. O bien A o bien B, y además A; por tanto no-B. O bien A o bien B, y además no-A; por tanto B -
Period: 300 BCE to 201 BCE
Lógica Antigua
Periodo: Siglos lV- III a. C. en la Grecia clásica.
La lógica surge como rama de la filosofía, desde sus orígenes estaba vinculada a dos práticas intelectuales.Se vinculaba a ciertos estudios tradicionales acerca del buen uso del lenguaje, como son la retórica, la dialéctica y la gramática . Por otro lado, tenemos también los estudios de aritmética y
geometría, cuyos argumentos eran sometidos a crítica por parte de filósofos y matemáticos. -
281 BCE
Crisipo de Solos
Convertido al estoicismo, gozó de una gran reputación entre sus contemporáneos, reconocido por su audacia y confianza.
Fue el sucesor de su maestro, Cleantes, como máximo representante de la escuela estoica. -
1 BCE
Tratados lógicos de Aristóteles. Su orden es el clásico fijado por Andrónico de Rodas
Kategoríai: Clasificación de los términos del lenguaje y correspondencia con ámbitos de la realidad.
Perì hermeneías: Análisis gramatical de la estructura de los enunciados. Teorías sobre el significado y la verdad.
Analyticà prótera: Teoría del silogismo categórico y del silogismo modal.
Analyticà hystera: Teoría de la ciencia
Topiká; Estudio de las reglas que gobiernan una discusión por turnos entre dos personas de cualquier asunto.
Perí sophistikon elénkhon: Estudio de argumentos falaces -
Period: 500 to 1000
La Lógica medieval (Alta)
Las contribuciones medievales en la edad Alta a la lógica son acerca de la semántica del latín técnico empleado en los razonamientos y acerca también de lo que hoy llamaríamos meta lógica. . La accesibilidad de los textos era un factor decisivo: hasta mitad del siglo XII las únicas obras de lógica con que se contaba eran las Categorías y De la interpretación de Aristóteles, la Isagoge de Porfirio, y varios comentarios de Boecio y Marciano Capella. -
530
Representación de los juicios de Aristóteles en un diagrama de Ammonio de Hermia Aristóteles divide los juicios en : Afirmativo universal: Juicio de tipo A:Todo S es P; Afirmativo Particular:
Juicio de tipo I: Algún S es P Negativo Universal: Juicio de tipo E: Ningún S es P Negativo Particular Juicio de tipo O: Algún S no es P
De estas hay 4 reglas
1. Las contradictorias nunca pueden ser verdaderas a la vez. 2.Las subalternas: si la universal es verdadera, la particular también; y si la particular es falsa, la universal también. 3. Las contrarias: no pueden ser verdaderas a la vez, pero sí falsas a la vez. 4.Las subcontrarias: pueden ser verdaderas a la vez, pero no falsas a la vez. -
Period: 1001 to 1100
Lógica Escolástica
En las
universidades de Oxford y París, y en menor medida en otros centros de
estudios como la Universidad de Salamanca, se estudiaban y discutían los
compendios de Guillermo de Shyreswood, Pedro Hispano, Guillermo de
Ockham, Juan Buridán o Alberto de Sajonia. Con el redescubrimiento de las
obras de Aristóteles, se organiza y amplía su doctrina lógica, al tiempo que se
hacen contribuciones y se plantean nuevos problemas. -
1079
Pedro Abelardo
Pedro Abelardo, fue un filósofo, teólogo, poeta y monje francés. Habló acerca de la naturaleza de los universales, sostenía las ideas del conceptualismo. Al mismo tiempo, polemizaba contra el realismo natural escolástico, fue pieza fundamental para volver a despertar el interés en la lógica en la Edad Media. -
Period: 1300 to 1500
La Lógica medieval (Baja)
En los siglos XII, XIII y XIV se desarrollaron extraordinariamente en Europa la teología, la filosofía y la lógica. Esta última, en particular, se desarrolló a partir de la segunda mitad del siglo XII hasta unos niveles de complejidad y finura hasta entonces desconocidos, gracias a las nuevas traducciones del Órganon. El punto culminante se alcanza en las enseñanzas habidas en las Facultades de Artes de Oxford y París en los siglos XIII y XIV. -
Period: 1453 to 1527
Lógica Renacentista
El Renacimiento supone en general un rechazo de la lógica escolástica en favor de la gramática, la poética y la retórica. Filósofos como Petronio, Luis Vives, Petrus Ramus, Montaigne,
etc., critican a los lógicos medievales por dedicar tanto esfuerzo a una ciencia que realmente según las nuevas formas de pensar en la época iluminaba tan poco. -
Period: 1527 to
Lógica Moderna
La lógica en la Edad Moderna viene marcado por la publicación en 1662 de La Lógica o el Arte de Pensar de los jansenistas Antoine Arnauld (1612-1694) y Pierre Nicole (1625-1695), comúnmente llamada Lógica de Port-Royal. Se trata de
una obra influida tanto por la crítica de los humanistas como por el cartesianismo. Pero, sobre todo, es una obra influyente: su enfoque y el campo de problemas abordado serán considerados como materia estándar de la lógica hasta el surgimiento de la lógica
simbólica. -
Period: to
Gottfried Leibniz
Propuso la creación de una characteristica
universalis o lengua artificial que pudiera representar las ideas simples del pensamiento.
Dicha lengua sería unívoca y además permitiría la mecanización del pensamiento
mediante la manipulación reglada de los símbolos del lenguaje. -
Inicios de la lógica en la Edad Moderna
El comienzo de Lógica en la Edad Moderna viene marcado por la publicación en 1662 de la lógica o del arte de pensar de los jansenistas Antonie Arnauld (1612-1694) y Pierre Nicole (1625-1695), comúnmente llamada lógica de Port-Royal Se trata de
una obra influida tanto por la crítica de los humanistas como por el cartesianismo.
La principal finalidad de la lógica, se dice en la Lógica de Port-Royal, consiste en
asistir al hombre para que éste pueda distinguir lo verdadero de lo falso. -
Lógica de Port-Royal
Se convirtió en un texto popular y fue útil hasta el siglo XX, introduciendo al lector en la lógica, y exhibiendo importantes elementos cartesianos en su metafísica y epistemología. Se estudio la función y alcance de nuestras facultades cognoscitivas, y se persiguió la verdad en las ciencias. Además, dichas facultades determinan las partes de la lógica. -
Partes del Port-Royal
Sus partes que revolucionaron la lógica son:- Doctrina del concepto. Se investiga cómo adquirimos nuestras ideas generales a partir de experiencias particulares.
- Doctrina del juicio. La combinación de ideas da lugar a
afirmaciones, que pueden ser verdaderas o falsas. - Doctrina del razonamiento. De unas afirmaciones se siguen
otras. - Doctrina del método. Por medio de razonamientos y de observación se construye nuestro conocimiento global sobre el mundo.
-
Immanuel Kant
En el prólogo a la segunda edición e su Crítica de la razón pura:
“Lo curioso de la lógica es que tampoco haya sido capaz, hasta hoy, de avanzar un solo
paso. Según todas las apariencias se halla, pues, definitivamente concluida”. El juicio de
Kant, tomado por cierto y reproducido en multitud de manuales de lógica clásica, es
incorrecto por dos razones. -
Teoría de las consecuencias
Es la relación entre las premisas y la conclusión de un argumento deductivamente válido. Es uno de los conceptos esenciales de la lógica, que señala el vínculo entre los enunciados , lo que a su vez depende del contenido lógico de estos. La acepción de consecuencia lógica no se corresponde, totalmente, con el empleo intuitivo del término en la praxis del conocimiento científico. Esta falla de correspondencia se expresa en las denominadas ""paradojas" de ilación. -
El álgebra de la lógica de Boole
La aportación fundamental de Boole (1815-1864) es la de utilizar
ecuaciones algebraicas para representar afirmaciones lógicas.
En su formalización de la lógica proposicional, Boole escribe x, y, z... para
denotar proposiciones simples, que él llama “categóricas”. -
Lógica simbólica
Boole en Inglaterra y Frege en Alemania
son los precursores. Durante la primera mitad del siglo XX, la lógica se
utilizaba sobre todo para formalizar el discurso científico, en especial el
matemático, por lo que estaba muy ligada a la filosofía de la ciencia. -
Influencia inmediata de Boole
La influencia de las dos obras de Boole arriba
mencionadas fue inmediata y enorme. Los filósofos no veían más que un juego
simbólico, pero los matemáticos con cierto interés por la lógica veían un campo de
investigación nuevo (ya que quedaban leyes lógicas por descubrir) donde aplicar
además una metodología nueva (la interpretación de variables algebraicas mediante
significados como los de verdad, falsedad, totalidad y vacío). -
La escritura conceptual de Frege
Gottlob Frege (1848-1925) publicó en 1879 la que se considera obra
fundacional de la lógica simbólica. Su título completo era Conceptografía. Un lenguaje
de fórmulas, semejante al de la aritmética, para el pensamiento puro. Allí se proponía
fundamentar el razonamiento matemático mediante un lenguaje artificial que sustituyera
por completo las expresiones de lenguaje natural que aparecen en los libros de
matemáticas.
