AO DEL BUEN SERVICIO AL CIUDADANO

UNIVERSIDAD NACIONAL SANTIAGO ANTNEZ DE MAYOLO

FACULTAD DE CIENCIAS DEL AMBIENTE

ESCUELA PROFESIONAL DE INGENIERA AMBIENTAL

HISTORIA DE LA LGICA Y SU NATURALEZA

DOCENTE:

MINAYA SALINAS, Segundo Oscar

Autor:

ESPINOZA CASAVERDE, Mariluz

LZARO BAUTISTA, Leydi.

QUIJANO REYNALTE, Alexa.

SIMEN SNCHEZ, Abigail.

TORRES CLEMENTE, Alison.

HUARAZ ANCASH PER

2017
NDICE

Introduccin

Objetivos.... 4
I. Etimologa...........5
II. Definicin........5
III. Naturaleza de la lgica.....5
IV. Historia de la lgica 6
A. Edad Antigua.6
B. Edad Media...9
C. Edad Moderna......14
D. Edad Contempornea...19
Conclusiones

Bibliografa

2
 INTRODUCCIN

Primero que nada es necesario saber que el nacimiento de la lgica propiamente dicho
est directamente relacionado con el nacimiento intelectual del ser humano. La lgica
emerge como mecanismo espontneo en el enfrentamiento del hombre con la naturaleza,
para comprenderla y aprovecharla.

La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y
tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la
filosofa, matemticas, computacin, fsica. La lgica en la matemtica sirve para poder
demostrar teoremas e inferir resultados matemticos que puedan ser aplicados en
investigaciones.

Cabe mencionar que la lgica es pues muy importante; ya que permite resolver incluso
problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su
inteligencia y apoyndose de algunos conocimientos acumulados, se pueden obtener
nuevos inventos innovaciones a los ya existentes o simplemente utilizacin de los
mismos.

El orden en el que se va a desarrollar el trabajo es el siguiente: En primer lugar daremos

a conocer la resea histrica a cerca de la lgica. Luego pasaremos a explicar la evolucin,
en donde hablaremos a cerca de la lgica antigua, donde conoceremos como es que se dio
la lgica desde sus tiempos ms antiguos

3
 OBJETIVOS

OBJETIVOS GENERALES:

Conocer ms sobre la historia y naturaleza de la lgica, cules fueron sus orgenes,

como es que se fue desarrollando y evolucionando ao tras ao.

OBEJTIVOS ESPECIFICOS:

Desarrollar la naturaleza de la lgica.

Desarrollar sus orgenes.
Desarrollar su evolucin.

4
 HISTORIA DE LA LGICA Y SU NATURALEZA

I. ETIMOLOGA:
La palabra deriva del griego antiguo logik, que significa dotado de razn,
intelectual, dialctico, argumentativo, que a su vez viene de (lgos), palabra,
pensamiento, idea, argumento, razn o principio.

II. DEFINICIN:
La lgica es la ciencia formal que estudia estructura o formas del pensamiento
humano, para establecer leyes y principios vlidos para obtener criterios de verdad,
es decir, propone estudiar los mtodos y los principios adecuados para identificar al
razonamiento correcto frente al que no lo es.

III. NATURALEZA DE LA LGICA:

Al dirigir la ejecucin de una actividad humana, la inteligencia impone una orden

de unos actos con otros. El hombre no acta, como los animales, por el simple
impulso de sus instintos. Y para conocer la verdad, acto que mximamente
compete a la inteligencia, el hombre ha de seguir tambin un orden, al que
llamamos orden lgico, orden racional, o lgica espontnea.
A partir del modo espontneo de discurrir, el hombre es capaz de adiestrarse para
razonar con habilidad y maestra, y puede tambin tomar sus procesos
cognoscitivos como objeto de estudio. En el primer caso tenemos la lgica como
arte, y en el segundo como ciencia; como arte tiene un fin prctico, que es el de
servir de instrumento para conocer rectamente, para lo cual se constituye como
saber normativo; como ciencia tiene un fin especulativo, pues intenta describir y
desentraar la manera de pensar del hombre. Santo Toms define a la lgica como
el arte por el que se dirigen los actos de la razn, para proceder en el conocimiento
de la verdad ordenadamente, con facilidad y sin error.
Digamos que la lgica se ocupa del complejo mundo de nuestras ideas, juicios,
razonamientos, procesos de distinguir, abstraer, concretar, relacionar, etc., en la
medida en que con esas operaciones conocemos las cosas o nos acercamos a su
conocimiento. El objeto de la lgica son los actos del pensamiento en cuanto ste
se ordena a conocer la realidad, al conocer las cosas externas, stas entran de algn

5
 modo en nuestra mente y adquieren en ella un nuevo status. A su vez, nuestros
actos de pensamiento al conocer las cosas externas tienen ciertos contenidos que
slo existen en el pensamiento. En ambos casos, se obtiene como consecuencia
del conocimiento algo que no existe en las cosas reales, sino nicamente en
nuestro conocimiento.

IV. HISTORIA DE LA LGICA:

A. EDAD ANTIGUA:

La lgica, como un anlisis explcito de los mtodos 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 duro mucho tiempo: la traduccin y la investigacin escolar en la lgica

fue reprimida por la dinasta Qin, acorde con la filosofa legista. En india, la lgica
duro bastante; se desarroll, hasta que el mundo islmico apareci la escuela de
Asharite, cual suprimi parte del trabajo original en lgica, hubo innovaciones
escolsticas indias hasta principios del siglo XIX, pero no sobrevivi mucho dentro
de la india colonial.

El tratamiento sofisticado y formal de la lgica moderna aparentemente proviene de

la tradicin griega.

1. Aristteles de Estagira (384 a.c. 322 a.c.)

Fue el primero en formalizar los razonamientos, utilizando letras para
representar trminos, considerado como creador de la Lgica all por el siglo
IV a.c. defini la lgica como ciencia que estudia los razonamientos
correctos
Los escritos lgicos de Aristteles como Organn, que significa
instrumento este libro contiene los cinco tratados siguientes: Las categoras,
las proposiciones, los analticos (primeros y segundos), los tpicos y las
refutaciones sofsticas. Los analticos es el tratado que contiene la naturaleza
de la lgica y el Silogismo que trata del razonamiento lgico aristotlico
usando proposiciones categricas el primer intento serio que funda la lgica
como ciencia. Aristteles no hace de la lgica una disciplina metafsica, sino
6
 que establece correspondencias recprocas entre pensamiento lgico y
estructura ontolgica.
Aristteles aporta a la lgica la introduccin del uso de variables, las
proposiciones por su cantidad y su cualidad, el raciocinio deductivo, las
formalizaciones de la Lgica y el desarrollo silogstico.
2. Platn (427 a.c. - 347 a.c.)
Propone instaurar en Siracusa una utpica repblica dirigida por filsofos.
Crea la Academia de Atenas que no era solo una institucin filosfica, sino
centro de formacin poltica para jvenes aristcratas. Sostiene la existencia
de dos mundos el mundo de las ideas y el de mundo fsico de los objetos.
Segn Platn, lo concreto se percibe en funcin de lo abstracto y por tanto
el mundo sensible existe gracias al mundo de las ideas. Platn escoge el
formato dilogo como forma de transmisin del pensamiento, su obra Sofista
trat tambin las afirmaciones y las negaciones, introduce la nocin del
mtodo axiomtico que ms tarde fue completado por Aristteles cuyo
mrito radica el haber sistematizado la lgica formal codificando las formas
de argumentacin correcta que es donde radica la naturaleza de la lgica
como ciencia.
3. Protgoras de Abdera (485 a.c.- c. 411 a.c. )
Fue un sofista griego. Admirado experto en retrica que recorra el mundo
griego cobrando elevadas tarifas por sus conocimientos acerca del correcto
uso de las palabras u ortoepa (arte de pronunciar correctamente). Protgoras
fue un pensador viajero, celebrado y necesitado all donde fuera. Vivi
durante largas temporadas en Atenas, donde fue conocido de Scrates y
amigo de Pericles, quien le encarg la constitucin para la nueva colonia de
Turios, que redact hacia 444 o 443 a. C. y en donde por primera vez en la
historia, se estableci la educacin pblica y obligatoria. Tambin viaj a
Sicilia y a otras ciudades de Asia Menor en funciones de maestro de retrica
y conducta, recibiendo a cambio cantidades notables de dinero, como el resto
de sofistas. El magisterio que lleg a ejercer en el rea de influencia griega
se extendi en el tiempo durante cuarenta aos, segn Platn.
Platn le dedic uno de sus dilogos, Protgoras, que an hoy puede leerse
como un cuadro vivo, animado y colorido, aunque con escaso rigor histrico,
sobre los distintos tipos de sofistas que habitaban en la mansin de Calias
7
 rico ateniense, una especie de mecenas, rodeado de intereses comerciales,
polticos, artsticos y militares-. Junto a Gorgias, fueron los nicos sofistas
en ser considerados en calidad de filsofos por Platn y Aristteles. Scrates
guardaba gran estima de ellos por sus cualidades retricas y la profundidad
de sus predicados, a pesar del uso que podan hacer de ellos.
4. Teofrasto ( 371 a. C. 287 a. C)
Desarrollar numerosos teoremas para la lgica proposicional, adems de la
doctrina de los silogismos hipotticos y la lgica modal, con lo que habra
constituido el punto de inflexin entre la lgica aristotlica y la estoica.
a. Los juicios pueden ser:
Segn a la extensin del sujeto: Universales, o particulares y segn la
cualidad de la relacin entre conceptos: afirmativos o negativos.
Los juicios se pueden clasificar ordenadamente en Universales
Afirmativos (Se representan con la letra A), Universales Negativos (Se
representan con la letra E), Particulares afirmativos (Se representan con
la letra I) y finalmente Particulares negativos (Con la letra O.); Estas
convenciones no fueron inventadas por Aristteles, pero provienen de
las palabras en latn AfIrmo y nEgO.

b. Silogismos: Es un razonamiento donde se deduce una conclusin

partiendo de 2 juicios. Este est conformado por 3 partes y a su vez por
3 trminos. Las tres partes son: Premisa mayor (la ms universal),
Premisa menor (menos universal) y la conclusin. Los tres trminos que
mencionamos son el trmino mayor y el trmino menor (Sujeto y
Predicado de la conclusin: S es P), finalmente el trmino medio (letra
M) que aparece en ambos juicios.

8
 El primero sigui con preferencia la direccin cientfica y emprica del
maestro, cultivando las ciencias naturales y la parte de observacin en las
filosficas: el segundo dio preferencia al elemento filosfico-teolgico,
tendiendo a armonizar la doctrina de Aristteles con la de Platn es autor de
obras muy cualificadas de matemticas y astronoma, hoy perdidas, aunque
en la tica acenta ms que Aristteles el momento teolgico.

B. EDAD MEDIA (1200 - 1600)

La Lgica Medieval se basa en el trabajo de Aristteles, es recogida por los

sacerdotes y cultivado mayormente en los conventos, escuelas y universidades de
Europa Occidental.

Se denomina lgica medieval a la lgica desarrollada en las escuelas y universidades

de euro occidental entre los siglos XI Y XV.

Los aportes de la lgica medieval, por sus representantes fueron mnimos, toda vez
que se concentraron en fundamentar la teologa; Raymundo Lulio, Pedro Hispano,
Guillermo de Ockham; establecieron reglas de inferencia.

Guillermo de Shyreswood termina en 1230 el manual de lgica escolstica ms

antiguo, en donde formula por primera vez el esquema de divisin dicotmica
conocido como" rbol de Porfirio" y, tambin, enuncia por primera vez los famosos
versos mnemotcnicos sobre la reduccin de los silogismos a los modos de la primera
figura aristotlica: Barbara Celarent darii ferio Caralipton; Celantes dabitis Fapesmo
Frisesomorum Cesare campestres festino baroco; darapt; Felapton disamis datisi
bocardo ferison.

Pedro Hispano, Juan Buridn, Alberto de Sajonia y Pedro Abelardo. Destacaron por
emplear una forma especializada el lenguaje. Redescubrieron la inferencia
coligativaa. Tomas Hobbe: Considera al razonamiento con una especie de clculo de
signos. Desarrolla la lgica formal como combinacin de nombres de acuerdo a las
reglas establecidas.

9
Surgen una clase de lgicos profesionales. Pedro Abelardo fue el primer lgico
medieval de mayor importancia. Posteriormente surgen telogos que trataron de
recuperar el Aristteles original estudiado y comentando el Organn, entre los ms
importantes figuran Robere Grosseteste, Tomas de Aquino y Alberto Magno entre
otros. A fines del siglo XII Oxford es el centro de la lgica y Duns Scoto fue uno de
los exponentes ms altos El periodo de madurez de la lgica medieval se expuso con
Guillermo de Ocn y Juan Buridn.

1. Pedro Abelardo:
Sent las bases de la disciplina para el resto de la Edad Media. Abelardo
define como proposiciones al grupo de oraciones que pueden ser verdaderas
o falsas. Las proposiciones verdaderas significan, desde este punto de vista,
estados de cosas y esto es lo que interesa desde un punto de vista lgico.
Tambin expresa que la lgica se ocupa de la expresin verbal de los
pensamientos.
Abelardo toc muchos temas en los que los lgicos actuales estn trabajando,
tales como las proposiciones modales. Desde este punto de vista, si bien su
doctrina no es demasiado convincente, s que hara uso de una distincin que
despus sera casi omnipresente en la Edad Media y que fue rescatada para
la lgica y la filosofa contemporneas por William Kneale. Se trata de la
distincin De dicto/De re. Por supuesto, Abelardo no le dio el nombre a la
distincin, aunque en sus consideraciones acerca de las proposiciones
modales s que hizo uso de esta para decir que las proposiciones modales no
son de re autnticas proposiciones modales, algo que hoy en da no se acepta.
Para entender esto: los operadores modales son necesario, posible,
contingente e imposible. Estas partculas modales, tal y como se acepta
hoy da se puede entender que se aplican sobre proposiciones enteras (de
dicto) o sobre partes de estas (de re).

2. Abelardo y el condicional
Pedro Abelardo tambin se interes por el estudio de las proposiciones
condicionales. Para l esta nocin tambin significa seguirse de, en el
sentido en el que hoy decimos que la conclusin de un argumento se sigue
10
 de sus premisas. l expresa que los enunciados condicionales envuelven
conexiones necesarias, de modo que para l son enunciados necesarios.
Abelardo manifiesta que hay algunos argumentos en los que la conclusin
puede perfectamente ser establecida a partir de las premisas sobre la base de
su estructura. Son argumentos de este tipo: Si A es B y B es C, entonces A
es C. Sin embargo, existen otros argumentos cuya conclusin no puede
establecerse en funcin de su estructura. La solucin propuesta por Abelardo
en este sentido es la aplicacin de algn suplemento extra lgico sobre la
naturaleza de las cosas nombradas por los trminos utilizados en el
argumento.
El entiende a las falacias de dos maneras, una como el engao causado en
nosotros y otra como la causa o principio de este engao y aclara que toma
falacia en este ltimo sentido en cada falacia hay 2 causas, una es la causa
de la apariencia y la otra es la de la falsedad, una es la que mueve a creer lo
que no es y la segunda es la que hace que lo credo sea falso
(BEUCHOT,2007:48).

3. Guillermo De Ockham
La pimienta se vende aqu y en Roma. Esta sentencia, que podra ser
admitida como verdadera a primera vista, es un ejemplo utilizado por
Guillermo de Ockham para mostrar cmo, con el instrumento preciso de la
suppositio, el lenguaje ordinario no puede engaarnos con respecto a las
realidades concretas formando contradicciones o mostrando la existencia de
universales que carecen de sentido. Ockham afirma, Se debe decir que esta
proposicin, si es del extremo unido es simplemente falsa, porque cualquier
singular es falsa, y tambin segn el hecho (de) que tiene suposicin simple
es falsa, porque nadie quiere comprar aquella "pimienta" comn.
Ockham hace una distincin entre los trminos categoremticos y los
trminos sincategoremticos. Los primeros hacen referencia directa a
realidades concretas; por ejemplo, pimienta. En cambio, los trminos
sincategoremticos, como todos, algunos slo refieren cuando estn
unidos a los trminos categoremticos, como alguna pimienta se vende en
Roma. Ockham tambin distingue los trminos absolutos; los cuales no
hacen referencia inmediata a una tercera cosa, como silla; de los trminos
11
 connotativos, que significan refirindose a otra cosa, como padre, hace
referencia en primer lugar al hombre en cuestin, pero con un significado de
relacin a un tercero. Para Ockham, la diversidad de signos absolutos para
los objetos, segn las distintas lenguas, fundamenta la distincin entre las
palabras en tanto que palabras (el objeto de la gramtica) y aquello que no
hace referencia al signo convencional sino al signo natural o concepto, de tal
forma que puede distinguirse el terminus prolatus, la palabra hablada, y el
terminus scriptus, la palabra escrita, de la intentio animae o concepto, esto
es, del trmino considerado en su significado.
Las primae intentiones (primeras intenciones) son aquellos signos (trminos)
que representan a cosas y no a signos, como hombre, pimienta, etctera. En
cambio, las secunda e intentiones (segundas intenciones) representan a
signos que son tambin signos. Cuando decimos, la especie es un
predicable, el trmino especie es un signo de otro signo. A este tipo de
trminos los denomina Ockham secundae intentiones (segundas
intenciones), de tal forma que los trminos correspondientes a secundae
intentiones representan los modos predicamentales correspondientes a los
objetos de la primera intencin. Representan no a las cosas, sino a los signos
de las cosas. Los trminos sincategoremticos son propiamente primae
intentiones, que por s mismos no significan nada, pero que unidos a otros
adquieren una significacin determinada, con una precisa suppositio.
Ockham llama trmino extremo de una proposicin a aqul que representa
a una cosa que no essigno, esto es, a primeras intenciones. En el ejemplo:
La pimienta es un condimento, el trmino pimienta representa a una
realidad concreta (o cada una de las realidades concretas que pueden ser
nombradas con el trmino pimienta) por lo que puede calificarse de
trmino extremo. La respuesta de Ockham al problema de los universales
que por antonomasia distingue a la edad media, se basa en estos conceptos
que, fundamentando su lgica y su correspondiente metafsica, ponen el sello
distintivo de su teologa. Los universales de ninguna manera son entidades
independientes de la razn ni ideas naturales en la mente divina, sino
intentiones animae, que se refieren siempre a cosas individuales en el
contexto de una proposicin.

12
 Guillermo de Ockham (1288_1349), fue uno de los ms importantes
nominalistas, su aporte en "suma de la lgica: Dividido en 3 partes.
I: Trminos (77 CAPITULOS)
II: Proposicin (37 captulos)
III: Silogismos, doctrinas de las consecuencias y falacias.
TEORA DEL SIGNO: Todo comienza a ser ordenado y a hacerse
transparente desde el hombre.

"El pensamiento responde ante la realidad a travs de signos y es capaz de construir

un saber cientfico con conceptos y leyes universales, porque hay signos que tienen
una capacidad significativa que no se limita a un solo individuo, sino porque
representa una pluralidad de ellos.

4. Jean Buridn:

Clebre por sus trabajos de lgica acerca del descubrimiento del trmino
medio entre del silogismo y en la determinacin de la naturaleza de la libertad
psicolgica. En su Compendium Logicae desarroll por extenso el arte de
encontrar el trmino medio de una demostracin, y eso, con el paso del tiempo
(se menciona por primera vez en 1514) vino a ser conocido como El Puente
de los Asnos, es decir, el puente por el que los escolares estpidos eran
incapaces de pasar del trmino de silogismo menor o mayor al del medio. An
ms conocida es la frase El Asno de Buridn que se refiere al caso de un
burro hambriento colocado entre dos cargas de heno iguales en cantidad y
calidad e igualmente distantes. El animal colocado as, arga el dialctico,
nunca podra decidir a qu carga de heno dirigirse y como consecuencia
morira de hambre. El caso no se halla en los escritos de Buridn (aunque
el problema que propone se encuentra en Aristteles) y puede haber sido
inventado por un oponente para mostrar lo absurdo de la doctrina de Buridn.

Esa doctrina comenzaba por negar la distincin entre las distintas facultades
del alma. La voluntad y el intelecto, deca Buridn, son lo mismo. De ah que
decir que la voluntad es libre en algn sentido excepto en el que el intelecto
es tambin libre, es decir que la voluntad es ms libre que s misma. La

13
 libertad de la voluntad es la libertad de toda el alma. La libertad humana
consiste, pues, en el poder de elegir entre dos o ms alternativas deseables
(libertas oppositionis). Cuando el intelecto presenta una alternativa como
mejor (o mayor) que la otra, la voluntad debe elegir la primera. Cuando la
voluntad presenta dos alternativas como igualmente deseables, no puede
haber eleccin. (Aqu, probablemente, el oponente introdujo el ejemplo del
asno para ridiculizar la postura de Buridn). La voluntad sin embargo an
tiene otro recurso: Puede posponer su decisin, dirigir el intelecto a considerar
slo una alternativa, y cuando la otra alternativa, aunque sea mejor (ms alta),
desaparece de la conciencia, la voluntad puede llegar a una decisin y elegir,
si, de hecho, su acto se puede llamar as en absoluto. Por consiguiente,
Buridn mantiene que en un conflicto de motivos el motivo ms fuerte
siempre prevalece ---la voluntad est determinada por el motivo ms fuerte.

C. EDAD MODERNA:

La lgica moderna nace con la publicacin de Gottlob Frege en los aos de 1879,
a la cual denomin Conceptografa, ensayo que, junto con su obra de mayor
importancia, Fundamentos de la Geometra, pas desapercibida hasta que la
obra de Russell, Principios de las Matemticas, la cual llam la atencin sobre
su contenido. La obra de 1879 representa la formalizacin completa de la lgica
elemental, o el primer sistema completo de lgica elemental, y muestra que la
aritmtica se identifica con la lgica, o que es una parte de la lgica, en visible
contraposicin con la postura de Boole. La teora de los cuantificadores ha sido
considerada como la novedad de mayor relieve introducida por Frege y una de
las aportaciones lgicas de mayor importancia del s. XIX; aplicada a los
enunciados categricos, representa un punto claro de unin entre la lgica
aristotlica de trminos y la lgica de enunciados iniciada por los estoicos.

1. Venn Leonhard Euler:

Leonhard Euler Matemtico suizo uno de los ms grandes matemticos de
la historia, comparable a Gauss, Newton o Arqumedes. Posiblemente es el
matemtico ms prolfico de la historia.
14
 Se le considera el ser humano con mayor nmero de trabajos y artculos
en cualquier campo del saber, slo equiparable a Gauss y realiz
importantes descubrimientos en reas tan diversas como el clculo o la
teora de grafos. Tambin introdujo gran parte de la moderna terminologa
y notacin matemtica, particularmente para el rea del anlisis matemtico,
como por ejemplo la nocin defuncin matemtica. Euler ha sido uno de los
matemticos ms prolficos, y se calcula que sus obras completas reunidas
podran ocupar entre 60 y 80 volmenes.
Euler trabaj prcticamente en todas las reas de las matemticas:
geometra, clculo, trigonometra, lgebra, teora de nmeros, adems de
fsica continua, teora lunar y otras reas de la fsica. Ha sido uno de los
matemticos ms prolficos de la historia.

Euler introdujo y populariz varias convenciones referentes a la notacin en

los escritos matemticos en sus numerosos y muy utilizados libros de texto.

Posiblemente lo ms notable fue una de las maneras de diagramtica de

representar a los conjuntos y sus relaciones. Son una representacin
moderna de los crculos de Euler, los cuales deben su nombre a su
creador, Leonhard Euler.

Los diagramas de Euler normalmente consisten de simples curvas cerradas

en el plano que son usadas para describir conjuntos. Las relaciones
espaciales entre las curvas (superposicin, contencin o ninguno)
corresponden, respectivamente, a relaciones
de interseccin, subconjunto y disjuntos, de la teora de conjuntos.

Estos diagramas son una generalizacin del bien conocido diagrama de

Venn, el cual representa todas las posibles intersecciones entre los conjuntos
presentes dados.

En el sentido de la lgica, uno puede usar la semntica de un modelo terico

para interpretar los diagramas de Euler dentro de un dominio de discurso.
En el ejemplo de la figura, el diagrama de Euler representa que los
conjuntos Animal y Mineral son disjuntos, porque las curvas
correspondientes son disjuntas, y tambin que el conjunto Four Legs es un

15
 subconjunto del conjunto Animal. El diagrama de Venn que usa las mismas
categoras Animal, Mineral y FourLegs no encapsula esta informacin.
Tradicionalmente, este vaco de un conjunto en los diagramas de Venn es
descrito por un sombreado o achurado de la regin. Los diagramas de Euler,
en cambio, representan vaco ya sea por el sombreado o por la omisin de
una de las zonas.

2. Gottfriend Liebniz:
Durante 2000 aos los lgicos propusieron cada vez ms silogismos con un
desorden creciente que impeda el correcto uso de la lgica. Pareca un sinfn
de silogismos sin orden hasta que Gottfried Leibniz introdujo un mtodo
para este desconcierto. Sugiri tratar los enunciados como las ecuaciones en
el lgebra, que emplean el signo =.
Por ejemplo: x y z

Leibniz introdujo el signo de igualdad para decir que a es idntico a b.

2 cosas son idnticas si todo cuanto puede decirse de una, puede decirse de
la otra. Si podemos decir exactamente lo mismo de 2 cosas, entonces son
idnticas. a b .
Esto es la Ley de Leibniz: a es b en el sentido de todos los a son b. Y si a
es idntico a b, podemos sustituir el smbolo a en cualquier enunciado por el
smbolo b preservando el valor de verdad de ese enunciado. As:
Scrates es un hombre no casado.
Un hombre no casado es un soltero.
Luego Scrates es un soltero.
Enunciando las leyes de Leibniz:
a a : Scrates es Scrates.
Si a es b, y b es c, entonces a es c: Todos los hombres son mortales.
Scrates es un hombre, por tanto, Scrates es mortal. Hasta aqu es
idntico al primer silogismo aristotlico.
a = no (no a): Si Scrates es mortal, entonces Scrates no es inmortal.
a es b = no b es no a: Scrates es un hombre significa que si no es un
hombre, no es Scrates.

16
 A partir de estas leyes Leibniz poda probar cualquier silogismo. En lugar
del cuadrado de oposiciones propuso una teora autntica de la verdad que
deduce conclusiones a partir de leyes preestablecidas sustituyendo entre s
smbolos idnticos.

Su mtodo incluye la reductio ad absurdum, una herramienta simple, pero

de gran potencia. En ella suponemos que un enunciado es verdadero, y se
mira qu conclusiones se pueden sacar de l. Si en esas conclusiones hay
una contradiccin, entonces el enunciado inicial es falso, pues las
contradicciones siempre son falsas. Con este mtodo podemos decir si un
enunciado es verdadero, aunque no sepamos construir una demostracin del
mismo. Podemos decir que un enunciado es verdadero demostrando que su
negacin lleva a una contradiccin. Con Leibniz llega un nuevo Organn.
La lgica ya no es un instrumento para construir argumentos convincentes,
sino un sistema de reglas de pensamiento. Incluso incluye a Dios en este
mtodo, pues afirma que ni Dios puede crear un mundo en el que fuese
verdadera una contradiccin. Semejantes afirmaciones no eran muy bien
recibidas por la intransigente iglesia de la poca (siglo XVII) y fue tildado
de hereje.

a. El mtodo de demostracin:

El primer axioma es la famosa ley de identidad: a a

La ley de no contradiccin: Ningn enunciado es verdadero y falso al mismo
tiempo, o ( p p)
La ley del tercio excluso: Todo enunciado es o bien verdadero o bien falso,
o " p V p ".
Una ley de sustitucin, que nos permite sustituir una expresin por otra
manteniendo las mismas condiciones de verdad:
(a es b) y (b es c) = (a es c)

17
 Tomadas conjuntamente, las leyes de no contradiccin y de tercio excluso
garantizan que cualquier enunciado que pueda formularse en lgica debe
tener un slo valor de verdad: O bien es verdadero, o bien es falso. Puedo
deducir sin temor a equivocarme que un enunciado es falso cuando no es
verdadero. Algo bastante evidente. Con esto y la conviccin de que una
contradiccin nunca es verdadera, tenemos la base de la reductio ad
absurdum: Podemos rechazar como falso cualquier enunciado que conduzca
a una contradiccin.

Supongamos que tenemos una contradiccin tal como p p y queremos

demostrar q, que puede representar cualquier enunciado que deseemos
(Como "los elefantes slo beben agua embotellada"). Todo lo que
necesitamos hacer es aplicar el mtodo de la reductio a q .

As, supongamos p . citamos la contradiccin p p , que viola el

segundo axioma de Leibniz. El mtodo de la reductio nos dice que
rechacemos el supuesto, que en este caso era q . Si rechazamos el supuesto
nos queda q , por lo que mediante el tercer axioma obtenemos que q es
verdadera. Es un resultado extrao. Nos permite demostrar cualquier cosa,
incluso algo cuya verdad no dependa de la verdad de la contradiccin usada
para demostrarlo.

D. EDAD CONTEMPORANA:

Se caracteriza por distintas tendencias o corrientes, siendo la principal la Lgica

Matemtica, Simblica o Logstica.
Se divide en: Lgica proposicional y Lgica Cuantificacional.
Se caracteriza por ocuparse del anlisis de la correccin de las leyes formales y aplicar
la Lgica a la Lgica misma, representar las estructuras formales del pensamiento
mediante conjuntos de smbolos, puesto que tambin ocupa las estructuras del
pensamiento.

18
Tiende a reducir todo a relaciones de carcter matemtico con ideas y raciocinios
usando mtodos y procedimientos de razonamiento matemtico, signos
convencionalmente creados, adaptados y definidos para tal fin.
Teniendo como representantes a : Augusto de Morgan, que considera que la base
comn de la lgica radica en las relaciones de inclusin o exclusin parcial o total
entre clases; George Boole, construye la Teora de Clases; Venn aclara los
procedimiento de Boole representando los procesos algebraicos en los diagramas de
Venn; Giussepe Peano, da a la lgica el nombre de lgica matemtica, creando un
lenguaje simblico para las demostraciones matemticas, propuso el uso de los puntos
auxiliares y un modo de simbolizar los cuantificadores; Bertrand Russell en su obra
Los Principios de la matemtica propone que las matemticas puedan reducirse a
una rama de la lgica generando, en su obra, investigaciones sobre la inferencia y sus
respectivas aplicaciones.

19
 CONCLUSIONES

Aristteles defini al ser humano como un animal racional. Si nos guiamos por
esta definicin, llegamos a la conclusin de que la lgica es imprescindible para
que el ser humano pueda vivir de acuerdo a su naturaleza.
La lgica aristottica se basa con el razonamiento, la proposicin y el termino. Segn
esto, todo razonamiento se compone de proposiciones, cada una de las cuales, a su vez,
consta de dos o ms trminos.
Como sabemos que la lgica con el concepto de que es la examinacin de la validez o
invalidez siempre aplicando un argumento del por qu ;dando a conocer este concepto
los filsofos desde la antigedad la lgica ha sido prevaleciente en los avances de la
investigaciones , los filsofos con sus grandes aportes desarrollaron grandes ideales, as
actualmente a partir de ese concepto y llevndolo a la vida cotidiana siempre que se habla
de pensamiento lgico esto nos hace inherente o relativo a la tradicin y cultura ya que
nos lleva a una afirmacin coherente a dicho entorno.

20
 BIBLIOGRAFA

LIBROS:

.TRACTATUS LOGICO-PHILOSOPHICUS de WITTGENSTEIN, LUDWIG

EDITORIAL TECNOS, Edicin:1, 2007, MADRID
DESCARTES, RENE y EST. DE EDUARDO discurso del metodo (6 ED.)
BELLO REGUERA., TECNOS, Edicin: 6, 2006, Plaza edicin; MADRID
Cfr. Escohotado. El Pensamiento Precientfico. Tema 1

PAGINAS WEB:

http://institucional.us.es/revistas/themata/29/19%20velarde.pdf
http://revistas.um.es/daimon/article/viewFile/119041/112181
http://logica.carpetapedagogica.com/2014/09/historia-de-la-logica.html
http://itinerariummentis1.blogspot.pe/2013/11/naturaleza-e-importancia-de-la-
logica.html
https://es.wikipedia.org/wiki/L%C3%B3gica#Historia
http://clasesguidovargas.blogspot.pe/2008/04/qu-es-lgica-naturaleza-del-
trmino.html
https://www.significados.com/logica/
https://definicion.de/logica/

21