ÍNDICE
Pag.
INDICE-------------------------------------------------------------------------------------------1-2
INTRODUCCIÓN-------------------------------------------------------------------------------3
DESARROLLO O CUERPO-----------------------------------------------------------------4
ORIGEN ---------------------------------------------------------------------------------4
Parmenides De Elea
Zenon De Elea
Democrito
Protagoras
Socrates
Platon
Megaricos
Estoicos
Boecio
Pedro Abelardo
Tomas De Aquino
Guillermo De Shyreswood
Duns Scoto
Guillermo De Occam
Raimundo Lulio
1
UNIVERSIDAD NACIONAL DE TRUJILLO
Francis Bacon
Tomas Hobbes
Leibniz
Leonhard Euler
George Boole
John Venn
Augustus Morgan
Gottlob Grege
Giuseppe Peano
Bertran Russell
Wittgenstin.
Kurt Godel
Claudio Shannon
Alfred Tarski
Lukasiewicz
Rudol Carnap
CONCLUSIONES ---------------------------------------------------------------------15
2
UNIVERSIDAD NACIONAL DE TRUJILLO
INTRODUCCIÓN
Todo desarrollo tiene obstáculos. Así llegamos a la edad media donde el estudio
de las ciencias fue duramente reprimido. Los avances existieron pero fueron muy
pocos. Cabe destacar a boecio y su cuadro de oposición, Raimundo lulio con su
ars magna (la razón puede y debe demostrar, hasta la existencia de dios) y al
no menos importante Guillermo de shyreswood. El cual fue creador del árbol de
Porfirio (división dicotómica) y de los versos mnemotécnicos de la 1er figura (
barbara, Celarent…) .
3
UNIVERSIDAD NACIONAL DE TRUJILLO
DESARROLLO O CUERPO
ORIGEN
La lógica, como un análisis explícito de los métodos de razonamiento, se
desarrolló originalmente en tres civilizaciones de la historia antigua: China, India
y Grecia, entre el siglo V y el siglo I a. C.
En China no duró mucho tiempo: la traducción y la investigación escolar en
lógica fue reprimida por la dinastía Qin, acorde con la filosofía legista. En India,
la lógica duró bastante más: se desarrolló (por ejemplo con la nyāya método que
conduce al espíritu humano en ciertos actos, y particularmente en el de la
argumentación y de la disensión) hasta que en el mundo islámico apareció la
escuela de Asharite, la cual suprimió parte del trabajo original en lógica.
A) EDAD ANTIGUA:
Se descubren los principios lógicos, Aristóteles crea el primer sistema de lógica
formal y se hacen aportes a la lógica bivalente y modal.
PARMENIDES DE ELEA
Se cree que fue el creador del principio de IDENTIDAD. Consideró que la razón
es la única capaz de conocer el ser y la verdad de las cosas.
“Si un enunciado es verdadero entonces es verdadero”
(p p) ó (p p)
ZENON DE ELEA
4
UNIVERSIDAD NACIONAL DE TRUJILLO
DEMÓCRITO
Ideó el principio DE LA RAZÓN SUFICIENTE (principio filosófico)
“no hay efecto sin causa “
“nada hay sin razón
La revolución mexica se produjo por alguna razón (esa razón aparece cuando
estudiamos sus antecedentes y consecuencias).
PROTAGORAS
Fue el primero en utilizar las oraciones en el plano sintáctico y semántico.
SÓCRATES
En su lucha contra los sofistas utilizo el MÉTODO MAYÉUTICO (método
de dialéctica o demostración lógica para la indagación o búsqueda de
nuevas ideas, conceptos o prismas subyacentes en la información del interior de
una persona).
PLATÓN
En su obra EL SOFISTA, trato de las afirmaciones y negaciones. Descubrió el
principio dela CONTRADICCIÓN O NO CONTRADICCIÓN. Teorizo y
esquematizo la división y la definición lógica. Empleo el método axiomático
(axiomas o postulados se pueden derivar otras afirmaciones verdaderas en un
número finito de pasos).
5
UNIVERSIDAD NACIONAL DE TRUJILLO
ARISTOTELES
Considerado “padre de la lógica formal “(el primer lógico formal de la
historia.)
Su mérito consistió en haber examinado las deducciones o
inferencias considerando sólo su forma o estructura, con
independencia de su significado o contenido.
El ejemplo más famoso, “Todos los humanos son mortales” y “Todos los
griegos son humanos”, se llega a la conclusión válida de que “Todos los
griegos son mortales”
6
UNIVERSIDAD NACIONAL DE TRUJILLO
B) EDAD MEDIA
Los aportes de la lógica medieval por sus representantes fueron mínimos, toda
vez que se concentraron en fundamentar la teología y seguir el sistema
aristotélico.
Raymundo lulio, pedro hispano, Guillermo de ocam; establecieron reglas de
inferencia.
BOECIO
Romano, desarrolló la lógica aristotélica.
Desarrolló la lógica aristotélica desarrollo un método para hallar inferencias
inmediatas coma haciendo uso del cuadro de oposición que lleva su nombre
cuadro de beocio.
7
UNIVERSIDAD NACIONAL DE TRUJILLO
PEDRO ABELARDO
Precursor del método escolástico .punto consiste en contraponer las
sentencias opuestas de las autoridades teológicas
TOMÁS DE AQUINO
Seguidor de Aristóteles. Busco la demostración racional de la existencia de
Dios así como de la interpretación de los dogmas religiosos obra: suma
teológica.
GUILLERMO DE SHYRESWOOD:
Termina en 1230 el manual de lógica escolástica más antigua, en donde
fórmula por primera vez el esquema de división dicotómica conocido como
árbol de Porfirio
8
UNIVERSIDAD NACIONAL DE TRUJILLO
RAIMUNDO LULIO:
Planteó que la razón puede y debe demostrar todo y dar pruebas suficientes de
la verdad cristiana.
Diseño una máquina que demostraba lógicamente la existencia y los
atributos de Dios
Obra: ars Magna.
FRANCIS BACON
En su “novum organum”.
Hace la primera formulación moderna del método científico
Establece de manera explícita y sistemática la Inducción experimental,
Expone métodos para determinar las relaciones de causalidad,
Enuncia las bases empíricas del descubrimiento y la invención,
Desarrolla una teoría de la experiencia.
Se le conoce como el padre de la lógica inductiva.
THOMAS HOBBES:
Consideró al razonamiento como un cálculo de signos. Desarrolla la lógica
formal como combinación de nombres de acuerdo a las reglas establecidas.
9
UNIVERSIDAD NACIONAL DE TRUJILLO
LEIBNIZ
Precursor de lógica moderna (lógica matemática).
intentó formular una characterística universalis, es decir, un lenguaje
simbólico para expresar sin ambigüedades todos los elementos del
pensamiento y luego combinarlos rigurosamente, formando así
conceptos, juicios, razonamientos. Planteó la necesidad de crear un
lenguaje universal.
Introdujo el cálculo lógico en su obra matesis universales, que fuese
operacionalmente mecánico, inequívoco y no cuantitativo que
permitiera acabar con todas las disputas y controversias.
Desarrolló el cálculo de la lógica proposicional.
Consideró también que para comprobar la verdad del entendimiento
bastan los principios de identidad, contradicción y tercio excluido;
para comprender la verdad de hecho es indispensable la razón.
Estableció la ley de la tautología
Extrae de su experiencia como matemático genial las ideas que habrían
de sacar a la lógica formal del estancamiento a que la había llevado a la
escolástica.
Fórmula la ley de la razón suficiente
LEONARDO EULER
En su introducción al análisis de los infinitos 1748. Euler realizó el primer
tratamiento analítico completo del álgebra.
La teoría de ecuaciones. la trigonometría y la geometría analítica.
Introdujo los diagramas que llevan su nombre para ilustrar
geométricamente los silogismos.
10
UNIVERSIDAD NACIONAL DE TRUJILLO
GEORGE BOOLE
Es uno de los más grandes innovadores de la lógica
elaboró el álgebra de Boole
construye una teoría de las clases y sus elementos
Construye un. Quién es el que cálculo algebraico con símbolos y
operaciones definidas
Planteó la relación entre lógica de clases y lógica proposicional.
Obra: investigación de las leyes del pensamiento.
La primera formulación propiamente algebraica de la lógica. Estableciendo
definidamente las leyes para la ejecución de las operaciones y dando una
interpretación coherente de los resultados. se debe a George boole Quién es
el creador de la lógica simbólica moderna
JOHN VENN
Trato de encontrar la significación lógica de operaciones como la sustracción y
la división.
El mérito de venn es básicamente el haber aclarado los procedimientos de
boole representando los procesos algebraicos en los diagramas de venn.
AUGUSTUS DE MORGAN
Planteó que el silogismo no es más que una serie de combinaciones y
relaciones de clase.
planteó que la base común de la lógica es la inclusión o exclusión total
o Imparcial de clases
Establece varios razonamientos No silogísticos.
enuncia la ley de transitividad y expresa rigurosamente las leyes
distributivas de la negación, que lleva Ahora su nombre. ley de
Morgan.
11
UNIVERSIDAD NACIONAL DE TRUJILLO
GOTTLOB FREGE
Considerado el padre y fundador de la lógica matemática moderna
hace la distinción entre ley y regla
establece la diferencia entre constante y variable
logra independizar el cálculo lógico del cálculo matemática
su obra conceptografía es comparable a la de Aristóteles
intento deducir los principios de la aritmética de los principios de la
lógica enfrentándose a la ambigüedad de lenguaje normal y a la
insuficiencia de los sistemas lógicos disponibles.
inventó muchas notaciones simbólicas. como cuantificadores y variables
estableciéndose así las bases de la lógica matemática moderna.
GIUSEPPE PEANO
Fue el primero en dar a la lógica el nombre de lógica matemática
Consideró que la lógica es el instrumento de la matemática
Propuso uso de puntos auxiliares en reemplazo de los signos de
agrupación y un modo de simbolizar los cuantificadores
BERTRAND RUSSELL
Fundamento lógicamente las matemáticas.
ordenaron la lógica en un sistema axiomático
Obra principia matemática, escrita con su amigo Alfred whitehead. En
la que propone que las matemáticas pueden reducirse a una rama de la
lógica. Intentan evitar la paradoja en el sistema de Frege (la de las clases
que no son miembros de sí mismas), llevando a cabo la tarea de mostrar
que es posible derivar toda la matemática de la lógica.
fórmula rigurosamente la lógica matemática dentro del sistema más
completó que se ha establecido, realiza un tratamiento detallado del
cálculo proposicional.
12
UNIVERSIDAD NACIONAL DE TRUJILLO
WITTGENSTEIN
Ideó la tabla matriz para hallar los valores de verdad.
Consideró que la lógica proposicional tiene 16 operadores diádicos y 4
monádicos.
KURT GODEL (1930)
Creador del teorema de godel o Teorema de las Proposiciones Indecidibles. (En
cualquier sistema simbólico formal es posible construir una proposición que no
se puede probar ni refutar en el mismo sistema) escribió la consistencia de la
hipótesis del continuo.
ALFRED TARSKI
Creador de la semántica de la lógica (trata los aspectos
del significado, sentido o interpretación de signos lingüísticos como
símbolos, palabras, expresiones o representaciones formales).
Define el concepto de verdad en los lenguajes formalizados.
Estudia las significaciones de los juicios y conceptos en la lógica
Estudia también los problemas de la construcción de las teorías
deductivas, de la metalogica, semiótica.
Define el concepto de verdad en los lenguajes formalizados, estableció
que cada enunciado es demostrable, es verídico pero no cada
enunciado verídico es demostrable, etc.
Obras principales
“Lógica, semántica, meta matemáticas 1956 “.
“Lógica metodología y filosofía de la ciencia 1962”
13
UNIVERSIDAD NACIONAL DE TRUJILLO
LUKASIEWICZ
Elaboró el primer sistema de lógica polivalente; trivalente.
se ocupó de la lógica de sentencias, de la lógica plurivalente, de la
lógica modal, del silogismo aristotélico y de la historia de la lógica.
inventó un simbolismo que evita los paréntesis y puntos.
se preocupó de la axiomática de la lógica de sentencias formulando un
interesante sistema de 3 axiomas.
logró formular un sistema con un solo axioma
RUDOLF CARNAP
Alemán nacionalizado estadounidense. Interpretó la filosofía como un proceso
de análisis lógico. Se interesó sobre todo por el análisis del lenguaje y la
ciencia Consideró que las afirmaciones empíricas de esta última eran las
únicas en verdad significativas. Obras
“la estructura lógica del mundo” “Sintaxis lógica del lenguaje”
“el principio de tolerancia de carnap” , o la convencionalidad de las formas de
lenguaje, afectó a la libertad y variedad en la construcción del lenguaje.
14
UNIVERSIDAD NACIONAL DE TRUJILLO
CONCLUSIONES
La lógica tiene sus pilares fundamentales que son los principios lógicos
obstáculos.
15
UNIVERSIDAD NACIONAL DE TRUJILLO
BIBLIOGRAFÍA
16