HISTORIA DE LA LGICA

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.
Edad antigua

Aristteles de Estagira (384 a.c. 322 a.c.) considerado como creador de la Lgica, sin
embargo sus predecesores desarrollaron y cultivaron la inferencia y la prueba en los diferentes
debates que por aquel tiempo realizaban los filsofos.
En el plano sintctico y semntico del lenguaje Protgoras fue el primero en estudiar las
oraciones, Platn en 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. Los escritos lgicos de Aristteles estn
contenidos en su libro Organon que significa instrumento para pensar correctamente
(propedutica o metodologa), 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.
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.
Ms adelante Teofrasto y Eudemo aportaron los silogismos hipotticos condicionales
perteneciente a la lgica de las proposiciones los Megariacos plantean el significado de las
proposiciones Si - entonces los Estoicos desarrolla la lgica Verdadero Falso de las
proposiciones.

Edad media
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.
Los estudios de los lgicos profesionales estuvo dirigido al comentario del Organon
destacando Pedro Hispano y Juan Buridan estableciendo que de Dos premisas contradictorias, se
puede deducir cualquier conclusin.

Edad Moderna
La poca moderna marca el inicio de la Lgica Matemtica. El precursor de esta lgica es
Guillermo G. Leibniz quien introdujo el clculo lgico llamado Mathesis Universalis que fuese
operacionalmente mecnico, inequvoco y no cuantitativo que permitiera acabar con todas las
disputas y controversias. tambin desarroll el clculo de la Lgica Proposicional. Euler es otro de
los precursores de la Lgica Matemtica, introdujo los diagramas que llevan su nombre para
ilustrar geomtricamente los silogismos.

Edad Contempornea
El siglo XIX se caracteriza por el nivel de abstraccin que alcanza la lgica matemtica
destacando Hamilton sobre la cuantificacin de todo o alguno. Augusto de Morgan 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 algebraicas 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.
En el siglo XX la lgica simblica, que tanto deba a la matemtica haba desembocado,
desde principio del siglo, en cuestiones irresolubles. Esto produjo un paulatino alejamiento de la
lgica con respecto a la matemtica, as como un deslindamiento de las competencias respectivas.
Por un lado, la lgica, alejndose del excesivo formalismo y simbolismo, empieza a ocuparse y
preocuparse de problemas semnticos, es decir de las relaciones entre los smbolos y lo que
expresan. Se producen as un acercamiento de la lgica a la lingstica y a la epistemologa.
Filsofos como L. Wittgenstein, R. Carnap inicialmente bajo la influencia formalista y logicista, dan
un viraje en su filosofar orientndose hacia preocupaciones lgico - semntica.
FILOSOFA DE LA LGICA
Es la rama de la filosofa que trata de la naturaleza y la justificacin de los sistemas lgicos.
Algunas preguntas fundamentales que plantea son:
Hay una nica "verdad" lgica, o hay muchas igualmente correctas?
Es posible que haya desacuerdos acerca de si un principio lgico (como la ley del medio
excluido) es correcta?
Qu hace a una expresin una constante lgica?
Cules son las definiciones adecuadas de consecuencia lgica, cuantificacin y otros conceptos
lgicos?
Cul es el alcance de la lgica?; por ejemplo, envuelve a las matemticas?
Es realmente lgica la lgica de segundo orden?
Es la lgica un problema de convencin?
Es la lgica emprica?
Cul es la naturaleza de la necesidad lgica?

La filosofa de la lgica es a menudo confundida con la lgica filosfica, que es la aplicacin de

tcnicas formales lgicas a los problemas filosficos. Varios filsofos han hecho importantes
contribuciones a ambos campos.
FUNDAMENTOS DE LA LGICA
La lgica est fundamentada por la coherencia de los pensamientos y establece una conciencia
sistemtica entre ideas y pensamientos.

NOCIONES BSICAS DE LA LGICA

PRINCIPIOS DE LA LGICA

REGLAS DE INFERENCIA O IMPLICACIN

LEYES DE EQUIVALENCIA

LENGUA LGICA

EJERCICIOS DE LENGUA LGICA