Deduccin e Induccin

Un tema que desarrollamos en la segunda unidad del curso de lgica

matemtica, es el de la introduccin al estudio de la manera como los seres
humanos elaboramos los diferentes razonamientos lgicos.
Esta unidad constituye la puerta de entrada a este nuevo mundo de la
evaluacin de los razonamientos lgicos mediante el anlisis de los diferentes
tipos de proposiciones que pueden darse, es decir, las proposiciones que ya
aprendimos a reconocer en la primera unidad, las que, a su vez, tambin
pueden ser clasificadas, ya no como compuestas o simples, pero si mediante
clasificaciones importantes que nos ayudan en la construccin de enunciados
cientficos y en el seguimiento a la validez de los diferentes razonamientos
lgicos.
Por ejemplo, a continuacin encontrars dos proposiciones lgicas, ambas
proposiciones que aprendimos a reconocer y clasificar:
Algunos estudiantes de psicologa matricularon el curso de lgica
Todos los estudiantes de psicologa matricularon competencias
Estas proposiciones categricas que clasificamos como particular afirmativa y
universal afirmativa son las herramientas que permitirn construir los
razonamientos lgicos.

Tambin constituyen los criterios para determinar si un enunciado es o no un
enunciado cientfico


Fomas de razonar

En la segunda unidad estudiaremos los temas de deduccin e induccin.
Ambas formas de los razonamientos lgicos.
Aprendamos a identificar estos conceptos mediante un ejemplo:
En el siguiente ejercicio encontrars que de una o varias afirmaciones se llega
a una conclusin. Analiza las diferencias existentes entre las dos formas de
razonamiento que a continuacin se presentan:
Primera forma de razonamiento:
Todos los padres Jvenes son ms tolerantes con sus hijos que los
padres mayores; Juan es un padre joven, luego es ms tolerante con su
hijo Daniel, que Diego con su hijo Juan
Segunda forma de razonamiento:
Juan es un padre joven y es tolerante con su hijo Daniel, Camilo es un
padre joven y es tolerante con su hija Marisol, Mateo es un padre joven y
es tolerante con su hijo Diego, de donde, podemos concluir que Todos
los padres Jvenes son tolerantes con sus hijos.
Logras ver la diferencia entre los dos razonamientos? Observa que en el
primer caso se parte de una ley o afirmacin general para posteriormente
concluir sobre los casos particulares, en este caso hablamos de un
razonamiento deductivo, mientras que en la segunda forma de razonamiento
partimos de casos partic ulares para llegar a concluir una ley general. En este
caso decimos que el razonamiento es inductivo.
La segunda forma de razonar la identificamos normalmente con el mtodo
cientfico, no obstante, en la prctica encontrars que ambas formas de razonar
hacen parte del diario quehacer en el desarrollo de un proyecto de
investigacin.
Antes de dar inicio a la pregunta, toma dos minutos, para realizar el siguiente
ejercicio:

Inicia por identificar cada una de las proposiciones simples presentes en cada
uno de los ejemplos de las formas dos formas de razonamiento que se han
planteado. Posteriormente plantea dos ejemplos anlogos a cada forma de
razonamiento.

Ahora ests listo para iniciar la pregunta... XITOS.

El razonamiento deductivo
Los razonamientos deductivos no slo se aplican en el mbito acadmico,
tienen su aplicacin en todas las reas del conocimiento y los aplicamos en
nuestra vida cotidiana.

Aprendimos que un razonamiento parte de una ley para establecer
conclusiones para un caso particular. Decimos entonces que un razonamiento
deductivo va de lo general a lo particular. De all que usemos una palabra que
se deriva del verbo deducir (del latn deducre), sacar conclusiones de una
proposicin o supuesto.

Lo contrario ocurre con el razonamiento inductivo, del cual aprendimos que va
de lo particular a lo general.

Profundicemos en el razonamiento deductivo:

De lo expuesto hasta ahora, podemos concluir que el razonamiento deductivo
toma una proposicin general y deduce conclusiones particulares.

En este sentido, decimos que el mtodo deductivo de razonar considera que la
conclusin se deriva de otras proposiciones. Estas proposiciones de las cuales
se deriva un razonamiento son conocidas como premisas, es decir, que la
conclusin est implcita en las premisas, o lo que es lo mismo: la conclusin
se sigue necesariamente de las premisas.

Una forma de representar esta relacin entre las premisas y su conclusin es la
siguiente:
premisa 1
premisa 2
___________
Conclusin

En otras palabras, si aceptamos que un razonamiento es vlido, si se dan las
premisas, se tiene que dar la conclusin.

Esto es equivalente a afirmar que si las premisas son verdaderas, la conclusin
ha de ser verdadera.

As, cuando de un razonamiento lgico se trata, una premisa es cada una de
las proposiciones anteriores a la conclusin de un argumento, en este sentido,
lo que hace a una premisa es su lugar en el argumento.

Consideremos el siguiente argumento:
Todos los programas de la UNAD tienen el curso de lgica
Psicologa es un programa de la UNAD
Por lo tanto, en el programa de psicologa de la Unad se
estudia el curso de lgica
Por ser proposiciones, las premisas siempre afirman o niegan algo y por lo
tanto, pueden ser verdaderas o falsas; pero al valorar la validez de un
razonamiento una premisa se plantea como una afirmacin o idea que se da
como cierta y que sirve de base a un razonamiento.

El silogismo
El silogismo
Silogismo es un argumento en el cual,
establecidas ciertas cosas, resulta
necesariamente de ellas, por ser lo que son
Aristteles An. Pr. I 24 b 18-23

En esta oportunidad introducimos el concepto de silogismo, palabra,acuada
por el propio Aristteles en su obra recopilada como el Organon. El silogismo
corresponde a una forma de razonamiento deductivo que consta de dos
proposiciones que actan como premisas y otra que acta como conclusin, la
cual es necesariamente deducida de las otras dos.
Para Leibniz, la teora del silogismo categrico es uno de los ms hermosos
descubrimientos del espritu humano, hoy, el silogismo se ha sistematizado en
el estudio de la lgica matemtica.
Aunque la lgica Aristotlica ha pasado a ser interpretada mediante un
lenguaje simblico en la lgica matemtica, particularmente en la lgica de
clases, en esencia, la Lgica matemtica, corresponde a la lgica de
Aristteles, slo que usando la notacin algebraica.
Es por esta razn que es importante apropiar el concepto de silogismo
Aristotlico que ha dado origen a la evolucin de la lgica matemtica y
analizar aqu su estructura.
Conviene aclarar, que en la lgica Aristotlica se habla de Juicios en lugar de
proposiciones, los juicios aristotlicos implican una funcin lingstica (de
significado, semntica) y una funcin lgica (formal, sintctica), en su lugar,
una proposicin slo implica una funcin lgica.
En la primera unidad, aprendimos a identificar las proposiciones categricas
aristotlicas en sus cuatro formas:
Universal afirmativa
Universal negativa
Particular afirmativa
Particular negativa

Identificando a S como sujeto y a P como predicado, estas formas de
proposicin categrica corresponden a:
Todo S es P
Ningn S es P
Algunos S son P
Algunos S no son P
Las proposiciones categricas estudiadas, permiten formar lo que
denominamos un "silogismo categrico", el cual est compuesto precisamente
de tres proposiciones categricas:
Dos premisas y una conclusin
Todo silogismo est formado entonces por tres partes: una premisa mayor, una
premisa menor y unaconclusin; a su vez, estas proposiciones involucran tres
conceptos distintos, debiendo tener un trmino medio comn a los otrosdos
conceptos:
Premisa mayor, en ella se encuentra el trmino mayor, que es el predicado
de la conclusin, y se representa por la letra P.
Premisa menor, en ella se encuentra el trmino menor, que es el sujeto de la
conclusin, y se representa con la letra S.
Entre ambas premisas se realiza la comparacin entre los trminos S y P con
respecto al trmino Medio, que se representa como M.
La conclusin:En ella se establece la relacin entre el trmino Sujeto S, y el
trmino Predicado P.
De all que se afirme que la lgica trata de establecer las leyes que garantizan
que, de la verdad de dos premisas comparadas, se pueda obtener con garanta
de verdad una conclusin verdadera.


Modos posibles:
Teniendo en cuanta que cada trmino del silogismo puede tomar una de cuatro
estructuras(Todo S es P, Ningn S es P, Algunos S son P y Algunos S no son
P), la cual tomar parte en la construccin de las premisas y de la conclusin
de un silogismo; resultan los modos son las distintas combinaciones que se
pueden hacer con los juicios que entran a formar parte de las premisas y la
conclusin.
Dando lugar a variaciones de 4 en grupos de 3, en las que importa el orden, es
decir de 4^3 para un total de 64 modos posibles.
Esta cantidad de modos se ve reducida al plantear las leyes para su correcta
definicin como: el trmino medio no puede estar en la conclusin, de dos
premisas afirmativas no puede sacarse una conclusin negativa, de dos
premisas negativas no puede obtenerse conclusin alguna, de dos premisas
particulares no se saca conclusin, entre otras leyes que reducen el grupo de
64 modos a 19 modos correctos del silogismo. Estos modos normalmente se
memorizaban con estrategias nemotcnicas como canciones.

Razonamientos inductivos

A diferencia de los razonamientos deductivos, el razonamiento inductivo es un
mtodo cientfico que obtiene conclusiones generales a partir de premisas
particulares.

En esta forma de razonamiento se generaliza para todos los elementos de un
conjunto la propiedad observada en un nmero de casos.

No obstante, sin importar la cantidad de casos observados, siempre puede
darse una excepcin, esto hace que la verdad de las premisas no conviertan en
verdadera la conclusin. De all que de la conclusin de un razonamiento
inductivo, slo podamos decir que es probable.

Una forma de razonamiento inductivo es el razonamiento inductivo por analoga

En el razonamiento por analoga, de la observacin de varias caractersticas
comunes en dos hechos, se llega a la afirmacin de otra caracterstica comn
en uno de los hechos, una vez que se ha confirmado la presencia de esta
caracterstica en uno de ellos.

Por ejemplo:
Al descubrir un nuevo planeta X con las caractersticas comunes con la tierra
de tener agua en forma lquida, tener atmsfera rica en oxgeno y un ncleo
activo. Es probable que la caracterstica de la tierra "tener vida" se cumpla
tambin en este.