Lgica y ms

La palabra lgica proviene del griego antiguo (logike), que significa

intelectual, dialctico, argumentativo, que a su vez deriva de (logos),
palabra, pensamiento o razn.

Aristteles padre de la lgica

La lgica es la ciencia que se encarga de exponer las leyes, modos y formas del
razonamiento. Se trata de una ciencia formal que no tiene contenido, pero que
se dedica al estudio de las formas vlidas de inferencia. Es decir, trata del
estudio de los mtodos y principios utilizados para distinguir el razonamiento
correcto del incorrecto.

En otras palabras, la lgica es:

"El conjunto de conocimientos que tienen por objeto la enunciacin de las leyes
que rigen los procesos del pensamiento humano; as como de los mtodos que
han de aplicarse al razonamiento y la reflexin para lograr un sistema de
raciocinio que conduzca a resultados que puedan considerarse como certeros o
verdaderos."

El objeto de estudio de esta ciencia son las formas, estructuras o esquemas de

pensamiento; por eso mientras las otras ciencias se centran en las relaciones
de su objeto de estudio con diversos fenmenos, la lgica se ocupa de las
relaciones mismas.

Podemos distinguir entre dos tipos generales de lgica:

a) La lgica formal, tambin llamada lgica pura, que es precisamente la

ciencia que determina cules son las formas correctas y vlidas de los
raciocinios.

b) La lgica material, tambin llamada lgica aplicada, que es en la cual un

proceso de raciocinio o de pensamiento se analiza en consideracin al

contenido real de sus premisas y que por lo tanto debe llevar a una conclusin
que sea concordante con la realidad.

Relacin de la lgica con otras ciencias

Psicologa: Para algunos la lgica deber ser una parte de la psicologa. Los que
apoyan este hecho suelen considerar que la ciencia de lo psquico ha de
abarcar todo lo que se relacione con lo mental, y ya que la lgica estudia las
formas del pensamiento, de ah surge el supuesto de que lo psicolgico deber
determinar a la lgica. Sin embargo, al contrastar ambas ciencias,
encontramos que la psicologa presenta un conocimiento demasiado disperso
sobre su objeto de estudio, insuficiente como para albergar a lgica dentro de
la dbil estructura en que se envuelve lo mental desde el punto de vista
psicolgico; por otra parte, a la lgica no le interesan los procesos que generan
los pensamientos, solamente le incumbe la estructura correcta o incorrecta de
cierto tipo de estos.

Matemticas: A partir del siglo XIX surgi con gran auge la tendencia a
considerar a la lgica como una parte muy importante de las matemticas,
crendose desde ese momento una relacin indisoluble que apostaba por la
ruptura definitiva de la lgica con la filosofa. Para varios lgicos del siglo
antepasado, las ciencias formales deban estar indisolublemente unidas. En
contra parte, los filsofos sealaban un excesivo nfasis en lo formal por parte
de los lgicos matemticos, un nfasis que extraviaba a la lgica de su
carcter original. Al da de hoy el debate continua vigente, sin que ninguno de
los bandos ceda terreno, sin embargo es importante sealar que han surgido
relevantes avances de la lgica desde el campo de las matemticas.

Metafsica: Los lgicos matemticos han acusado a los filsofos de hacer

ontologa con la lgica, lo cual es el principal factor de reticencia sobre la lgica
hecha desde el terreno filosfico, con justa o injusta razn, es indudable que
algunos lgicos se han perdido en el discurso ontolgico en lugar de atenerse
al objeto de estudio de esta ciencia. En un extremo neutral encontramos un
bando que acusa tanto a los metafsicos como a los matemticos de extraviar a
la lgica de su verdadera naturaleza; conocer las estructuras del pensamiento
valido.

Gramtica: La lgica se apoya en la gramtica, ya que esta es el estudio de las

reglas y principios que regulan el uso de las lenguas y la organizacin de las

palabras dentro de una oracin. Los pensamientos se estructuran en palabras

distribuidas a lo largo de una oraciones, antes que cualquier anlisis lgico, es
indudable que debe existir un uso adecuado de la gramtica; claro que sin caer
en el exceso de creer que esta determina a la lgica o viceversa.

Raciocinio
Es una operacin discursiva por medio de la cual obtenemos un conocimiento
nuevo (inferido) que parte de un conocimiento previo. Existen dos tipos
generales de raciocinios, a saber:

Raciocinio inductivo

Se refiere a un conocimiento de los objetos sensibles, es un tipo de

razonamiento que parte de ciertas comprobaciones de la experiencia
(observacin) para llegar a un punto de validez general. De ah que se pueda
decir que es un tipo de conocimiento que parte de un caso singular para llegar
al conocimiento universal. Este es el tipo de raciocinio utilizado para elaborar
leyes universales en las ciencias.

Raciocinio deductivo

Recibe su validez de los principios lgicos; en el intervienen varias relaciones

lgicas, por lo mismo generalmente se expresa mediante silogismos. Es un
razonamiento que parte de un conocimiento universal para aplicarlo en casos
singulares.

Proposicin
Tipos de pensamientos en los que se afirma algo, y que se expresan mediante
enunciados u oraciones declarativas, con dos posibles y nicas respuestas;
verdadero o falso.

La proposiciones siempre son declarativas; los enunciados exclamativos,

interrogativos o imperativos no pueden ser proposiciones, la razn es porque

dichos enunciados no pueden ser respondidos mediante verdadero o falso,

como ocurre con las oraciones declarativas.

Existen proposiciones simples (elementales) donde solamente se maneja una

sola proposicin, y proposiciones compuestas (moleculares) que manejan dos o
ms proposiciones encadenadas mediante conectivas lgicas ("no", "y", "o",
etc).

La lgica proposicional es la encargada de estudiar las formas en que se

relacionan unas proposiciones con otras y, sobre todo, la relacin que se da
entre las proposiciones que componen un razonamiento. Es la parte ms
elemental de la lgica matemtica y dispone de mtodos especficos para el
anlisis de las inferencias; como el lenguaje simblico, en el cual las
proposiciones se simplifican a travs de diversos smbolos que abrevian el
mensaje, para centrarse especficamente en la estructura lgica de las
proposiciones y con ello determinar si son correctas o incorrectas.