Introduccin

En la siguiente investigacin tiene como objetivo comprender la

importancia de lo que es la lgica para lo cual es necesario saber
que es lgica y que estudia.
Posteriormente haremos un recorrido de su historia, sus personajes
ms destacados, sus hechos y sus puntos ms importantes
brevemente. Luego veremos sus algunos de tipos de lgica que
sern lgica natural, cientfica, formal, material, matemtica, de
clases, bivalente y plurivalente. Finalmente se har una referencia
de cmo se aplica la lgica a la ingeniera en ciencias y sistemas.

Una breve historia de la lgica

Se piensa que la palabra lgica proviene del vocablo griego logos, que
significa razn, ley y palabra y que est muy ligada a la tarea propia de la
filosofa, se cree que la lgica es tan antigua como la propia filosofa.
Aristteles es considerado como el padre de la lgica esto fue
aproximadamente el siglo IV a.c, Aristteles defini la lgica como ciencia que
estudia los razonamientos correctos, el entenda que la lgica era un
instrumento para las dems ciencias. Cualquier ciencia se construye con
razonamientos correctos, por lo que la lgica es de gran utilidad ya que su
cometido es establecer razonamientos correctos.
El panorama de la lgica tuvo un cambio radical al comienzo del siglo XIX, a
partir de ese momento la ciencia de la matemtica empieza a relacionarse con
la lgica, la lgica se empez a utilizarse para estudiar la validez de las
deducciones matemticas y ser sometida a procesos de formalizacin
simblica, para resumir realizar los anlisis lgicos se emplea un lenguaje
simblico similar al de las matemticas (algebra).
Estos procesos de formalizacin simblica se desatacan autores como Frege
(1848-1925), Russell (1872-1970) y Whitehead (1861-1947). De esta manera
nace la lgica moderna, tambin llamada lgica simblica o matemtica.

Algunos tipos de lgica:

Lgica Natural: la lgica natural se comprende como toda aquello que toda
persona pueda asimilar por experiencia sensible. Es el tipo de lgica ms
primitivo ya que es por base emprica, esta nace de la razn innata del ser
humano y se ejecuta a modo de prevencin. De all el famoso dicho el hombre
es el nico animal que tropieza dos veces en la misma piedra. En resumen se
presume que las personas son factibles a cometer errores, se considera que
aprendan del y las consecuencias del mismo de esa manera para un futuro
tomar prevenciones necesarias para que no vuelva a ocurrir.

Lgica cientfica: esta est muy ligada a la lgica natural, es la que se sirve de
la experiencia emanada de la lgica natural, pero adems le adhiere la razn,
generando planteos de todo lo existente. Siguiendo el famoso dicho annimo
de la piedra (ejemplo del prrafo anterior), el hombre por lgica natural evitara
pasar por el camino en el que est la piedra para no tropezarse, pero a su vez
establecer por medio de la lgica cientfica porqu esa piedra le genera un
tropiezo.

Lgica formal: Es la contraparte de la lgica material (se ver a continuacin.).

Esta abarca todo el estudio de la capacidad de razonamiento desde el aspecto
ms adecuado y desde las asociaciones, sin importar si es vlido o no. Es una
lgica pasiva, en cierto punto, ya que es reacia a los cuestionamientos.

Lgica material: Su estudio es abordado desde la epistemologa, una de las

ramas modernas de la filosofa. El objeto principal de la lgica material es
basarse en la validez de un pensamiento determinado siguiendo la realidad. Es
una lgica activa, ya que se cuestiona y va ms all, dejando lugar a la
incertidumbre al no concluir sin dudar. En un ejemplo de lgica material, si el
cielo est nublado puede ser que llueva, como puede que no. Por lo que el
pensamiento de que tal vez llovizne es correcto, pero no tiene validez (si
tendra para la lgica formal), ya que no es seguro que suceda.

Lgica matemtica: Es un sector de la lgica consistente en el estudio

matemtico de la misma, y en la aplicacin del estudio a todas las reas de las
matemticas. Por otro lado, la lgica que se utilizada en las ciencias de la
comunicacin. Estudia los sistemas formales con nociones matemticas como
conjuntos, nmeros y demostraciones. Es importante entender que la lgica
matemtica no constituye la lgica de las matemtica como abordaje de las
ciencias exactas, sino la matemtica de la lgica.

Lgica de clases: Se encarga de analizar una proposicin lgica en base a la

pertenencia o no pertenencia de un elemento especfico o de un individuo
particular a una determinada clase. La lgica de clases sienta sus principios
para abordar el estudio desde la teora de conjuntos. Se entiende por clase al
conjunto de individuos que tienen en comn alguna propiedad particular. La
propiedad es la que define a la clase, y no al individuo. Al analizar el conjunto
no es lo mismo decir Scrates era un hombre, que Scrates perteneca a la
clase de los hombres.

Lgica bivalente: Una lgica clsica es un sistema lgico que admite solo
dos valores de verdad para sus enunciados (premisas y conclusin). En la
lgica bivalente, una proposicin solo puede ser verdadera o falsa, no existen
valores intermedios de verdad.

Lgica plurivalente: tambin llamada lgica polivalente es un sistema

lgico que rechaza el principio del tercero excluido de las lgicas bivalentes y
admite ms valores de verdad que los tradicionales verdadero y falso. Distintas
lgicas plurivalentes pueden admitir distintas cantidades de valores de verdad:
desde tres, hasta infinito.

Comentario Personal aplicado a Ciencias y Sistemas

Desde mi perspectiva la lgica es un herramienta muy til en el rea de
ciencias y sistemas no solo aplicado en el mbito de desarrollo de software,
sino tambin en el mbito poder resolver problemas vindolo como un sistema
ya que es algo fundamental para la solucin de problemas porque se pueden
plantar hiptesis y concluir si estas van a llegar a ser un argumento correcto y
til para poder darle solucin al problema que se esta resolviendo. Creo que en
el ambir de desarrollo de software est de ms que decir que la lgica tanto
cientfica, formal y matemtica son fundamentales para el desarrollo de
software, en la construccin de un software se tiene que ir probando hiptesis e
ir concluyendo cuales son tiles y viables para la construccin de este. Si fuera
el caso de un software autnomo este tiene que ser capaz de poder razonar y
tomar la mejor decisin para el usuario aunque para que un software piense y
razone por s mismo todava falta, cuando llegue ese da el campo de la lgica
se ampliara mucho ms ya que habr otra forma de pensar que podra
evolucionar. Todo esto solo son su pociones de hacia donde se podra ampliar
el campo de la lgica en un futuro.

E-Grafa
La lgica de las maquinas pensantes - Una breve historia de la lgica
[En Lnea] [Consultado 15/12/15] Disponible en:
educativa.catedu.es/44700165/aula/archivos/repositorio/1250/1256/html/21_un
a_breve_historia_de_la_lgica.html
Aristteles [En Lnea] [Consultado 15/12/15] Disponible en:
https://es.wikipedia.org/wiki/Arist%C3%B3teles
Tipos.Co Tipos de lgica [En Lnea] [Consultado 15/12/15] Disponible
en:
http://www.tipos.co/tipos-de-logica/
Lgica Plurivalente [En Lnea] [Consultado 15/12/15] Disponible en:
https://es.wikipedia.org/wiki/L%C3%B3gica_plurivalente
Lgica bivalente [En Lnea] [Consultado 15/12/15] Disponible en:
https://es.wikipedia.org/wiki/L%C3%B3gica_bivalente