LOGICA FORMAL E INFOMAL Argumento: conjunto de afirmaciones o pruebas en apoyo de una conclusin.

. El argumento, histricamente hablando, forma parte de la retrica (el arte del lenguaje y de la persuasin) y de la lgica (ciencia que estudia los principios de demostracin e inferencia valida). Divisin bsica de la lgica: Lgica Formal: parte de la lgica que analiza a travs de sistemas formales (matemticos) o sistemas deductivos Lgica informal: parte de la lgica que analiza formas correctas o incorrectas del pensamiento y el lenguaje cotidiano ARGUMENTACION-LOGICA FORMAL Hoy en da, la argumentacin puede ser estudiada desde la lgica formal o desde la lgica informal. Desde la lgica formal: (lgica simblica), se pretende lograr una argumentacin basada en inferencias y consecuencias lgicas (relacin entre premisas y conclusiones provenientes de razonamientos deductivamente vlidos). Ej.: Aristteles, La escolstica Desde la lgica informal: la argumentacin se presenta en un lenguaje cotidiano, enfatizando la importancia del discurso (lengua y habla) por encima de la formalidad de las estructuras de pensamiento. Ej.: Toulmin, Perelman, van Eemeren ARGUMENTO LOGICA FORMAL Un argumento lgico, entendido como un conjunto de oraciones, tiene una forma lgica (validez y solidez) que elimina toda interferencia gramatical (como el gnero o las formas pasivas) y remplaza todas las expresiones especficas del contenido del argumento por variables esquematizadas. Ejemplos: (A-->B); Todo hombre es mortal Para la lgica, el argumento puede ser slido (vlido y con premisas verdaderas) o persuasivo. Por otro lado, un argumento no necesita ser slido o persuasivo para ser un argumento. ARGUMENTO DEDUCTIVO Razonamiento que implica el uso de una o ms premisas para llegar a una conclusin. Los argumentos deductivos preservan la verdad, es decir, si comienzan con premisas verdaderas, la conclusin ser verdadera. Todo argumento deductivo es evaluado con respecto a su validez (las premisas implican la conclusin, argumento deductivamente valido) y solidez (fundamentacin sobre la que se ordenan las ideas).

MODUS PONENS El modus ponens es la primera forma del silogismo deductivo que consiste en la afirmacin del antecedente (P). La funcin principal del modus ponens es eliminar el condicional (condicional material o implicacin material) del argumento, por ello tambin se le conoce como regla de la eliminacin (rule of detachment). La operacin contraria es el Modus tollens que implica la negacin del consecuente.

ELEMENTOS DEL SILOGISMO Trminos: cada proposicin est formada por tres trminos: Termino mayor: Predicado de la conclusin (P) Trmino menor: Sujeto de la conclusin (S) Trmino medio: Sirve de enlace comparativo. Aparece en las dos premisas, pero no pasa a la conclusin (M) Proposiciones: tres proposiciones. Las dos primeras se llaman premisas y la ltima se llama conclusin. Premisa Mayor (PM): contiene el trmino mayor (P) Premisa Menor (pm): contiene el trmino menor (s) Conclusin ( C ): expresa el juicio inferido o deducido de las premisas REGLAS SOBRE LOS TERMINOS El silogismo slo debe tener tres trminos: mayor, medio, menor Ningn trmino debe tener mayor extensin en la conclusin que en las premisas El trmino medio nunca debe aparecer en la conclusin El trmino medio debe ser por lo menos una vez universal en las premisas REGLAS SOBRE LAS PREMISAS De dos premisas afirmativas no se sigue ninguna conclusin negativa De dos premisas negativas no se sigue ninguna conclusin De dos premisas particulares no se sigue ninguna conclusin La conclusin siempre sigue la parte ms dbil o restringida: Si una premisa es negativa, la conclusin ser negativa Si una premisa es particular, la conclusin ser particular Si una premisa es particular negativa, la conclusin ser particular negativa

FIGURAS DEL SILOGISMO Figuras son las formas que reviste el silogismo segn la posicin que el trmino medio ocupe en las premisas. Hay cuatro figuras posibles, puesto que el

trmino medio puede ser: 1 sujeto de la mayor y predicado de la menor; 2 predicado de la mayor y de la menor; 3 sujeto de la mayor y de la menor; 4 predicado de la mayor y sujeto de la menor. 1er. Figura 2da. Figura 3ra. Figura 4ta. Figura

M ---- P S ---- M S ---- P

P ---- M S ---- M S ---- P

M ---- P M ---- S S ---- P

P ---- M M ---- S S ---- P

MODOS DEL SILOGISMO Modos son las configuraciones de cada figura, segn las proposiciones sean A, E, I, O; es decir, tomando en consideracin la cantidad y cualidad de las proposiciones. Las combinaciones posibles de estas 4 proposiciones en una figura de 3 proposiciones (43) son 64, que para las 4 figuras da un total de 256 posibilidades. Sin embargo, segn las reglas de la correcta deduccin, slo 19 casos son lcitos o aptos para concluir. Los lgicos medievales los denominaban con reglas mnemotcnicas: cada caso legtimo recibe un nombre cuyas tres vocales indican el tipo de proposicin de la premisa mayor, la menor y la conclusin. Por ejemplo, Ferio indica que partiendo de dos premisas E-I, se concluye O. Los modos que concluyen con correccin formal son: 1 figura: Barbara, Celarent, Darii, Ferio. 2 figura: Cesare, Camestres, Festino, Baroco. 3 figura: Darapti, Felapton, Disamis, Datisi, Bocardo, Ferison. 4 figura: Bamalip, Camenes, Dimatis, Fesapo, Fresison. A E I O Universal afirmativa Universal Negativa Particular afirmativa Particular negativa Toda contaminacin es nociva Ningn sistema poltico es perfecto Algn alimento est contaminado Alguna monarqua no es absolutista

LEYES DEL SLOGISMO La prueba de las leyes se realiza aplicando las reglas del silogismo.

a) Leyes de la primera figura: La premisa menor debe ser afirmativa y la mayor universal. b) Leyes de la segunda figura: Una premisa debe ser negativa y la mayor debe ser universal. c) Leyes de la tercera figura: La premisa menor debe ser afirmativa y la conclusin particular. d) Leyes de la cuarta figura: Cuando la premisa mayor es afirmativa, la menor debe ser universal; si la menor es afirmativa, la conclusin debe ser particular; si la conclusin es negativa, la mayor debe ser universal. EPIQUEREMA O SILOGISMO PROBATORIO Silogismo en el cual, al lado de las premisas, se aade la prueba correspondiente. A) Epiquerema simple: cuando se aade la prueba a una sola de las premisas Los poetas mexicanos son notables porque tienen obras universalmente reconocidas. Sor Juana Ins de la Cruz y don Juan Ruiz de Alarcn son poetas mexicanos. Por lo tanto, Sor Juana Ins de la Cruz y don Juan Ruiz de Alarcn son notables. A) Epiquerema doble: cuando se aade la prueba a cada una de las premisas Todo rgimen poltico que reprime la libertad de prensa es antidemocrtico porque la libertad de prensa es un derecho natural. Irn suprimi la libertad de prensa porque expidi una ley aboliendo la prensa que no sea del estado. Por lo tanto, el rgimen poltico de Irn es antidemocrtico. POLISILOGISMO O SILOGISMO EN SERIE Serie de silogismos unidos o enlazados de tal modo que la conclusin de uno sirve de premisa para el siguiente silogismo. A-B El mundo muestra orden y armona B-C Orden y armona slo pueden brotar de un fin A-C El mundo slo pudo hacer brotado de un fin C-D Un fin slo pudo proceder de una inteligencia. A-D El mundo slo pudo haber procedido de una inteligencia Regla: El polisilogismo debe sujetarse a las leyes figurales de cada uno de los silogismos componentes. El gato es un felino. Los felinos son animales de rapia. Luego, el gato es un animal de rapia. Los animales de rapia son carnvoros. Luego, el gato es carnvoro. Los carnvoros son mamferos. Luego, el gato es mamfero. SORITES O SILOGISMO CONCATENADO

 Silogismo formado por ms de tres proposiciones, dispuestos o enlazados de tal forma que el predicado de la primera pasa a ser sujeto de la segunda; el predicado de la segunda, de la tercera y as sucesivamente. La conclusin se compone del sujeto de la primera y del predicado de la ltima A-B; B-C; C-D; D-E; A-E A-B Todo cuerpo est en el espacio. B-C Lo que est en el espacio puede estar en otro lugar. C-D Lo que puede estar en otro lugar puede cambiar de sitio. D-E Lo que puede cambiar de sitio es mvil A-E Todo cuerpo es mvil