PROPOSICIONES LOGICAS, generalidades

Habilidades del pensamiento

Son las capacidades mentales que permiten al individuo construir y organizar

su conocimiento para discernir, crear o tomar decisiones.

Pensamiento es la actividad y creacin de la mente; o sea, todo aquello que es

trado a existencia mediante la actividad del intelecto. Pensamos a travs de
ideas, ya sea como imgenes visuales, tctiles, auditivas, olfativas o
gustativas; o bien abstractas cuando no existe un referente material para ello,
como en el caso de los valores como el respeto, el amor, la honestidad, los
nmeros o las operaciones matemticas. Las ideas se complejizan una vez
estructurado el lenguaje, y da paso a la formacin de juicios o proposiciones
(tambin llamados aseveraciones), los que posteriormente sostienen los
argumentos.

La facultad de razonar del ser humano le permite organizar mediante reglas

dichos pensamientos, dando lugar a la Lgica como ciencia del pensamiento
correcto.

A continuacin se mencionarn los aspectos ms sobresalientes para la

comprensin de este fenmeno y cmo se aplica en la prctica
Desencadenamiento de ideas a partir de una proposicin

Una idea es una representacin mental de un objeto. El objeto puede ser

material (una casa, un libro, un telfono) o inmaterial (el alma, un nmero, una
figura geomtrica). Cada vez que decimos una palabra con un referente
concreto o abstracto lleno de sentido decimos que expresamos una idea (la
idea casa o nmero).

Una proposicin es la afirmacin o negacin de una idea (Gutirrez, 2007). As

por ejemplo, cuando se dice la casa es amplia estoy afirmando una
caracterstica del objeto; si se dice la casa no es rectangular estoy negando
una cualidad del objeto. La caracterstica esencial de las proposiciones es la
presencia de tres elementos bsicos:

* Un sujeto (concepto del que se dice algo) *Un predicado (concepto que
atribuye o no algo al concepto sujeto) *Un nexo (un verbo)

Cuando se afirma algo sobre un objeto se forma un juicio positivo; si se niega

algo sobre el objeto se forma un juicio negativo. Ejemplos:
Juicios positivos
Juicios negativos
Juan es estudiante de Ingeniera
Juan no es guatemalteco
Zapopan est en Jalisco
Zapopan no es un lago
Mxico es un pas costero
Mxico no est en Europa

Nosotros podemos desencadenar una serie de juicios, positivos o negativos, a

partir de uno ya dado:

Juan no estudia Leyes

Juan es estudiante de Ingeniera

Juan no es un recin nacido

(por lo tanto)

Juan es un ser racional

Juan es hbil en Matemticas

Clasificacin de las proposiciones

Como se mencion anteriormente, una proposicin es la afirmacin o negacin
de una idea. Est compuesta por dos conceptos relacionados por un nexo
(verbo).

En lgica, las proposiciones se dividen en:

Universales: Son aquellas en donde se consideran todos los elementos que
abarca el concepto. Se utilizan los cuantificadores Todo, el 100%, Ningn.
Ejemplo: Todo hombre es mortal, el 100% de los cuerpos tiene masa; Ningn
cuerpo carece de materia.
Particulares: abarcan slo una parte de los seres a los que hace referencia el
concepto; se utilizan los cuantificadores: Algn, ciertos, No todos, etc. Ejemplo:
Algunos carnvoros son mamferos, ciertas pinturas son vinlicas, no todo lo que
brilla es oro.
Positivas: Tambin son llamadas afirmativas y en ellas los seres a los que hace
referencia el concepto sujeto se incluyen en el concepto predicado. Ejemplo:
Todos los jaliscienses son mexicanos (los seres del concepto jaliscienses se
incluyen en el concepto mexicanos). Algunos materiales son resistentes
(algunos seres del concepto materiales se incluyen en el concepto resistentes).
Negativas: La negacin presente en el nexo (verbo) o colocada en el
cuantificador Ningn-ninguna, nada, ni, etc. excluye los seres del concepto
sujeto del concepto predicado. Ejemplo: Algunos metales no son slidos
(algunos seres del concepto metales no se incluyen en el de los slidos);
Ningn lquido es gaseoso (los seres del concepto lquido no se incluyen en el
del concepto gaseoso).
Falsas: Lo expresado en la proposicin no est de acuerdo con lo que se
verifica en la realidad. Ejemplo: Atenas es la capital de Turqua (falso: la capital
de Turqua es Estambul).
Verdaderas: Lo expresado en la proposicin est de acuerdo con lo que se
verifica en la realidad. Ejemplo: Todos los seres vivos tienen compuestos de
carbono
Relaciones entre los conceptos de las proposiciones.

Son los niveles de compatibilidad que existen entre los seres que abarcan dos
conceptos entre s. Pueden ser de interseccin, inclusin y exclusin

Inclusin: Un concepto queda incluido totalmente dentro de otro por ser

una especie (parte) de dicho concepto. Analicemos la proposicin Todos los
metales son conductores de calor; el concepto metales queda incluido
totalmente dentro del concepto conductores de calor por ser una especie
(parte) de todos aquellos seres capaces de ser conductores de calor.

Exclusin: Los elementos de un concepto quedan excluidos de otro

concepto por la presencia de la negacin antes del verbo o en los
cuantificadores Ningn, Ninguna, nada, etc. Por ejemplo: El carbono no es un
metal noble: El concepto carbono queda totalmente excluido del concepto
metales nobles por la presencia de la negacin antes del verbo ser. O en
Ningn sabio es ignorante, la negacin universal presente en el cuantificador
(ningn) excluye totalmente el concepto sabio del concepto ignorante.

Interseccin: Una parte de los seres que abarcan un concepto se

incluyen en otro concepto. Esto aplica para el caso de las proposiciones
particulares afirmativas: Algunos motores son de corriente alterna, aqu
algunos motores entran en los seres que abarcan el concepto corriente alterna.
Otras relaciones entre las proposiciones:
Coherencia: Es la ausencia de contradiccin en un argumento lgico. Un
ejemplo sera la teora de la relatividad que no entra en contradiccin con la
teora de la evolucin.
Contradiccin: significa la afirmacin y la negacin simultnea de un mismo
objeto o de una misma propiedad. Por ejemplo: La casa es negra y blanca a la
vez; la puerta es verde y no es verde; Mendoza es el presidente de Chile y
Chile no tiene presidente.

Implicacin: Se forma a partir de dos proposiciones simples en donde una

condiciona o implica a la segunda. Se utiliza la forma Si entonces Por
ejemplo: Si los precios del petrleo suben, entonces habr devaluacin
econmica.

Las proposiciones segn su intencin:

Proposicin de hecho: Es aquella que afirma o niega un dato real capaz de ser
verificado en la experiencia: La educacin es un derecho de todos los nacidos
en un pas democrtico; Pascal invent la calculadora; Los desiertos tienen
bajas temperaturas por las noches. Estos juicios expresan informacin.
Proposicin de valor: Es aquella en la que intervienen ponderaciones
estimativas dentro de una escala de valores determinada: Es bueno trabajar en
equipo; La solidaridad es deseable en los individuos; Pel es el mejor jugador
de ftbol de la historia. Estos juicios expresan opinin.
Proposicin de poltica: Es aquella que expresa mandatos, reglas u
obligaciones: Hay que obedecer las seales de trnsito; Todos los mayores de
18 aos deben votar en las elecciones; Prohibido fumar en esta rea. Estos
juicios pretenden persuadir.
Argumentos lgicos
Un argumento lgico es una coleccin finita de afirmaciones (proposiciones)
dividida en premisas y conclusin. Las premisas y conclusin debe ser
susceptibles de recibir un valor de verdad. El argumento lgico puede ser
correcto o incorrecto.
Los argumentos involucran individuos (personas, objetos, cosas en general):
los hombres, Scrates, un taco, Superman, etc.
Los individuos tienen propiedades: ser mortal, ser mejor, etc.
Los argumentos se forman mediante proposiciones, clasificadas como
premisas y conclusin del argumento.
Una proposicin es una oracin que puede calificarse como verdadera o falsa.
Las proposiciones pueden ser compuestas.
Un argumento puede ser correcto (vlido) o incorrecto (invlido)
Un argumento nunca es verdadero ni falso
Al examinar argumentos lgicos, hay que tener en cuenta que un argumento
puede ser vlido sin que por ello su conclusin sea cierta. El razonamiento
puede ser formalmente correcto, pero si una de las premisas es invlida,
entonces la conclusin es irrelevante. Por ejemplo, el famoso Argumento
Cosmolgico:
1.Todo lo que comenz en un momento determinado tuvo una causa.
2.El Universo comenz en un momento determinado.

3.Por lo tanto, el Universo tuvo una causa.

Si bien el argumento es vlido, la conclusin no lo es, puesto que la premisa (2)

es falsa: el Universo no comenz en un momento determinado porque no haba
tiempo (dimensin temporal) en la cual pudiera haber momentos de comienzo.
Al haber aparecido el tiempo y el espacio como parte del Universo, el Universo
no tuvo comienzo en el tiempo. Esto no hace que la conclusin sea falsa, pero
s invalida el argumento que llev a deducirla.
Evidentemente, no todas las personas con las que uno conversa explicitan sus
argumentos con premisas y conclusiones prolijamente delineados y ordenados.
Se requiere un cierto entrenamiento didctico para "enfocar" los argumentos y
detectar sus partes.
Tipos de razonamiento:
Generalizacin: es un elemento fundacional de la lgica y el razonamiento
humano. Es la base esencial de toda inferencia deductiva vlida. El concepto
de generalizacin tiene amplia aplicacin en muchas disciplinas, a veces
teniendo un significado especializado segn el contexto.
Dados con conceptos relacionados, A y B, el concepto A es una generalizacin
del concepto B si y slo si:
cada instancia del concepto B es tambin una instancia del concepto A; y
existen instancias del concepto A que no son instancias del concepto B.
En forma equivalente, A es una generalizacin de B si B es una especializacin
de A.
Por ejemplo, animal es una generalizacin de ave porque toda ave es un
animal, y hay animales que no son aves (perros, por ejemplo).
Causa Efecto: Causa es el fundamento u origen de algo. Es correlativo al
efecto: A es causa de B. Cuando uno ocurre el otro se sigue necesariamente, o
sea, que se tiene una condicin suficiente. Aplica en los casos de
condicionalidad: Si llueve, entonces la tierra se moja. Existen reglas definidas
para que la relacin causa efecto en lgica se lleve a cabo de manera
correcta, sin caer en falacias.
Comparacin: Es confronta una cosa con otra extraa, para poner de relieve
las relaciones de conveniencia o desconveniencia entre ellas. La comparacin
lgica es aplicable entre expresiones. Ejemplo: Todo pez vive en el agua es
equivalente con Si es pez entonces vive en el agua, por comparacin.


Definicin: es una proposicin que trata de exponer con claridad y
exactitud las caractersticas especficas y diferenciadoras de algo material o
inmaterial. Segn Aristteles, una definicin se forma con la frmula: Especie =
gnero + diferencia especfica. As, Cama es un mueble que sirve para
acostarse, Cama es la especie, mueble es el gnero y sirve para acostarse es la
diferencia especfica de ese objeto en relacin con otros muebles.
Signo: El signo lgico es utilizado para sustituir los elementos de las
proposiciones y as poder establecer la verdad o falsedad de las mismas dentro
de los argumentos. Los bsicos son conjuncin (), disyuncin (^), implicacin
(->), doble implicacin (<=>), congruencia (), negacin (~), entre otr