COLEGIO PRIVADO MIXTO “APRENDE HACIENDO”

Champagnat MATEMÁTICA – RAZ. LÓGICO

TRUJILLO

SESIÓN: N° 2

HISTORIA DE LA LÓGICA

Aristóteles nació en Estagira (actualmente Stavros) en el año

384 a.C. Hijo de Nicómaco, médico personal del rey de
Macedonia. A los 17 años viajo a Atenas con la intención de
asistir a la Academia de Platón. Permaneció en la Academia 20
años, donde se le apodó “el inteligente”. En el año 345 a.C
Aristóteles se trasladó a Pella, capital de Macedonia, donde fue
tutor del hijo menor del rey Filipo II, que seria conocido como
Alejandro Magno. En el año 335 a.C al acceder Alejandro al
trono, Aristóteles volvió a Atenas y fundo su propia escuela “El
Liceo”, conocido como escuela peripatética. Una de sus obras
mas resaltantes es el “Organon” (tratados de la lógica)
Aristóteles murió en Calcis, Reino de Macedonia en el año 322 a.C. Es considerado uno de los
pensadores más importantes de la historia filosófica occidental. Sus ideas sobre ciencias naturales,
biología, física y metafísica han influenciado en generaciones. Con la información presentada se quiere
saber: ¿Quién fue Aristóteles? ¿Cuántos tratados lo conforman la obra “el organon”?

ANTES DE RESPONDER, REVISA LA SIGUIENTE INFORMACIÓN BÁSICA:

INFORMACION BASICA

ÉPOCA ANTIGUA dos conclusiones. A dichos argumentos se

les conoce como Antinomias, Paradojas o
Parménides de Elea Aporías.
- Filósofo racionalista. - Con estos argumentos no trataba de
- Platón lo llamó “el terrible” defender un concepto especial de espacio o
- Las vías para lograr el conocimiento son dos: movimiento, sino que trataba de demostrar
los sentidos y la razón. La razón es la vía que la concepción de los enemigos del
segura que nos indica el verdadero ser, es eleatismo no era apta para explicar la
tanto que “pensar y ser es lo mismo”. realidad.
- Fue el creador DEL PRINCIPIO DE - Los argumentos más conocidos son
IDENTIDAD. Considera que toda posición es aquellos dirigidos contra:
idéntica a sí misma. Toda proposición se  La Unidad y la Pluradidad
implica a sí misma.  El espacio y la divisibilidad
- Ejemplo:  El movimiento
Si el hombre es racional, es obvio que tiene - Ejemplo de alguno de sus fragmentos
que tener razón. Aquiles nunca adelantará a la tortuga. Debe,
La gallina es un ave siempre y cuando sea en primer lugar, llegar al lugar de donde
ave. partió la tortuga, pero durante este tiempo la
tortuga habrá hecho ya un cierto avance.
Zenón de Elea Aquiles debe alcanzarla y la tortuga se
- Según Aristóteles, fue el inventor de la aprovechará de nuevo para hacer otro trozo
Dialéctica. de camino. Se aproximará siempre; pero no
- El método de Zenón consistía en tomar la alcanzará jamás.
como premisa una proposición afirmada por
los oponentes y de ello inferia casi siempre
COLEGIO PRIVADO MIXTO “APRENDE HACIENDO”
Champagnat MATEMÁTICA – RAZ. LÓGICO
TRUJILLO

Demócrito - Planteó el “PRINCIPIO DEL TERCIO

- El principio último de todas las cosas son el EXCLUIDO”
ser y el no ser. - Este principio considera que “toda proposición
El ser es lo lleno, los átomos. es verdadera o falsa, la tercera opción está
El no–ser es el vació, el espacio. excluida”.
- Planteó el principio de la “RAZÓN - Ejemplo:
SUFICIENTE” El hombre es un ser social o no es ser social.
- Considera que “no hay nada sin razón”, “no El Perú se encuentra en América o no se
hay efecto sin causa” encuentra en América.
- Ejemplo: Fue el creador de la teoría del silogismo.
El Perú es un país subdesarrollado por alguna Desarrolló la lógica de predicados.
razón, esa razón es que existen países Planteó el uso de variables.
desarrollados (Nota: la expresión es tomada
de Eduardo Galeano cuando dice que el Los Megaricos (seguidores de Aristóteles)
subdesarrollo no es una etapa sino una - Entre sus representantes tenemos a: Filón de
consecuencia del desarrollo). Megara, Dionoro Cronos.
- Sus estudios aportaron a la lógica modal.
Protágoras
- Fue un sofista Los Estoicos
- Consideró que no existe una verdad - Sus representantes, Zenón de Citio, Crisipo de
universal, las verdades son individuales. Soli.
- Se afirma que fue el primero en hacer uso de - Su filosofía contenía tres partes: Lógica, Física y
las oraciones sintáctica y semánticamente. Ética.
- La lógica se divide en retórica y dialéctica. La
Sócrates primera es la ciencia del bien decir; la segunda,
- Pensador racionalista. la ciencia del reto discurrir.
- Creador del método mayéutica. - La dialéctica estudia las proposiciones en sus
- En este método se notaba que el maestro aspectos sintáctico y semántico.
dialogaba con el alumno; el maestro hacia uso - Estudiaron por primera vez la lógica de
de la ironía y la inducción conllevando a que proposiciones.
el alumno defina de la mejor manera lo que se - Elaboraron una lógica de enunciados; donde
deseaba saber. Es decir, el maestro buscaba hicieron uso de la negación, la implicación, la
que el alumno dé una definición universal. conjunción y la disyunción.

Platón (Cuyo verdadero nombre era ÉPOCA MEDIEVAL

Aristocles)
- Discípulo de Sócrates. Boecio
- Planteó el “PRINCIPIO DE NO - Pensador romano.
CONTRADICCIÓN” - Junto a Porfirio provocaron el problema de los
- Considera que “Es imposible que una misma universales.
proposición sea verdadera y falsa al mismo - Desarrolló la lógica aristotélica.
tiempo”. - Para desarrollar inferencias inmediatas utilizó el
- Ejemplo: cuadro de oposición (“cuadro de Boecio”)
Es imposible que la luna sea redonda y no sea
al mismo tiempo. Pedro Abelardo
No ocurre que Ollanta sea el cónyuge de - Trató el problema de los universales.
Nadine y no sea cónyuge al mismo tiempo. - Contrapuso las sentencias opuestas en las
fundamentaciones teológicas.
Aristóteles
- Obra “El Organón” Compuesto de libros Santo Tomas de Aquino
(Primeros analíticos, Categorías, De la - Obra: La suma teológica.
interpretación, refutaciones sofistas, Tópicos). - Seguidor de Aristóteles; ha sido llamado
- Fue el creador de la teoría del silogismo. “Aristóteles cristiano”
- Desarrolló la lógica de predicados. - Admitió que la Razón está subordinada a la fe;
- Planteó el uso de variables pero que entre ambos existe armonía.
COLEGIO PRIVADO MIXTO “APRENDE HACIENDO”
Champagnat MATEMÁTICA – RAZ. LÓGICO
TRUJILLO

- Conocer significa extraer las esencias o - Fue un pensador racionalista.

universal de las cosas. La verdad es la - Consideró que existen verdades como son las
adecuación de la mente con la cosa. del entendimiento y las del hecho; las primeras
se pueden comprobar utilizando los principios de
Guillermo de Shyreswood identidad, contradicción y tercio excluido; y las
- Planteó por primera vez los versos segundas solo con la razón.
mnemotécnicos sobre la reducción de los - Estableció la ley de la tautología.
silogismos aristotélicos. - Planteó la ley de la Razón Suficiente
- Concluyó el manual escolástico más - Trató de desarrollar una “characteristica
antiguo, donde se formula por primera vez la universalis”, es decir un lenguaje universal para
técnica de la división dicotómica conocido expresar todos los elementos del pensamiento.
como “árbol de Porfirio”
Leonhard Euler
DunsScoto - Elaboró los diagramas para ilustrar los
- Se opuso a los planteamientos de Tomás de silogismos (diagramas de Euler)
Aquino. Planteó la separación entre la fe y la - Realizó un estudio analítico del álgebra, la
razón. La teología es una disciplina práctica trigonometría y la geometría analítica.
que nos da normas de conducta, nos orienta
qué debemos hacer para lograr la salvación. ÉPOCA CONTEMPORÁNEA
La filosofía no nos sirve en el campo moral o
sobrenatural, solo nos da la verdad de las George Boole
cosas naturales. - Obra: “Investigación de las leyes del
pensamiento”
Guillermo de Occan - Creador de una nueva lógica simbólica.
- Consideró que el hombre más que la razón - Desarrolló “el álgebra de Boole”
debe utilizar la experiencia en el conocimiento - Desarrolló el cálculo algebraico con símbolos y
verdadero de las cosas (“La navaja de operaciones definidas.
Occan”) - Relacionó la lógica de clases con la lógica
proposicional.
ÉPOCA MODERNA
John Venn
Francisco Bacon - Desarrolló y representó los procedimientos del
- Obra: El NovunOrganum algebra de Boole en sus diagramas (“diagramas
- Conocido como el padre de la lógica de Venn”).
inductiva. - Hizo un análisis lógico y significativo de las
- Contrapuso sus planteamientos a la lógica operaciones de la división y la sustracción.
aristotélica deductiva. Dijo que debemos
terminar con los “ídolos” que apañan el Augustus de Morgan
desarrollo y debemos optar por un nuevo - Elabora sus leyes (“ley de Morgan”), para la
método: el inductivo. aplicación en la negación.
- Afirmó que los silogismos no son más que las
Thomas Hobbes combinaciones y relaciones de clases.
- Consideró que el razonamiento es un cálculo - La base de la lógica es la inclusión o exclusión
de signos. total o imparcial de clases.
- Desarrolló una lógica formal haciendo uso
de la combinación de nombres enmarcados Gottlob Frege
en reglas lógicas establecidas. - Obra: “Conceptografía”
- Independizó el cálculo lógico del cálculo
Leibniz matemático.
- Obra: “Mathesis Uniiversalis”, donde - Planteó la diferencia entre “constante” y
introdujo el cálculo lógico. Por eso algunos “variable”.
autores lo llaman el padre de la lógica - Planteó la diferencia entre “ley” y “regla”.
matemática moderna. Otros, sin embargo, lo - Dedujo los principios de la aritmética de los
consideran el precursor de la lógica moderna. principios de la lógica.
- Desarrolló el cálculo de la lógica
proposicional.
COLEGIO PRIVADO MIXTO “APRENDE HACIENDO”
Champagnat MATEMÁTICA – RAZ. LÓGICO
TRUJILLO

- Considerado por algunos autores como el Alfred Tarski

padre y fundador el padre de la lógica - Fue el creador de la semántica de la lógica.
matemática moderna. - Estableció el concepto de verdad en el lenguaje
Giuseppe Peano formalizado.
- Se afirma que fue el primero en dar a la - Hizo un estudio significativo en los juicios y
lógica el nombre de la lógica matemática. conceptos de la lógica.
- Afirmó que la lógica es el instrumento de la
matemática. Lukasiewicz
- En el uso de cuantificadores y los signos de - Elaboró el primer sistema de la lógica trivalente
agrupación planteó el uso de puntos y polivalente.
auxiliares. - Hizo un estudio de la historia de la lógica, el
silogismo aristotélico, la lógica modal, la lógica
Bertrand Russell de las sentencias y la lógica plurivalente.
- Obra: Principia matemática - Estudió la axiomática de la lógica de las
- Consideró que las matemáticas pueden sentencias.
reducirse a una rama de la lógica.
- Hizo una fundamentación lógica de las Rudolf Carnap
matemáticas. - Fue pensador neopositivista, al igual que
- Su filosofía se llamó atomismo lógico. Russell y Wittgenstein.
- Consideró que la realidad es una - También consideró, como ellos, el análisis
constitución de hechos (simples o atómicos); lógico del lenguaje.
por otro lado el lenguaje está constituido de
proposiciones (simples o atómicas). Karl Popper
Los hechos simples se expresan por - Obra: “Lógica de la investigación Científica”
proposiciones simples. - Criticó la idea que la ciencia sea inductiva.
- Dio énfasis al problema de lenguaje y - Planteó el principio de falsedad, donde consideró
proposiciones. que una proposición posee significado cuando lo
que afirma puede ser falseado empíricamente.
Ludwing Wittgenstein - Consideró el carácter hipotético deductivo de la
- Obra: “Tractatus lógico Philosophicus” ciencia.
- Consideró que no existe un solo lenguaje
sino muchos. Carlos Marx / Federico Engels
- Planteó la teoría de los juegos - Fueron pensadores creadores del socialismo
lingüísticos, donde se expone que existen científico.
una serie de maneras de utilizar los términos - Para plantear un nuevo tipo de sociedad
y donde los juegos determinan el significado diferente a la capitalista tuvieron que recurrir a
de éstos. descubrir las leyes que rigen el mundo y la
- Afirmó que los malentendidos (es decir, sociedad.
las confusiones en los usos lingüísticos) son - Las leyes que rigen el mundo y la sociedad son:
los que han originado los problemas  La ley de la lucha de contrarios.
filosóficos.  La ley de los cambios cuantitativos a
- Estableció la tabla para hallar los valores cualitativos
de verdad.  La ley de la negación de la negación

KurtGodel Francisco Miro Quezada

- Elaboró el teorema de Godel. - Obras: “iniciación lógica”, “sentido del
- Consideró que un sistema simbólico movimiento fenomenológico”, “lógica”, etc.
formal se elaboran proposiciones que no - Pensador peruano que ha hecho aportes en la
serán factibles de poderlo probar o refutar en lógica jurídica.
el mismo sistema. - Trató de buscar una unicidad en la estructura
lógica pura a partir de la conjunción de la lógica
teórica y la lógica práctica.
COLEGIO PRIVADO MIXTO “APRENDE HACIENDO”
Champagnat DPCC – RAZ. LÓGICO
TRUJILLO

PRÁCTICA GUIADA

1. Son correspondencias correctas, en la 5. Fue padre de la lógica Moderna y autor de la

relación de autores y obras: obra “Conceptografía”:
1) Russell – “Principia Matemática” A) Russell
2) Frege – “Mathesis universales” B) Peano
3) Leibniz – “Conceptografía” C) Wittgenstein
4) Boole – “Análisis matemático de la lógica” D) Frege
5) Wittgenstein –“Tractatus” E) Boole
Son ciertas: 6. El aporte trascendental de Aristóteles a las
A) Sólo 1 y 5 B)2, 3 y 4 C)1, 2 y 5 ciencias es:
D) 1, 4 y 5 E)3, 4 y 5 A) Haber fundamentado la Lógica Dialéctica
2. La relación falsa es: B) Inducir las bases teóricas y prácticas de
A) Platón: “Principio de no contradicción” las ciencias naturales
B) George Boole: “Investigación de las leyes C) Crear sistemas Lógicos – analíticos
del pensamiento” D) Fundamentar la refutación
C) Russell: “Principia matemática” E) Considerar las leyes de la naturaleza
D) Wittgenstein: “Tractatus” uniformes
E) Alfred Tarski: “Sintaxis lógica del lenguaje” 7. Introdujo el cálculo lógico en su obra
3. La fórmula lógica: llamada regla de “Mathesis Universalis”
reducción al absurdo, fue creado por: A) Ludwig Wittgenstein
A) Bertrand Russel B) George H. Von Wright
B) Gotlob Frege C) Wilhelm Leibniz
C) George Boole D) Rudolf Carnap
D) Rudolp Carnap E) Alfred Tarski
E) Karl Popper 8. Creador del método de la mayéutica.
4. Determina la secuencia correcta de las A) Platón
verdades y falsedades de las siguientes B) Euler
afirmaciones: C) Antonio Campos
1. Platón descubre el principio del tercio D) Sócrates
excluido E) Demócrito
2. Zenón de Elea dio origen a la ley de
Reducción al Absurdo
3. Boecio descubre las leyes de la inferencia
inmediata
4. Leibniz señala que la base común entre
Lógica y Matemática son las relaciones de
inclusión y exclusión de clases
Son ciertas:
A) VFVF
B) FVVF
C) VVVV
D) FFFF
E) FVVV

Pág.5