Qu es la Lgica:

Lgica es una ciencia formal que estudia la estructura o formas

del pensamiento humano (como proposiciones, conceptos y
razonamientos) para establecer leyes y principios vlidos para
obtener criterios de verdad. Como adjetivo, 'lgico' o 'lgica'
significa que algo sigue las reglas de la lgica y de la razn. Indica
tambin una consecuencia esperable natural o normal. Se utilizar
tambin para referirse al llamado 'sentido comn'. Procede del
latn logca, y a su vez del griego (logike, 'que posee razn,
'intelectual', 'dialctico', 'argumentativo'), que a su vez deriva de la
palabra (logos, 'palabra', 'pensamiento', 'razn',
'idea','argumento').
Lgica proposicional, matemtica o
simblica
La lgica proposicional es la rama de la lgica que estudia las
variables proposicionales, las conectivas lgicas ( ).
Algunos autores tambin la identifican con la lgica matematica o
la lgica simblica, ya que utiliza una serie de smbolos especiales
que la acercan al lenguaje matemtico. Las proposiciones pueden
ser verdaderas o falsas.

Lgica filosfica
Se suele considerar que la lgica forma parte de la Filosofa,
aunque la lgica, como tal, se aplica en diversas reas y
actividades del ser humano. La lgica filosfica utiliza cuatro
principios fundamentales que establecen los procesos de
pensamiento correcto. Estos principios son el principio de
identidad, el principio de no contradiccin, el principio de tercero
excludo y el principio de razn suficiente.

Lgica formal y lgica informal

La lgica formal es aquella cuyo objeto de estudio son las
inferencias de forma tcnica mediante la utilizacin de sistemas
deductivos y lenguajes y semnticas formales. La lgica informal,
por su parte, estudia sistemas de razonamiento y argumentacin
naturales a travs del lenguaje y el pensamiento cotidiano.

Lgica aristotlica
Es la lgica que se basa en los estudios de Aristteles, filsofo
griego del siglo IV a.C. La lgica aristotlica utiliza los llamados
silogismos, que se trata de una deduccin o forma de
razonamiento en el que se establecen unas premisas de las que se
infiere una conclusin. Se trata, por lo tanto, de un concepto
semejante a argumentos deductivamente vlidos. Un ejemplo
clsico de la lgica aristotlica es:'Todos los hombres son
mortales. Todos los griegos son hombres. Por lo tanto, todos los
griegos son mortales'. Las dos primeras frases seran las premisas
y la tercera la conclusin.
Lgica difusa
El concepto de lgica difusa procede del ingls ('fuzzy logic'). Es
un tipo de lgica que utiliza valores aleatorios pero
contextualizados y relacionados entre s estableciendo lo relativo
de lo observado como posicin diferencial. La lgica difusa se
aplica en diversas reas como la informtica y la industria.

Definicin de Lgica
La lgica es una ciencia formal, es decir, que como cualquiera de las ciencias formales crea su
propio objeto de estudio y el razonamiento y la creacin de ideas por parte de la mente son su
metodologa de trabajo y conocimiento, pero adems, la lgica, es una de las ramas ms
importantes y populares dentro de la Filosofa, siendo su objeto de estudio los principios de la
demostracin y la inferencia vlida, que son los mtodos que en definitiva permitirn distinguir
el razonamiento correcto del incorrecto.

El origen de la lgica se remonta al tiempo de oro de la Grecia clsica y al filsofo griego

Aristteles se lo considera como el creador y padre de la misma, ya que fue el primero en
utilizar la nocin y darle la entidad que guarda hasta nuestros das, de estudio de los
argumentos como manifestantes de la verdad en la ciencia.

Esta lgica que describamos ms arriba y de la cual Aristteles se erige como su fundador se la
denomina tambin como lgica formal, en tanto, tambin existe una lgica informal la cual
enfocar su atencin en el estudio metdico de aquellos argumentos probables a partir de la
filosofa, la retrica y la oratoria, entre otras ciencias que se ocupan de estos.

Bsicamente, la lgica informal destina todos sus esfuerzos en la identificacin de falacias y

paradojas y en la correcta estructuracin de los discursos.
Pero en la lgica formal e informal no se agota la cuestin ya que adems nos encontramos con
otros tipos de lgicas que proponen metodologas absolutamente distintas como ser la lgica
natural que es aquella que se propone el pensamiento natural, tal como discurre, sin acudir a la
ciencia formal como base de apoyo.

Luego aparece la lgica borrosa o tambin llamada difusa que se toma ciertas licencias respecto
de las otras y admite cierta ambigedad entre la verdad o falsedad de sus proposiciones, en
estrecha concordancia y relacin con la razn humana.

En otro orden nos podemos encontrar con la lgica matemtica que se maneja usando un
lenguaje artificial y simblico y realizando una abstraccin de los contenidos. Y finalmente la
lgica binaria la cual trabaja con variables que admiten solo dos valores discretos.