LINEA DEL TIEMPO DE LOGICA

video de la historia de la logica

hay diferentes narraciones y puntos de vistas de acuerdo a la lógica aquí les presento algunos ejemplos en vídeos descargados o copiados de Internet

principales personajes de la lógica 5ta parte.

Santo Tomás de Aquino en italiano Tommaso D'Aquino (nacido en Roccasecca (Lacio) o Belcastro (Calabria1 ), Italia, a finales de 1224 o inicios de 1225 – † Abadía de Fossanuova, en la actual Provincia de Latina, 7 de marzo de 1274) fue un teólogo y filósofo católico perteneciente a la Orden de Predicadores, y es el principal representante de la tradición escolástica, y fundador de la escuela tomista de teología y filosofía. Es conocido también como Doctor Angélico y Doctor Común. También se le conoce como el Aquinate (derivado de Aquino). Por otro lado, es considerado santo por la Iglesia Católica. Su trabajo más conocido es la Suma Teológica, tratado en el cual pretende exponer de modo ordenado la doctrina católica. Canonizado en 1323, fue declarado Doctor de la Iglesia en 1567 y santo patrón de las universidades y centros de estudio católicos en 1880. Su festividad se celebra el 28 de enero.

Immanuel Kant Immanuel Kant (ɪˈmaːnu̯eːl ˈkant) (Königsberg, Prusia, 22 de abril de 1724 – , Königsberg,12 de febrero de 1804) fue un filósofo prusiano de la Ilustración. Es el primero y más importante representante del criticismo y precursor del idealismo alemán y está considerado como uno de los pensadores más influyentes de la Europa moderna y de la filosofía universal. Entre sus escritos más destacados se encuentra la Crítica de la razón pura (Kritik der reinen Vernunft), calificada generalmente como un punto de inflexión en la historia de la filosofía y el inicio de la filosofía contemporánea. En ella se investiga la estructura misma de la razón. Así mismo se propone que la metafísica tradicional puede ser reinterpretada a través de la epistemología, ya que podemos encarar problemas metafísicos al entender la fuente y los límites del conocimiento. Sus otras obras principales son la Crítica de la razón práctica, centrada en la ética; la Crítica del juicio, en la que investiga acerca de la estética y la teleología y La metafísica de las costumbres que indaga en la filosofía del Derecho y del Estado.Kant adelantó importantes trabajos en los campos de la ciencia, el derecho, la moral, la religión y la historia, inclusive creía haber logrado un compromiso entre el empirismo y el racionalismo. Planteando la primera que todo se adquiere a través de la experiencia mientras que la segunda mantiene que la razón juega un papel importante. Kant argumentaba que la experiencia, los valores y el significado mismo de la vida serían completamente subjetivos si antes no habían sido subsumidos por la razón pura, y que usar la razón sin aplicarla a la experiencia, nos llevaría inevitablemente a ilusiones teóricas.

Jean-Paul Sartre Charles Aymard Sartre (París, 21 de junio de 1905 – ibídem, 15 de abril de 1980), conocido comúnmente como Jean-Paul Sartre, fue un filósofo, escritor, novelista, dramaturgo, activista político, biógrafo y crítico literario francés, exponente del existencialismo y del marxismo humanista. Fue el décimo escritor francés seleccionado como Premio Nobel de Literatura, en 1964, pero lo rechazó explicando en una carta a la Academia Sueca que él tenía por regla declinar todo reconocimiento o distinción y que los lazos entre el hombre y la cultura debían desarrollarse directamente, sin pasar por las instituciones. Fue pareja de la también filósofa Simone de Beauvoir.

principales personajes de la lógica 4ta parte.

Personajes Filosóficos Heráclito de Éfeso en griego: Ἡράκλειτος ὁ Ἐφέσιος Herákleitos ho Ephésios), conocido también como «El Oscuro de Éfeso»,2 fue un filósofo griego. Nació hacia el año 535 a. C. y falleció hacia el 484 a. C. Era natural de Éfeso, ciudad de la Jonia, en la costa occidental del Asia Menor (actual Turquía). Como los demás filósofos anteriores a Platón, no quedan más que fragmentos de sus obras, y en gran parte se conocen sus aportes gracias a testimonios posteriores. La obra de Heráclito es netamente aforística. Su estilo remite a las sentencias del Oráculo de Delfos y reproduce la realidad ambigua y confusa que explica, usando el oxímoron y la antítesis para dar idea de la misma. Diógenes Laercio (en Vidas..., IX 1–3, 6–7, 16) le atribuye un libro titulado Sobre la naturaleza (περὶ φύσεως), que estaba dividido en tres secciones: «Cosmológica», «Política» y «Teológica». No se posee mayor certeza sobre este libro. I. Bywater hizo un reacomodo de los fragmentos conforme a la indicación de Laercio, traducido al español por José Gaos. Agustín García Calvo reconstruye la posible estructura del libro en su edición de los fragmentos del mismo, titulada Razón común. Distingue tres apartados: «Razón general», «Razón política» y «Razón teológica».

PitagorasPitágoras de Samos (en griego antiguo Πυθαγόρας) (ca. 580 a. C. – ca. 495 a. C.) fue un filósofo y matemático griego, considerado el primer matemático puro. Contribuyó de manera significativa en el avance de la matemática helénica, la geometría y la aritmética derivada particularmente de las relaciones numéricas, aplicadas por ejemplo a la teoría de pesos y medidas, a la teoría de la música o la astronomía. Es el fundador de la hermandad pitagórica, una sociedad que, si bien era de naturaleza predominantemente religiosa, se interesaba también en medicina, cosmología, filosofía, ética y política, entre otras disciplinas; el pitagorismo formuló principios que influenciaron tanto a Platón como a Aristóteles, y de manera más general, al posterior desarrollo de la matemática y la filosofía racional en Occidente.

principales personajes de la lógica 3ra parte.

Gottlob Frege La actividad intelectual de Gottlob Frege (1.848 - 1.925) siempre estuvo orientada hacia temas de la lógica y de la matem&oaacute;tica. En un artículo de 1.914, La lógica en la matemática, Frege afirma que la labor del matemántico está dominada por la deducción y la definición, dos actividades que dependen de leyes lógicas; debido a esto, la matemática se haya ligada más estrechamante a la lógica que a cualquier otra ciencia. De ahí que Frege considerase a las matemáticas como una extensión de la lógica. De hecho, su programa de fundamentación de las matemáticas puras consistía en demostrar que éstas tratan exclusivamente con conceptos reducibles a un pequeño número de nociones lógicas.

Giuseppe Peano El papel del matemático italiano Giuseppe Peano fué crucial en todo el proceso de paso de una visión "ingenua" de la lógica a una lógica que establecería ya el rigor, mediante reglas de juego, del proceso de la demostración. La lógica de enunciados y Peano: Hasta el año 1878, en el que comenzó a publicarse una serie de artículos de Hugh Mc Coll (1837-1909) sobre el "Cálculo de enunciados equivalentes", se consideraba que la lógica matemática era, simplemente, la lógica de clases, el álgebra de clases. Fue a partir de entonces cuando se empezó a entender que toda la lógica matemática dependía de la implicación lógica entre enunciados diversos. Que la raíz de toda la lógica matemática es la teoría de enunciados, y no la teoría de clases. La gran aportación de Peano al respecto fue la idea de que es posible poner todas las argumentaciones de la lógica de enunciados y de la lógica de clases en un lenguaje artificial de signos, conectados mediante implicaciones. En este sentido, afirmaba que "todos los teoremas de la matemática sin implicaciones entre enunciados".

principales personajes de la lógica 2DA parte.

David Hilbert aceptaba que el concepto de conjunto infinito no tenía una base intuitiva, pero se negaba a abandonar la matemática que hacía uso de él. Para rescatar a la llamada matemática clásica, propuso un programa, que bosquejó en 1904, y comenzó a desarrollar, junto con sus colaboradores, a partir de 1925. Hilbert proponía desarrollar la matemática formalmente, partiendo de un sistema de axiomas, y mediante el uso de las reglas de inferencia de la lógica clásica. Por otra parte se demostraría la consistencia de la teoría obtenida de esa manera; en caso que se obtuviera una demostración de consistencia, entonces no importaría ni el tipo de reglas empleadas ni las posibles interpretaciones de la teoría. Para obtener la demostración de consistencia, sugería considerar a las demostraciones de la teoría como objetos de estudio de una metateoría, a la que Hilbert llamó teoría de las pruebas. La demostración de la consistencia de la teoría se haría en la metateoría, empleando los métodos de demostración no cuestionados; a dichos métodos se les llamó finitarios. Hilbert y sus seguidores consiguieron, únicamente, demostrar la consistencia de algunos fragmentos de la matemática clásica. Posteriormente se encontró, como consecuencia de un teorema de Gödel, que si una teoría contiene al menos a la aritmética clásica, entonces su consistencia no puede demostrarse con métodos finitarios. Debemos asentar que al fundamentar la matemática sobre algunas de las teorías axiomáticas de los conjuntos, o sobre algunas de las modernas teorías de los tipos, no han surgido contradicciones, hasta la fecha.

Gottlob Frege La actividad intelectual de Gottlob Frege (1.848 - 1.925) siempre estuvo orientada hacia temas de la lógica y de la matem&oaacute;tica. En un artículo de 1.914, La lógica en la matemática, Frege afirma que la labor del matemántico está dominada por la deducción y la definición, dos actividades que dependen de leyes lógicas; debido a esto, la matemática se haya ligada más estrechamante a la lógica que a cualquier otra ciencia. De ahí que Frege considerase a las matemáticas como una extensión de la lógica. De hecho, su programa de fundamentación de las matemáticas puras consistía en demostrar que éstas tratan exclusivamente con conceptos reducibles a un pequeño número de nociones lógicas.

principales personajes de la logica

Augustus De Morgan (27 de junio de 1806 - 18 de marzo de 1871) fue un matemático y lógico nacido en la India. Profesor de matemáticas en el Colegio Universitario de Londres entre 1828 y 1866; primer presidente de la Sociedad de Matemáticas de Londres. De Morgan se interesó especialmente por el álgebra. Fue tutor de Ada Lovelace. Escribió varias obras de lógica en las que se encuentra la idea de aplicar en esta esfera los métodos matemáticos, así como los primeros resultados de tal aplicación. En la moderna lógica matemática, llevan el nombre de De Morgan las siguientes leyes fundamentales del álgebra de la lógica: «la negación de la conjunción es equivalente a la disyunción de las negaciones»; «la negación de la disyunción es equivalente a la conjunción de las negaciones». Su obra principal se titula La lógica formal o el cálculo de inferencias necesarias y probables (1847) George Boole Matemático británico. Autodidacta, fundó su propia escuela de enseñanza elemental. Publicó diversos artículos sobre la combinación del álgebra y el cálculo, y desarrolló un álgebra propia, que aplicó a la lógica, sosteniendo que ésta debería ser una rama de las Matemáticas, en lugar de la Filosofía. Fue el iniciador de la lógica simbólica, que representa los procesos del razonamiento mediante símbolos matemáticos. Sus trabajos impresionaron a sus colegas de la época, lo que le ganó en 1849 el puesto de profesor del Queen´s College de Cork, que le fue ofrecido a pesar de que no tenía título universitario. Como inventor del álgebra de Boole, la base de la aritmética computacional moderna, Boole es considerado como uno de los fundadores del campo de las Ciencias de la Computación. En 1854 publicó "An Investigation of the Laws of Thought" en él desarrollaba un sistema de reglas que le permitía expresar, manipular y simplificar, problemas lógicos y filosóficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemáticos.se podria decir que es el padre de las operaciones logicas y gracias a su algeba hoy en dia podemos manipular operaciones logicas

tipos de logica

Lógica formal: es conocida también como la lógica clásica o aristotélica, Aristóteles fue su creador, aunque después se presentaron otros filósofos con otras definiciones, esta es la primordial; con la evolución de las matemáticas, se da inicio a la lógica moderna, matemática, simbólica o logística. De la lógica moderna se derivan las siguientes lógicas: Semiótica. Lógica de los símbolos. Se divide en: sintaxis (relaciones de símbolos entre sí), semántica (relaciones entre los símbolos y su significados) y pragmática (relaciones entre los símbolos y el que utiliza). Deóntica: Se relaciona con el deber, se utiliza en el derecho denominada lógica de las normas. •Modal: Lo hace en los conceptos de necesidad y posibilidad. •De clases: Se aplican las propiedades del sujeto y del predicado, se representa gráficamente con círculos empleando la denominada "Algebra Booleana". •Cuantificacional: Estudia los predicados a través del uso de cuantificadores que expresan cantidad (todos?, o algunos?). •Proporcional: Razona proporciones y conectivos proporcionales (operadores lógicos). Simbólica: Emplea un lenguaje artificial que simboliza letras, utilizando operadores lógicos, llamados conectores, functores, juntores, para construir formulas operando sobre variables proporcionales y proporciones complejas. .- Lógica dialéctica o normativa: Esta tiene un contenido ideológico, obtiene principios racionales, utilizando una normativa en el proceso, por lo menos para realizar una tesis, se realiza primero el estudio, luego la tesis, la antítesis y su respectiva conclusión llamada síntesis, en pocas palabras, es el estudio de algo, llevando un orden de reglas para llegar a conclusiones. Relaciones de la lógica con otras cienciasA.- Lógica y ciencia: Estudia problemas y leyes del pensar formal, no define lo verdadero de lo falso. Entre lo verdadero y lo falso, hay una competencia del razonamiento.

historia de la lógica y quien fue el padre de la lógica.

Aristóteles nació en 384 a. C. en la ciudad de Estagira (razón por la cual se lo apodó el Estagirita),6 no lejos del actual Monte Athos, en la península Calcídica, entonces perteneciente al Reino de Macedonia (actual Macedonia). Su padre, Nicómaco, fue médico del rey Amintas III de Macedonia,7 hecho que explica su relación con la corte real de Macedonia, que tendría una importante influencia en su vida. En 367 a. C., cuando Aristóteles tenía 17 años, su padre murió y su tutor Proxeno de Atarneo lo envió a Atenas, por entonces un importante centro intelectual del mundo griego, para que estudiase en la Academia de Platón.8 Allí permaneció por veinte años.8 Tras la muerte de Platón en 347 a. C., Aristóteles dejó Atenas y viajó a Atarneo y a Aso, en Asia Menor, donde vivió por aproximadamente tres años bajo la protección de su amigo y antiguo compañero de la Academia, Hermias, quien era gobernador de la ciudad.8 Cuando Hermias fue asesinado, Aristóteles viajó a la ciudad de Mitilene, en la isla de Lesbos, donde permaneció por dos años.7 8 Allí continuó con sus investigaciones junto a Teofrasto, nativo de Lesbos, enfocándose en zoología y biología marina.7 Además se casó con Pythias, la sobrina de Hermias, con quien tuvo una hija del mismo nombre.8 En 343 a. C., el rey Filipo II de Macedonia convocó a Aristóteles para que fuera tutor de su hijo de 13 años, que más tarde sería conocido como Alejandro Magno.7 8 Aristóteles viajó entonces a Pella, por entonces la capital del imperio macedonio, y enseñó a Alejandro durante, al menos, dos años, hasta que inició su carrera militar.8 En 335 a. C., Aristóteles regresó a Atenas y fundó su propia escuela, el Liceo (llamado así por estar situado dentro de un recinto dedicado al dios Apolo Licio).8 A diferencia de la Academia, el Liceo no era una escuela privada y muchas de las clases eran públicas y gratuitas.7 A lo largo de su vida Aristóteles reunió una vasta biblioteca y una cantidad de seguidores e investigadores, conocidos como los peripatéticos (de περιπατητικός, 'itinerantes', llamados así por la costumbre que tenían de discutir caminando).7 La mayoría de los trabajos de Aristóteles que se conservan son de este período.7 Cuando Alejandro murió en 323 a. C., es probable que Atenas se volviera un lugar incómodo para los macedonios, especialmente para quienes tenían las conexiones de Aristóteles.7 8 Tras declarar (según se cuenta) que no veía razón para dejar que Atenas pecara dos veces contra la filosofía (en referencia a la condena de Sócrates), Aristóteles dejó la ciudad y viajó a Calcis, en la isla de Eubea, donde murió al año siguiente, en 322 a. C., por causas naturales.7 8.

El nacimiento de la lógica propiamente dicho está directamente relacionado con el nacimiento intelectual del ser humano. La lógica emerge como mecanismo espontáneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla. Poncairé destaca cinco etapas o revoluciones en ese proceso que se presentan entre dos grandes tópicos: del rigor y la formalidad, a la creatividad y el coas. Las etapas se identifican como: Revolución Matemática, Revolución Científica, Revolución Formal y Revolución Digital además de la próxima y prevista Revolución Lógica. Lógica Matemática La lógica matemática cuestiona con rigor los conceptos y las reglas de deducción utilizados en matemáticas lo que convierte la lógica en una especie de metamatemática. Una teoría matemática considera objetos definidos -enteros, por ejemplo- y define leyes que relacionan a estos objetos entre sí, los axiomas de la teoría. De los axiomas se deducen nuevas proposiciones -los teoremas-, y a veces, nuevos objetos. La construcción de sistemas formales -formalización, piedra angular de la lógica matemática-, permite eliminar la arbitrariedad en la elección de los axiomas y definir explícita y exhaustivamente las reglas de la deducción matemática. Las matemáticas y la lógica Del año 600 aC hasta 300 aC se desarrollan en Grecia los principios formales de las matemáticas. Este periodo clásico lo protagonizan Platón, Aristóteles y Euclides. Platón propone ideas o abstracciones. Aristóteles resuelve el razonamiento deductivo y sistematizado. Euclides es el autor que establece el método axiomático. En los Elementos Euclides organiza las pruebas deductivas de que dispone dentro de una estructura sistemática, rigurosa, altamente eficaz.