Universidad Mariano Glvez

Docente: Lic. Mynor Cayetano Lepoyeu Lpez

Asignatura: Lgica en sistemas

Tema: Tipos de Lgica, Formal, Informal, Tradicional, Simblica

Alumno: Miguel Angel Donis Rmmler

Carrera: Ingeniera en Sistemas de Informacin
Carnet: 3090-15-22657
Mazatenango 14 de Marzo 2015

Lgica formal
La lgica formal tambin llamada lgica pura - que es la lgica propiamente dicha - es
precisamente la ciencia (en cuanto conocimiento) que determina cules son las formas
correctas y vlidas de los raciocinios; pero lo hace considerndolos en s mismos y con
prescindencia de los contenidos concretos de los razonamientos, es decir, considerando
esos contenidos como entes lgicos abstractos, de tal manera que las leyes a aplicar
tengan validez para cualquier contenido concreto.

Lgica Informal
La lgica informal, o lgica no formal, es el estudio de los argumentos naturales y en
oposicin al estudio de los argumentos en una forma tcnica o artificial (lgica formal).
Esta parte de la lgica se dedica principalmente a diferenciar entre formas correctas e
incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano, en especial al
estudio de los procesos para obtener conclusiones a partir de informacin dada. Parte del
principio que el pensamiento y el lenguaje humano es a menudo incorrecto, o
tendencioso.

Lgica Tradicional
Expresin que se utiliza para referirse al conjunto de clculos lgicos como los
desarrollados en los Principia Mathematica de Russell y Whitehead. La lgica clsica
reconoce solamente dos valores de verdad a sus frmulas (verdaderas o falsas), por lo
que tambin se la denomina lgica bivalente o lgica estandarizada, e incluye a la lgica
proposicional, a la lgica de predicados, a la lgica de clases y a la lgica de relaciones,
El objetivo de la lgica clsica elemental es determinar si nuestros razonamientos,
independientemente de su contenido, son correctos o incorrectos.

Lgica Simblica
La lgica simblica es un sistema formal que analiza los signos y lo que designan.El
positivismo lgico entiende que el significado es la relacin que existe entre
laspalabras y las cosas, y su estudio tiene un fundamento emprico: puesto que
ellenguaje, idealmente, es un reflejo de la realidad, sus signos se vinculan con cosas

y hechos. Ahora bien, la lgica simblica usa una notacin matemtica para
establecer lo que designan los signos, y lo hace de forma ms precisa y clara quela
lengua tambin constituye por s misma un lenguaje, concretamente un metalenguaje
(lenguaje tcnico formal) que se emplea para hablar de la lengua como si de otro
objeto se tratara: la lengua es objeto de un determinado estudio semntico. Una de
las figuras ms destacadas del Crculo de Viena, el filso foalemn Rudolf Carnap,
realiz su ms importante contribucin a la semntica filosfica cuando desarroll la
lgica simblica.

Ejemplo de Lgica Formal

Formal: 3+3=6
Ejemplo de lgica Informal

La Tierra se mueve porque no est quieta

Lgica Tradicional
Todos los humanos son mortales.
Los madrileos son humanos.
Luego los madrileos son mortales.
Lgica Simblica
Si hoy es martes, entonces maana es mircoles.
Hoy es martes, solo si maana es mircoles.
Maana es mircoles, si hoy es martes.
Es necesario que maana sea mircoles para que hoy sea martes.
Es suficiente que hoy sea martes, para que maana sea mircoles:
Hoy no es martes, a menos que maana sea mircoles.
No es posible que hoy sea martes y maana no sea mircoles.

Bibliografa
http://www.liceodigital.com/filosofia/logica.htm
http://es.wikipedia.org/wiki/L%C3%B3gica_informal
http://plato.stanford.edu/entries/logic-informal/
http://www.webdianoia.com/aristoteles/aristoteles_log_3.htm
https://espanol.answers.yahoo.com/question/index?qid=20100907153737AAnqbYo
http://es.scribd.com/doc/30264976/LOGICA-SIMBOLICA#scribd
https://espanol.answers.yahoo.com/question/index?qid=20120917171323AADo5ZI