Вы находитесь на странице: 1из 12

APUNTES. SEMANA 1.

Desarrollo de habilidades del pensamiento


Tema 1. Introduccin a las aseveraciones
Aseveraciones
Pensar con efectividad sugiere el uso cuidadoso y acertado del razonamiento, en
particular requiere comprender no slo lo que se dice en una aseveracin, sino lo
que sta implica y cmo se relaciona con otras aseveraciones.
oncepto de aseveraciones
Una aseveracin es un enunciado mediante el cual se establece una relacin
entre dos conceptos.
Toda aseveracin tiene:
Dos palabras que se repiten y dos espacios que se llenan con pares de
palabras que son variables.
Un cuantificador, un verbo y dos conceptos.
aracter!sticas de las aseveraciones"
Si#ni$icado"
Todas se refieren a clases de elementos.
firman algo acerca de los elementos de una clase.
Todas e!presan una relacin entre dos conceptos.
"os conceptos se denominan su#eto y predicado.
"as aseveraciones cambia de significado cuando se cambia el par $, %&, o
sea cuando se llenan los espacios con diferentes pares de palabras.
'e pueden encontrar muc(os pares de palabras que sirven para llenar los
espacios y en consecuencias, para cambiar el significado de una
aseveracin.
%ormas"
"a forma no cambia.
'iempre e!isten dos espacios y una relacin entre stos.
Aseveraciones &'erdaderas ( $alsas)
)l valor de la verdad de una aseveracin depende de los conceptos utilizados.
uanti$icadores
"as palabras comunes que se colocan al inicio de las aseveraciones se llaman
cuantificadores.
Palabras comunes * cuanti$icadores" Todos, ninguno, alg*n, no todos.
"os cuantificadores permiten concretar el significado de las aseveraciones.
Tema 1.+. Aseveraciones universales ( particulares
,os cuanti$icadores ( las aseveraciones
"os cuantificadores +todos- y .nin#/n- originan aseveraciones que se cumplen
para todos y cada uno de los elementos del con#unto, y .al#unos- y .no todos-
se refieren a ciertos elementos de la clase , del con#unto.
"os cuantificadores permiten:
Precisar el significado de las aseveraciones.
Precisar el lengua#e.
'er m-s concretos en nuestros planteamientos.
Pensar con m-s claridad.
lasi$icacin de aseveraciones"
Aseveraciones universales
"as aseveraciones positivas, usualmente (acen uso de la palabra .Todos-0 y
cuando resulta negativa emplea la palabra .Nin#uno-.
Aseveraciones particulares
"as aseveraciones positivas, usualmente (acen uso de la palabra .Al#unos-0 y
cuando resulta negativa emplea la palabra .No todos-.
Tema 1.+.+ 'eracidad ( $alsedad de las aseveraciones
Aseveraciones universales positivas"
Para demostrar la veracidad de aseveracin universal positiva se necesita
observar todos los casos para verificar si en verdad cada uno tiene la
caracter.stica mencionada en la aseveracin.
Para demostrar la falsedad se debe encontrar un elemento que no tiene la
caracter.stica.
Aseveraciones universales ne#ativas"
Para demostrar la veracidad de una aseveracin universal negativa se necesita
observar todos los casos para verificar que ninguno de los casos observados tiene
la caracter.stica que se menciona en la aseveracin.
Para demostrar la falsedad se debe encontrar al menos un contrae#emplo que
permita probar que la aseveracin es falsa.
Aseveraciones particulares positivas"
Para demostrar la veracidad de una aseveracin particular positiva se debe
encontrar al menos un caso con la caracter.stica mencionada en la aseveracin.
Para demostrar la falsedad se debe demostrar que no (ay ning*n elemento con la
caracter.stica mencionada en la aseveracin.
Aseveraciones particulares ne#ativas"
Para demostrar la veracidad de una aseveracin particular negativa se debe
probar que al menos (ay un elemento que no tiene la caracter.stica que se
menciona en la aseveracin.
Para demostrar la falsedad se debe probar que cada elemento tiene la
caracter.stica mencionada en la aseveracin.
onclusiones
)s m-s f-cil demostrar la falsedad de una aseveracin universal que su veracidad.
)s m-s f-cil demostrar la veracidad de una aseveracin particular que su
falsedad.
Tema 1.1. 2epresentacin de aseveraciones mediante dia#ramas
Uso de los dia#ramas para representar aseveraciones
Para #ustificar el significado de una aseveracin es conveniente utilizar diagramas,
los cuales, adem-s de (acer visibles las relaciones que conforman las
aseveraciones, sirven para demostrar algunas de sus propiedades. Por lo tanto, el
desarrollo de (abilidades para construir representaciones diagram-ticos ayuda a
razonar con m-s eficacia y a pensar con m-s propiedad acerca de las ideas que
se desean comunicar.
2elaciones entre los conceptos de una aseveracin
2elacin de inclusin"
Todos los elementos de una clase est-n contenidos en otra clase m-s general.
2elacin de e3clusin"
"as clases son mutuamente e!cluyentes. 'i un elemento pertenece a una clase no
puede pertenecer al mismo tiempo a otra.
2elacin de interseccin"
lgunos elementos de una clase pertenecen al mismo tiempo a otra clase.
Tema 1.4 Inversin ( re$ormulacin de aseveraciones
"as aseveraciones universales se aplican a todos los miembros de la clase a la
que se refieren. 'in embargo, la inversin de las aseveraciones de la forma .Toda
A es 5- no siempre genera aseveraciones verdaderas, mientras que las
aseveraciones de la forma .Nin#una A es 5- aceptan la reversibilidad, es decir
conservan su valor de verdad cuando se invierten.
/uc(os errores en el razonamiento cotidiano se deben a confusiones al invertir las
aseveraciones que comienzan con .todo-. )ste error nos conduce a formular
generalizaciones falsas o conclusiones que estn equivocadas, falacias muy
comunes. De aqu. la importancia de conocer las limitaciones de ciertos tipos de
aseveraciones.
"a regla de la inversin de las aseveraciones que comienzan con .todo- es
general, la *nica e!cepcin ocurre con las aseveraciones que se refieren a dos
clases idnticas. Por e#emplo, la aseveracin .Todos los seres humanos son
seres racionales- tambin es verdadera cuando se invierte, .Todos los seres
racionales son seres humanos-0 porque ambas clases coinciden.
"as aseveraciones universales negativas no tienen este problema porque siempre
que la aseveracin original es verdadera la invertida tambin lo es. "as
confusiones que se presentan al invertir estas aseveraciones se deben m-s bi0n a
errores de razonamiento y no a falta de generalidad de las reglas. Por ello se
destaca el (ec(o y se analizan algunas fuentes de error que conducen a tales
situaciones, adem-s se presenta la reformulacin como una estrategia que ayuda
a clarificar el significado de una aseveracin antes de utilizarla.
onclusiones
)l (ec(o de saber que .Toda A es 5- es una aseveracin verdadera, no permite
llegar a la conclusin de que la aseveracin .Toda 5 es A- sea verdadera1
mientras que si sabemos que la aseveracin .Nin#una A es 5- es verdadera,
podemos afirmar que la aseveracin .Nin#una 5 es A- tambin es verdadera.
1.6 2elaciones entre aseveraciones
"as tres relaciones entre aseveraciones m-s importantes para el razonamiento
son las de contradiccin, implicacin y co(erencia. "a contradiccin es una
relaci,n entre dos aseveraciones en la cual se cumple que s2 una aseveracin es
verdadera, la otra debe ser falsa1 la relaci,n es de implicacin cuando la veracidad
de una de las aseveraciones determina la veracidad de la otra y por *ltimo, si dos
aseveraciones no se contradicen, se afirma que son co(erentes entre s2 y en este
caso la veracidad , falsedad de una de dic(as aseveraciones no permite decir
nada acerca de la veracidad , falsedad de la otra.
"a contradiccin y la co(erencia son relaciones simtricas, es decir se cumplen en
ambos sentidos: si la aseveracin 3 contradice a la 4, la aseveracin 4 contradice
a la 3 y si la aseveracin 3 es co(erente con la 4, la de implicacin es asimtrica ,
de un slo sentido: si la aseveracin 3 implica la 4, la aseveracin 4 no
necesariamente implica a la 3. )s esencial comprender estas relaciones para el
razonamiento.
2elaciones de contradiccin
De$inicin
)ntre dos aseveraciones e!iste una relacin de contradiccin cuando se refieren a
los mismos conceptos y por sus formas no pueden ser verdaderas a la vez.
E7emplos"
5. Nin#/n perro es gato
6. Al#unos perros son gatos
lgunos criterios para identificar dos aseveraciones que cumplen la relacin de
contradiccin:
mbas aseveraciones tienen formas cuyos significados se contradicen.
mbas aseveraciones se refieren a los mismos conceptos.
2elaciones de implicacin
De$inicin
)ntre dos aseveraciones e!iste una relacin de implicacin cuando la veracidad
de una de las aseveraciones se deriva de la otra o est- determinada por sta.
E7emplos"
7. Todas las carnes son ricas en
prote.nas.
"as carnes blancas son ricas en
Diagrama
Perros Gatos
Diagrama
Perros Gatos
Alimentos ricos
en protenas
Carnes
Carnes
blancas
prote.nas.
8. Nin#/n mam.fero es pez.
9ing*n gato es pez
:riterios para identificar dos aseveraciones que cumplen la relaci,n de
implicacin:
Una aseveracin determina a la otra.
'i la aseveracin m-s general es verdadera la otra tiene que ser verdadera.
2elaciones de coherencia
De$inicin
)ntre dos aseveraciones e!iste una relacin de co(erencia cuando el (ec(o de
saber que una de las aseveraciones es falsa , verdadera no dice nada acerca de
la falsedad , veracidad de la otra.
E7emplos"
;. Al#unos libros son de arte.
<. Al#unos libros son de ingls.
Mamferos
Gato
Pez
Diagrama
Libros Libros
de
arte
Diagrama
Libros
Libros
de
ingls
:riterio para identificar dos aseveraciones que cumplen la relacin de co(erencia:
)ntre las dos aseveraciones no debe e!istir relacin en contradiccin ni de
implicacin.
2elaciones entre aseveraciones
a) Tipos de relacin entre aseveraciones"
'im0trica: $'e cumplen en ambos sentidos&
sim0trica: $'e cumple slo en un sentido&
b) 2elaciones entre aseveraciones
:ontradicci,n: $'im0trica&
=mplicaci,n: $sim0trica&
:o(erencia: $'im0trica&
ontradiccin ( contrae7emplos
"os contrae#emplos permiten demostrar la veracidad , falsedad de las
aseveraciones universales.
Por e#emplo, para demostrar la falsedad de una aseveracin que comienza por
+todos> se trata de encontrar un contrae#emplo que sea verdadero.
:uando se utiliza un contrae#emplo para demostrar la falsedad de una aseveracin
universal se prueba la veracidad de una aseveracin particular que contradice a la
aseveracin universal.
Por e#emplo, para probar la falsedad de la aseveracin +Todos los loros son aves>,
basta probar la veracidad de una de las dos aseveraciones.
Al#unos loros son aves.
$severacin universal positiva& )stado inicial
No todos los loros son aves.
$severacin con reformulacin usando +son>& )stado final