Introduccin

En la siguiente investigacin se da a conocer de forma breve la historia de la lgica, desde

la edad media hasta la edad contempornea. Se pude ver como el estudio de la lgica ha
evolucionado desde los tiempos del filsofo griego Aristteles hasta la actualidad, y sta ha
venido ajustndose con la intencin de ser ms especfica y, al mismo tiempo, ms adaptada
a la cotidianidad del ser humano, lo que le permite una aplicacin ms tangible en distintos
mbitos.

La lgica busca el estudio sistemtico de los argumentos y proposiciones, y los distintos

tipos de lgica permiten que sea posible estudiar tanto la estructura meramente formal de
estos enunciados, como aquello que tiene que ver con el contenido, y el poder de dicho
contenido. En esta investigacin se darn a conocer algunos de los ms importantes tipos
de lgica.
 Historia de la Lgica

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.

Tipos de Lgica

Formal

La lgica formal, tambin conocida como lgica clsica o lgica aristotlica, es el estudio de
proposiciones, argumentos, declaraciones u oraciones desde el punto de vista estructural.

Se trata de un mtodo para estructurar el pensamiento y determinar las formas correctas

o incorrectas de un planteamiento especfico.

La lgica formal no se centra en la veracidad o falsedad del contenido de un argumento en

particular, sino que se concentra en la validez o no de la construccin de su forma.
Es decir, el objeto de estudio de la lgica formal no es emprico, para el lgico no es
relevante determinar si el argumento presentado es real y comprobado; sino que su estudio
va enfocado netamente en la estructura de dicho argumento.

Dentro de la lgica formal existen dos clasificaciones muy importantes: la lgica deductiva
y la lgica inductiva.

La lgica deductiva se refiere a aquellos enunciados especficos que se generan de nociones

generales. A travs de este tipo de lgica pueden hacerse inferencias a partir de conceptos
o teoras que ya existen.

Por ejemplo, dentro de la lgica deductiva se podra decir que, si los humanos tienen
piernas y Clara es un ser humano, entonces Clara tiene piernas.

En el caso de la lgica inductiva, la construccin de los argumentos sucede de forma

contraria; es decir, se crean conceptos generales desde argumentos especficos.

Por ejemplo, dentro de la lgica inductiva se podra decir que, si a un gato le gusta el
pescado, y a otro tambin le gusta, y a otro tambin, entonces a todos los gatos les gusta el
pescado.

Informal

La lgica informal es la rama de estudio que se centra en el lenguaje y el mensaje que se

emana de las construcciones semnticas y los argumentos.

Esta lgica es distinta de la lgica formal, en cuanto a que la lgica formal estudia las
estructuras de las oraciones y proposiciones; y la lgica informal se centra en el fondo del
mensaje transmitido.

Su objeto de estudio es la forma de argumentar para obtener el resultado deseado. La lgica

informal da validez a los argumentos lgicos que resultan ms coherentes entre otros que
tienen una estructura argumentativa ms dbil.

No clsica

La lgica no clsica, o lgica moderna, se origina en el siglo XIX y surge en contraposicin a

los enunciados de la lgica clsica.

Establece otras formas de anlisis que pueden abarcar ms aspectos que los que es posible
englobar a travs del enfoque clsico de la lgica.
Es as como se incluyen elementos matemticos y simblicos, nuevos enunciados o
teoremas que venan a suplir las carencias de un sistema de lgica formal.

Dentro de la lgica no clsica hay distintos subtipos de lgica, como la modal, la matemtica,
la trivalente, entre otras.

Todos estos tipos de lgica difieren en alguna medida de la lgica formal, o incorporan
nuevos elementos que resultan complementarios, y permiten que el estudio lgico de un
enunciado particular sea ms exacto y adaptado a la utilidad en la cotidianidad.

Simblica

La lgica simblica tambin es llamada lgica de primer orden, o lgica matemtica, y se

caracteriza por emplear smbolos que constituyen un nuevo lenguaje a travs del cual de
traducen los argumentos.

La intencin de la lgica simblica es convertir pensamientos abstractos en estructuras ms

formales.

De hecho, no utiliza el lenguaje natural (idioma), sino usa un lenguaje tcnico que convierte
las oraciones en elementos susceptibles a la aplicacin de reglas ms exactas de las que
pueden aplicarse en el lenguaje natural.

Entonces, la lgica simblica permite el tratamiento de las proposiciones a travs de las

leyes del clculo, para as evitar confusiones o imprecisiones.

Busca incorporar elementos matemticos en el anlisis de las estructuras de la lgica

formal. En el mbito matemtico, la lgica se utiliza para demostrar teoremas.

En definitiva, la lgica simblica o matemtica, busca expresar el pensamiento humano a

travs del lenguaje matemtico.

Esta aplicacin matemtica de la lgica permite que los argumentos y las construcciones
sean ms exactos.

Modal

La lgica modal se centra en el estudio de los argumentos, pero agrega elementos

relacionados con la posibilidad de que el enunciado en cuestin sea verdadero o falso.
La lgica modal pretende ser ms cnsona con el pensamiento humano, por ende abarca el
uso de construcciones como podra, posiblemente, a veces, quizs,
probablemente, es probable, a lo mejor, entre otras.

En la lgica modal se trata de considerar un escenario en el que exista una posibilidad, y se

tiende a considerar todas las posibilidades que pueden existir, desde el punto de vista
lgico.

Computacional

La lgica computacional es un tipo de lgica derivado de la lgica simblica o matemtica,

slo que es aplicada en el rea de la computacin.

Los programas de computacin utilizan el lenguaje de la programacin para su desarrollo y,

a travs de la lgica, es posible trabajar esos sistemas de lenguaje, asignar tareas especficas
y ejecutar acciones de verificacin.
 Comentario

La lgica es muy importante para la carrera de ingeniera en ciencias y sistemas sobre todo
la lgica computacional que es igual a lgica matemtica, pero enfocada a la computacin.
Su uso es fundamental en varios aspectos como por ejemplo en los circuitos
computacionales, en la programacin lgica y en el anlisis y optimizacin de algoritmos.

La lgica computacional nos ensea a modelar y optimizar circuitos electrnicos los cuales
son esenciales para una computadora.
 Bibliografa

Manuel Garrido. Lgica Simblica. Editorial Tecnos.

Fingermann, G. (1995). Lgica y teora del conocimiento. El Ateneo. Caracas, Venezuela.

"Historia de la lgica". http://logica.carpetapedagogica.com/2014/09/historia-de-la-logica.html

"Los 6 tipos de lgica principales". https://www.lifeder.com/tipos-de-logica/

"La lgica del ingeniero de sistemas". http://logicadelingenierodesistemas.blogspot.com/