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

Formas 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 particulares 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 premisa ___________ Conclusin 1 2

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 rganon. 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 una conclusin; a su vez, estas proposiciones involucran tres conceptos distintos, debiendo tener un trmino medio comn a los otros dos 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.