Etapa Antigua

PRE ARISTOTÉLICOS:
PARMÉNIDES DE ELEA: (515-440 a.C)
Griego.
Poema: "Sobre la naturaleza".
Formula la proposición fundamental de la Ontología: El ser es uno, continuo y
eterno.
Fundador del principio de IDENTIDAD "todo es igual a si mismo" (A->A).
Por la razón se conoce al ser y la verdad de las cosas.
ZENÓN DE ELEA (490-430 a.C.)
Griego.
Apoyo la posición de parménides.
Sus argumentos no parten de premisas verdaderas, sino de proposiciones
hipotéticas (Argumentos=paradojas).
Dio origen al método dialéctico, al razonamiento hipotético y la reducción al
absurdo.
Sus argumentos se conocen con el nombre de AFORIAS (duda, negación).
DEMÓCRITO (460-370 a.C.)
Tracia-Grecia
Planteó el principio de "La Razón suficiente".
"Nada hay que hacer sin causa".
PITÁGORAs: (486-410 a.C.)
Aboera-Grecia.
Dudaba de la existencia de los dioses.
Afirmaba "El hombre es medida de todas las cosas", de las que son en cuanto
son.
Toda opinión del hombre es verdad y no hay verdad objetiva; es de acuerdo a
la concepción que da a las cosas.
Utilizó las oraciones en el plano sintáctico y semántico.
SOCRATES: (470-399 a.C.)
Atenas-Grecia.
No dejó nada escrito.
Su misión era la de promover en el hombre la búsqueda entorno al hombre
"Conócete a ti mismo".
Fue un hombre que interrogaba a la vez que enseñaba (es lo que se llama la
IRONÍA SOCRÁTICA),que hace descubrir a su interlocutor lo que creía ignorar
(Se trata de la MAYÉUTICA, o arte de alumbrar los espíritus), y lo que hace
avanzar en el camino de la verdad (Dialéctica).
Se enfrentó a los sofistas de su época. que eran de retórica que enseñaban a sus
discípulos el arte de convencer o persuadir a la gente sobre cualquier cosa; y eso
para el era un saber ficticio privado de verdad y lo combatió con el método de la
MAYÉUTICA (Método de argumentación y aprendizaje).
Es considerado como el autor del descubrimiento del concepto, definición e
inducción.
Afirma que existe un conocimiento verdadero que se expresa a través de
conceptos y que el llamó LOGOS.
Afirma que para llegar a la verdad invento el método de la definición de
conceptos empleando el dialogo. La lRONÍA: refutación de las ideas falsas;
después que abandona esas ideas erróneas comienza la MAYEUTICA: conducir
 mediante preguntas a descubrir la verdad o a que dé a luz la verdad que lleva
dentro.
Fue culpado por corruptor de menores (sus enseñanzas fueron
incomprendidas) y consideradas peligrosas lo condenaron a beber la cicuta en
Atenas.
PLATON: (427-348 a.C.)
Atenas-Grecia.
Discípulo de Sócrates.
Obras: "Las leyes", "El sofista" y otras.
En su obra "El sofista" trató sobre las afirmaciones y negaciones.
Descubrió el principio de la "NO CONTRADICCIÓN": "Lo que es verdadero,
no puede ser no verdadero" -(A y -A).
Dos proposiciones contradictorias no pueden ambas a la vez ser verdaderas o
falsas.
Teorizó y esquematizó la división y la definición de lógica.
Empleó el método axiomático.
ETAPA ARISTOTÉLICA
ARISTÓTELES: (384-322 a.C.)
Estagira-Macedonia-Grecia.
Su sistema o afirmaciones se basan en una concepción rigurosa del universo.
Es autor de un gran número de tratados de política, biología, física, metafísica
y lógica.
De sus obras destacan : Organon , Retórica, Poética, Física y Metafísica.
Comenzó desconfiando de la dialéctica como método de conocimiento,
consideró que era necesario un instrumento u ORGANON que permitiera el logro
de un conocimiento científico, demostrativo y verdadero.
Para cumplir con esta finalidad inventó la lógica para garantizar el acceso al
conocimiento de la realidad, ya que la dialéctica según él era limitada porque era
un arte para discutir y no para conocer, que es la tarea propia de la filosofía y de la
ciencia.
OBRA: "Organon" = "Instrumento" .Comprende:
- "LAS CATEGORÍAS": Estudia los términos (conceptos).
- "LOS ANALÍTICOS": PRIMEROS Y POSTERIORES: En los primeros
analíticos se estudia al silogismo, para construir otras ciencias deductivas a través
de la teoría axiomática. Además en el desarrollo el primer estudio sistemático de
la deducción (el silogismo) en su forma o estructura sin considerar el significado.
- "DE LA INTERPRETACIÓN": Estudia el enunciado y el juicio.
- "LOS TOPICOS": Estudia el silogismo sofístico o refutación sofística, la
argumentación, definición y clasificación.
Reunió todo material existente de su época e incluyó sus propios
descubrimientos en el Organon.
Fundador de la lógica formal.
Descubre el SILOGlSMO como tipo de inferencia que consiste en partir de la
verdad de dos preposiciones para llegar a la verdad de una tercera proposición.
Debido al tratamiento estructural o formal de la deducción (silogismo)
encontró otro aporte para la lógica y matemática; el "Método Axiomático", es
decir axiomatizó su teoría del silogismo, creando cuatro formas básicas y sus
derivadas. AsI la teoría Silogistica constituye el primer sistema axiomático de la
historia de la ciencia.
Formula la ley de la contradicción A y -A ambas no pueden ser verdaderos. -
 (A y -A).
Formula la ley del tercero excluido "de dos enunciados contradictorios A y -A
uno es verdadero", es decir (A o -A).
LOS ESTOICOS:
Principalmente Eudemo y Teofrasto.
Se ocuparon de las argumentaciones con enunciados compuestos.
Establecieron los tipos de conexión de lo juicios (Conjunción, Disyunción, e
implicación material), formando encadenamiento de juicios.
Observación: Aristóteles solo habla considerado al silogismo con enunciados
simples o encanamiento de términos. No consideró a los enunciados compuestos.
Una de las razones segón Santo Tomas de Aquino; es que utilizó solo
enunciados simples y el silogismo en base a encadenamiento de términos porque
expresan una verdad o afirmación terminante o concluyente. Es decir el enunciado
hipotético no contiene verdad absoluta necesario para su demostración (Enunciado
compuesto) pero se necesita la confirmación absoluta por el enunciado simple, por
eso pasa por alto a los enunciados compuestos y silogismos hipotéticos.
Construyeron la lógica de los enunciados compuestos.
Establecieron la verdad y falsedad de los enunciados implicación, negación y
conjunción.
En la lógica de enunciados aparecen la negación ,la implicación, la conjunción
y disyunción.
Crisipo y Zenón. (Este último fija la denominación de Lógica para la
comprensión científica del conocimiento experimental por medio de la
demostración).
MEGÁRICOS:
DIADORO CRONO, FILÓN DE MEGARA.
El primero de ellos 307 años a.C. sostuvo que la implicación es: verdadera
cuando no es posible ni sea posible. que se dé la V o F. El último, 300 años a.C.,
definió la implicación como función de verdad. VF=F; otros casos V.
Inventa el método de las matrices de verdad. Asimismo se definió a la
conjunción : VV=V otros casos F. Además la disyunción y la equivalencia.
Desarrollan la lógica coligativa.
El último desarrolló la lógica de las modalidades temporales estableciendo
relaciones entre verdad y tiempo.
ETAPA MEDIEVAL
REPRESENTANTES
- PETRUS HISPANO.
- JUAN BURlDAN.
- ALBERTO DE SAJONIA.
- PEDRO ABELARDO. (introduce la CÓPULA: enlace, expresión de la lógica)
- ALEJANDRO DE AFRODICIA
- PORFIRlO
- GALENO
- BOECIO.
- GUILLERM0 DE OCAM.
Los cuatro primeros redescubrieron los tipos de inferencia coligativa de los
estoicos.
Hubo un estancamiento en el avance de la lógica.
Las investigaciones lógico formales se hallan completamente detenidas.
Los temas de lógica no fueron considerados como aptos para la investigación.
 La lógica estuvo dirigida a servir de preparación espiritual para la filosofía y el
pensamiento teológico.
Esta etapa se caracteriza por que solo se revisaban y se comentaban las obras
de la lógica.
ETAPA MODERNA
PRECURSORES:
PETRUS RAMUS:
Estudió sistemático de los silogismos con términos singulares.
Fue el primero en exponer la división de la lógica en concepto, juicio,
inferencia y metodología.
DESCARTES (1596-1650)
Formuló dos ideas importantes:
Concibió una teoría matemática mas amplia que la geometría y la aritmética,
que trata medida y relación. Planteó la Geometría Analítica.
Concibió un sistema de símbolos relacionados con nuestros pensamiento de
modo semejante a cifras y números, de esta manera seria fácil juzgar y
argumentar; lo busco pero no pudo crearlo.
TOMAS HOBBES: (1588-1679)
Obra: LEVIATHAN
La argumentación es un cálculo y las palabras son fichas, esta afirmación la
tomo de la REFUTACION SOFISTA.
Se iniciaba la etapa de la formalización en la matemática y en el resto de
ciencias.
LULIO Y KIRCHER:
Elaborar en forma primitiva, un calculo y una rudimentaria máquina de sacar
conclusiones.
Afirma que al determinar los elementos a manejar se anticipa a la noción del
universo del discurso.
FRANCIS BACON:
Obra: Novum organum = nuevo instrumento.
Por rechazar los aportes de Aristóteles crea la inducción como una modalidad
del razonamiento en contra de la deductiva.
GOTFRIEND WILHELM LEIBNITZ (1646-1716)
Alemán.
Obra: "MATHSIS UNIVERSALIS".
Precursor de la lógica matemática.
Sostuvo que el método para convertir la teoría de la deducción lógica en una
ciencia estricta e infalible era convertirla en cálculo, empleando procedimientos
matemáticos.
Sostuvo la verdad de las afirmaciones filosóficas y científicas se demostraban
sin tener en cuenta su significado sino solamente su estructura expresada en
símbolos de un lenguaje artificial, construido especialmente para calcular.
Decía que calcular era operar con símbolos al igual que se podía calcular con
símbolos aritméticos también se podían realizar con símbolos que representa
estructuras deductivas.
Su proyecto fracasó.
Establece la ley de la tautológica y la lógica algebraica para formar conceptos
juicios y razonamientos.
Sostuvo que para verificar "verdades de la razón" son suficientes las leyes
arístotélicas (Identidad, Contradiccíón y Tercio excluido).
 Para comprobar las "Verdades de hecho" es necesario la ley de la razón
suficiente.
LEONARD EULER:(1707-1783)
Suizo
Introdujo los diagramas que llevan su nombre para ilustrar geométricamente
los silogismos.
ETAPA ACTUAL
GEORGE BOOLE (181S-1864):
Inglés.
Obras: "Análisis Matemático de la lógica", "Investigación de las leyes del
pensamiento".
Creador de la lógíca matemática o lógica moderna.
Utilizó el lenguaje del álgebra para resolver problemas lógícos planteados por
el silogismo aristotélico a través de cálculos, creando la ALGEBRA DE BOOLE
(álgebra de clases o de conjuntos).
Formula leyes del cálculo proposicional y cálculo de clases.
Introduce el álgebra lógica.
JOHN VENN
Representa los procesos del Álgebra de Boole en diagramas.
AUGUSTO DE MORGAN (1806-1816)
Inglés.
Obra: "Ideografía" o "Conceptografía".
Continuó el trabajo de Boole.
Junto al ingles S. Jevons, el alemán Schoeder y el soviético Poretsky
convirtieron al "Algebra de Clases" en "Algebra de Proposiciones".
GOTTOLOB FREGE (l848-1925):
Inglés.
Obra: "Ideografía" o "Conceptografía".
Propuso un método de cálculo de matrices para la lógica proposicional.
Estableció la díferencia entre variable y constante.
Formula el concepto de función lógíca, y el concepto de cuantificador.
Establece la diferencia entre ley y regla lógica, lenguaje y metalenguaje.
Desarrolló la lógica predicativa para aplicar el método axiomático a la teoría
de conjuntos de George Cantor.
BERTRAND RUSSEL Y ALFRED WHITEHEAD
Inglés (1810).
Obra: "Principia Matemática".
Ordenan la matemática con un estricto orden lógico.
Desarrollan la aplicación de método axiomático a la aritmética.
Sistematizaron todo lo conocido en la época sobre los diversos tipos de
inferencia como método deductivo.
WITTGENSTEIN LUDWING (1889-1951):
Obra: "Tractatus".
Enuncia la estructura lógica mediante un sistema formal.
Hace un análisis semático del lenguaje.
Ideó el método de la tabla (de matriz) para determinar la significación de
autenticidad de los criterios de probabilidad.
DAVID HILBERT
Inventó la Metamatemática cuyo objetivo es el estudio de las teorías
matemáticas aplicando los lenguajes lógicos creados por Rusell y Frege.
KURT GOBEL
Demostró el teorema de lógica matemática: Teorema de la proposiciones
indecidibles.
LUKASIEWICZ JAN (1878-1956)
Polaco.
Elaboró el primer sistema de la Iógica polivalente (trivalente).
Desarrolló el simbolismo lógico sin paréntesis.
TARSKI ALFRED
Varsovia-Polonia
Fundador de la semántica lógica formal.
Define el concepto de verdad en lenguajes formalizados.
Estableció que cada enunciado demostrable es verídico, pero no cada
enunciado verídico es demostrable.
CLAUDIO SHANNON (1938)
Aplicó el álgebra de proposiciones al diseno de circuitos eléctricos a
conmutadores y relays.
Sentó las bases de la tecnologla y la construcción de computadoras
electrónicas y la lógica digital.
De esta manera, la lógica dejó de ser un instrumento puramente teórico para
convertirse en soporte de la tecnología del presente siglo.

Filón de Megara
De Enciclopedia Symploké, la enciclopedia libre.
Filón de Megara (aprox. 300 a.n.e) es confundido frecuentemente con Filón de Larisa.
Perteneció a la Escuela de Megara y fue condiscípulo de Zenón de Citio. Sus
aportaciones sobre la implicación material influyeron en la lógica estoica.
Obtenido de "http://symploke.trujaman.org/index.php?title=Fil%F3n_de_Megara"

Implicación material
De Enciclopedia Symploké, la enciclopedia libre.
Condicional que siempre es verdadero excepto cuando el antecedente es verdadero y
el consecuente falso, es decir, tal como clásicamente está definida dicha conectiva en
lógica proposicional.
Así entendida, la implicación material se enfrenta a nuestra noción intuitiva de
implicación, ya que:
a) Cuando el antecedente es falso siempre es verdadera. Esto significa que debemos
considerar como verdaderos condicionales tales como Si Moscú es la capital de
Italia, entonces la nieve es negra.
b) Cuando el consecuente es verdadero siempre es verdadera, lo que quiere decir que
podemos llegar a una proposición verdadera a partir de una proposición falsa, como
en el caso del condicional Si los elefantes vuelan, entonces 5 es mayor que 2.
Esta dificultad desaparece si distinguimos bien la manera de interpretar la implicación
material como conectiva de un lenguaje formalizado, pese a la confusión que pueda
provocar el nombre de dicho signo, y los distintos valores causales o lógicos que
poseen las implicaciones en el lenguaje ordinario. Debe quedar claro que el
significado de las conectivas como funciones de verdad en los cálculos lógicos no
debe coincidir siempre con las expresiones del lenguaje común por las que se suelen
traducir.