Tecnicatura Superior en Anlisis de Sistemas

TECNOLOGA COMPUTACIONAL

Unidad N 1- Introduccin a La Lgica

En nuestra vida es frecuente que escuchemos afirmaciones sobre asuntos de la

escuela, la poltica, los deportes, la moda, los espectculos, algunas de las cuales
nos parecen ciertas como por ejemplo: La violencia es originada por la pobreza,
El dinero hace felices a las personas, Los gobernantes son los responsables de la
crisis que sufre el pas, Los deportistas mexicanos no triunfan porque son
inseguros, A las personas con estudios les va mejor en la vida etctera. Sin
embargo podemos comprobar que muchas de estas afirmaciones no concuerdan
con la realidad, ni son tan lgicas como pareciera, como es el caso de: La violencia
es originada por la pobreza, este comentario no parece ser tan certero, ya que se
conocen situaciones en las cuales se realizan actos de violencia que no se
encuentran relacionadas con la pobreza. Por ejemplo, cuando dos personas por
diversas razones terminan ofendindose y golpendose sin que medie el hecho de
que uno o ambos sean pobres.

As mismo el lenguaje que se utiliza cotidianamente para construir nuestros

pensamientos no es tan claro ni preciso, como en el caso anterior, habra que
explicar qu se entiende por la palabra pobreza: La entendemos como la falta de
recursos econmicos (dinero), o como la carencia de bienes materiales (casa,
automvil)?. Si la revisamos desde el punto de vista psicolgico y espiritual, tal vez
la entendamos como la falta de tacto para relacionarse con otras personas.

Por lo ambiguo e impreciso que puede resultar el modo de organizar y argumentar

nuestras ideas, es necesario que se estructuren de forma lgica y precisa para
comunicar con exactitud lo que pensamos. De igual manera resulta imperante para
el cientfico o todo aquel que hace ciencia, contar con un sistema de reglas que
permita una argumentacin slida de lo que asevera o niega. La ciencia que aporta
estas reglas es la Lgica.

Entonces podemos definir a La Lgica como la ciencia cuyo objeto es el estudio de

las leyes, modalidades y formas del conocimiento cientfico. Se trata de una ciencia
de carcter formal que carece de contenido ya que hace foco en el estudio de los
principios de la demostracin e inferencia vlida. Es decir, propone estudiar los
mtodos y los principios adecuados para identificar al razonamiento correcto
frente al que no lo es.
La etimologa de la palabra permite conocer que el trmino lgica se origina en el
vocablo griego logos que significa razn o estudio.

La lgica formal:
Se acostumbra a definir la lgica formal como aquella ciencia que estudia los
razonamientos desde el punto del anlisis formal, es decir, desde el punto de vista
de su validez o no validez. Con esto queremos decir que no se presta atencin al
contenido emprico de los razonamientos, sino que solo se analiza la estructura del
mismo.
Se adjudica al filsofo griego Aristteles como al creador de la lgica a partir de
designar el chequeo de los argumentos como indicadores de la verdad dentro de la
ciencia, y al presentar al silogismo como argumento vlido. Sus trabajos
principales sobre la materia, que tradicionalmente se agrupan bajo el nombre
rganon (herramienta), constituyen la primera investigacin sistemtica acerca
de los principios del razonamiento vlido o correcto.
Un silogismo vlido para la lgica formal puede ser:
1. El seor Spock es un vulcano;
2. los vulcano son personajes de ficcin;
3. por lo tanto, el seor Spock es un personaje de ficcin.
Al lgico no le interesa realmente conocer quin es el seor spock ni los vulcanos,
solamente le interesa que los argumentos sean vlidas.

Los Argumentos: Premisas y Conclusiones

Los razonamientos que estudia la lgica se llaman argumentos y su tarea consiste
en descubrir qu hace que un argumento sea valido y constituya una inferencia
correcta. La inferencia es un proceso por el cual se llega a una proposicin y se la
afirma sobre la base de otras proposiciones aceptadas anteriormente.
El concepto premisa en un razonamiento se utiliza para nombrar al indicio,
sntoma o conjetura que permite inferir algo y sacar una conclusin por lo tanto,
las premisas son aquellas proposiciones que anteceden a la conclusin. Esto quiere
decir que dicha conclusin deriva de las premisas, aunque stas pueden ser falsas
o verdaderas.
Por ejemplo:
- Premisa Nro. 1: A los nios les gusta el ftbol
- Premisa Nro. 2: Facundo es un nio
- Conclusin: A Facundo le gusta el ftbol
Como observamos en el ejemplo, si los nios disfrutan del futbol y Facundo es un
nio, es posible concluir que a Facundo le tiene que gustar este deporte. Por
supuesto que la conclusin puede ser errnea ya que la primera premisa no es
exacta: hay nios a los que no le gusta el ftbol.
En otros casos, las premisas pueden ser verdaderas y, sin embargo, la conclusin
ser falsa:
- Premisa Nro. 1: Todos los lunes, Fernanda se despierta a las 8 de la maana
- Premisa Nro. 2: Hoy, Fernanda se despert a las 8 de la maana
- Conclusin: Hoy es lunes
En este ejemplo, la conclusin puede ser falsa an cuando las premisas sean
verdaderas ya que la primera premisa no es excluyente. Puede ser cierto, por lo
tanto, que Fernanda se despierte todos los lunes a las 8 de la maana, pero
tambin puede despertarse a ese horario cualquier otro da de la semana.
Por lo tanto podemos concluir que un argumento es una secuencia de oraciones en
la que las premisas estn al comienzo y la conclusin al final. Un razonamiento es
una estructura lgica formada por proposiciones -verdaderas o falsas- que
afirman o niegan algo, por lo que las mismas se diferencian de las preguntas, las
ordenes o las exclamaciones.
El Silogismo es un razonamiento donde se deduce una conclusin partiendo de 2
juicios. Este est conformado por 2 premisas (puntos 1 y 2) y la conclusin (punto
3) y a su vez por 3 trminos. Las tres premisas son: Premisa mayor (la ms
universal), Premisa menor (menos universal) y la conclusin. Los tres trminos
que mencionamos son el trmino mayor y el trmino menor (Sujeto y Predicado de
la conclusin: S es P), finalmente el trmino medio (letra M) que aparece en ambos
juicios
La lgica de Aristteles se basa enteramente en tres principios o axiomas:
Principio de identidad, que afirma que un trmino es igual a s mismo.
A=A
Principio de no contradiccin: significa que un predicado no se puede
afirmar y negar simultneamente y bajo los mismos aspectos de un sujeto.
Principio del tercero excluido: no existe un termino medio entre dos
afirmaciones contradictorias.

Tipos de Razonamientos: Deductivo e inductivo

A pesar de la disparidad de opiniones en torno a la definicin del razonamiento,
en lo que respecta a los tipos de razonamiento, hay un mayor acuerdo entre los
tericos. Hay dos tipos de razonamiento: inductivo y deductivo.
Tradicionalmente, el razonamiento deductivo, se ha considerado que va de lo
general a lo particular y, el inductivo, en sentido inverso. Actualmente, esta
definicin es pobre. Hay otros conceptos que diferencian ambos tipos de
razonamiento:
Se utiliza el concepto de validez para el razonamiento deductivo y, para el
inductivo, el concepto de probabilidad.
Un razonamiento es deductivo si la conclusin se sigue necesariamente de
las premisas. Cuando se deriva necesariamente de las premisas es vlido y,
si es vlido, significa que, siendo las premisas verdaderas, las conclusiones,
tambin lo sern. El razonamiento deductivo es proposicional, de tipo
silogstico, de relaciones... De este tipo de razonamiento, se pueden obtener
razonamientos vlidos e invlidos. Son validos si, cuando son las premisas
verdaderas, las conclusiones tambin lo son. De lo contrario, los
razonamientos seran invlidos. Un argumento es vlido cuando es
imposible que su conclusin sea falsa, siendo sus premisas verdaderas.
Vase como ejemplo, el siguiente silogismo:
Todos los artistas son banqueros.
Todos los banqueros son cantantes.
Conclusin: Todos los artistas son cantantes.
Lo que se dice en la conclusin, estaba en las premisas, por tanto, no se
incrementa la informacin semntica. Esto es una caracterstica de este
razonamiento. La conclusin, ya implcitamente, estaba en las premisas.
Con este tipo de razonamiento, no se crea conocimiento, mientras que en el
inductivo s.
 Un ejemplo de razonamiento inductivo sera el siguiente:
La mayora de los cisnes son blancos.
Esto es un cisne.
Podramos concluir que el cisne es blanco, pero, que la mayora sean
blancos no quiere decir que lo sean todos. De este modo, tambin
podramos concluir que es negro, yendo ms all de las premisas. No hay
certeza absoluta, hay, simplemente, probabilidad. En el razonamiento
deductivo, la certeza es del 100%, pero no en el inductivo. En el
razonamiento inductivo, se va ms all de las premisas.
Dicho de otro modo, la conjuncin o producto de todas las premisas cuando es
verdadero, es decir, todas y cada una de las premisas son verdaderas, entonces se
implica la verdad de la conclusin.
Por medio de un razonamiento de estas caractersticas se concede la mxima
solidez a la conclusin, las premisas implican lgicamente la conclusin. Y la
conclusin es una consecuencia lgica de las premisas.
Por otra parte el razonamiento inductivo es una modalidad del razonamiento no
deductivo que consiste en obtener conclusiones generales a partir de premisas que
contienen datos particulares. Por ejemplo, de la observacin repetida de objetos o
acontecimientos de la misma ndole se establece una conclusin para todos los
objetos o eventos de dicha naturaleza.
Premisas: Es igual
He observado el cuervo nmero 1 y era de color negro.
El cuervo nmero 2 tambin era negro.
El cuervo nmero 3 tambin
Conclusin:
Luego, todos los cuervos son negros.
En este razonamiento se generaliza para todos los elementos de un conjunto la
propiedad observada en un nmero finito de casos. Ahora bien, la verdad de las
premisas (10.000 observaciones favorables a esta conclusin, por ejemplo) no
convierte en verdadera la conclusin, ya que podra haber una excepcin. De ah
que la conclusin de un razonamiento inductivo slo pueda considerarse probable
y, de hecho, la informacin que obtenemos por medio de esta modalidad de
razonamiento es siempre una informacin incierta y discutible. El razonamiento
slo es una sntesis incompleta de todas las premisas.
Partes de la Lgica
Las distintas partes de la Lgica dependen del tipo de anlisis que se hacen sobre
las premisas, de forma que tenemos:

LGICA PROPOSICIONAL O DE ENUNCIADOS: Toma las oraciones enunciativas

(proposiciones ) como un bloque, sin descomponerlas en sujeto y predicado,
teniendo como elementos ms simples las proposiciones atmicas, y ocupndose
de las relaciones que se pueden establecer entre ellas.
LGICA DE PREDICADOS: A veces no es suficiente tomar las proposiciones como
un bloque y hay que descomponerlas en sujeto y predicado. Esto hace esta parte de
la lgica, que trata los predicados desde el punto de vista intencional, es decir,
como atribucin de una propiedad a un sujeto.

LGICA DE CLASES: Adopta el punto de vista de la extensin (conjunto de

individuos a los que el predicado se aplica), interpretando los enunciados como
operaciones con clases de conjuntos.

LGICA DE RELACIONES: Estudia aquellos predicados que no se atribuyen a un

individuo absolutamente sino en comparacin con otro.

Bibliografa
Introduccin a la Lgica y al Anlisis Formal, Sacristn, Manuel. Ediciones Ariel
S.A. Barcelona 1964.
Introduccin a la Lgica (para Informticos), Luis M. Pardo , 22 de mayo de
2006. disponible en: http://personales.unican.es/pardol/Docencia/Logica/LogicaI.pdf
Tipos de Razonamientos.
http://dgunimar.files.wordpress.com/2010/11/tipos_de_razonamiento__el_cientif
ico_tema_7.pdf