P. 1
SILOGISMOS HIPOTETICOS Y DISYUNTIVOS.docx

SILOGISMOS HIPOTETICOS Y DISYUNTIVOS.docx

|Views: 2.058|Likes:
Publicado porJavier Arciniega

More info:

Published by: Javier Arciniega on May 17, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

05/30/2014

pdf

text

original

SILOGISMOS HIPOTETICOS Y DISYUNTIVOS

SILOGISMOS HIPOTÉTICOS. El silogismo hipotético se caracteriza por estar formado por juicios hipotéticos. La estructura formal del silogismo hipotético es la siguiente: Si A es, B es Si B es, C es Luego, si A es, C es.

SILOGISMO HIPOTÉTICO MIXTO. Se llama hipotético mixto al silogismo que está formado por una premisa mayor hipotética, una premisa menor categórica y una conclusión también categórica. 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 hipotético mixto, pues su premisa mayor es disyuntiva mientras que la menor y la conclusión son categóricas. Admite también 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:

tenemos el silogismo hipotético disyuntivo. b) “tomando el dilema por los cuernos”. Si la premisa mayor es a la vez hipotética y disyuntiva. también puede ser “trilema” o. La estructura formal del modus ponens es la siguiente: Si A es. “polilema”. B es o C es Es así que A es Luego. es decir. de donde se llama también “dilema” cuando tiene dos miembros disyuntivos. Este silogismo tiene dos modos: modus ponens (afirmativo) y modus tollens (negativo). SILOGISMO HIPOTÉTICO DISYUNTIVO. REFUTACIÓN DE DILEMAS. por lo cual la afirmación queda negada”. c) “Construyendo un contradilema”. A no es Este último razonamiento se llama también “razonamiento lemático” (lemma = supuesto). . Dice Essen que “este tipo de razonamiento sirve para rebatir una afirmación mostrando lo que se afirma implícitamente y necesariamente y negando luego ambos miembros de la disyunción. para mostrar la inconsistencia del razonamiento (no siempre es necesario que esas conclusiones sean incompatibles entre si). mostrando que la consecuencia de uno o de ambos juicios hipotéticos es incorrecta. que consiste en llegar a una conclusión opuesta a la propuesta pero con los mismos elementos.A es B o C Ahora bien. no es B Luego. en general. Copi presenta tres modos de refutar un dilema: a) “Escapando entre los cuernos” (entendemos por cuernos de un dilema los miembros de la disyunción) que consiste en plantear otra alternativa más que las presentadas en el razonamiento lemático. B es o C es.

Al estudiar la lógica clásica. La lógica matemática es el intento de dar una “forma universal” al pensamiento. GENERALIDADES QUE PRETENDE LA LOGICA MATEMÁTICA. expresándolo por un sistema unívoco de signos (estos quiere decir. Por esa razón es que se le llama también “álgebra de la lógica”. pretende reducirlas a una “expresión matemática” que pueda ser calculada como en las matemáticas. un sistema en el que cada signo tenga un solo significado en un mismo contexto). La lógica matemática pretende hacer que todas las relaciones reales se vuelvan formales. Eso es así porque la lógica clásica es una lógica que parte del “análisis de las proposiciones en sus términos” componentes: considerar sólo una relación o reducir las demás relaciones a una sola simplifica el asunto y posibilita la construcción formal de la lógica clásica. con un sistema de relaciones entre esos signos comparable al cálculo matemático. .LOGICA MATEMÁTICA. para alcanzar así todas las verdades. OBJETO DE LA LOGICA MATEMÁTICA. hemos constatado el hecho de que la relación fundamental que se estudia es la del verbo ser.

el número de posibilidades de verdad de la proposición compleja vendrá indicado por 2n. Esto significa que el interés de la lógica matemática recae en la proposición integralmente considerada. que representan las operaciones lógicomatemáticas que pueden realizarse entre las variables de proposición. PROPOSICIONES Y FUNCIONES. por eso es que la lógica matemática ha sido llamada también “lógica de proposiciones no analizadas”. Las proposiciones complejas que están compuestas de dos o más proposiciones simples. Las partículas lógicas son aquellas partículas que determinan a las partículas fácticas ya sea limitándolas (cuantificadores) o bien relacionándolas (funciones). . pero no verdadera y falsa a la vez. Las partículas fácticas (del latín “factum” que quiere decir “hecho”) son aquellas partículas variables que pueden tener referencia a un objeto o acontecimiento. METODO DE LA LÓGICA MATEMÁTICA. lo cual no es obstáculo para efectuar en algún nivel ciertos análisis de las proposiciones. Si es “n” el número de proposiciones simples que integran la proposición compleja. que representan el contenido fáctico del lenguaje. los elementos del razonamiento lógico son de dos clases: a) Variables de proposición. como una proposición ya constituida. Por ese medio pretenden analizar a un nivel metalógico (más que lógico) todo tipo de razonamiento desde la forma cuantitativa de ese mismo razonamiento. En el caso de la lógica matemática de proposiciones no analizadas. pueden tener diversas posibilidades de verdad. Una proposición simple puede ser verdadera o falsa. PARTICULAS FACTICAS Y LOGICAS DEL LENGUAJE.La lógica matemática considera las proposiciones como formando una unidad de significado. Considera la lógica matemática como punto de partida las relaciones de “inclusión” (producto lógico) y de “exclusión” (suma lógica). b) Funciones de proposición. VALOR DE VERDAD. A partir de esas relaciones se puede establecer un sistema de simbolización como el del álgebra en el cual pueda expresarse toda proposición del lenguaje y de la ciencia.

Este libro es una introducción a la lógica simbólica para personas de formación humanística. Introducción. la jurisprudencia y la filosofía. y el radi se sus aplicaciones comprende esferas tan diversas del saber como lamatemática... de la pluralidad de métodos deductivos que enriquecen la lógica contemporánea. sin ayuda de profesor.. un dominio de las técnicas modernas de deducción lógica. q. la lingüística. a través de su historia... e introducir a los alumnos de humanidades en la compresión de las principales nociones teóricas que sirven de fundamento a la metodología de las ciencias educativas. Lógica de enunciados (cálculo de conectores). Su objetivo es facilitar a lectores que carezca de base matemática y científica. 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 "lógica simbólica" es un instrumento que sirve de ayuda al ejercicio inteligente sel sentido común y a la práctica de la investigación científica y la reflexión filosófica. p’’. La lógica simbolica moderna es incomparablemente mas poderosa como herramienta de análisis y deducción a través del desarrollo de un lenguaje técnico propio . Axiomatización de la lógica. q’.. s. Forma parte del bagaje cultural del hombre del siglo XX... metáforas y anfibología . y explora sumariamente. nos encontramos son su tabla de verdad.Cada una de las proposiciones simples puede simbolizarse por una letra minúscula de la “p” en adelante. . ambigüedad . Si ordenamos las posibilidades de verdad de una proposición. p’. TABLA DE VERDAD. La tabla de verdad nos refleja gráficamente las condiciones de verdad de una proposición. Lógica de predicados (cuantificacional).. q’’. así: p.. . Es una tarea mas fácil la de dividir los argumentos en validos e invalidos cuando se les expresa con el lenguaje simbolico especial . la informática. peculiaridades idiomáticas . Automatización de la lógica (las bases lógicas de la in formática). da cuenta completa. sin ceñirse a uno solo. las relaciones de la lófica con la filosofía y con la ciencia matemática. Anexo: breve historia de la lógica.. las ciencias naturales y sociales. Los simbolos especiales de la lógica moderna nos permiten exhibir con mayor claridad las estructuras lógicas de argumentos cuya formulación puede quedar oscura en el lenguaje ordinario . incluye un tratamiento de la automatización de la lógica y de sus conexiones con la informática. pues en este no se dan los problemas periféricos de vaguedad . r. esta obra toma también en consideración la lógica tradicional aristotélica. A diferencia de la mayoría de manuales y tratados de lógica simbólica o matemática.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->