Apndice: Conceptos fundamentales de Lgica.
A. Conceptos fundamentales de lgica. Lgica: La lgica es la ciencia formal que estudia la validez o correccin formal de los razonamientos. Razonamiento: Un razonamiento es un segmento lingstico que posee dos elementos bien diferenciados: las premisas y la conclusin. Premisas: Son las proposiciones en las que se apoya la conclusin. Proposicin: Una proposicin es un enunciado simple que afirma o niega algo y que puede ser verdadero o falso. Conclusin: La conclusin es la proposicin que se afirma y se apoya lgicamente en las premisas o se sigue lgicamente de ellas. Validez o correccin: Los razonamientos pueden ser vlidos o correctos o invlidos o incorrectos, pero no pueden ser verdaderos o falsos. La verdad o la falsedad slo se dice de las proposiciones. Pues bien, un razonamiento es correcto cuando se apoya suficientemente en las premisas o se sigue lgicamente de ellas. Tambin se dice que la validez de un razonamiento depende de su forma lgica, de su estructura. De forma que los razonamientos que tienen la misma forma lgica son todos correctos. B. Elementos de lgica proposicional. La lgica proposicional es la lgica ms bsica o elemental. Con ella, podemos analizar la validez de los razonamientos ms sencillos. Constituye un lenguaje formal que posee los siguientes elementos: a) Variables proposionales: Equivalen a una proposicin y se transcriben con las siguientes consonantes: p, q, r, s, t, m, n, etc. b) Constantes u operadores: Equivalen a los operadores matemticos en el sentido que transforman las proposiciones y permiten enlazarlas. Los ms importantes son los siguientes: Negador: Se lee No y es el nico monoargumental. Se escribe como un signo delante de la proposicin de forma que la convierte en su contraria. Por ejemplo: Si transcribimos El cielo est azul como p, El cielo no est azul, ser lgicamente p. Conjuntor: Se lee y. Se transcribe como una v invertida (nosotros utilizaremos aqu como equivalente el signo &). Por ejemplo, Elena y Jaime van al cine, se transcribira como p & p. Disyuntor: Equivale a la o y se lee as o. Se suele distinguir entre disyuncin inclusiva (que permite la verdad de las dos proposiciones y se transcribe como v y disyuncin exclusiva, que impide que las dos proposiciones sean verdaderas y, entonces, se transcribe como w. Por ejemplo, Juan lee o escuchas msica se escribira p v q, porque se trata de una disyuncin inclusiva y Juan puede perfectamente leer, escuchar msica o hacer ambas cosas a la vez; pero si decimos Est vivo o muerto, la disyuncin es exclusiva porque no puede estar vivo o muerto a la vez y, entonces, tendramos que transcribir: p w q. Implicador: Es uno de los operadores ms importantes. Equivale a la expresin Si entonces, se transcribe como y se lee implica o si entonces. Por ejemplo, Si estudio lo suficiente, apruebo, se transcribira como p q. Coimplicador: Se lee equivale y traduce las expresin Si y solo si entonces. Se transcribe como , porque en realidad equivales a un doble implicador. Por ejemplo Slo si apruebas las PAU podrs acceder a la Universidad, se transcribira como p q. c) Smbolos auxiliares. Permiten agrupar expresiones y facilitan su lectura C. Principios elementales de la lgica clsica. Los principales principios de la lgica clsica son los siguientes: a) Principio de identidad: Cualquier cosa es idntica a s misma: p p.
b) Principio de no contradiccin: Nada puede ser verdadero y falso al mismo tiempo. Es decir, es imposible o no puede ser que algo sea verdad y no verdad, que en lgica proposicional sera: -(p & -p) c) Principio de tercero excluido. Las proposiciones son verdaderas o falsas, no pueden tener un tercer valor. En lgica proposicional sera: p w p. D. Tipos de razonamiento correcto y algunas falacias. Existen tres formas de razonamiento correctas bsicas que son tan elementales que todos parece que las utilizamos sin que nos las hayan enseado. Son las siguientes. MODUS PONENS pq p q [(p q) & p] q Ejemplo: Si llueve, me mojo. Y llueve. Entonces, me mojo.
MODUS TOLLENS pq -q -p [(p q) & -q] -p Ejemplo: Si llueve, me mojo. Y no llueve. Entonces, no me mojo.
SILOGISMO DISYUNTIVO pvq ps qs s Ejemplo: Juan viene en tren o en bus. Si viene en tren, llega a las 5. Si viene en bus, llega a las 5. Entonces, llega a las 5.
[(p v q) & (p s) & (q s)] s
Sin embargo, frente a estas formas de razonamiento correcto, existen otras muy semejantes a los dos primeros que siendo formas de razonamiento incorrectas, pueden confundirse fcilmente y reciben por eso el nombre de falacias. Son la Falacia de la afirmacin del consecuente y la Falacia de la negacin del consecuente.
RAZONAMIENTO CORRECTO MODUS PONENS pq p q pq q p
RAZONAMIENTO INCORRECTO O FALACIA FALACIA DE AFIRMACIN DEL CONSECUENTE Ejemplo: Si llueve, me mojo. y me mojo Luego, llueve. No es un razonamiento correcto, porque no se cumple en todos los casos, ya que puedes mojarte sin que llueva. FALACIA DE LA NEGACIN DEL ANTECEDENTE pq -p -q Ejemplo: Si llueve, me mojo. y no llueve Luego, no me mojo. No es un razonamiento correcto, porque no se cumple en todos los casos, ya que puede que no llueva y te mojes (en la ducha, p. e)
MODUS TOLLENS pq -q -p
E. Clasificacin de los razonamientos. Los razonamientos podemos clasificarlos de acuerdo con dos grandes criterios: Por la forma de alcanzar la conclusin y por la extensin de las premisas y la conclusin. Segn el primer criterio, los razonamientos pueden ser: Directos: Son aquellos que la conclusin se obtiene directamente de las premisas. Indirectos: En estos, sin embargo, la conclusin no se obtiene directamente, sino que se realiza un rodeo. Consiste en aadir a las premisas, es decir, suponer que es falso lo que pretende demostrarse, de esta forma se obtendr un contradiccin, lo que significa que la conclusin que pretendamos demostrar es correcta. Este tipo de razonamiento o demostracin tambin se llama por reduccin al absurdo. Segn el segundo criterio, que atiende a la extensin de las proposiciones, los razonamientos pueden ser deductivos o inductivos. La extensin de las proposiciones indica la cantidad de individuos a los que se aplica el predicado. En este sentido, no es lo mismo decir que Al menos uno ha aprobado, que decir Algunos han aprobado, que Todos han aprobado. Las proposiciones que se refieren a un solo individuo o a algunos son singulares o particulares, las que se refieren a todos son universales o generales. Segn esta nueva informacin, la clasificacin sera as Los razonamientos deductivos: son aquellos en los que las premisas son universales y la conclusin es particular o menos general que las premisas. En este sentido, la conclusin no hace otra cosa que explicitar, es decir, decir ms claramente lo que ya se afirmaba como verdadero en las premisas. Por eso, decimos que son explicativos y que son totalmente seguros. Los razonamientos inductivos: son justo lo contrario. Las premisas son particulares y la conclusin es general o universal. Por eso, son ampliativos, es decir, la conclusin va ms all de lo que autorizan las premisas y, en este sentido, no son totalmente seguros.
