SILOGISMOS HIPOTETICOS Y DISYUNTIVOS

SILOGISMOS HIPOTTICOS. El silogismo hipottico se caracteriza por estar formado por juicios hipotticos. La estructura formal del silogismo hipottico es la siguiente: Si A es, B es Si B es, C es Luego, si A es, C es.

SILOGISMO HIPOTTICO MIXTO. Se llama hipottico mixto al silogismo que est formado por una premisa mayor hipottica, una premisa menor categrica y una conclusin tambin categrica. Tiene dos modos principales: modus ponens (afirmativo) y modus tollens (negativo). La estructura formal del modus ponens es la siguiente: Si A es, B es Ahora bien, A es Luego, B es. La estructura formal del modus tollens es la siguiente: Si A es, B es Ahora bien, B no es Luego, A no es.

SILOGISMO DISYUNTIVO. El silogismo disyuntivo es similar al hipottico mixto, pues su premisa mayor es disyuntiva mientras que la menor y la conclusin son categricas. Admite tambin dos modos: modus ponendo tollens (afirmativo negativo) y modus tollendo ponens (negativo afirmativo). La estructura formal del modus ponendo tollens es la siguiente: A es B o C Ahora bien, es B Luego, no es C La estructura formal del modus tollendo ponens es la siguiente:

A es B o C Ahora bien, no es B Luego, B es o C es.

SILOGISMO HIPOTTICO DISYUNTIVO. Si la premisa mayor es a la vez hipottica y disyuntiva, tenemos el silogismo hipottico disyuntivo. Este silogismo tiene dos modos: modus ponens (afirmativo) y modus tollens (negativo). La estructura formal del modus ponens es la siguiente: Si A es, B es o C es Es as que A es Luego, A no es Este ltimo razonamiento se llama tambin razonamiento lemtico (lemma = supuesto), de donde se llama tambin dilema cuando tiene dos miembros disyuntivos; tambin puede ser trilema o, en general, polilema. Dice Essen que este tipo de razonamiento sirve para rebatir una afirmacin mostrando lo que se afirma implcitamente y necesariamente y negando luego ambos miembros de la disyuncin, por lo cual la afirmacin queda negada.

REFUTACIN DE DILEMAS. Copi presenta tres modos de refutar un dilema: a) Escapando entre los cuernos (entendemos por cuernos de un dilema los miembros de la disyuncin) que consiste en plantear otra alternativa ms que las presentadas en el razonamiento lemtico. b) tomando el dilema por los cuernos, es decir, mostrando que la consecuencia de uno o de ambos juicios hipotticos es incorrecta. c) Construyendo un contradilema, que consiste en llegar a una conclusin opuesta a la propuesta pero con los mismos elementos, para mostrar la inconsistencia del razonamiento (no siempre es necesario que esas conclusiones sean incompatibles entre si).

LOGICA MATEMTICA. GENERALIDADES

QUE PRETENDE LA LOGICA MATEMTICA. La lgica matemtica es el intento de dar una forma universal al pensamiento, expresndolo por un sistema unvoco de signos (estos quiere decir, un sistema en el que cada signo tenga un solo significado en un mismo contexto), con un sistema de relaciones entre esos signos comparable al clculo matemtico, para alcanzar as todas las verdades. La lgica matemtica pretende hacer que todas las relaciones reales se vuelvan formales; pretende reducirlas a una expresin matemtica que pueda ser calculada como en las matemticas. Por esa razn es que se le llama tambin lgebra de la lgica. OBJETO DE LA LOGICA MATEMTICA. Al estudiar la lgica clsica, hemos constatado el hecho de que la relacin fundamental que se estudia es la del verbo ser. Eso es as porque la lgica clsica es una lgica que parte del anlisis de las proposiciones en sus trminos componentes: considerar slo una relacin o reducir las dems relaciones a una sola simplifica el asunto y posibilita la construccin formal de la lgica clsica.

La lgica matemtica considera las proposiciones como formando una unidad de significado, como una proposicin ya constituida, por eso es que la lgica matemtica ha sido llamada tambin lgica de proposiciones no analizadas. Esto significa que el inters de la lgica matemtica recae en la proposicin integralmente considerada, lo cual no es obstculo para efectuar en algn nivel ciertos anlisis de las proposiciones. METODO DE LA LGICA MATEMTICA. Considera la lgica matemtica como punto de partida las relaciones de inclusin (producto lgico) y de exclusin (suma lgica). A partir de esas relaciones se puede establecer un sistema de simbolizacin como el del lgebra en el cual pueda expresarse toda proposicin del lenguaje y de la ciencia. Por ese medio pretenden analizar a un nivel metalgico (ms que lgico) todo tipo de razonamiento desde la forma cuantitativa de ese mismo razonamiento. PARTICULAS FACTICAS Y LOGICAS DEL LENGUAJE. Las partculas fcticas (del latn factum que quiere decir hecho) son aquellas partculas variables que pueden tener referencia a un objeto o acontecimiento. Las partculas lgicas son aquellas partculas que determinan a las partculas fcticas ya sea limitndolas (cuantificadores) o bien relacionndolas (funciones). PROPOSICIONES Y FUNCIONES. En el caso de la lgica matemtica de proposiciones no analizadas, los elementos del razonamiento lgico son de dos clases: a) Variables de proposicin, que representan el contenido fctico del lenguaje. b) Funciones de proposicin, que representan las operaciones lgicomatemticas que pueden realizarse entre las variables de proposicin.

VALOR DE VERDAD. Una proposicin simple puede ser verdadera o falsa, pero no verdadera y falsa a la vez. Las proposiciones complejas que estn compuestas de dos o ms proposiciones simples, pueden tener diversas posibilidades de verdad. Si es n el nmero de proposiciones simples que integran la proposicin compleja, el nmero de posibilidades de verdad de la proposicin compleja vendr indicado por 2n.

Cada una de las proposiciones simples puede simbolizarse por una letra minscula de la p en adelante, as: p, q, r, s, ..., p, q, ..., p, q, TABLA DE VERDAD. Si ordenamos las posibilidades de verdad de una proposicin, nos encontramos son su tabla de verdad. La tabla de verdad nos refleja grficamente las condiciones de verdad de una proposicin. Veamos algunos ejemplos:

p V F

p V V F F

q V F V F

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

La "lgica simblica" es un instrumento que sirve de ayuda al ejercicio inteligente sel sentido comn y a la prctica de la investigacin cientfica y la reflexin filosfica. Forma parte del bagaje cultural del hombre del siglo XX, y el radi se sus aplicaciones comprende esferas tan diversas del saber como lamatemtica, la lingstica, la informtica, las ciencias naturales y sociales, la jurisprudencia y la filosofa. Este libro es una introduccin a la lgica simblica para personas de formacin humanstica. Su objetivo es facilitar a lectores que carezca de base matemtica y cientfica, sin ayuda de profesor, un dominio de las tcnicas modernas de deduccin lgica, e introducir a los alumnos de humanidades en la compresin de las principales nociones tericas que sirven de fundamento a la metodologa de las ciencias educativas. A diferencia de la mayora de manuales y tratados de lgica simblica o matemtica, esta obra toma tambin en consideracin la lgica tradicional aristotlica; da cuenta completa, sin ceirse a uno solo, de la pluralidad de mtodos deductivos que enriquecen la lgica contempornea; incluye un tratamiento de la automatizacin de la lgica y de sus conexiones con la informtica, y explora sumariamente, a travs de su historia, las relaciones de la lfica con la filosofa y con la ciencia matemtica. Introduccin.. Lgica de enunciados (clculo de conectores).. Lgica de predicados (cuantificacional).. Axiomatizacin de la lgica.. Automatizacin de la lgica (las bases lgicas de la in formtica).. Anexo: breve historia de la lgica.

La lgica simbolica moderna es incomparablemente mas poderosa como herramienta de anlisis y deduccin a travs del desarrollo de un lenguaje tcnico propio . Los simbolos especiales de la lgica moderna nos permiten exhibir con mayor claridad las estructuras lgicas de argumentos cuya formulacin puede quedar oscura en el lenguaje ordinario . Es una tarea mas fcil la de dividir los argumentos en validos e invalidos cuando se les expresa con el lenguaje simbolico especial , pues en este no se dan los problemas perifricos de vaguedad , ambigedad , peculiaridades idiomticas , metforas y anfibologa