-
Desarrolla la dialéctica como base de la lógica. Razonamiento por reducción al absurdo.
-
Impulsa el arte de la argumentación.
-
Descubre los principios fundamentales de la lógica al emplear la dialéctica y proporcionar una teoría del concepto y la inducción.
-
Emplea por vez primera la palabra "lógica". Junto con Sócrates creó el uso de la definición. Estudia el principio de razón suficiente.
-
Formula el principio de no contradicción. Desarrolla una teoría de la ciencia y de las ideas.
-
Sienta las bases de la lógica y la sistematiza en sus seis tratados de lógica recogidos bajo el nombre de "organón". Aristóteles propone símbolos para detonar variables. Estudia la deducción, la inducción total y parcial. Analiza los principios de identidad, no contradicción y de tercer excluido.
-
Expone el silogismo hipotético.
-
Analiza la conjunción, disyunción, implicación y las equivalencias. Su concepción de la implicación está en la base de la tabla de verdad para la condicional.
-
Acuña términos latinos para los términos griegos de la lógica.
-
Filósofo eléctico platónico nacido en Argelia (Hippo). Estableció el cuadro de oposición de las proposiciones. Escribió sobre el Dios de Sócrates.
-
Considera que la verdad es relativa.
-
Compendia la lógica de Aristóteles en Isagoge. Estudió los universales y la importancia de los predicados aristotélicos.
-
Introdujo la lógica aristotélica-estoica entre los romanos. Traduce al latín las categorías y sobre la interpretación del Organón de Aristóteles. Introduce el concepto de subalteración. Constituyó el fundamento de la cultura de los primeros siglos del medievo, que se manifiesta en las siete artes liberales del trivio y del cuadrivio.
-
Dialéctica, primer tratado medieval de lógica escrito como texto del tirvium.
-
Sic et non, subraya el valor de la cópula como enlace lógico.
-
explica por primera vez todo el organón.
-
En 1276 fue nombrado papa, adoptando el nombre de Juan XXl. Su texto Summulae Logicales tuvo gran éxito y se usó hasta el S.XVl.
-
Distingue los juicios modales.
-
En su Ars Magna propone una lógica concebida como una ciencia universal, base de todas las ciencias. En ésta se da un sistema de combinación de conceptos que forman todas las verdades naturales alcanzables por el entendimiento. Esta teoría influirá sobre Leibniz.
-
Expone el "Árbol de Porfirio" y los conocidos "modos" del silogismo.
-
Rasoglio, representa la corriente científica y nominalista. Los conceptos universales solo pueden aplicarse a términos y proposiciones y no a cosas. Por esto la lógica se refiere únicamente a las relaciones entre signos de las cosas singulares.
-
Introduce la célebre distinción entre la teoría del concepto, del juicio y del raciocinio.
-
En su Novum Organum Scientarum se opone a la lógica deductiva aristotélica y desarrolla el método inductivo. Se proclama heraldo de la renovación científica.
-
Se vale de la matemática como instrumento metódico. Esto influirá decisivamente en el desarrollo del simbolismo de cálculo. La deducción es fundamental para juzgar la hipótesis.
-
De Corpore, lógica concebida en el sentido del extremo nominalismo inglés. En su obra Computatio Sive Logica declara que razonar es computar a partir de unas proposiciones primeras. Propone unas reglas de la definición.
-
Parte de la duda metódica y llega a las ideas claras y distintas. Este criterio tiene su raíz en las ideas innatas.
-
Delimita los conceptos de extensión y comprensión.
-
Con su álgebra lógica es considerado por algunos como el fundador de la lógica moderna. Introduce el estudio de principio de razón suficiente. Concilia la nueva ciencia con la tradición escolástica. Toda demostración parte de los principios lógicos supremos.
-
L'Art de Penser o Logique de Port Royal (1662); Representa una replica cartesiana a la lógica escolástica. Distingue entre definición nominal y real.
-
Logik, enuncia nuevas formas de juicio y una nueva tabla de categorías. Considera la lógica formal como aquella que estudia el pensamiento independientemente de la realidad.
-
Outline of a New System of Logic, proporciona las primeras indicaciones sobre cuantificación del predicado.
-
Ciencia de la lógica, el concepto se desarrolla dialécticamente. Existe una identidad absoluta entre el ser y el pensar.
-
Teoría de la ciencia, monumental tratado de lógica. Proporciona las bases de la teoría de conjuntos.
-
Inicia una revolución en la lógica y formula una geometría no-euclidiana.
-
The Philosophy of the Inductive Sciences, importante en la historia de los métodos de la ciencia natural.
-
Desarrolla ampliamente el método inductivo.
-
Es considerado comúnmente como el iniciador de la lógica simbólica. Introduce la lógica de clases y las leyes de cálculo proposicional.
-
Sistema de lógica e historia de las doctrinas lógicas, excelente obra de dirección aristotélica.
-
Logik, uno de los tratados capitales de la lógica.
-
Logik, lógica de tendencia gnoseológica,; desarrolla ampliamente la parte metodológica.
-
Symbolic Logic, emplea diagramas para representar funciones lógicas.
-
Elemenray Lessons in Logic, manual muy utilizado, con unas treinta ediciones. Simplificó el sistema de Boole.
-
Desarrollo el álgebra de clases, la lógica de relaciones, las funciones proposicionales y cuestiones relativas al condicional y otras conectivas.
-
Lecciones sobre el álgebra de la lógica, inicia en Alemania la lógica matemática. Contribuyó el álgebra de relaciones.
-
Lógica del conocimiento puro, obra en la que se fusiona lo lógico y lo gnoseológico.
-
Contribuciones para la fundamentación de una teoría de conjuntos transfinitos, es el creador de la teoría de los conjuntos. Suscitó debates en matemáticos, lógicos y filósofos. Gilbert se adhirió entusiastamente a esta teoría que ha influido notablemente en la matemática y la lógica del siglo XX.
-
Con sus fundamentos de la aritmética, inicio una revolución fundando la matemática en la lógica. Expuso las tablas de verdad y la lógica de clases. Estableció las bases de la lógica cuantificacional y del cálculo proposicional.
-
Se le conoce por las nociones de pertenencia e inclusión.
-
Traité de Logique, de tendencia racionalista y positivista; representa uno de los mayores esfuerzos de la filosofía francesa por sistematizar la lógica.
-
Investigaciones lógicas, recibe la influencia de Brentano y Bolzano; influye decisivamente sobre la lógica actual.
-
Al descubrir Russell las paradojas obligó a refundamentar la matemática. Esto llevo a ambos autores a elaborar una de las grandes obras de la lógica moderna: Principia Mathematica. Russell intentó reducir la matemática de la lógica y distinguió entre las paradojas lógica y metalógicas.
-
Lecciones de lógica, magnífico tratado sobre el concepto; contiene, ademas, un detallado resumen de la historia de la lógica.
-
Elementos de lógica teórica, obra maestra de lógica moderna. Ambos fueron eminentes representantes de la dirección formalista en la filosofía de la matemática
-
Poprugnó por la aplicación del simbolismo, que permite a la filosofía salir del reino de la vaguedad a que la condena la imprecisión del lenguaje cotidiano.
-
Logik, la más completa exposición de la lógica en sentido fenomenológico.
-
Al descubrir Russell las paradojas obligó a refundamentar la matemática. Esto llevo a ambos autores a elaborar una de las grandes obras de la lógica moderna: Principia Mathematica. Russell intentó reducir la matemática de la lógica y distinguió entre las paradojas lógica y metalógicas.
-
Al formular la teoría de la relatividad influye decisivamente en la lógica.
-
A Treatise on Probability, representa uno de los mayores avances en la teoría de la inducción después de Mill.
-
Compendio de logística, establece un análisis lógico del lenguaje y desarrolla el concepto de probabilidad.
-
Cybernetics, funda la cibernética, nombre por él acuñado. Su aportación sirve de base al desarrollo a las computadoras electrónicas. Considera que existe una analogía entre estas maquinas y los organismos vivos.
-
Elementos de lógica teórica, obra maestra de lógica moderna. Ambos fueron eminentes representantes de la dirección formalista en la filosofía de la matemática
-
Propone un modelo para construir maquinas computadoras. Descubre la conexión entre lógica y computación.
