Manual Logica

Direccin: Juan Jos Cardenas Diseo y maquetacin: Francisco Rosales Edita: Universidad Continental Tiraje: 1000 Referencia: 001/0025
ISBN: xxx-xxx-xxx-xxxxx Universidad Continental 2012 Todos los derechos reservados. Queda prohibida la reproducin total o parcial de los contenidos de este libro sin la autorizacin de la Universidad Continental.
NDICE
NDICE INTRODUCCIN PRESENTACIN DE LA ASIGNATURA UNIDAD I: LA LGICA Y EL RAZONAMIENTO TEMA 1: Introduccin e importancia de la Lgica
1.1 Evolucin del pensamiento humano A. Origen y evolucin de la Lgica 1.2 La Lgica
Actividad PRCTICA TEMA 2: La Lgica y el Lenguaje

2.1 El Lenguaje y sus Funciones 2.2 Niveles del Lenguaje 2.3 Lenguaje Natural y Artificial
Actividad PRCTICA TEMA 3: LOS ARGUMENTOS

3.1 Qu es un argumento? A. Premisas B. Conclusin C. Inferencia 3.2 Identificacin de argumentos y sus partes 3.3 Estructura de los argumentos
Actividad PRCTICA TEMA 4: Las falacias

4.1 Definicin y clasificacin A. Falacias de Atingencia B. Falacias de Ambigedad
AUTOEVALUACIN DE LA UNIDAD I BIBLIOGRAFA DE LA UNIDAD I UNIDAD II: LA LGICA PROPOCIONAL TEMA 1: LA PROPOSICIN
1.1 Clasificacin de proposiciones 1.1.1 Proposicin Atmica 1.1.1 Proposicin Molecular
Actividad PRCTICA TEMA 2: El lenguaje de la Lgica Proposiciona

2.1 Smbolos primitivos 2.2 Smbolos usuales 2.3 Sinnimos de lectura de los conectores
2.4 Clases y uso de los conectores 2.5 Metavariables 2.6 Signos de agrupacin 2.7 Frmulas bien formadas y frmulas mal formadas
Actividad PRCTICA TEMA 3: Formalizacin de Inferencias

3.1 Qu es formalizar? 3.2 Formalizacin de proposiciones atmicas 3.3 Formalizacin de proposiciones moleculares
Actividad PRCTICA TEMA 4: Mtodos Decisorios Semnticos

4.1 Mtodo de Tabla de Valores
Actividad PRCTICA
4.2 Mtodo de Diagramas Semnticos
Actividad PRCTICA AUTOEVALUACIN DE LA UNIDAD II BIBLIOGRAFA DE LA UNIDAD II UNIDAD III: LGICA PROPOSICIONAL: MTODOS SINTCTICOS TEMA 1: Las leyes Lgicas y Equivalencias
1.1 Las equivalencias tautolgicas o equivalencias lgicas
Actividad PRCTICA TEMA 2: Deduccin Natural

2.1 Reglas de Inferencia 2.2 Mtodos de Deduccin Natural
Actividad PRCTICA AUTOEVALUACIN DE LA UNIDAD III BIBLIOGRAFA DE LA UNIDAD III UNIDAD IV: LGICA CUANTIFICACIONAL TEMA 1: Lgica Cuantificacional
1.1 Formalizacin en LC 1.2 Los cuatro esquemas proposicionales bsicos
Actividad PRCTICA TEMA 2: Proposiciones Categricas Tpicas Actividad PRCTICA TEMA 3: Propiedades lgicas de los cuantificadores
3.1 Reglas de intercambio de cuantificadores
TEMA 4: Mtodos Decisorios

4.1 Reglas lgicas de introduccin y eliminacin de cuantificadores 4.2 Mtodo Decisorio: Derivaciones 4.2.1 Prueba Directa
4.2.2 Prueba Condicional 4.2.3 Prueba por Reduccin al Absurdo
Actividad PRCTICA AUTOEVALUACION DE LA UNIDAD IV BIBLIOGRAFA DE LA UNIDAD IV REFERENCIAS BIBLIOGRAFICAS IV ANEXO SOLUCIONARIO
INTRODUCCIN
gica es una de las asignaturas de formacin integral que consolidan la formacin profesional competente; propugnada por
temas por cada uno de ellos. En la Primera Unidad se tratan aspectos introductorios sobre la Lgica, el lenguaje. Aspectos relacionados a lo cotidiano del uso de la Lgica como en los argumentos y falacias. La Segunda Unidad contiene: La Lgica Proposicional, formalizacin de enunciados, simbolizacin. Los Mtodos Semnticos: tablas de verdad y diagramas semnticos. En la Tercera Unidad, utilizaremos los Mtodos Sintcticos aplicando las pruebas formales con el manejo de las leyes o principios lgicos y demostracin de inferencias. En la Cuarta unidad trataremos la Lgica Cuantificacional, donde se usar la respectiva formalizacin y demostracin de la validez de inferencias en este lenguaje.
la Universidad Continental. Siendo el razonamiento el principal instrumento del ser humano para construir conocimiento, la presente asignatura se basa en la idea de tener no slo conocimientos generales sino competencia prctica en la deduccin formal. El estudiante al concluir exitosamente la asignatura: Aplica los fundamentos y procedimientos lgicos; en la formalizacin de proposiciones e inferencias tanto en la Lgica Proposicional como en la Lgica Cuantificacional; empleando adecuadamente los conectores lgicos y variables del lenguaje simblico, valorando con actitud crtica y reflexiva la importancia en el anlisis y sntesis como parte del correcto razonar. El presente material de aprendizaje est compuesto por 4 unidades en los cuales se han organizado 4
Se sugiere seguir la siguiente secuencia de estudio en cada unidad: Realizar el estudio de los contenidos. Esta lectura ser analtica y reflexiva subrayando, resumiendo y asimilando la informacin. Pasar a la seccin denominada Actividad Prctica para que aplique lo estudiado en la teora. Desarrollar la auto evaluacin, que es una preparacin para la prueba final de la asignatura Desarrollar las actividades programadas para cada semana en el aula virtual, con la asesora del Tutor. Los tpicos mencionados estn debidamente fundamentados en base a los textos de: Introduccin a la Lgica (KATAYAMA OMURA, Roberto, 2003). Introduccin a la Lgica (TRELLES MONTERO Oscar, ROSALES PAPA, Diogenes.2000). Introduccin a la Lgica (IRVING M. COPI Y CARL COHEN, 2009). Introduccin a la Lgica. (ROSALES PAPA, Digenes, 1994.). Introduccin a la Lgica ( REA RAVELLO, Bernardo, 2003)
Se recomienda al estudiante revisar los textos propuestos en la bibliografa para profundizar aspectos prcticos y ampliar aspectos conceptuales con los cuales ser protagonista de su aprendizaje. .
LGICA MANUAL AUTOFORMATIVO
PRESENTACIN DE LA ASIGNATURA DE COMUNICACIN
COMPETENCIA DE LA ASIGNATURA
Aplica los fundamentos y procedimientos lgicos; en la formalizacin de proposiciones e inferencias tanto en la Lgica Proposicional como en la Lgica Cuantificacional; empleando adecuadamente los conectores lgicos y variables del lenguaje simblico, valorando con actitud crtica y reflexiva la importancia del anlisis y la sntesis, como parte del correcto razonar.
UNIDADES DIDACTICAS
UNIDAD N 1 LA LGICA Y EL RAZONAMIENTO UNIDAD N 2 LGICA PROPOSICIONAL UNIDAD N 3 MTODOS SINTCTICOS EN LGICA PROPOSICIONAL UNIDAD N 4 LGICA CUANTIFICACIONAL
TIEMPO MINIMO DE ESTUDIO:

UNIDAD N 1 1 y 2 semana 16 horas UNIDAD N 2 3 y 4 semana 16 horas UNIDAD N 3 5 y 6 semana 16 horas UNIDAD N 4 7 y 8 semana 16 horas
10
UNIDAD I: LA LGICA Y EL RAZONAMIENTO
DIAGRAMA DE PRESENTACIN DE LA UNIDAD
CONTENIDO
EJEMPLOS
ACTIVIDADES
BIBLIOGRAFA
AUTOEVALUACIN
CONOCIMIENTOS Tema N 1: Introduccin e importancia de la lgica
PROCEDIMIENTOS
1. Diferencia el concepto y la importancia de la Lgica con respecto a otras ciencias.
ACTITUDES
Valora la importancia del correcto razonar mediante 1.1. Evolucin del pensamienla aplicacin del lenguaje to humano. formalizado para la demos1.2. La Lgica. 2. Diferencia las funciones tracin de conclusiones, dey los niveles del lenguaje terminando la validez o la Tema N 2: La Lgica y El usando oraciones y ejem- invalidez de un argumento Lenguaje plos planteados. o esquema lgico 2.1. El Lenguaje y sus fun- 3. Clasifica argumentos y ciones. 2.2. Niveles del Lenguaje. 2.3. Lenguaje Natural y Artificial. Tema N 3: Argumentos 3.1. Qu es un argumento? 3.2. Identificacin de argumentos y sus partes. 3.3. Estructura de los argumentos. Tema N 4: Las Falacias 4.1. Definicin y clasificacin. Autoevaluacin N 1
seala su estructura utilizando los indicadores de premisa y de conclusin. 4. Analiza y diferencia los tipos de Falacias en argumentos y situaciones.
Actividad Dirigida: Control de Lectura N 1:
11
TEMA N01: INTRODUCCIN E IMPORTANCIA DE LA LGICA

REFLEXIONES PREVIAS ACERCA DE LA LGICA
Lea detenidamente el siguiente ejemplo siguiendo las instrucciones que se le plantea entre parntesis: Es domingo en la maana veo por la ventana que a la casa de mi vecino llegan personas adultas y nios. (Considere lo mencionado como una informacin de la realidad y reflexione QU RESPUESTA TIENE EN LA MENTE DE LO QUE PASA?, luego contine) Todos llegan con ropa formal. (Considrelo como una segunda informacin que recibe y reflexione QU EST PENSANDO QUE SUCEDE?, contine) Hay quienes vienen en carros muy modernos y caros. Una orquesta tpica empez a tocar msica vernacular. (Hasta ac, hemos aumentado ms datos de la situacin planteada y quizs su pensamiento lo ha llevado a formular ms de una conclusin de lo que est sucediendo, finalmente contine) Coronas florales y arreglos acompaan el coche fnebre. (Cmo se habr dado cuenta, este ltimo dato fue muy importante para poder decidir sobre de qu se trataba todo eso, y quizs si hubiese estado en primer lugar nos hubiera ahorrado muchas lneas y tiempo para pensarlo. Pero claro, espero que la CONCLUSIN a la que lleg sea la misma que yo, pues que se trata de un FUNERAL). Este ha sido un ejemplo con el cual he tratado de recrear una de las tantas situaciones cotidianas en las que est presente un proceso mental o psquico que el ser humano realiza, de ah se obtiene una respuesta o conclusin de los diferentes datos que se van captando y reflexionando. A continuacin le planteo un ejemplo, con el cual tendr que seguir el mismo procedimiento y llegar a una conclusin un poco ms compleja: En cierta tripulacin de vuelo areo, las posiciones de piloto, copiloto e ingeniero de vuelo son ocupadas por Antonio, Benito y Carlos, aunque no necesariamente en ese orden. El copiloto, quien es hijo nico, es el que gana menos. Carlos, quien est casado con la hermana de Benito, gana ms que el piloto.QU POSICIN OCUPA CADA PERSONA?! (le doy 2 minutos) Este no es un ejemplo muy complicado y para que pueda llegar a una respuesta, va a tener que realizar ciertos procesos mentales que se llaman INFERENCIAS o RAZONAMIENTO, y que es parte de las funciones del cerebro. Veamos que inferencias se tuvieron que realizar: Puesto que Carlos gana ms que el piloto entonces no es el piloto. Y puesto que Carlos gana ms que el piloto, y el copiloto es el que gana menos, se sigue que Carlos tampoco es el copiloto. Por lo tanto, Carlos debe ser el ingeniero de vuelo. Si Benito tiene una hermana, Benito no fue hijo nico, por lo tanto no es el copiloto. Y podemos inferir de inmediato que Benito no es el ingeniero de vuelo puesto que ya hemos identificado como tal a Carlos. Por lo tanto, Benito es el piloto y, por eliminacin, Antonio es el copiloto. Hasta este punto se habr dado cuenta que he utilizado varias palabras de las cuales es importante tenerlas en consideracin: MENTE, PENSAR, RAZONAMIENTO, INFERENCIAS, PROCESO MENTAL, PROCESO PSQUICO. Y todas ellas indudablemente estn relacionadas con el CEREBRO. La evolucin natural de nuestra especie ha desarrollado en el cerebro la capacidad de razonar. Si queremos ubicar el razonamiento dentro de las funciones del cerebro, podemos esquematizarlo del siguiente modo (Fig. 1) y observar sus funciones. En el grfico se puede ver que entre las funciones del cerebro estn los procesos menta-
12
Fig. 1 Esquema simplificado de las funciones del cerebro
les y seguramente otras funciones como las motoras que mueven a muchos de nuestros rganos. En los procesos mentales se encuentran nuestras emociones y pensamientos. En nuestros pensamientos se ubican nuestras imaginaciones y nuestros razonamientos. Estos ltimos pueden ser correctos o incorrectos. Todas estas funciones no se encuentran aisladas, estn muy relacionadas unas con otras y se ejecutan de manera coordinada. Sin embargo, para los fines de nuestro estudio que es la lgica, solo estamos interesados en los razonamientos correctos y su influencia en el pensamiento. La psicologa, la neurologa y otras ciencias se dedican al estudio de las funciones del cerebro, su estructura y otros aspectos que son bastante complejas y muy amplias. La lgica no estudia las funciones del cerebro. Retomando el punto con el cual iniciaba el primer ejemplo de este tema; los humanos desde que tenemos uso de razn, diariamente usamos la lgica para comunicamos o para tomar decisiones sobre diversos aspectos de nuestras vidas. Utilizamos tambin nuestras creencias que al aplicarlos a los problemas cotidianos en muchos casos no nos dan los resultados deseados y consecuentemente nos sentimos inseguros por no haber procedido de manera lgica. Se nos presentan tambin confusiones que a veces no podemos resolver. Como ejemplo analizaremos las siguientes afirmaciones: La violencia es originada por la pobreza, al analizar encontramos que esta afirmacin no es vlida porque tambin hay personas econmicamente muy bien posicionadas que promueven violencia. El dinero hace felices a las personas, tambin esta afirmacin no es vlida porque hay personas que tienen mucho dinero que son infelices. Los gobernantes son los responsables de la crisis que sufre el pas, no es vlido porque tambin los ciudadanos de modo individual o colectivo, as como las empresas y todo tipo de organizaciones son responsables de la crisis de un pas. A las personas con estudios les va mejor en la vida, esta afirmacin no es vlida porque hay personas con grados acadmicos avanzados que no les va bien en sus vidas. Se puede observar que nuestro lenguaje natural es bastante ambiguo e impreciso, en algunos casos como en los ejemplos mostrados pobreza puede tener otros significados, desde el punto de vista psicolgico es una falta de tacto para relacionarse con otras personas y en ese caso la primera afirmacin podra tener otro sentido, es decir si la entendemos como la falta de recursos econmicos (dinero) tiene un sentido y si tomamos como falta de tacto tiene otro sentido. La lgica utiliza un lenguaje distinto al natural cuya aplicacin elimina las imprecisiones y ambigedades, esto lo veremos ms adelante en detalle, as podremos mejorar la construccin de argumentos vlidos. 1.1. EVOLUCIN DEL PENSAMIENTO HUMANO Es importante ubicarnos en el tiempo respecto a la evolucin de nuestro pensamiento, en la Fig. 2 se observa los tiempos transcurridos y los cambios producidos
13
Fig. 2. Tres evoluciones principales
14
A.1. LA EDAD ANTIGUA Periodo pre-aristotlico (5000 AC) - Desarrollo de la oratoria, que se le conoca como dialctica porque eran principalmente dos posiciones contrapuestas que discutan las personas para llegar a una verdad buscada. As mismo hubieron oradores que utilizaban la oratoria para sustentar su punto de vista y hasta se valan de planteamientos para sorprender o engaar a la gente, a estos se les llam sofistas. - Scrates y Platn presentan el mtodo mayutico, que de forma dialgica planteaba preguntas que provocaban las manifestaciones de los pensamientos para generar adecuados razonamientos. Periodo aristotlico (500 a 200 AC) - Aristteles es fundador de la lgica formal, escribi el Organom que tiene 5 partes. Tratado del raciocinio, el silogismo, las ideas, los juicios y las proposiciones. Aristteles es considerado el padre de la lgica porque por primera vez es estudiado el razonamiento en mayor profundidad, planteando silogismos que le daban un modelo de orden al razonamiento. Periodo post-aristotlico - Los discpulos de Aristteles que se autodenominaron comentaristas, se preocuparon por defender las teoras de Aristteles. Uno de sus discpulos fue Porfirio que escribi: Introduccin a las categoras de Aristteles para aclarar las objeciones de los Escuela Filosfica Estoica, quienes desarrollan la lgica relacionada a la teora del conocimiento y una lgica formal (lgica propiamente dicha). En el estudio que realizan del razonamiento complementan las formas planteadas por Aristteles y agregan el razonamiento disyuntivo y el hipottico. - Los epicreos entienden la lgica como cannica (de canon, vara y de ah regla), ya que sirve para proporcionar reglas para el recto conocimiento A.2. LA EDAD MEDIA Durante la Edad Media, la lgica se ensea en la facultad de Artes y es la escuela primera como preparacin en la formacin en Teologa, Derecho y Medicina. La lgica, especialmente la aristotlica, se convierte en el instrumento fundamental de la actividad teolgico filosfica, slo se encuentra en este perodo un refinamiento de la propuesta inicial. En el siglo XIII, tiempo de las Summas, lo que hoy se podra llamar compendios, es importante mentar las Smulas lgicas de Pedro Hispano, en donde se presentan las cuatro letras ( A, I, E, O) que hasta hoy se utilizan para identificar los cuatro modos de juicios-proposiciones posibles. En el mismo siglo, el trabajo de Raymundus Lullus (1233-1315), en sus obras Ars magna, Ars combinatoria, Mathesis universalis, basado en la silogstica aristotlica, supone unos principios tan ciertos que an los infieles los podran aceptar. A.3. LA EDAD MODERNA Periodo de la reforma y racionalstica Francis Bacon (1561-1626) realiza una crtica a la tradicin filosfica que lo precede, publica una obra en seis partes que titula Instauratio Magna (La gran restauracin), en la cual propugna por un saber que sirva para el hacer, por un saber til para la vida prctica. La segunda parte lleva como ttulo Novum Organum, Nuevo Instrumento, en franca y abierta oposicin al Organon aristotlico que haba servido hasta entonces para dirigir el pensamiento. A.4. EDAD CONTEMPORNEA EL SIGLO XX En el siglo XX la lgica matemtica, siguiendo las orientaciones de Leibniz, se desarroll enormemente (B. Russell, L. Wittgenstein, A. N Whitehead, J. G Frege), logrando un nivel de abstraccin, de rigor y nitidez, convirtindose en el motor y la herramienta de todo conocimiento cientfico, a tal grado que se
15
lleg a afirmar que una aseveracin que no es posible matematizar no es cientfica. Sin embargo, frente a estas pretensiones para mayor precisin y rigor, se hace necesaria la separacin de la lgica, no slo de la metafsica y de la matemtica sino de todas las dems ciencias, para luego integrarla al conjunto del conocimiento humano. Esta es la base de la moderna lgica matemtica que analiza las proposiciones lgicas hasta sus elementos primeros en lo que tambin se denomin el atomismo lgico, que inicialmente pretendi someter la lgica a la matemtica y que luego encontr cmo la matemtica es posible mediante la construccin lgica de conceptos, ya que las matemticas, segn afirmacin de Russell, son tan slo el arte de decir lo mismo con otras palabras. La corriente neopositivista, se basa en el anlisis del lenguaje y lo que se quiere decir con l, por esta razn insiste en el anlisis lgico de las proposiciones y la sintaxis de las mismas. El suelo que sustenta la propuesta de los neopositivistas del crculo de Viena est influenciado por la propuesta de Ludwig Wittgenstein en el Tractatus Lgico Philosophicus, quien sostiene que lo que se puede en general decir, se puede decir claramente y de lo que no se puede hablar se debe callar, que el mundo es la totalidad de los hechos, no de las cosas .Wittgeinstein afirma que la figura lgica de los hechos es el pensamiento, as como que no podemos pensar nada ilgico o representar en el lenguaje algo que es cosa tan escasamente posible como representar en geometra mediante sus coordenadas una figura que contradiga las leyes del espacio; o dar coordenadas de un punto que no existe de ah que no hay que asombrarse de que los ms profundos problemas no sean propiamente problemas. Las propuestas de Ludwig Wittgenstein han marcado el desarrollo de la lgica hasta nuestros das. El siglo XX termin en una bsqueda incesante de nuevos caminos para la ciencia lgica ya que durante el siglo XIX y el mismo XX los sistemas lgicos que a algunos, quienes de alguna manera ignoraban la historia de la lgica, les parecan inclumes y eternos, resultaron ser enormemente vulnerables y no exentos de contradicciones, o como los llaman los lgicos, de inconsistencias; esto gracias a los trabajos de Jan Lukasiewicz, Nikolaj Alexndrovich Vasiliev, Karl Popper y la reaparicin del principio de pseudo-Escoto. 1.2. LA LGICA: Qu es la Lgica? La Lgica es una ciencia formal cuyo objeto de estudio es el razonamiento. La lgica nos proporciona determinados mtodos y tcnicas para demostrar la validez o no validez de los razonamientos Tiene como propsito no slo establecer si un razonamiento es correcto o no lo es, sino tambin estudiar las leyes as como las propiedades lgicas que permiten llevar a cabo un buen razonamiento. A. mbito de estudio de la lgica La Lgica se involucra en el anlisis formal de los razonamientos para establecer si la conclusin se deriva lgicamente de las premisas. La verdad o falsedad de cada una de las premisas o proposiciones, lo determinan las ciencias particulares. La lgica se ocupa en las relaciones entre ellas para establecer si el argumento es correcto o incorrecto. B. La Lgica y las disciplinas de la ciencia La ciencia se divide en dos grandes grupos: las Ciencias Factuales y las Ciencias Formales. En la Fig. 3 se presenta un resumen agrupado de las ciencias. Las ciencias factuales estudian los hechos, las cosas objetivas o reales, dentro de los cuales estn las ciencias que estudian la naturaleza y las ciencias sociales.
16
Ciencias
Ciencias Factuales
Ciencias Formales
Matemtica Lgica
Ciencias Naturales
Biologa Fsica Qumica
Ciencias Sociales
Economa Sociologa Psicologa
Fig. 3. Clasificacin de las ciencias
Entre las ciencias naturales se encuentran, la biologa, geologa, fsica, qumica, zoologa, hidrulica, electricidad, etc. y todas las ciencias que estudian alguna parte de la naturaleza. Entre las ciencias sociales se encuentran las que estn relacionadas con la especie humana, estas son: la sociologa, psicologa, economa, administracin, etc. El otro grupo de ciencias muy distintas a las ciencias factuales son las ciencias formales, que son las que tienen que ver con las abstracciones, estas utilizan simbologas que representan las abstracciones, entre estas ciencias se considera a la matemtica y la lgica. Estas ciencias tienen la caracterstica de que se aplican a las ciencias factuales y se encuentran inmersas en todas las dems ciencias. Por ejemplo la matemtica dice que 2 + 3 = 5, esto es completamente abstracto, se expresa utilizando smbolos, si aplicamos a la zoologa que es una ciencia natural y factual, tendramos que decir dos caballos mas tres caballos son cinco caballos que corresponde a un hecho (factual). Es decir, las abstracciones se aplican a la realidad. De la misma manera, as como ocurre con las matemticas, tambin la lgica se aplica a la realidad como se ver ms adelante. C. Importancia de la lgica La lgica ofrece una serie de beneficios: Aumento de la capacidad para expresar ideas de manera clara y concisa. Incrementa de la capacidad para definir los conceptos que utilizamos. Desarrolla la capacidad para la formulacin de razonamientos rigurosos. Incrementa la capacidad crtica. Validacin de los argumentos cientficos Delimitar los coherente de lo incoherente Desarrollo de inteligencia artificial Creacin de lenguajes de programacin Desarrollo de los sistemas robticos. El procedimiento mediante el cual se logra hacer una prediccin es posible gracias a la lgica. Pasar de una verdad presente a una verdad futura. La lgica es muy importante para el desarrollo de todas las ciencias que en gran medida ha contribuido en la calidad de vida de nuestra especie, al resolver una infinidad de problemas de todo tipo, ha transformado nuestro modo de vida influyendo de modo muy poderoso en nuestra cultura. Y finalmente, para construir la democracia, porque se requiere de ciudadanos que piensen por s mismos, que dialoguen libremente los problemas, que tomen decisiones en base de la deliberacin y evaluacin de evidencias.
17
ACTIVIDAD PRCTICA: A. Correlaciona ambas columnas, escribiendo el nmero de la palabra en el parntesis de la descripcin que le pertenece:
1. Lgica
( ) Corresponde al pensamiento racional que se inicia con el rechazo de los mitos. Es la bsqueda de una explicacin racional a todas las interrogantes. ( ) Son conocimientos racionales, sistemticos y demostrables, pero no objetivos porque no dan informacin acerca de la realidad; sencillamente no se ocupan de los hechos, son abstractos y solo utilizan smbolos.
2. Pensamiento mtico
3. Pensamiento filosfico
( ) Son conocimientos racionales, sistemticos, verificables y objetivos; parten de los hechos y vuelven a los hechos. ( ) Ciencia que expone las leyes, modos y formas del pensamiento racional que se encuentra inmerso en el desarrollo de todo conocimiento cientfico. ( ) Est basado en la intuicin y la experiencia, este modo de pensamiento tiene su origen en los brujos, orculos, leyendas, tradiciones, costumbre, etc. Los mitos se trasmiten dogmticamente. ( ) Pensamiento racional sistematizado y formalizado, se inicia al rechazar a aquellos que difundan falacias en el siglo IV AC que eran conocidos como sofistas.
4.
Pensamiento lgico
5.
Ciencias factuales
6.
Ciencias formales
B. Utilice las siguientes palabras en negritas para completar el texto que sigue a continuacin de modo que tenga coherencia y sentido lgico: 1. hechos, 2. estudio 3. ordenado, 4. lgica, 5. ciencia, 6. fctico, 7. oraciones, 8. mundo, 9. verdaderas, 10. matemticas. La lgica no es una . como las otras, en el sentido de que no est interesada en averiguar qu proposiciones referidas al mundo son .... o falsas. Su inters se dirige, ms bien, a estudiar en qu casos la verdad de unos enunciados o proposiciones se traslada a otros enunciados diferentes. Por esto la lgica, como las .., no tiene por objeto algn aspecto del mundo , como s lo tiene la zoologa o la mineraloga. No se ocupa de los .., ni siquiera de aquellos ligados al hombre como lo hacen la historia o la antropologa. As pues, si el ... puede considerarse compuesto de cosas, hechos o acontecimientos, poco nos importar en este contexto. La . opera, por as decirlo, al interior de toda ciencia. Una ciencia no es un amasijo de proposiciones u .... ciertas o aceptadas, ms bien es un conjunto . de tales proposiciones. Ordenado no solo por las materias que estudia, por el orden que encuentra o cree encontrar en su campo de , sino tambin por el orden de dependencia lgica que reina entre sus proposiciones. C. Respecto a la lectura anterior, Cules de las proposiciones son verdaderas? Indicar con (V) o (F). 1. La lgica no trata de averiguar si una proposicin es verdadera o falsa. ( )
18
2. Todas las ciencias tienen un objeto de estudio, en cambio la lgica no tiene objeto de estudio. ( ) 3. La lgica no tiene ninguna relacin con las otras ciencias. ( ) 4. El inters de la lgica es estudiar cmo se traslada la verdad de unas proposiciones a otras. ( ) 5. En cualquier ciencia hay un orden de dependencia lgica en sus proposiciones. ( ) 6. Las ciencias factuales averiguan si una proposicin es verdadera o falsa. ( ) D. Practique sus inferencias al relacionar al personaje con la profesin que le corresponde: lvaro, Koko, Ral y Walter son 4 artistas creativos de gran talento. Uno de ellos es bailarn, otro pintor, otro cantante y uno de ellos es escritor, aunque no necesariamente en ese orden lvaro y Ral estaban en el recital en el que hizo su debut el cantante. Koko y el escritor han encargado sus retratos al pintor. El escritor, cuya biografa de Walter fue un best seller, est planeando escribir una biografa de lvaro. lvaro nunca ha odo hablar de Ral. A qu se dedica cada uno de ellos?
TEMA N02: LA LGICA Y EL LENGUAJE

REFLEXIONES PREVIAS SOBRE EL TEMA
Comparto con usted, estas dos sentencias; lalo y reflexione. De hecho no es la menor de las tareas del lgico la de indicar las trampas que tiende el lenguaje al pensador. Gottlob Frege El uso cuidadoso y correcto del lenguaje es una ayuda poderosa para el pensamiento correcto, poner en palabras con precisin lo que queremos decir requiere que nosotros mismos lo aclaremos en nuestra mente William Ian Beardmore Beveridge Hay relacin entre la Lgica y el Lenguaje? Cree usted que la persona que habla fluido y coherentemente, se debe a que razona con la misma eficacia? 2.1. EL LENGUAJE Y SUS FUNCIONES Todas las culturas han desarrollado un lenguaje que sirve para la comunicacin entre sus integrantes, en el mundo existen lenguajes e idiomas que tiene sus propias reglas. El lenguaje permite expresar los pensamientos, pero a la vez no es posible desligar el lenguaje y el pensamiento. En general se acepta que el lenguaje tiene tres funciones bsicas: Informativa, Directiva y Expresiva. A. Funcin informativa del lenguaje Si lee las siguientes oraciones: Las lluvias provocaron inundaciones en el Per. El perro tiene cuatro patas. Brasil es un continente. Los cerdos vuelan. Joel no es ingeniero de minas. Podr distinguir que cada uno puede ser verdadero o falso, que transmiten o comunican algn dato o informacin. Por lo tanto cumplen la funcin de informar.
19
B. Funcin directiva del lenguaje Esta funcin sirve para comunicar rdenes, indicaciones y en general cualquier tipo de directivas. Puede ser una invitacin a interrumpir lo que hacemos y hacer otra cosa. Ejemplos: 1. Prohibido fumar (Puede evitar una accin) 2. Al entrar, cierre la puerta(origina una accin) 3. Cunto vale este libro?(nos permite obtener una respuesta) 4. Quisiera un vaso de agua 5. Por favor, guarden silencio. 6. Disparen! Los enunciados formulados en esta funcin no son ni verdaderos ni falsos sino nicamente posibles de cumplir o imposibles de ser cumplidos. C. Funcin expresiva del lenguaje Lea los siguientes ejemplos y trate de determinar si son verdaderos o falsos: Cunto amor siento! Qu hermosa maana! Te odio con toda mi alma. Las fauces de tu amor rasgan mis entraas. Estoy ardiendo en deseo por estar contigo. Viva el Per! Los enunciados formulados en esta funcin no son ni verdaderos ni falsos pero tampoco son posibles de cumplir o imposibles de ser cumplidos sino que simplemente son sinceros o no. La funcin expresiva principalmente carga a las oraciones de sentimientos, emociones. Manifiesta el estado de nimo de las personas. El tema de funciones de lenguaje nos aproxima a lo ms importante de las caractersticas con las cuales la lgica estudia los razonamientos para determinar su validez o no, es la funcin que se adecua a los valores de verdad o falsedad. Esto saltar en importancia cuando trabaje el tema de Proposiciones y Formalizaciones. 2.2. NIVELES DEL LENGUAJE A. Uso y mencin de palabras Haga una comparacin entre los dos siguientes ejemplos: 1. La tiza es blanca 2. Tiza es un sustantivo Veamos que est ocurriendo con la palabra tiza. En el primer caso usamos esta palabra para referirnos a un objeto. En el segundo, se menciona la palabra misma pero no usamos su significado En el primero, se dice que se usa la palabra; porque blanca es la caracterstica de un objeto llamado tiza. En el segundo se dice que se menciona la palabra, quiere decir que no se usa su significado o sea slo el nombre y no con el objeto. Otros ejemplos: 1. Juan tiene cuatro aos. (USO) 2. Juan tiene cuatro letras. (MENCIN)
20
Para distinguir los dos empleos de la misma palabra en el lenguaje escrito, le pondremos comillas en el caso que la palabra slo es mencionada y no usada. Los siguientes ejemplos de proposiciones verdaderas pueden aclarar mejor el uso y la mencin de las palabras: Lima es ms grande que Arequipa. (Nos referimos a la ciudad o sea usamos el significado de la palabra) Lima es ms chico que Arequipa. (Nos referimos a que la palabra es ms corta o mas chica que la otra palabra, no se usa el significado) B. Lenguaje objeto y metalenguaje Observe esta oracin: 1. La inteligencia es la capacidad para resolver problemas. Ahora comprelo con esta otra oracin: 2. Mi profesor de psicologa dice que la inteligencia es la capacidad para resolver problemas. Qu diferencia encuentra? En la segunda oracin aparece el profesor de psicologa como la persona que habla sobre que la inteligencia es la capacidad para resolver problemas. Entonces la oracin que se encuentra en nivel 0, que tambin se llama Lenguaje objeto es : La inteligencia es la capacidad para resolver problemas En la segunda oracin hay un personaje que alude o menciona o considera dentro de su discurso a la primera oracin: Mi profesor de psicologa dice que la inteligencia es la capacidad para resolver problemas. A esto se le llama METALENGUAJE DE NIVEL 1 o simplemente (L1)
LENGUAJE OBJETO (Lo) se le denomina al nivel de lenguaje 0, es decir expresan una idea que no alude otra. Ejemplos: Napolen fue emperador de Francia. Carlos Boloa fue Ministro de Economa. Adam Smith escribi La riqueza de las naciones. Hernando de Soto es un famoso economista peruano. Estoy estudiando la asignatura de lgica. METALENGUAJE se le denomina a los enunciados que aluden o otros enunciados o los incluyen en el discurso expuesto, pueden ser de nivel 1, nivel 2, nivel 3 etc. Ejemplos: Segn dijo Mara la Enciclopedia britnica sostiene que Napolen fue emperador de Francia. (est en Metalenguaje L2 ) Mi amigo Jorge dice que el Compendio de historia del Per de Gustavo Pons Muzzo sostiene que Carlos Boloa fue Ministro de Economa. (L2) Mi profesor de Historia del Pensamiento Econmico dijo ayer que Adam Smith
21
escribi La riqueza de las naciones. (L1) Pedro dice que Hernando De Soto es un famoso economista peruano. (L1) Janet me dijo que Mara le haba dicho que ella estaba estudiando la asignatura de lgica. (L2) Puede aclarar mejor los siguientes ejemplos: Lenguaje objeto (Lo): Llueve. Metalenguaje de primer nivel (L1) que hace referencia al lenguaje objeto (Lo): Jos dice que llueve. Metalenguaje de segundo nivel (L2) que hace referencia al metalenguaje de primer nivel (L1): Mara dice que Jos dice que llueve. Puede existir metalenguaje de nivel n (Ln) que hace referencia a Ln-1. Ejemplo: Alfredo dice que Ricardo dice que Mara dice que Jos dice que llueve. (L4). A continuacin tenemos un representacin grfica de los metalenguajes en la fig.4
Fig. 4. Niveles de los lenguajes
2.3. LENGUAJE NATURAL Y ARTIFICIAL Los seres humanos utilizamos los llamados lenguajes naturales. Como dijimos, todos los idiomas del mundo son lenguajes naturales. No obstante la importancia que tienen los lenguajes naturales, parecen inadecuados para determinados fines. Esto ha obligado a que se construya lenguajes artificiales. Por ejemplo, la matemtica es uno de estos lenguajes, tambin las dems ciencias han construido su propio lenguaje. A. Qu es un lenguaje formal? Un lenguaje formal es un lenguaje artificial que est formado por signos primitivos del lenguaje(es decir usa un abecedario: a, b, x, y, etc.), esto es su alfabeto, tambin las reglas de combinacin de dichos signos, es decir una gramtica que especifica cmo combinar los signos para obtener expresiones bien formadas. El lenguaje formal para la lgica consiste en utilizar simbologa para expresar proposiciones y argumentos. El convertir el lenguaje natural al lenguaje formal se denomina formalizacin o traduccin de expresiones y esto se ver en la parte que corresponde a lgica proposicional. B. Elementos del lenguaje formal Un lenguaje formal, est constituido por los siguientes elementos bsicos: Unos signos primitivos del lenguaje, esto es su alfabeto. Unas reglas de combinacin de dichos signos, es decir una gramtica que especifique cmo combinar unos signos primitivos con otros para tener expresiones bien formadas.
22
En nuestro caso, como buscamos aplicar el lenguaje formal a la reconstruccin de la estructura lgica del lenguaje natural, precisaremos de unas reglas que nos ayuden en la formalizacin o traduccin de expresiones del lenguaje natural al de la Lgica. C. Diferencias entre lenguaje natural y formal(artificial)
LENGUAJE NATURAL 1. Es oral 2. Amplia gama expresiva (emociones, orden) 3. Escritura fontica 4. Gramtica incompleta con reglas y excepciones 5. Es autnomo LENGUAJE ARTIFICIAL 1. Es escrito 2. Expresa informacin , conocimientos 3. Escritura ideogrfica 4. Gramtica completa 5. Necesita de otros lenguajes
ACTIVIDAD PRCTICA A. Indique la Funcin Informativa (FI), Funcin Directiva (FD) o Funcin Expresiva (FE) que corresponde a cada oracin planteada. 1. Cuando bucees trata de no respirar. ( ) 2. Hace sol y no hace calor. ( ) 3. Qu grandiosa vegetacin veo en este valle! ( ) 4. Estas por llegar a la meta que te has trazado. ( ) 5. La diversidad del Per se muestra en la variedade de plantas, animales, microclimas, culturas, razas, etc. ( ) 6. La Psicologa estudia el comportamiento de las personas. ( ) 7. Existe vida en el planeta Marte. ( esa fiera. ( ) ) 8. Que miedo siento por 9. Lava tu ropa para que andes limpio. ( ) 10. Debes llegar temprano a clase. ( ) 11. Cuando ests en la mesa comiendo no debes cantar. ( ) 12. Las calles de las ciudades antiguas son muy angostas. ( )
B. Indique el Nivel de Lenguaje en que se encuentran las siguientes oraciones. Escribiendo (Lo) si es Lenguaje Objeto o si es Metalenguaje, indique de qu nivel (con L1, L2, L3, etc.) 1. Napolen fue derrotado en Waterloo. ( ) 2. Mi profesor de economa nos dijo que el ncleo de toda teora econmica es la teora del Valor. ( ) 3. Segn Adam Smith, David Ricardo y Karl Marx; el valor de una mercanca depende de la cantidad de fuerza de trabajo invertida en su produccin. ( ) 4. Euclides fue el autor de los Elementos. ( ) 5. EI Compendia de historia del Per de Gustavo Pons Muzzo dice que el Mariscal Ramn Castilla fue el primer gobernante en mandar a elaborar un Presupuesto Nacional, con el fin de racionalizar el gasto estatal. ( ) 6. EI ingles Bertrand Russell fue, junto con su paisano Alfred Whitehead y el italiano Peano, el iniciador de la moderna lgica simblica. ( ) 7. EI primero en hablar de paradigmas fue Platn, segn mi profesor. Adems, l sostiene que a diferencia de lo que ahora entendemos por paradigmas para Platn estos eran modelos eternos e independientes de la realidad concreta. ( ) 8. Cristo habra nacido el ao 4 antes de nuestra era y no el ao cero. ( )
23
9. El conferencista sostuvo que los informes advierten que el calentamiento global afecta a los microclimas de nuestro pas. ( ) 10. Mi padre vio que el noticiero de la televisin inform ampliamente que hicimos viajes a la selva de Madre de Dios. ( ) 11. En el hospital informaron que el electroencefalograma grafica que el cerebro de Juan an est funcionando. ( ) 12. Mi amigo que se sumergi en un ro de la selva sinti que las anguilas producen descargas elctricas muy peligrosas. ( )
TEMA N03: LOS ARGUMENTOS

Estimado estudiante, observe el siguiente cuadro comparativo de 2 pequeos prrafos. 1. Daniela es cirujana y el sol brilla, aunque la catedral de Lima es gtica. 2. Daniela es cirujana, por lo que Daniela ha estudiado Medicina, ya que todos los cirujanos han estudiado Medicina.
Cul es la diferencia que usted encuentra? De seguro ha notado que en el 1er prrafo se refiere a Daniela, el sol, la catedral. Y en el 2do prrafo se refiere a Daniela que es cirujana porque estudi Medicina. Habra en el 1er prrafo un tema o idea principal? Y en el 2do prrafo? Cul cree que sera un ejemplo de argumento?Por qu? 3.1. QU ES UN ARGUMENTO? Es un conjunto de dos o ms proposiciones que se relacionan de tal manera que unas cumplen la funcin de premisas y permiten inferir hacia la proposicin denominada conclusin. A. Premisas: Son proposiciones que son afirmadas(o supuestas) y sirve de apoyo o fundamento para aceptar una conclusin. B. Conclusin. Es la proposicin que se afirma con base en las premisas. Los siguientes son ejemplos de argumentos:
PARTES Premisas EJEMPLO 1 Scrates es humano. Los seres humanos son mortales Conclusin Por lo tanto: Scrates es mortal EJEMPLO 2 Los pjaros tienen alas, las alas sirven para volar. Entonces: los pjaros vuelan Recapitulando la reflexin previa: Daniela ha estudiado Medicina, ya que todos los cirujanos han estudiado Medicina. Daniela es cirujana
C. Inferencia. Lo que distingue a un argumento de una mera coleccin de proposiciones es la inferencia o razonamiento que los une. Los argumentos tienen la estructura que se muestra en la Fig. 5 donde se observa los componentes y la inferencia.
Fig. 5. Argumento y sus componentes
24
Las inferencias pueden ser de dos tipos: inferencias deductivas e inductivas que se muestra en la Fig. 5 y se explica en seguida. C.1. La inferencia deductiva: Las premisas, de ser verdaderas, proporcionan bases concluyentes (apoyan) para la verdad de su conclusin.
PARTES Premisas EJEMPLO 1 Si todos los pjaros tienen plumas y el cndor tiene plumas, Entonces, el cndor es un pjaro EJEMPLO 2 Todos los hombres son mortales. Scrates es hombre Por lo tanto, Scrates es mortal
Conclusin
C.2. La inferencia inductiva: Las premisas proporcionan cierto apoyo a su conclusin. Pueden ser argumentos mejores o peores, de acuerdo con el grado de apoyo.
PARTES Premisas EJEMPLO 1 Si pruebo una cucharadita de la taza de caf y siento que est a mi gusto entonces posiblemente la taza de caf esta a mi gusto. EJEMPLO 2 Scrates es humano y mortal Xantipa es humana y mortal Safo es humana y mortal Por lo tanto, probablemente todos los seres humanos son mortales.
Conclusin
Fig. 6. Inferencia deductiva e inductiva
3.2. IDENTIFICACIN DE ARGUMENTOS Y SUS PARTES Tenga en cuenta que todo argumento tendr por lo menos una premisa y la respectiva conclusin. El aspecto ms importante es justamente discriminar la conclusin de las premisas y para ello podemos utilizar indicadores que pueden ser de premisas o de conclusin. A. Indicadores de conclusin
1. Por lo tanto. 2. De ah que 3. As 4. Correspondientemente 5. En consecuencia 6. Consecuentemente 7. Lo cual prueba que 8. Como resultado 9. Por esta razn 10. Por estas razones 11. Se sigue 12. Podemos inferir que 13. Concluyo que 14. Lo cual muestra que 15. Lo cual significa 16. Lo cual implica 17. Lo cual nos permite inferir que 18. Lo cual apunta hacia
25
1. Tenga presente lo siguiente: que el indicador antecede a la conclusin. Ejemplo: Fjese en este ejemplo y distinga el uso y ubicacin del indicador de conclusin. Si pruebo una cucharadita de la taza de caf y siento que est a mi gusto. Entonces posiblemente la taza de caf esta a mi gusto.
Otro aspecto que debe considerar es que la conclusin aparece al final del argumento mientras que las premisas al inicio. B. Indicadores de premisas
1. Puesto que 2. Dado que 3. A causa de 4. porque 5. pues 6. Se sigue de 7. Como muestra 8. Como es indicado por 9. La razn es que 10. Por las siguientes razones 11. Se puede inferir de 12. Se puede derivar de 13. Se puede deducir de 14. En vista de que
Tenga presente lo siguiente: que el indicador antecede a la(s) premisa(s). Ejemplo: Fjese en este ejemplo y distinga el uso y ubicacin del indicador de premisa.
En este ejemplo usted notar que la premisa se encuentra al final del argumento, eso quiere decir que el orden de aparicin o secuencia de las premisas y conclusin pueden variar. 3.3. ESTRUCTURA DE LOS ARGUMENTOS Los argumentos pueden tener varias premisas y tambin varias conclusiones, incluso se puede encadenar argumentos en donde la conclusin del argumento 1 puede ser la premisa del argumento 2 y as sucesivamente. En la Fig. 6 se observa una cadena de argumentos que tiene esta caracterstica.
Fig. 6. Cadena de argumentos
26
A. Estructura con una premisa y conclusin Tenemos el siguiente argumento: El agua est caliente, entonces el agua no est fa Lo primero que tenemos que hacer identificar cuantas proposiciones existen, en este caso el argumento posee 2 proposiciones. (1) [El agua est caliente], entonces (2) [El agua no est fra]. Luego, identificamos la(s) premisa(s) y la conclusin, observamos que:
La premisa es: (1). La conclusin es: (2).
1 2
B. Estructura con dos premisas y una conclusin Tenemos el siguiente argumento: Este mes es setiembre, puesto que el mes pasado fue agosto y el mes inmediatamente siguiente al presente ser octubre. Identificamos cuantas proposiciones existen, en este caso el argumento posee 3 proposiciones. (1) [Este mes es setiembre] (C), puesto que (2) [El mes pasado fue agosto] y (3) [el mes inmediatamente siguiente al presente ser octubre] Luego, identificamos la(s) premisa(s) y la conclusin, observamos que:
Las premisas son: (2) y (3). La conclusin es: (1).

En este caso se interpreta que cada premisa se relaciona de manera directa con la conclusin, por eso que se utiliza flecha por cada premisa.
C. Estructura con dos premisas y una conclusin: Mara y Juana son las nicas hermanas de Fernando. La hermana que sali no es Juana, entonces la hermana que sali es Mara. Identificamos cuantas proposiciones existen, en este caso el argumento tambin posee 3 proposiciones. (1) [Mara y Juana son las nicas hermanas de Fernando]. (2) [La hermana que sali no es Juana], entonces (3) [la hermana que sali es Mara]. Luego, identificamos la(s) premisa(s) y la conclusin, observamos que:
Las premisas son: (1) y (2). La conclusin es: (3).
En este caso se interpreta que las premisas deben estar juntas para que se pueda inferir la conclusin. No se puede partir de una premisa aislada para inferir la conclusin. Por eso se usan las llaves en la grafica.
27
D. Estructura con tres premisas y una conclusin Tenemos el siguiente argumento: Todos los seres humanos son mortales. Juancho es un ser humano. Por tanto, Juancho es mortal. Juancho acaba de morir. Identificamos cuantas proposiciones existen, en este caso el argumento posee 3 proposiciones. (1) [Todos los seres humanos son mortales]. (2) [Juancho es un ser humano]. Por tanto (3) [Juancho es mortal]. (4) [Juancho acaba de morir]. Luego, identificamos la(s) premisa(s) y la conclusin, observamos que:
1 2 4
Las premisas son: (1), (2) y (4). La conclusin es: (3).
En este caso se interpreta que hay premisas que deben estar juntas para que se pueda inferir la conclusin y otra u otras que pueden directamente relacionarse con la conclusin. Por eso hay un esquema mixto donde se usan llaves y una flecha. NOTA: Vale que tome en cuenta lo siguiente: estos son solo 4 esquemas de estructuras de argumentos, en realidad hay ms variedad de estos y los puedes encontrar en el texto de Irvin M. Copy y Carl Cohen, mencionado en la bibliografa. En nuestro curso solo utilizaremos los 4 esquemas ya presentados.
ACTIVIDAD PRCTICA A. Identifique la(s) premisa(s) y la conclusin en cada uno de los siguientes argumentos, (puede subrayar con colores distintos las premisas conclusin para poder diferenciarlos): 1. El nivel de motivacin del empleado determina la cantidad de esfuerzo ejercido en el trabajo. La cantidad de esfuerzo ejercido en el trabajo es uno de los factores que determina la productividad. De ah que el nivel de motivacin del empleado incida en la productividad de este. 2. La lgica propone inferencias seguras, pero no siempre son tiles para determinados propsitos. Una inferencia apropiada en un dominio, puede ser irrelevante en otro. 3. La idea central de la Inteligencia Artificial (IA) es la construccin de programas que ordenen a un computador adecuado que simule lo que normalmente se reconoce como una conducta inteligente, Por tanto, los investigadores en IA, propiamente, no se proponen la construccin de artefactos inteligentes sino de simuladores de la conducta inteligente. 4. La libertad, en realidad, si bien se cuenta entre las mayores bendiciones, no es tan importante como la proteccin, ya que el fin de la primera es el progreso y el mejoramiento de la raza, mientras que el de la segunda es su conservacin y perpetuacin. 5. El razonar humano utiliza inferencias que son relevantes para los objetivos que
28
el sujeto se ha trazado. El razonar de las maquinas inteligentes imita el razonar humano, por lo que cualquier razonamiento por ms vlido que sea es irrelevante si no se orienta hacia los objetivos de estas. 6. Dado que cada portador de la enfermedad es un difusor potencial de la misma, debemos proteger a los no contaminados de los contaminados. 7. Es tiempo de instrumentar un sistema frreo de transporte de alta velocidad. Las aerolneas no pueden satisfacer las demandas y en su intento de hacerlo, proporcionan muy mal servicio a los pasajeros, as como condiciones inseguras que ponen en peligro su vida. Los costos de mantener carreteras con una densidad de trfico mucho mayor a aquella para la que fueron concebidas es cada vez ms alto. 8. Las cimas ridas de las montaas de regiones desrticas son lugares apropiados para instalar observatorios astronmicos. Siendo sitios altos se sitan por encima de una parte de la atmsfera, permitiendo as que la luz estelar llegue hasta el telescopio sin tener que cruzar toda la profundidad de la atmsfera. Siendo secos, los desiertos son lugares relativamente libres de nubes. La ms leve presencia de nubes o de brumas puede hacer que la atmsfera se torne intil para muchas mediciones astronmicas. 9. Los granjeros americanos producen ms comida y fibra de lo que podran vender con provecho. En trminos econmicos fros, esto significa que tenemos ms granjeros de los que necesitamos. 10. Hoy es viernes, puesto que ayer fue jueves y maana ser sbado. 11. Prohibido juzgar porque todos somos pecadores. 12. El que ama no desconoce a Dios, porque Dios es amor. 13. El perjuicio peculiar que se causa al silenciar la expresin de una opinin es el de un robo contra la raza humana; contra la posteridad al igual que contra la generacin existente; contra los que disienten de la opinin, an ms contra los que la aceptan. Si la opinin es correcta, se les priva de la oportunidad de cambiar el error por la verdad; si es errnea, pierden un beneficio casi igual, la percepcin ms clara y viva de la verdad, producida por su contraste con el error. B. Componga argumentos de las siguientes conclusiones propuestas: 1. Algunos estudiantes no lograron buenas calificaciones 2. La empresa obtuvo una buena rentabilidad
TEMA N04: FALACIAS

Lea el siguiente argumento: Me despidieron del trabajo porque en la maana se me cruz un gato negro en la calle. En este argumento, de seguro que usted ha detectado sus partes y estructura o sea tiene la conclusin y una premisa (en ese orden). Aparentemente la conclusin sera vlida a no ser de que un buen anlisis detectara que la premisa no es la causa por la cual sucede el despido o sea no hay una conexin coherente PREMISA-CONCLUSIN. En este argumento se detecta que la premisa usada para explicar la causa del despido es falsa para la conclusin a la que se llega o sea no corresponde. Y por lo tanto este argumento es una FALACIA.
29
Analice el siguiente argumento: Yo mando en el juego e indico quien juega y quien no juega, porque es mi pelota Haciendo el anlisis respectivo habr detectado que hay 1 conclusin (conformado por tres proposiciones) y una premisa. Aparentemente la conclusin es sustentada por el hecho de que la pelota es propiedad de alguien y por eso dispone hacer lo que le plazca pero fjese que hay una carga psicolgica de amenaza en el argumento. En la conexin PREMISA-CONCLUSIN hay una carga de amenaza o de sustentar la conclusin a la fuerza. Lo cual no es racional por lo tanto es una FALACIA. Cuando se discute o se negocia, un buen razonamiento es un arma muy efectiva. Si tenemos argumentos vlidos, es seguro que obtendremos buenos resultados porque todos nos consideramos que poseemos capacidad de anlisis, sabemos pensar y podemos tener nuestras pasiones o imaginacin bajo control. Sin embargo, resulta que a veces nuestra capacidad de anlisis no es muy eficiente o nuestras emociones no estn bajo control ante esta situacin puede ser ms efectivo y convincente un argumento lgicamente dbil o invlido, pero psicolgicamente impresionante. Existen personas que utilizan argumentos invlidos, para sorprender a otras personas 4.1. DEFINICION Y CLASIFICACIN 4.1.1. Qu son falacias? Son razonamientos incorrectos, errneos, psicolgicamente persuasivos, donde la conclusin no se obtiene adecuadamente de las premisas. 4.1.2. Por qu convencen las falacias? Porque tienen cierta carga emocional en las palabras o frases que se usa, esta carga emotiva llegan incluso a tener un peso mayor que el contenido de las palabras e influye en el nimo de quien los oye. Aristteles fue quien se preocup por demostrar que ciertos argumentos que decan los falsos oradores de su poca eran completamente invlidos, a estos falsos oradores los llam sofistas, porque aparentaban ser filsofos pero se llenaban la boca de argumentos invlidos. En la actualidad hay personas que practican argumentos falaces en sus discursos y convencen a mucha gente beneficindose de estos incautos. 4.1.3. Clases de Falacias Las falacias, sofismas o argumentos invlidos estn agrupados en 2 clases que son los siguientes y puede visualizarlo de manera grfica en la fig7: 4.1.3.1. Falacias Informales: Los que se relacionan con el sentido de las pala bras o de las frases. Estas pueden ser: A) Falacias de Atingencia B) Falacias de Ambigedad 4.1.3.2. Falacias Formales: Los que ms bien tienen que ver con la estructura de las proposiciones y la inferencia de manera simblica.
Fig.7. Clasificacin de Falacias
30
4.1.3.1 FALACIAS INFORMALES A. FALACIAS DE ATINGENCIA Se cometen porque entre premisa y conclusin hay una conexin psicolgica la cual no permite advertir la coherencia o incoherencia lgica, relacionado con los errores que se emplean en las premisas, puede decirse que son inatingentes porque no vienen al caso en el argumento. A.1) Apelacin a la fuerza (argumentum ad baculum): Consiste en el uso de la fuerza o a la amenaza de fuerza para fundamentar una tesis o una conclusin. Por ejemplo: 1. Hoy no ser arquero, despus yo decido; porque es mi pelota. 2. La empresa requiere nicamente de personal que llegue puntualmente e incluso, si puede, antes. De manera que seor Pachuco Le rogamos no volver a llegar tarde. (Se acude a la amenaza). A.2) Argumento contra el hombre (argumentum ad hominem): Esta falacia consiste en desacreditar una tesis atacando no la tesis misma sino a aquel que la sostiene. Por ejemplo: 1. Las tesis econmicas que el Ministro de Economa sostiene son mentiras porque es un neoliberal y los neoliberales son unos rateros y mentirosos. 2. La Teora de la Relatividad de Einstein es falsa porque Einstein era un abusivo que golpeaba a su indefensa y frgil mujer. A.3) Argumento por la ignorancia (argumentum ad ignorantiam): Esta falacia se comete cuando se sostiene que una proposicin o tesis debe ser verdadera ya que no se ha demostrado su falsedad, o por el contrario, en que debe ser falsa ya que hasta el momento no se ha demostrado su verdad. Ejemplos: 1. La mejor prueba de que Dios existe es que hasta ahora nadie ha podido demostrar que Dios no existe. (la ignorancia o el no haber podido demostrar la existencia de Dios). 2. Si bien no hemos podido probar que la empresa ha defraudado al fisco, hasta ahora la empresa tampoco ha podido demostrar de manera concluyente que no lo ha hecho. Por lo tanto ellos son culpables de defraudacin al fisco. A.4) Argumento por la misericordia (argumentum ad misericordiam): Esta falacia se comete cuando para lograr que se acepte una tesis o conclusin determinada se realiza un llamado a la piedad, o sea; se alude a razones piadosas. Ejemplos: 1. Seor, mi esposo merece ese aumento ya que con lo que usted le paga apenas si nos alcanza para alimentar a nuestros cuatro hijos, por no hablar de los gastos de vivienda y servicios bsicos. Adems nuestro hijo ms pequeo, Luisito, quien solo tiene tres aitos, necesita de una operacin. 2. Seores pasajeros, damas y caballeros, tengan ustedes muy buenas y cordiales tardes. Yo soy un joven estudiante y a la vez trabajador que por esas cosas de la vida se encuentra desempleado. Es por esta razn
31
que me veo obligado a subir a este vehculo a vender caramelos y poder llevar un tarro de leche o una pieza de pan a mi hogar. Por favor aydame, no me des la espalda y ms bien levntame la moral comprndome estas golosinas a diez cntimos la unidad. Gracias. A.5) Apelacin al pueblo (argumentum ad populum): Esta falacia se comete cuando apela a las pasiones y al entusiasmo de la multitud con el fin de ganar su asentimiento para la aceptacin de alguna tesis o argumento. Por ejemplo: 1. Tome Inka Kola, porque es la nica bebida de sabor nacional. Una variante de esta falacia consiste en sostener que una tesis o conclusin debe ser aceptada porque todo el mundo o la gran mayora la acepta. Ejemplo: 2. Coca-Cola es la mejor bebida gaseosa del mundo puesto que es la ms consumida a nivel global. A.6) Apelacin inapropiada a la autoridad (argumentum ad verecundiam) Se comete esta falacia cuando se apela a autoridades de un campo determinado para sustentar tesis o reforzar conclusiones de un campo distinto al de la competencia de las autoridades citadas. Ejemplo: 1. El divorcio civil es jurdicamente improcedente; pues la mejor prueba es la condena de este por parte de Ezequiel Ataucusi (el pastor o autoridad religiosa). 2. El ser humano es un ser biolgicamente egosta; la mejor prueba es que, Adam Smith considera que el egosmo es el mvil social y econmico del hombre. A.7) Pregunta compleja: Se comete esta falacia cuando la pregunta que se formula supone que ya anteriormente el interlocutor a respondido a una pregunta aunque en realidad esta no ha sido formulada. Por ejemplo: 1. A: Dgame asesino en serie, como mato a la seorita. B: Yo no mate a la seorita. A: Aja! Ve seor juez, el acepta que es un asesino en serie.
2. Est usted de acuerdo con la poltica econmica liberal y la prosperidad? Responda si o no. A.8) Causa falsa (non causa pro causa): Consiste en tomar como causa de un suceso, fenmeno, acontecimiento, hecho, etc.; otro suceso, fenmeno, acontecimiento, hecho, etc.; que no es realmente su causa, basado tpicamente en el supuesto de que el ltimo precedi al primero. Ejemplo: 1. Hoy tuve un da psimo. Todo comenz cuando me ca de la cama; esa fue la causa de todas mis desgracias ya que fue lo primero que hice. 2. La razn por la que el juez sentencio en mi contra injustamente fue que el da anterior me cruce con un gato negro.
32
B. FALACIAS DE AMBIGEDAD Tienen que ver con la imprecisin de los trminos o construcciones gramaticales o de los ejemplos que usamos. B.1) El Equvoco: Esta falacia se comete cuando se utiliza un mismo trmino con dos significados distintos al interior de un mismo contexto. De este modo el significado es mal interpretado llevando a establecer puntos de vistas distintos al original. Ejemplo: 1. Todo lo que est consumado est acabado. El jefe me ha dicho que Miguel es un contador consumado. Por lo tanto, Miguel est acabado como contador. B.2) Anfibologa: Esta falacia consiste en expresarse de manera vaga o poco rigurosa hasta tal punto que una frase pueda interpretarse de diversas maneras sin que, al interior de la propia frase, haya manera de determinar cul es la interpretacin correcta. Ejemplo: 1. El asno de Gilberto quebr el manzano. 2. Se cuenta que Creso, rey de Libia, fue al orculo de Delfos para que este le dijera si la guerra que planeaba efectuar contra Persia seria o no exitosa. El orculo respondi que si l hacia la guerra a Persia un gran reino caera. Creso, creyendo que esto predeca su victoria se embarco en el proyecto blico. Luego que fue derrotado y hubo logrado escapar a la muerte, envi una queja formal a Delfos. Este santuario respondi que Creso no tena por qu quejarse ya que el orculo haba dicho que si el emprenda una campaa contra Persia un gran reino caera, lo que efectivamente haba sucedido. B.3) El nfasis: Esta falacia se comete cuando el resaltar o enfatizar alguna palabra o frase al interior de un contexto ms amplio puede interpretarse de manera distinta a la intencin a lo que se est efectivamente diciendo. Por ejemplo: 1. PELE COJO El astro del ftbol protagonizara una pelcula en la que encarna a un jugador de ftbol con una pierna artificial. 2. DEVALUACIN DEL NUEVO SOL habra ocurrido de no aprobarse nuevos impuestos.
ACTIVIDAD PRCTICA A. Seale que falacia de atinencia se comete en cada uno de los siguientes enunciados: 1. Para comenzar, dgame seor Gonzales. Cunto era su odio que este lo llevo a matar al seor Wilson? Rpta: ..
2. Hoy me toca a m remar, despus de todo es mi bote. Rpta: ..
3. Es cierto que no hemos podido demostrar que el acusado es culpable, sin embargo es tambin cierto que este no ha demostrado que es inocente. Concluyo, pues, en que el acusado debe ser culpable. Rpta: ..
33
4. Est bien seor juez, acepto que mate a mis padres; pero por favor no me condenen a cadena perpetua: Pido clemencia ya que soy hurfano. Rpta: ..
5. La nica que saba que me iban a ascender era Mara, lo ms probable es que ella haya tenido envidia de eso y debido a esa causa es que finalmente no me ascendieron. Rpta: ..
6. Yo no quise robar, pero las circunstancias me empujaron a ello: Tengo mi madre enferma, cinco hijos que atender y a mi esposa embarazada, el sueldo que ganaba apenas si alcanzaba para comer qu otra cosa podra haber hecho? Rpta: ..
7. Las teoras econmicas de Marx son falsas puesto que Marx era marxista y los marxistas son retrgrados, fanticos y obnubilados. Rpta: ..
8. Dgame asesino en serie: Por qu mat a la seorita Z?. Yo no mate a la seorita Z. Est bien. Al menos acepta que es un asesino en serie. Rpta: ..
9. Compaeros, no queda otra cosa sino la guerra. La sangre de nuestros hroes la reclama, el honor de nuestro pas lo exige. Rpta: ..
10. Von Mises padre del neo liberalismo econmico- ha sido el mejor de los economistas de toda la historia. Espero que recuerden eso alumnos y lo pongan por escrito en su examen. Les recuerdo que yo leo atentamente las respuestas de cada uno de ustedes. Rpta: ..
B. Seale que falacia de ambigedad se comete en cada uno de los siguientes enunciados: 1. La periquita de Maria alert sobre los ladrones. Rpta: ..
2. CARLOS CACHO CON SlDA: El popular animador de TV representar en una obra de teatro prxima a estrenarse en nuestra capital a un portador del VIH. Rpta: ..
3. Como un ao no es nada y ni hijo cumple maana un ao, entonces mi hijo no cumplir nada. Rpta: ..
4. El asno de Graciano se comi todas las zanahorias. Rpta: .. 5. El capitn orden que bajaran las velas, es por eso que llev el candelabro bajo cubierta. Rpta: ..
34
AUTOEVALUACIN DE LA UNIDAD I I. Identifique cul de las tres Funciones del Lenguaje est expresando cada enunciado. 1. Debe tener ms cuidado la prxima vez. ( ) ) ) 2. El lenguaje, la voz del alma de los pueblos, la fuente de vida de las culturas. ( 3. Por favor seor Prez, no vuelva usted a llegar tarde. (
4. Aunque usted no lo crea, yo s lo que vi. Haba un dinosaurio muy grande sumergindose en el lago. ( ) 5. Aunque parezca increble, la seorita X tiene 45 aos. ( 6. Anoche o un ruido extrao, muy extrao. ( ) ) ) )
7. Si pudiera leer lo que hay en su corazn, mis angustias por ella seran menores. ( 8. Realmente me encuentro extremadamente contento por su ascenso. ( II. Seale los niveles que posee cada enunciado (L0), (L1), (L2), etc.
1. Un da Jess, sonriendo mucho, dijo que l se llamar desde hoy Marcelino, Pan y Vino. ( ) 2. Todo es segn los ojos con que se miren ha dicho un filsofo, escribe Bryce. ( ) 3. Borges ha escrito que el jugador de ajedrez es prisionero de otro tablero de negras noches y de blancos das, revela el profesor. ( ) 4. La Constitucin garantiza que toda persona es considerada inocente mientras no se haya declarado judicialmente su responsabilidad. ( ) 5. Juan cont que Mafalda hizo una broma pesada cuando menciono sobre la realidad de la escuela, afirmo el to Pachuco. ( ) 6. El Presidente habl sobre los informes, los cuales mencionan sobre la estabilidad econmica del Per. ( ) 7. Esta noche es la noche dijo Carlos, as lo contaba Mara. ( ) 8. La evaluacin tratara sobre el tema de funciones y niveles del lenguaje, advirti el profesor. As me dijo Manuel. ( ) III. Identifique la(s) premisa(s) y la conclusin en cada uno de los siguientes argumentos. Luego elabore el diagrama correspondiente: 1. Me he opuesto a la pena de muerte durante toda mi vida. No veo evidencias de su valor disuasivo y pienso que hay formas mejores y ms eficaces para enfrentar los crmenes violentos. 2. En una sociedad justa no puede pagarse lo mismo a todas las personas puesto que las aptitudes y esfuerzos individuales varan notablemente y puesto que el bien comn resulta mejor servido mediante las desigualdades sistemticas de recompensa. 3. La cacera particularmente la caza de animales grandes, es tan complicada, difcil y peligrosa que requiere de la cooperacin de muchos individuos. Por lo tanto, se puede inferir que el hombre de Pekn viva con mucha mayor probabilidad en un grupo que aisladamente cuando comenz a cazar venados. 4. Ahora cada pas desarrollado desempea a la vez el papel de colonia y metrpoli con respecto a otras naciones. As, la guerra que hay tiene lugar entre pases desarrollados no es una guerra por mercados sino contra sus mercados. 5. Los proyectiles son ms fciles de defender que las ciudades por dos razones: primero, las plataformas de lanzamiento de proyectiles son pequeas y fuertes mientras que las ciudades son grandes y vulnerables; segundo, una defensa de una plataforma de lanzamiento se considera exitosa si logra salvar la mitad de los proyectiles, mientras que en la defensa de las ciudades hay que tratar de salvarlas todas.
35
IV. Correlacione las situaciones con la falacia a la que corresponde.

I. Se dice que un norteamericano afirm antes de la guerra civil que: Les daremos una tunda a esos yankis charlatanes. Cuando se le recordaron sus palabras al terminar la guerra con el triunfo de los yankis, respondi: Es muy sencillo. No peleamos contra los yankis charlatanes II. Menahem Begin, el primer ministro israel que renunci a su parte del premio Nobel consistente en 82 000 dlares, es quizs la ms pobre cabeza de gobierno del mundo desarrollado. III. Cuando Roger enferm de tuberculosis, regres a su hogar en Massachussets en lugar de seguir la prescripcin mdica de permanecer en el Oeste. En el fro del invierno, dej las ventanas abiertas, se puso un grueso abrigo, gorro y pidi a su secretaria que usara guantes para escribir a mquina. Roger mejor y atribuy la curacin al aire fresco pues, este aire de los pinos, segn l, tiene propiedades qumicas o elctricas (o ambas) de gran valor. IV. Testifico que cada hombre escuchar las palabras profticas de este libro. Si alguien desoye esas palabras, Dios enviar sobre l las plagas que estn escritas en este libro: Y si alguien se aleja de los aqu prescrito, Dios lo alejar del camino de la vida, y de la ciudad de Dios y de las cosas escritas en este libro. V. Cuando el ministro de salud dijo al parlamento que la Cienciologa era potencialmente perjudicial y una amenaza potencial. Se le pidi a Elliot, el ministro local de la Iglesia de Cienciologa, que respondiera a esas crticas. Entre sus comentarios ante el parlamento dijo Temo que el seor Robinson ha sufrido la derrota de dos de sus propuestas de ley y en las ltimas semanas ha sido relegado dentro del gobierno ( ) EQUIVOCACIN
) CAUSA FALSA
( ) APELACIN A LA FUERZA
( ) ARGUMENTO CONTRA EL HOMBRE
) ANFIBOLOGA
BIBLIOGRAFA DE LA UNIDAD I 1. KATAYAMA OMURA, Roberto. Introduccin a la Lgica. Editorial Universitaria URP, Lima, 2003 2. IRVING M. COPI Y CARL COHEN. Introduccin a la Lgica. Editorial Limusa - Grupo Noriega Editores. 2009. Cdigo en Biblioteca: 160-C77-2009. 3. TRELLES MONTERO OSCAR; ROSALES PAPA DIGENES. Introduccin a la Lgica. Fondo Editorial. 2000. Pontificia Universidad Catlica Del Per. Cdigo en Biblioteca: 160-T79
36
UNIDAD II: LA LGICA PROPOSICIONAL
UNIDAD II: LGICA PROPOSICIONAL
CONTENIDO
EJEMPLOS
ACTIVIDADES
BIBLIOGRAFA
AUTOEVALUACIN
CONOCIMIENTOS
Tema N 1: La Proposicin 1.1. Clasificacin de proposiciones.
PROCEDIMIENTOS
ACTITUDES
1. Identifica e interpreta Valora la importancia del proposiciones, y clases correcto razonar mediante la aplicacin del lenguaje de proposiciones. Tema N 2: El Lenguaje 2. Caracteriza las proposi- formalizado para la demostracin de conclusiones, dede la Lgica Proposiciociones moleculares en terminando la validez o la nal. base al conector domiinvalidez de un argumento 2.1. Smbolos primitivos: nante. o esquema lgico 2.2. Smbolos usuales 3. Formaliza proposicio2 2.3. Sinnimos de lectura nes e inferencias de un de los conectores lenguaje natural al len2.4. Clases y uso de los guaje lgico
conectores 2.5. Metavariables 2.6. Signos de agrupacin 2.7. Frmulas bien y mal formadas
4.
Tema N 3: Formalizacin de inferencias 3.1. Qu es formalizar? 3.2. Formalizacin de proposiciones atmicas 3.3. Formalizacin de proposiciones moleculares Tema N 4: Mtodos Decisorios Semnticos
Utiliza los mtodos semnticos para demostrar los valores de verdad y falsedad de esquemas moleculares lgicos y validez de argumentos.
Actividad Dirigida: Tarea Acadmica N 1:
4.1. Mtodo de Tabla de valores 4.2. Mtodo de Diagramas semnticos Autoevaluacin N 2
37
TEMA N01: LA PROPOSICIN

REFLEXIONES PREVIAS AL TEMA Es posible que usted, estimado estudiante, relacione la Lgica con los valores de Verdad y de Falsedad. Es necesario que recuerde lo tratado en el tema Lenguaje y Lgica. En lo referido a Funciones del Lenguaje. Lea los siguientes enunciados y marque cul de ellos cumple con la Funcin Informativa?: a) Qu miedo! b) Cierra la botella. c) Brasil es la capital de Latinoamrica. d) Estn fritos por drselas de vivos. Al enunciado que marc, se puede constatar que es Verdadero o Falso? Veamos entonces 2 aspectos importantes que nos ayudarn a reconocer una proposicin:
La respuesta es la letra (c). Una proposicin es el elemento bsico y fundamental sobre el que se construye el lenguaje formal de la lgica. La lgica como otras ciencias es una construccin a partir de componentes elementales. La caracterstica principal es que la proposicin es cualquier enunciado que tiene funcin informativa por lo cual potencialmente puede ser verdadero o falso. En el lenguaje cientfico, una proposicin se refiere a un enunciado que puede ser verdadero o falso, generalmente es el significado de una oracin informativa. Ejemplo: El ro Mantaro est contaminado Cules son proposiciones? Con la finalidad de tener mejor criterio sobre las proposiciones, se presentan los siguientes ejemplos para ver si son o no proposiciones: 1. Carlos y Jorge son compadres. 2. Me enoja tu comportamiento, eres indolente. 3. Alberto ama a Teresa y ella a Ral. 4. Todos los felinos son carnvoros y tienen excrementos pestilentes. 5. Quisiera que me prestes el carro que te vend. 6. El mundo es ancho y ajeno es un libro. 7. Lima y Huancayo se distancian en 200 Km. 8. Por favor, ajusten sus cinturones. 9. No come ni deja comer. 10. Ningn abogado es honesto. 11. Abre todas las ventanas. En los ejemplos mostrados, los que estn numerados 2, 5, 8 y 11 no son proposiciones, el 2 est en la forma expresiva, 5, 8 y 11 generan accin, estn en la forma directiva. Las que son proposiciones pueden tener diferentes estructuras.
38
1.1. CLASIFICACIN DE PROPOSICIONES Para la clasificacin de las proposiciones generalmente se consideran 2 clases: LA PROPOSICIN ATMICA y LA PROPOSICIN MOLECULAR. A continuacin revisaremos las caractersticas de cada uno de estos. 1.1.1. PROPOSICIN ATMICA La proposicin es atmica cuando slo hace referencia a un nico contenido de verdad o falsedad; Y al analizar la relacin sujeto(s) predicado; estos no pueden dividirse para formar 2 o ms proposiciones. Para el respectivo anlisis debe considerar la estructura que puede tener la proposicin atmica. Ejemplos: llueve, El suelo est mojado, Carlos y Mariela son hermanos. Etc A) Estructura de las proposiciones atmicas No todas las proposiciones atmicas tienen la misma estructura, en esta parte veremos la relacin sujeto predicado, y comprendiendo a lo que se refieren podremos identificar si tiene una estructura: S es P (sujeto es el predicado); Rab(Relacin del sujeto a con el sujeto b) o a en G (El sujeto a pertenece al grupo G). A.1) Proposiciones sujeto y predicado (S es P) Observe el siguiente ejemplo: Brenda juega todo el da Al analizar la estructura usted puede ver que Brenda, es un sujeto (S), al que se le atribuye un predicado (P): la accin de jugar todo el da. As tenemos estos otros ejemplos: Las gallinas tienen plumas El mundo es ancho y ajeno es un libro. Huancayo es una ciudad muy comercial. Los microclimas son parte de la biodiversidad. El oso polar es blanco A.2) Proposiciones con esquema relacional (Rab) Observe el siguiente ejemplo: Pepe ama a Mara La relacin ama a se encuentra entre dos sujetos, esta relacin nos indica que se necesitan a los dos sujeto para que le den sentido a la proposicin, es por eso que no se puede dividir el predicado para cada sujeto:
PROPOSICIN Pepe ama a Mara ANLISIS Si queremos otorgarle el predicado a cada sujeto, resultara de este modo: 1. Pepe ama 2. Mara ama
Como se dar cuenta la expresin queda sin sentido o incoherente porque la accin requiere donde recaer o actuar sobre algo o alguien. Carlos y Juan son hermanos. Esto quedara as: 1. Carlos es hermano 2. Juan es hermano
De igual modo no se puede dividir en 2 proposiciones porque al predicado le faltara la coherencia de establecer la relacin de hermano a otro sujeto
39
El sentido de interpretacin de este esquema relacional puede tener un solo sentido o dos sentidos. Por ejemplo Ernesto es padre de Liliana Esta proposicin podemos interpretarlo en un solo sentido puesto que queda claro que slo Ernesto puede ser padre de Liliana ya que no podra invertirse el sentido; decir que Liliana es padre de Ernesto; es una total incoherencia. Otro ejemplo: Viky y Lorena son vecinas Esta proposicin podemos interpretarlo en dos sentidos puesto que queda claro que Viki cumple con ser vecina de Lorena; pero tambin en el otro sentido Lorena cumple con ser vecina de Viki. Practique con los siguientes ejemplos, identifique qu sentido tienen: Lima es capital del Per La Luna es un satlite de la Tierra Carlos es primo de Juan Alfredo boxea con Ramiro A.3) Proposiciones que pertenencia a grupos o clases (a en G) Observe el siguiente ejemplo: Las ballenas son mamferos En este caso las ballenas pertenecen a un grupo mayor que son los mamferos. Este tipo de proposiciones indican que un sujeto se encuentra dentro de un conjunto de sujetos similares. Otros ejemplos: La vaca es rumiante Las provincias estn en los departamentos Los microbios son seres vivos Los abogados son profesionales Considere estas tres estructuras para identificar a las proposiciones atmicas de las moleculares o para diferenciarlas de otras oraciones que no cumplen con ser proposiciones. A.4) Las proposiciones y los nombres Prstele atencin a las siguientes ejemplos y responda: Son proposiciones? Carlos, Juan El Grande, Pipino El Breve, Carlos conde de Mirabeau. Todos de ellos son nombres, pero Tienen algn predicado? Se relacionan entre ellos? Pertenecen a algn grupo o clase? De seguro que habr notado que no tienen predicado y por lo tanto son slo nombres propio. A estos no se les considera proposiciones pues justamente les falta la estructura para llegar por lo menos a ser atmica. Veamos la siguiente proposicin: El mundo es ancho y ajeno es un libro. Aqu el sujeto es el ttulo del libro y esta proposicin corresponde al tipo de perteneca a grupos en este caso los libros, puede ser tambin considerado sujeto predicado, ya que el sujeto es el ttulo y el predicado indica que este sujeto es un libro.
40
Al analizar la proposicin: Ciro Alegra escribi El mundo es ancho y ajeno, encontramos que el sujeto es Ciro Alegra y el predicado es: escribi El mundo es ancho y ajeno. A.5) Proposiciones elpticas o abreviadas Esta es una caracterstica de nuestro lenguaje natural por la cual se puede simplificar las proposiciones, de modo que sean ms cortas y no pierdan su significado, por ejemplo: Est lloviendo, se puede decir: Llueve Va a nevar, se puede decir: Nevar La casa se est incendiando, se puede decir: Incendio en la casa o simplemente, Incendio. Todos ellos pueden ser verdaderos o falsos adems se est informando que algo sucede, por lo tanto son proposiciones. 1.1.2. PROPOSICIN MOLECULAR Estas proposiciones las podemos reconocer por ser complejas con respecto a las proposiciones atmicas. Y se pueden distinguir dos estructuras para estas. A) Estructuras de Las Proposiciones Moleculares Las podemos encontrar con dos estructuras: A.1) Proposicin atmica negada Cuando en una proposicin atmica se ha utilizado la negacin, entonces ha perdido su valor afirmativo y al llevarlo al lenguaje de la Lgica se tiene que utilizar un smbolo llamado conector mondico o negacin. Es por eso que adquiere una estructura ms compleja que la de la proposicin atmica. Ejemplo: Carlitos no administra la empresa. Margareth y Josefina no son hermanas. A.2) Proposiciones atmicas unidas por conectores Est constituida por varias proposiciones atmicas unidas por ciertas partculas llamadas conectores o conectivas. Ejemplo:
PROPOSICION MOLECULAR Llueve o solea EXPLICACIN DE FORMACION Se ha unido la proposicin Llueve con la proposicin solea usando la conectiva O) Se ha unido la proposicin Llueve con la proposicin solea usando la conectiva Y) La proposicin molecular Llueve y solea se ha unido con habr arcoris, formando una condicional (causa-consecuencia)usando la conectiva: Si ........................... entonces ................................
Llueve y solea Si llueve y solea entonces habr arcoris.
Revise estos ejemplos y diga cuales son atmicas y cuales moleculares: 1. Juan y Pedro son Psiclogos 2. Llueve y sol 3. Las armas que tiene nuestro ejrcito son muy obsoletas. 4. La contaminacin ambiental incluye tierra, agua y aire.
41
5. La lgica no trata de demostrar la verdad o falsedad de las proposiciones, otras ciencias son las encargadas de hacerlo. 6. Si viene alguien, dirs que no estoy para nadie 7. Corre y dile que venga. 8. Si investigas, te convencers de la verdad. Corrija sus respuestas; slo la proposicin 3 es atmica. El sujeto es las armas que tiene nuestro ejrcito y el predicado es son muy obsoletas, describe cmo son las armas. La proposicin 1 es molecular, hay dos proposiciones atmicas porque son dos sujetos Juan y Pedro con un mismo predicado son Psiclogos, se puede decir de modo equivalente: Juan es Psiclogo y Pedro es Psiclogo. La proposicin 2 es molecular porque hay dos proposiciones atmicas. En la proposicin 4 existen un sujeto relacionado con tres sujetos, es decir hay tres proposiciones atmicas, la relacin incluye es de un solo sentido. Puede construirse proposiciones atmicas equivalentes al ejemplo la contaminacin ambiental incluye tierra, la contaminacin ambiental incluye agua y la contaminacin ambiental incluye aire.
ACTIVIDAD PRCTICA A. Identifique la estructura de las proposiciones son sujeto predicado (S es P), relacin entre sujetos (Rab) o pertenencia a grupos (a en G). Considerar tambin que algunas de ellas no son proposiciones:
1. Algunos mdicos son incompetentes.( ) 2. Los ornitorrincos son ovparos. ( ) 3. Carlos odia a Ricardo. ( ) 4. Todos los das son calurosos.( ) 5. Luca gerencia la empresa.( ) 6. Los batracios son reptiles. ( ) 7. Todos los edificios son muy altos.( ) 8. Debe tener ms cuidado con la salud de los dems. ( ) 9. Ana Mara y Alberto son hermanos.( ) 10. Este mundo es maravilloso. ( ) 11. Indira es mi mejor amiga. ( ) 12. Gustavo es mi mdico. ( ) 13. Las calles son muy amplias.( ) 14. Los obreros son impuntuales.( ) 15. Las botellas contienen agua.( ) 16. Don Pedrito cocina bailando.( ) 17. Haba un enorme dinosaurio sumergindose en el lago.( ) 18. Los filsofos, como los asnos, son mamferos.( ) 19. El puente se desplom ayer!( ) 20. EI proyecto fue exitoso ya que no hubo retrasos. ( ) 21. El paciente no sobrevivi a la grave enfermedad.( )
22. Estamos fritos no debimos acercarnos al precipicio. ( )
B. Proposiciones atmicas y moleculares. Seale cules de los enunciados siguientes son proposiciones atmicas (A) y cuales son moleculares (M) 1. EI proyecto fue exitoso ya que no hubo retrasos. ( ) 2. Napolen fue derrotado en Waterloo. ( ) 3. Camina, no corre. ( ) 4. El mundo es ancho y ajeno es el ttulo de un libro. ( ) 5. Huancayo es la ciudad comercial en el centro de Los Andes. ( ) 6. Brasil, Rusia, India y China (BRIC) son considerados pases emergentes. ( ) 7. Perdieron el partido porque no entrenaron bien. ( ) 8. Perdieron el partido porque no entrenaron bien. ( ) 9. Hay viento e inundaciones ( ) 10. Los peces son acuticos puesto que respiran por sus branquias. ( ) 11. Estamos a punto de llegar a la meta. ( ) 12. La Luna es un satlite de la Tierra. ( )
42
TEMA N02: EL LENGUAJE DE LA LGICA PROPOSICIONAL

REFLEXIONES PREVIAS AL TEMA
Vuelva a tener presente el tema: La Lgica y el Lenguaje; en especial lo referido a Lenguaje Natural y Lenguaje Formal(artificial) . Usa la Lgica un lenguaje natural o artificial? Si la Lgica es una ciencia, pues como tal debe tener su propio conjunto de smbolos para expresar sus contenidos. 2.1. SMBOLOS PRIMITIVOS: Para construir el lenguaje formal de la lgica se utiliza los smbolos primitivos que son tres tipos:
Sobre estos tres smbolos primitivos es necesario hacer algunas aclaraciones: Las variables proposicionales representan proposiciones atmicas, es una letra minscula de p a z. En caso de que faltaran letras se utilizan subndices p1, p2, p3. O q1, q2, Los conectores lgicos sirven para construir proposiciones moleculares. Ejemplo:
2.2. SMBOLOS USUALES A continuacin le mostramos un cuadro en el cual estarn los smbolos ms usados por los autores de los diferentes textos de Lgica.
43
2.3. SINNIMOS DE LECTURA DE LOS CONECTORES El interpretar la simbolizacin adecuada de los conectores es una de los procedimientos ms importantes de la FORMALIZACIN, que es el tema que continua. Pero en este apartado dejemos claro que expresiones, palabras u otro pueden ser equivalentes a uno de estos conectores. A) Para la negacin: no no es el caso que no se da que no ocurre que es falso que es mentira que no es cierto que es imposible que, etc, As mismo si se utilizan los antnimos de una palabra ya mencionada. Por ejemplo: El caf est caliente y la leche esta fra (equivale decir no est caliente). B) Para la conjuncin: y adems agregamos tambin pero sin embargo aunque punto seguido (.) coma (,) C) Para la disyuncin: o uno u otro D) Para la condicional: si entonces si ,(coma) .entonces cuando ..por lo tanto E) Para la bicondicional: si y solo si entonces y solo entonces siempre y slo cuando .. 2.4. CLASES Y USO DE LOS CONECTORES A) Conector mondico: Ya habamos mencionado a este conector anteriormente , lo conforma la negacin y su uso afecta a una sola variable. La negacin siempre antecede a la variable proposicional. Ejemplo:
44
B) Conector didico: Lo conforman los otros conectores y afectan a dos variables, estos conectores deben estar en medio de dos proposiciones Ejemplo: Carlos juega y corre. Manuela escribe o lee. Tenemos de estos ejemplos:
2.5. METAVARIABLES Se sabe que las variables pueden ser p, q, r, etc., estos representan variables atmicas. Cuando las variables estn conectadas como ser reemplazados por letras maysculas como A, B, C, etc. etc. Pueden
Las metavariables representan frmulas construidas o proposiciones moleculares. Se utilizan en esquemas largos, amplios o complejos; sirven para reemplazar alguna proposicin molecular y tienen fines prcticos para operativizar los mtodos de validez, los cuales estudiaremos en los siguientes temas. Ejemplo:
2.6. SIGNOS DE AGRUPACIN Como ya se present, los signos de agrupacin son: ( ), [ ], { }, ||. Parntesis, corchetes, llaves y barras. Estos signos de agrupacin se utilizan para establecer las jerarquas en la solucin con conectores lgicos. Ejemplo: Significa que la negacin abarca a la conjuncin que se encuentra entre parntesis. En cambio en la frmula En la frmula la negacin solo afecta a la variable p.
la negacin solo afecta a la variable q.
El uso de estos signos es muy importante para la correcta formalizacin al lenguaje de la lgica y la operativizacin de los mtodos semnticos. Primero se usa el parntesis, luego los corchetes, sigue las llaves y por ltimo las barras, aunque en algunos textos, los autores prefieren usar nuevamente los parntesis despus de las llaves. Lo ms importante es comprender que se usan intercaladamente Ejemplo: 2.7. FRMULAS BIEN FORMADAS Y FRMULAS MAL FORMADAS (FBF y FMF) Para tener formalizaciones correctas debe tener en cuenta lo expuesto del uso de los conectores y el uso de los signos de agrupacin para justamente establecer que conector es el dominante en los esquemas y sus partes. Las Jerarquas de mayor a menor: 1. 2. son de la misma jerarqua (pero mayores que son de la misma jerarqua )
45
Cuando son de la misma jerarqua se establece la menor jerarqua utilizando signos de agrupacin. Ejemplo: (En este caso gracias a los parntesis queda claro que el conector dominante es la conjuncin puesto que queda la disyuncin subordinada) Determine cuales son FBF y si no lo son complete lo que falta: 1. 2. 3. 1. 2.
ACTIVIDAD PRCTICA A. Conectores. En las siguientes proposiciones, identificar qu tipo de conectores se est utilizando: 1. Cuando venga Ins jugaremos ajedrez. 2. Nunca he odo un sonido como este. 3. Sers universitario si y solo si apruebas el examen de admisin. 4. Jams vendr a consultar lo mismo. 5. Es rebelde porque es joven. 6. Tu prima es soltera o es casada. 7. De salir el sol iremos a la playa. 8. Es herbvoro si y slo si se alimenta de plantas. 9. Rosita es inteligente, sin embargo es floja. 10. Antonio est presente o ausente. B. Diga si las siguientes proposiciones son conjuntivas, disyuntivas, negativas, condicionales o bicondicionales(Esto lo determina el conector dominante) 1. La huelga contina, pues no hay solucin 2. Todos los cuerpos se atraen con una fuerza directamente proporcional al producto de sus masas e inversamente proporcional al cuadrado de la distancia que los separa. 3. David no es loretano ni es limeo 4. Gloria e Irene son de la misma ciudad 5. Si consigo una beca, entonces y solo entonces viajar al extranjero. 6. Rosario es muy inteligente, sin embargo es floja. 7. El lago se seca cuando hace mucho sol. 8. No come, ni deja comer 9. Si se calienta un cuerpo, entonces se dilata; y si se enfra, entonces se contrae. 10. El abuelo y la abuelita obsequiaron una mueca a su nieta. 11. Cuando apruebe el examen de admisin ingresar a la universidad 12. Nos vamos en avin o en tren rpido 13. Las estrellas nacen y viven, pero tambin mueren 14. Todos los que vuelan son pjaros, pero el avin no lo es. 15. La ciudad crece porque hay migracin.
46
TEMA N03: FORMALIZACIN DE INFERENCIAS

Estimado estudiante este es uno de los puntos ms importantes del curso; porque se profundizar el uso del lenguaje lgico. Se le recomienda tener presente las simbolizaciones estudiadas en el tema anterior, los conectores lgicos y las palabras de nuestro lenguaje natural que le son equivalentes. La capacidad de interpretacin, coherencia y uso del lenguaje lgico son los aspectos que se utilizaran intensivamente. 3.1. QU ES FORMALIZAR? Formalizar es pasar las proposiciones del lenguaje natural al lenguaje formal; es decir reemplazar una proposicin mediante smbolos de la lgica formal. El razonamiento expresado en nuestro lenguaje natural puede convertirse en razonamiento de la lgica formal, esto facilita la verificacin o comprobacin y el anlisis de nuestro razonamiento mediante las inferencias de la lgica formal.
Fig. 12. Formalizacin
3.2. FORMALIZACIN DE PROPOSICIONES ATMICAS Para efectuar la formalizacin se debe identificar la proposicin que est presente y a cada una asignarle una variable lgica, empezando de la variable p y siguiendo el orden alfabtico: q, r; etc Ejemplo: Hoy solea p Tengo 5 perros q Estamos de da r La psicologa es una ciencia s 3.3. FORMALIZACIN DE PROPOSICIONES MOLECULARES Para efectuar la formalizacin se debe identificar las proposiciones presentes y a cada una asignarle una variable lgica, empezando de la variable p y siguiendo el orden alfabtico, segn van apareciendo las proposiciones: q, r; etc
PROPOSICIN 1. Juan corre y Carlos juega. 2. Si llueve y solea entonces habr arco iris. ANLISIS Y FORMALIZACIN Juan corre = p y Carlos juega = q
Formalizado sera = Llueve = p y solea = q entonces habr arco iris = r Formalizado sera =
En el caso del ejemplo 2 al formalizar hemos usado las variables proposicionales, los conectores respectivos y tambin signos de agrupacin para darle la jerarqua a la condicional; de lo contrario quedara como una Formula Mal Formada. De estos ejemplos podemos establecer una regla para la formalizacin: Primer paso: Identificar cada una de las proposiciones que componen el enunciado. Segundo paso: Asignar a cada una de las proposiciones una variable proposicional empezando por la letra p.
47
Tercer paso: Identificar cada una de las conectivas proposicionales. Cuarto paso: Asignar a cada una de las conectivas proposicionales su smbolo respectivo. As tenemos el siguiente ejercicio: 1. Fernando es mi mejor amigo y Juana mi mejor amiga. Adems, sus respectivos padres son amigos de los mos. (Podemos identificar como una proposicin compleja o molecular todo lo escrito hasta el punto y seguido)
(Preste atencin a la proposicin:Sus respectivos padres son amigos de los mos. Se debe interpretar que se refiere a los padres de Francisco y de Janet o sea diferentes personas) Los padres de Fernando son amigos de mis padres r Los padres de Juana son amigos de mis padres s El resultado formalizado es: 3.3.1. Formalizacin de proposiciones con condicional inverso Observe el siguiente cuadro comparativo:
L. natural Condicional Directo Condicional Inverso
Si Carlos juega y Pepe trae su pelo- Obtuvimos la victoria puesto que el ta; entonces yo saldr a jugar equipo juega bien y todos se esforzaron. Carlos juega = p Pepe trae su pelota= q Yo saldr a jugar=r Obtuvimos la victoria = p El equipo juega bien = q Todos se esforzaron= r
Formalizacin
L. lgico
Como usted puede ver, se utilizan las mismas variables por la cantidad de las proposiciones que tiene cada uno de los ejemplos. Pero el orden en que finalmente ocupan en el esquema lgico o lenguaje lgico es diferente debido justamente al orden en el cual se encuentran las proposiciones que son premisas y la que es conclusin. Uno de los temas que causa mayor problema es simbolizar el conector condicional, especialmente para aquellos que recin se inician en esta actividad. El Condicional Directo tiene la siguiente lectura: Si A, entonces B; y se simboliza como Esto nos indica que, si sucede A entonces deber suceder B. El Condicional Inverso, se caracteriza por tener el orden invertido en la mencin de la premisa y la conclusin. Se expresa de otra forma: B es causado por A. Se puede decir, que sucedi A porque estuvo presente B. Se simboliza como:
48
NOTA: Para justamente reconocer a las premisas y la conclusin debe tener presente lo visto en el tema de Argumentos cuando nos referamos a los indicadores de premisas y de conclusin que ahora son utilizados. Ejemplo:
Esto, podemos expresar como: p porque q. Al simbolizar, es: Debemos simbolizar ordenadamente el argumento. Practique con los siguientes argumentos: 1. El descontento de los trabajadores se debe a que hubo una mala administracin de los recursos humanos. 2. Si llueve, habr humedad. No hay humedad. Entonces no llovi.
ACTIVIDAD PRCTICA A. Formalizar las siguientes proposiciones: 1. Ni Vilma, ni Anglica, ni Silvia ingresaron la Universidad. 2. El paciente falleci debido a que no recibi la atencin necesaria. 3. Si Csar es guitarrista, entonces es msico. No es el caso que Csar sea msico. Luego, Cesar no es guitarrista. 4. Ral viajar a Ro de Janeiro, puesto que obtuvo la beca y habla correctamente el portugus. 5. Si llueve, habr humedad. Si sale el sol, habr calor. Llover o saldr el sol. Entonces; habr humedad o habr calor. 6. Sin carbono, oxgeno, nitrgeno e hidrgeno no hay vida. En consecuencia, hay carbono o hay oxgeno o hay nitrgeno o hay hidrgeno, si hay vida. 7. A nadie quiso escribir, ni a sus ms ntimos amigos. 8. Aunque est enfermo, no faltar a la reunin. 9. No como ni duermo. 10. Si Carlos estudia y obtiene buenas calificaciones, entonces lo premiarn con una beca. 11. Gaby est hospitalizada debido a que tiene bulimia y anorexia. 12. La vida est en serios riesgos a causa de que actualmente se est contaminando el agua, el aire o la tierra. 13. Si Cceres manda atacar a los chilenos, la artillera har fuego y la caballera pasar a la retaguardia. En caso de que mande atacar a los chilenos, la infantera deber abrir fuego. Luego, si la caballera no pasa a la retaguardia, la infantera abrir fuego o atacar con sables. 14. Si el testigo dice la verdad entonces el asesino hizo tres disparos. Adems el revlver tena cinco balas. Si el revlver tena cinco balas, el asesino hizo slo un disparo y no tres. Entonces, el testigo no ha dicho la verdad. 15. Carlos recibe cursos a distancia pero si viaja a Lima entonces estudiar en la universidad o en un instituto tcnico 16. No es el caso de que. Si no hace fro y el sol salga, nevar 17. Si el jugador va al estadio entonces no es el caso de que, no juegue y este en la banca 18. Vas a la conferencia. Si no tienes auto, irs en taxi. 19. Si no es el caso que, no juegas ajedrez y comes cancha; saldrs a la fiesta. 20. Un nmero es divisible por 2 si termina en cero o en cifra par. Un nmero es divisible por 5 si termina en cero o en 5. Por consiguiente, un nmero es divisible por 2 si no termina en 5
49
TEMA N04: MTODOS DECISORIOS SEMNTICOS

Estimado estudiante para comprender este tema debe tener presente los siguientes aspectos ya tratados anteriormente. 1ro Las proposiciones pueden ser verdaderas o falsas, puesto que utilizamos enunciados con Funcin Informativa. 2do. La Lgica no se dedica a investigar a las proposiciones sino que con sus valores de verdad o falsedad establece las posibilidades de combinacin segn los conectores que los relacionan. Teniendo en cuenta lo anterior, los Mtodos Semnticos operativizan los valores de verdad o falsedad para determinar si un argumento o razonamiento es vlido o invalido, correcto o incorrecto. 4.1. MTODO DE TABLAS DE VALORES A) Qu es una tabla de valores? Una tabla de verdad es el resultado de aplicar un procedimiento que utilizamos para calcular todos los posibles valores de verdad de un enunciado molecular. Recordemos un caso conocido: la tabla de verdad de la negacin. Fjese en los elementos de la tabla de verdad:
Wittgenstein denominaba estados de cosas a cada una de las posibles combinaciones de verdad o falsedad para un enunciado (en este caso atmico). Otros autores hablan de interpretaciones para cada una de estas posibles combinaciones de verdad o falsedad para un enunciado. B) Construccin de la Tabla de Valores Tambin se llaman atribuciones veritativas a todas las combinaciones de verdad y falsedad de las proposiciones atmicas de una frmula. El nmero de estas atribuciones veritativas aumenta rpidamente a medida que se incrementa el nmero de proposiciones de la frmula. Para n proposiciones, la frmula 2n nos da el nmero de estas atribuciones veritativas. As: Para dos proposiciones: 2n=22=22=4 Para tres proposiciones: 2n=23=222=8 Para tres proposiciones: 2n=24=2222=16 etc.
50
Veremos primero las tablas de verdad para cada uno de los conectores. La conjuncin La conjuncin une dos o ms proposiciones, el enunse lee . Su valor de verdad queda deciado finido por la siguiente tabla de verdad. Solo cuando ambas proposiciones son verdaderas la conjuncin de ambas es verdadera, en los dems casos es falso. La disyuncin La disyuncin enlaza dos o ms proposiciones. Si se tiese lee p o q. ne p y q, el enunciado Su valor de verdad viene dado por la siguiente tabla de verdad, en este caso, solo cuando ambas proposiciones son falsas el resultado es falso, en los dems casos es verdadero. Disyuncin exclusiva Se presenta cuando ninguno de los dos p y q se pueden presentar simultneamente. Si ambas son verdaderas o si ambas son falsas, la disyuncin exclusiva es falsa. Para esto, utilizamos el smbolo v o el smbolo w: Condicional se lee p implica q o bien si p, El condicional entonces q. Un condicional siempre es verdadero, excepto cuando el antecedente es verdadero y el consecuente falso. Bicondicional no es lo mismo que Hemos comprobado que . Sin embargo, puede ocurrir que tanto como sean verdaderos. , que se lee p si El bicondicional o coimplicador y slo si q o p es equivalente a q, se define por la siguiente tabla de verdad: C) Conectivas dominantes y el orden de prioridad en los enunciados moleculares 1. Tenemos la proposicin molecular: Qu orden hay que seguir para calcular el valor de verdad?: Cul es la conectiva dominante? Primero se calcula el valor de verdad de la disyuncin En segundo lugar se aplica la definicin de la negacin a dicha disyuncin: En la siguiente tabla aparece esquematizado el orden que hay que seguir para calcular el orden de verdad de la expresin (los nmeros en rojo indican el orden a seguir):
La conectiva dominante es la negacin (el nmero ms alto) (Recuerda que es til saber esto porque el valor de verdad de un enunciado viene determinado por el valor de verdad de la conectiva dominante en dicho enunciado.)
51
En la tabla de valores sera de esta manera:
2. Averigemos los valores de: Qu orden hay que seguir para calcular el valor de verdad?. Cul es la conectiva dominante? En este caso, el orden de prioridad para calcular el valor de verdad es el siguiente:
, que es la agrupaPrimero se calcula el valor de verdad de la conjuncin cin ms interior, tomando en cuenta los valores de p y de q. En segundo lugar, se calcula tanto la disyuncin (tomando en cuenta los valores de 1 y de r) como la negacin (tomando en cuenta el valor de p), que estn en un nivel similar en la jerarqua. Por ltimo se calcula el valor de verdad de la conjuncin de los resultados de las operaciones 2 El conector dominante es la segunda conjuncin (el nmero 3). Por lo tanto, el valor de verdad de la expresin objeto de estudio, viene dada por el conjuntor 3.
D) Validacin de argumentos a travs de la Tabla de Valores Con la tabla de valores podemos evaluar un argumento y decir si es vlido o no lo es. Para ello debemos interpretar el resultado que se obtiene despus de haber determinado los valores veritativos del conector dominante. 1. Esquema Tautolgico. Se llama de esto modo cuando los esquemas y argumentos lgicos tienen la peculiaridad de que todas sus posibles interpretaciones son siempre verdaderas. Como lo muestra la siguiente tabla:
52
2. Esquema Contingente. Se llama de esto modo cuando los esquemas y argumentos lgicos tienen sus posibles interpretaciones valores de verdad y falsedad. Recuerde que si en el resultado se obtuviera un valor de falsedad y los dems de verdad ya es contingente. Como lo muestra la siguiente tabla:
3. Esquema Contradictorio Se llama de esto modo cuando los esquemas y argumentos lgicos tienen la peculiaridad de que todas sus posibles interpretaciones son siempre falsas. Como lo muestra la siguiente tabla:
Analicemos el siguiente argumento: 1. Si llueve, habr humedad. Y no hay humedad. Entonces no llovi Formalizando tenemos las siguientes proposiciones: p = llueve q = habr humedad El esquema sera: Validemos el argumento en la tabla de valores
Interpretemos el resultado: Segn la tabla, todos los valores son verdaderos por tanto es un esquema tautolgico. Esto quiere decir que el argumento es vlido. Tenga en cuenta entonces que un argumento es vlido slo cuando resulta un esquema tautolgico, mientras que si resulta contingente o contradictorio se debe interpretar que es invlido.
ACTIVIDAD PRCTICA a. Construir las tablas de verdad para los siguientes ejercicios: 1. 2. 3. 4. b. Determinar la validez de los siguientes argumentos: 1. Si llueve, habr humedad. Si sale el sol, habr calor. Llover o saldr el sol. Entonces; habr humedad o habr calor. 2. Si el testigo dice la verdad entonces el asesino hizo tres disparos. Adems el re-
53
vlver tena cinco balas. Si el revlver tena cinco balas, el asesino hizo slo un disparo y no tres. Entonces, el testigo no ha dicho la verdad. 4.2. DIAGRAMAS SEMNTICOS Estimado estudiante en este apartado practicar un mtodo decisorio alternativo al de las Tablas de Verdad, que se llama Diagramas Semnticos. El uso de los valores veritativos siguen siendo importantes en este mtodo por ser Semntico. Este mtodo nos da la posibilidad de buscar o demostrar si un determinado esquema lgico o argumento tiene alguna posibilidad de falsedad o posee algn ESTADO POSIBLE DEL MUNDO con resultado falso o si se desea determinar si es verdadero. Para ello va a tener que utilizar los siguientes esquemas de interpretacin donde la caracterstica consiste en que se plantea un valor de verdad o falsedad para el conector y en base a este valor, se deduce los valores de las proposiciones atmicas involucradas. 4.2.1) Representacin de los valores de verdad Negacin: Como ya sabemos, si una proposicin o esquema es verdadero, su negacin es falsa y viceversa. En ese sentido la negacin, de acuerdo a los diagramas semnticos, se representara del siguiente modo:
Que se lee: a) A es falso si y solo si A es verdadero b) A es verdadero si y solo si A es falso
Conjuncin: Para que un esquema conjuntivo sea verdadero ambos miembros de la conjuncin deben de serlo. Esto es, basta que uno de ellos sea falso para que dicho esquema sea falso. Por otro lado, en la lgica estndar hay slo 2 valores de verdad; lo verdadero y lo falso. En ese sentido tenemos dos posibilidades: Que se lee: a) A ^ B es falso, cuando cualquiera de los dos, A o B son falsos. b) A ^ B es verdadero, nicamente cuando los dos, A y B son verdaderos. Usted puede observar que en el diagrama a) los valores de verdad de ambos miembros de la conjuncin al ser analizados son escritos de manera horizontal. Esto indica que no se requiere que ambos miembros tengan el valor expresado (en este caso el de lo falso) sino que basta que uno lo tenga para que todo el esquema sea falso. En el diagrama b), en cambio, los valores de verdad de los respectivos miembros de la conjuncin estn ordenados de manera vertical, ello indica que para que la conjuncin pueda ser considerada como verdadera, tanto el miembro de la derecha como el de la izquierda debern de tener el valor de verdad de lo verdadero. Los respectivos valores de cada una de las variables proposicionales estn expresados a la izquierda de cada uno. Este orden de diagramacin se sigue con todos los dems operadores (disyuncin, condicional y bicondicional). Veamos una aplicacin de lo anterior:
54
Sea el esquema: Si planteamos que el esquema es verdadero, empezamos as:
Por otro lado si planteamos que es falso, empezamos as:
Disyuncin: Una disyuncin es falsa nicamente cuando ambos miembros de ella son falsos, en todos los dems casos es verdadera. a) A B es verdadero, cuando cualquiera de los dos, A o B son verdaderos. b) A B es falso, nicamente cuando los dos, A y B son falsos. Condicional: El condicional es falso nicamente cuando el antecedente es verdadero y el consecuente es falso.
Bicondicional: El bicondicional es verdadero en dos casos; o bien cuando ambos miembros del esquema son verdaderos o bien cuando ambos son falsos. En cambio si estos tienen valores de verdad alternados entonces ser falso.
Disyuncin Exclusiva: La disyuncin exclusiva es falso en dos casos; o bien cuando ambos miembros del esquema son verdaderos o bien cuando ambos son falsos. En cambio si estos tienen valores de verdad alternados entonces ser verdadero.
4.2.2. Anlisis de esquemas moleculares a travs de Diagramas Semnticos Para que utilice los diagramas semnticos para validar un esquema o argumento debe seguir el siguiente procedimiento: Primer Paso: Dar un valor al esquema. (puede ser verdadero o falso igual podremos determinar la validez del argumento o determinar los valores del esquema) Segundo Paso: En base al valor asumido del esquema ir analizando cada miembro o sub esquemas de este.
55
Tercer Paso: Ir numerando, a la derecha, el orden en que se han ido analizando los esquemas y sub esquemas. Dado el siguiente esquema: Considerando falso el esquema se tiene:
Como este esquema original ha sido el primero en ser analizado enumeramos a su derecha, con el numero uno. Realizando el anlisis partiendo del esquema conjuntivo y que a su vez tiene como valor de verdad lo verdadero, obtenemos lo siguiente:
Ahora pasamos a analizar el otro sub esquema (3) que an nos falta:
Cuarto paso: conocido como anlisis de ramas. Efectuemos el anlisis de ramas: Las ramas son las lneas finales que quedan al trmino del paso dos. En el caso que estamos analizando slo hay una rama. Rama 1: V (p), V (q), F ( r) , F(s) Este anlisis de rama arroja como resultado que nuestro esquema es falso slo cuando p es verdadero, q es verdadera y r es falso, esto es cuando estas tres variables aparecen con este valor de verdad simultneamente. El quinto paso: Anlisis de Estados Posibles del Mundo (E.P.M.) En este quinto paso se realiza un anlisis de todas las posibilidades lgicas para ver en qu casos se cumple la posibilidad indicada por el anlisis de ramas. Para ello se realiza una tabulacin de valores de verdad similar al de las Tablas de Verdad, con la diferencia de que cada posibilidad es numerada y solo se ubica en que EPM la combinacin de valores nos da el esquema falso o verdadero.
56
Caso de rama abierta:
Una rama es abierta cuando no aparece en una misma lnea de anlisis una misma variable proposicional con valores veritativos diferentes.
Caso de rama cerrada:
Una rama es cerrada cuando en una misma lnea aparece una o mas variables proposicionales con valores de verdad diferentes.
Esto nos indica que la rama ha sido eliminada y no se la cuenta en el anlisis de ramas. Ilustraremos lo anterior con otro ejemplo. Sea:
57
En el ejemplo slo hay una rama abierta por lo tanto slo ella cuenta como rama. Observe que en el esquema de la parte derecha an queda una frmula por analizar sin embargo no se la ha analizado porque una vez que se detecta una contradiccin en una rama esta se cierra as queden aun frmulas por analizar al interior de ella. Cul es la relevancia de lo anterior? En el anlisis de ramas slo se debern de considerar las ramas que queden abiertas. Por qu? Porque una rama cerrada indica la existencia de una contradiccin. Si al hacer el anlisis de un esquema, todas las ramas se cierran el valor de verdad de dicho esquema es el opuesto al valor de la hiptesis. Analizar el siguiente argumento: Si hay innovacin en la empresa, entonces sta se desarrolla. Es cierto que hay innovacin. En consecuencia, la empresa Cundo resulta el arguse desarrolla. La formalizacin es: mento V?
Analizar el siguiente argumento: Si hay innovacin en la empresa, entonces sta se desarrolla. Es cierto que hay innovacin. En consecuencia, la empresa se desarrolla. La formalizacin es: Cundo resulta el argumento F?
De este argumento podemos decir que es VLIDO puesto que en el anlisis se demostr que es un ESQUEMA TAUTOLGICO
58
ACTIVIDAD PRCTICA A. Analiza mediante diagramas semnticos los siguientes esquemas 1. 2. 3. 4. 5. B. Determine la validez del siguiente argumento mediante el mtodo de los diagramas semnticos. Si el testigo dice la verdad entonces el asesino hizo tres disparos. Adems el revlver tena cinco balas. Si el revlver tena cinco balas, el asesino hizo slo un disparo y no tres. Entonces, el testigo no ha dicho la verdad. C. Determine mediante el mtodo de los diagramas semnticos si A implica a B. A = Los argumentos lgicos involucran proposiciones lgicas; ya que, si las proposiciones se relacionan entre nexos lgicos, entonces el lector se ve obligado a reconocerlos. B = Las proposiciones se relacionan entre nexos lgicos; por eso, si el lector se ve obligado a reconocerlos entonces los argumentos lgicos involucran proposiciones lgicas. D. Por el mtodo de los diagramas semnticos, decida la validez o no de la siguiente inferencia: Si existen sustancias compuestas entonces el tomo es una sustancia compuesta. Si existen sustancias simples entonces el electrn es una sustancia simple. Existen sustancias simples y compuestas. Por lo tanto, el tomo es una sustancia compuesta y el electrn es una sustancia simple.
AUTOEVALUACIN DE LA UNIDAD II I. Identifique al conector dominante en los siguientes ejemplos:

1. Si no pagan hoy viernes, tendremos un mal fin de semana. 2. De la verdad de Todos los hombres son mortales se deriva la verdad de Algunos hombres son mortales. 3. El Per, o exporta trigo o exporta arroz. 4. En el imperio de los incas, la llama era usada como animal de carga. 5. Un nmero es positivo si es mayor que cero. 6. No es el caso que Brasil o Mjico pertenezcan al Pacto Andino. 7. Ni Ecuador ni Bolivia son productores de algodn. 8. Se hubiera impedido el asalto al banco si la alarma hubiera sonado oportunamente. 9. Tendremos muchas flores en el jardn, si la estacin es propicia y las semillas no estn malogradas. 10. Ral no trabaja en la empresa, sin embargo visita la empresa todos los das y se rene con los trabajadores. 11. O Carlos es matemtico y profesor universitario, o es empresario y dueo de una editorial. 12. Los filsofos, como los asnos, son mamferos. 13. Los fines que son a la vez deberes son la propia perfeccin y la felicidad ajena. 14. El mundo es la totalidad de los hechos, no de las cosas. 15. No hay un camino hacia la paz, la paz es el camino. 16. Una gran filosofa no es la que instala una verdad definitiva, es la que produce una inquietud 17. Isabel y Oscar son primos.
59
II. Formalice el siguiente argumento y evale su validez mediante tabla de valores 1. Si Luis gana la primera partida, entonces si quiere aumentar sus ganancias, continuar jugando. Es as que Luis contina jugando. Luego, si Luis gana su primera partida, quiere aumentar sus ganancias. III. Determine mediante diagramas semnticos en qu y en cuntos E.P.M. los siguientes esquemas son verdaderos 1. 2. 3. IV. Por el mtodo de los diagramas semnticos, determine si el siguiente argumento es vlido o no:
BIBLIOGRAFA DE LA UNIDAD I 1. KATAYAMA OMURA, Roberto Introduccin a la Lgica , Editorial Universitaria URP, Lima, 2003 2. ROSALES PAPA, Digenes. Introduccin a la Lgica. Editorial LABRUSA. PERU. Cdigo en biblioteca UCCI 160 R84 3. TRELLES MONTERO OSCAR ; ROSALES PAPA DIGENES. Introduccin a la Lgica. Fondo Editorial. 2000. Pontificia Universidad Catlica Del Per. Cdigo en Biblioteca: 160-T79 4. LUIS PISCOYA HERMOZA. Lgica General. Cdigo en Biblioteca: 160-P62-2007 5. REA RAVELLO, Bernardo. Introduccin a la Lgica. Editorial MANTARO. Lima Per, 2003
60
UNIDAD III: LA LGICA PROPOSICIONAL MTODOS SINTCTICOS
UNIDAD III: LGICA PROPOSICIONAL: MTODOS SINTCTICOS
CONTENIDO
EJEMPLOS
ACTIVIDADES
BIBLIOGRAFA
AUTOEVALUACIN
CONOCIMIENTOS
Tema N 1: Las leyes lgicas y equivalencias 1.1. Las equivalencias tautolgicas o equivalencias lgicas.
PROCEDIMIENTOS 1. Emplea las leyes lgicas y equivalencias notables para simplificar, establecer la equivalencia entre dos proposiciones moleculares y validar argumentos
ACTITUDES
Demuestra perseverancia y esfuerzo durante el desarrollo de ejercicios lgicos, en las cuales utiliza los aspectos tericos de la Lgica para lograr con xito las demostraciones y simplificaciones Tema 2: lgicas en el lenguaje proDeduccin Natural 2. Utiliza las reglas de inposicional y cuantificacio2.1. Reglas de inferencia ferencia para demosnal. 2.2. Mtodos de Deduccin trar si la conclusin de Natural un argumento se sigue lgicamente de las preAutoevaluacin N 3 misas. Actividad Dirigida: Control de Lectura N 2:
61
REFLEXIONES PREVIAS AL TEMA Estimado estudiante en esta unidad trabajaremos utilizando las leyes, equivalencias y reglas de inferencia de la Lgica, por la naturaleza del tema el aspecto procedimental cubre gran parte del tiempo programado.
TEMA N01: LAS LEYES LGICAS Y EQUIVALENCIAS

Una forma proposicional es una ley lgica si y solo si cualquiera que sea la interpretacin formalmente correcta que se haga de la misma, se obtiene como resultado una verdad lgica. Esto quiere decir que el resultado es Tautolgico
De la ley de no contradiccin podemos obtener el esquema de la contradiccin: Contradiccin = 1.1. LAS EQUIVALENCIAS TAUTOLGICAS O EQUIVALENCIAS LGICAS donde A y B son enunciados Las equivalencias tautolgicas tienen la forma (atmicos o moleculares) que son lgicamente equivalentes. En otras palabras, si es tautolgica, entonces A equivale B. Las equivalencias tautolgicas son las siguientes:
62
Tabla 2. Cuadro de equivalencias lgicas
1. Observe los siguientes ejemplos en los cuales se plantea demostrar la equivalencia de los esquemas:
63
2. Fjese que en el siguiente ejemplo se aplica la prueba formal, simplificando el esquema lgico usando leyes y equivalencias para determinar si es tautolgico, contradictorio o contingente.
Respuesta: El esquema es contingente
64
ACTIVIDAD PRCTICA I. Simplifique utilizando los principios lgicos y las equivalencias tautolgicas los siguientes esquemas moleculares:
II. Utilice leyes y equivalencias para demostrar lo que se pide en cada ejercicio 1. Demostrar utilizando leyes y equivalencias que el argumento No es verdad que Portugal celebra el descubrimiento y la conquista de Brasil, equivale a Si Portugal celebra la conquista entonces no celebra el descubrimiento de Brasil. 2. Demostrar utilizando leyes y equivalencias que el argumento El Per es democrtico pero no hay elecciones, excepto que, el Per no es democrtico y hay elecciones, equivale a Es falso que el Per es democrtico si y solo si hay elecciones. 3. Demostrar utilizando leyes y equivalencias que el argumento Es falso que hable alemn a menos que hable francs, equivale a Es falso que si no hablo alemn, hablo francs. 4. Demostrar utilizando leyes y equivalencias que el argumento No es cierto que no haya recesin a menos que haya progreso, equivale a No hay progreso sin embargo hay recesin. 5. Demostrar utilizando leyes y equivalencias que el argumento Los obreros trabajan pero no son millonarios, equivale a No es cierto que los obreros no trabajan salvo que sean millonarios. 6. Demostrar utilizando leyes y equivalencias que el argumento Rosa canta pero no llora, excepto que, no cante pero llore, equivale a Es mentira que Rosa canta siempre que llora. 7. Demostrar la validez del siguiente argumento utilizando leyes y equivalencias: Como es hora de clases, se concluye que en el aula hay profesores y alumnos, dado que, si es hora de clases, en el aula hay profesores, y hay alumnos si en el aula hay profesores.
65
8. Demostrar la validez del siguiente argumento utilizando leyes y equivalencias: Si Juan participa en un comit electoral de la Universidad entonces los estudiantes se enojaran con l, y si no participa en un comit electoral de la Universidad entonces las autoridades universitarias se enojaran con l. Pero Juan participara en un comit electoral de la universidad o no participara. Por lo tanto, los estudiantes o las autoridades universitarias se enojaran con l. 9. Demostrar la validez del siguiente argumento utilizando leyes y equivalencias: Si Anita deca la verdad, entonces Scrates corrompa a la juventud y si el tribunal lo condeno equivocadamente, entonces Anita no es culpable. Pero, Scrates no corrompa a la juventud o Anita es la culpable. Por lo tanto, Anita no deca la verdad o el tribunal no condeno a Scrates equivocadamente.
TEMA N02: DEDUCCIN NATURAL

REFLEXIONES PREVIAS AL TEMA Estimado estudiante en este tema vamos a cambiar la forma de expresar los esquemas lgicos fjese en el siguiente cuadro comparativo:
Hemos estado llevando el curso con la Forma de ley Lgica. Pero en este tema lo ms apropiado es el trabajar con la forma argumental. Usted puede notar el orden de las premisas y el lugar que ocupan cada una de estas con respecto a la conclusin. De acuerdo al mtodo de la deduccin natural, para evaluar una inferencia, es decir, para mostrar que la conclusin de una inferencia se sigue lgicamente de las premisas, es preciso indicar las reglas de inferencia validas elementales que conducen de las premisas a la conclusin. Estas reglas de inferencia se estudian a continuacin. 2.1. REGLAS DE INFERENCIA. 1) Modus Ponens (MP). Indica que si se afirma el antecedente de una premisa condicional se concluye en la afirmacin del consecuente. Ejemplo: Premisa 1. Premisa 2. Conclusin. Si l est en el partido de futbol, entonces est en el estadio. El est en el partido de futbol. El est en el estadio.
Simblicamente sea: Entonces: Premisa 1. Premisa 2. p: l est en el partido de futbol. q: l est en el estadio.
2) Modus Tollens (MT). Indica que si se niega el consecuente de una premisa condicional, se concluye en la negacin del antecedente. Ejemplo: Premisa 1. Premisa 2. Conclusin. Si tiene luz propia, entonces el astro es una estrella. El astro no es una estrella. No tiene luz propia.
Simblicamente sea: p: Tiene luz propia. q: El astro es una estrella.
66
Entonces: Premisa 1. Premisa 2.
3) Adjuncin, conjuncin o producto (A). Esta regla permite pasar de dos premisas a la conclusin. Ejemplo: Premisa 1. Premisa 2. Conclusin. Juan es ganadero. Rosa es costurera. Juan es ganadero y Rosa es costurera.
Simblicamente sea: Entonces: 4) Simplificacin (S). Indica que de una premisa conjuntiva se puede concluir en cualquiera de sus componentes. Ejemplo: Premisa 1. Conclusin 1. Conclusin 2. Juan es ganadero y Rosa es costurera. Juan es ganadero Rosa es costurera Premisa 1. Premisa 2. p: Juan es ganadero. q: Rosa es costurera.
Simblicamente sea: Entonces: Premisa 1. Conclus 1. Premisa 1. Conclus 2. p: Juan es ganadero. q: Rosa es costurera.
5) Silogismo Disyuntivo (SD). Indica que negando un miembro cualquiera de una disyuncin se concluye afirmando el otro miembro. Ejemplo: Premisa 1. Premisa 2. Conclusin. Juan es ganadero o Rosa es costurera. Juan no es ganadero. Rosa es costurera.
Simblicamente sea: Entonces: Premisa 1. Premisa 2. p: Juan es ganadero. q: Rosa es costurera.
6) Adicin (LA). Expresa el hecho de que si se tiene una proposicin verdadera, se concluye con la disyuncin de esta proposicin y otra cualquiera.
67
Ejemplo: Sean las proposiciones: Entonces: 7) Ley del Silogismo Hipottico (HS). Indica que la condicional es transitiva. Ejemplo: Premisa 1. Premisa 2. Conclusin. Si el agua se hiela, entonces sus molculas forman cristales Si las molculas forman cristales, entonces el agua aumenta de volumen. Si el agua se hiela, entonces aumenta de volumen. Premisa 1. p: Este libro es azul q: Este libro es rojo Este libro es azul. Este libro es azul o este libro es rojo.
Premisa 1. Conclusin.
Simblicamente sea: Entonces: Premisa 1. Premisa 2. p: El agua se hiela. q: Sus molculas forman cristales r: El agua aumenta de volumen
8) Ley del Dilema Constructivo (DC). Empieza con una disyuncin y dos condicionales. Ejemplo: Premisa 1. Premisa 2. Premisa 3. Conclusin: Llueve o el campo est seco. Si llueve, entonces jugaremos adentro. Si el campo est seco, entonces jugaremos baloncesto. Jugaremos adentro o jugaremos baloncesto.
Simblicamente sea: p: Llueve. q: El campo est seco r: Jugaremos adentro s: Jugaremos baloncesto
Entonces:
Premisa 1. Premisa 2. Premisa 3.
2.2. MTODOS DE DEDUCCIN NATURAL. 1) Prueba Directa (PD). Sea la siguiente inferencia en su forma lgica: 1. Si hay abundancia de peces, entonces habr abundante harina de pescado 2. Si hay abundante harina de pescado, entonces se incrementa la exportacin. 3. La exportacin no se incrementa. 4. Hay abundancia de peces o ser preciso recurrir a otras actividades Luego, ser preciso recurrir a otras actividades
68
Determinamos las variables proposicionales: p: Hay abundancia de peces q: Hay abundancia de harina de pescado. r: Se incrementa la exportacin. s: Sera preciso recurrir a otras actividades Simblicamente se expresa as: 1. 2. 3. 4. Efectuamos las derivaciones: 5. 6. 7. Habindose obtenido la conclusin, puede afirmarse que la inferencia original es vlida. 2) Prueba Condicional (PC). Este mtodo se aplica en los casos en que una inferencia tenga conclusin condicional o implicativa. Siendo la conclusin una formula condicional necesariamente tendr antecedente y consecuente. Para saber si una conclusin de este tipo se deriva de las premisas dadas se agrega el antecedente de la conclusin a las premisas, y, luego, aplicando a este nuevo conjunto de premisas las reglas o leyes lgicas, se realizan las derivaciones. Procedimiento: 1. Se toma primeramente su antecedente y se introduce como una nueva premisa (PA: premisa adicional). 2. Se efectan las derivaciones hasta hallar el consecuente de la conclusin. 3. Se une implicativamente la premisa adicional con el ultimo paso logrado volviendo la demostracin hacia la izquierda, a la posicin original. Ejemplo: Sea la forma inferencial siguiente: 1. 2. 3. 4. Introducimos la premisa adicional: 5. 6. 7. 8. 9. Se unen implicativamente la premisa adicional con el ltimo paso logrado: 10. 3) Prueba por la reduccin al absurdo (PRA). Resulta de la fusin de la regla de la prueba condicional y de la nocin de contradiccin. Consiste en introducir como premisa adicional la negacin de la conclusin para llegar a encontrar una contradiccin en las premisas. Es decir, se supone la falsedad del consecuente para llegar a la falsedad del antecedente, (antecedente de la conclusin) Efectuamos las derivaciones:
69
mostrando de esta manera que la conclusin se halla implicada en las premisas (demostracin indirecta). Procedimiento. 1. Se niega la conclusin y se introduce como una nueva premisa (premisa adicional). 2. Se efectan las derivaciones hasta encontrar una contradiccin. 3. Se une en forma condicional o implicativa la premisa adicional con la contradiccin hallada, a travs de la regla de la prueba condicional (PC), volviendo la demostracin a la posicin original. 4. Se establece la conclusin deseada como una inferencia lgicamente deducida de las premisas originales, aplicando la regla de la prueba por la reduccin al absurdo (PRA): Ejemplo: Sea la forma inferencial siguiente: 1. 2. 3. Se introduce la premisa adicional: 4. (premisa adicional = negacin de la conclusin)
Efectuamos las derivaciones: 5. p 6. q 7. 8. 9. Se aplica la regla de la PC: 10. Se aplica la regla de la PRA: 11. r PRA 10 MT 3,4 MP 2,4
ACTIVIDAD PRCTICA I. Aplique las implicaciones notables y obtenga la conclusin de cada una de los siguientes argumentos: 1. Si los eucaliptos no crecen, entonces necesitan a ms agua o necesitan mejor abono. Los eucaliptos no crecen. Luego. 2. Si es imposible que la matemtica sea ambigua y difcil de comprender, entonces la matemtica no es una ciencia exacta. Es imposible que la matemtica sea ambigua y difcil de comprender. Luego. 3. La teora de la relatividad no es absoluta. Si la materia no es eterna y Dios existe, entonces la teora de la relatividad es absoluta. Luego 4. Si Juan asiste a clases y cumple con sus tareas, entonces obtendr buenas notas si aprueba el ao acadmico. No es el caso que si aprueba el ao acadmico entonces obtenga buenas notas. Luego 5. No es posible que las manzanas sean duras y las naranjas sean cidas, o las uvas sean verdes, Las manzanas son duras y las naranjas son cidas. Luego, 6. El vendedor de helados obtiene buenas ganancias, y no es el caso que los helados sean caros o no se vendan en la playa. Luego
70
7. Si Coprnico deca la verdad entonces los planetas giran alrededor del sol, y si la hiptesis de Tolomeo fue errnea entonces la Tierra no es plana. Coprnico deca la verdad o la hiptesis de Tolomeo fue errnea. Luego 8. Si los astronautas viajan a Marte, entonces llevarn vveres y oxgeno, y si los astronautas viajan a explorar el espacio o a traer muestras de la Luna, entonces llevarn instrumentos especiales. Pero, los astronautas viajan a Marte, o viajan a explorar el espacio o a traer muestras de la Luna. Por lo tanto, II. Realizar las siguientes demostraciones utilizando las reglas de inferencia:
71
BIBLIOGRAFIA DE LA UNIDAD III KATAYAMA OMURA, Roberto Introduccin a la Lgica , Editorial Universitaria URP, Lima, 2003 ROSALES PAPA, Digenes. Introduccin a la Lgica. Editorial LABRUSA. PERU. Cdigo en biblioteca UCCI 160 R84 TRELLES MONTERO OSCAR ; ROSALES PAPA DIGENES. Introduccin a la Lgica. Fondo Editorial. 2000. Pontificia Universidad Catlica Del Per. Cdigo en Biblioteca: 160-T79 LUIS PISCOYA HERMOZA. Lgica General. Cdigo en Biblioteca: 160-P62-2007 REA RAVELLO, Bernardo. Introduccin a la Lgica. Editorial MANTARO. Lima Per, 2003
AUTOEVALUACIN DE LA UNIDAD III I. Utilice leyes y equivalencias para resolver los siguientes ejercicios: 1. Marque la opcin que resulte al simplificar usando los principios lgicos y equivalencias tautolgicas del siguiente esquema molecular:
a)
b) T
c)
d) B T
e)
2. Marque la opcin equivalente del siguiente argumento: Los alumnos juegan pero no bailan, excepto que, no jueguen pero bailen a) p
q
b)
c)
d)
e) p
3. Marque la opcin que resulte al simplificar usando los principios lgicos y equivalencias tautolgicas del siguiente esquema molecular:
a)
b) p
c)
d) T
e)
4. Marque la opcin que resulte al simplificar usando los principios lgicos y equivalencias tautolgicas del siguiente esquema molecular:
a)
b)
c)
d) T
e)
II. Realice la validacin de los siguientes argumentos usando la prueba que corresponda
72
UNIDAD IV: LA LGICA CUANTIFICACIONAL (LC)
UNIDAD IV: LGICA CUANTIFICACIONAL (LC)
CONTENIDO
EJEMPLOS
ACTIVIDADES
BIBLIOGRAFA
AUTOEVALUACIN
CONOCIMIENTOS
Tema 1. Lgica Cuantificacional 1.1 Formalizacin en LC 1.2 Los cuatro esquemas proposicionales bsicos Tema N 2: Proposiciones Categricas Tpicas Tema N 3: Propiedades Lgicas de los Cuantificadores 3.1 Reglas de Intercambio de cuantificadores Tema N 4: Mtodos Decisorios Semnticos
PROCEDIMIENTOS 1. Formaliza proposiciones usando las variables y smbolos del lenguaje de la Lgica Cuantificacional. 2. Utiliza el cuadro de oposicin categrico tpico para construir formas equivalentes de las proposiciones categricas tpicas. 3. Utiliza las reglas de intercambio de cuantificadores en la aplicacin de mtodos decisorios
ACTITUDES Demuestra perseverancia y esfuerzo durante el desarrollo de ejercicios lgicos, en las cuales utiliza los aspectos tericos de la Lgica para lograr con xito las demostraciones y simplificaciones lgicas en el lenguaje proposicional y cuantificacional.
4.1 Reglas lgicas de 4. Aplica los mtodos deintroduccin y cisorios para demostrar si la conclusin de un eliminacin argumento se sigue lde cuantificadores gicamente de las pre4.2 Mtodo Decisorios: misas. Derivaciones 4.2.1 Prueba Directa. 4.2.2 Prueba Condicional. Actividad Dirigida: Tarea Acadmica N 2: 4.2.3 Prueba por Reduccin al absurdo Autoevaluacin N 4 Evaluacin Final Presencial
73
TEMA N01: LGICA CUANTIFICACIONAL (LC)

REFLEXIONES PREVIAS AL TEMA Estimado estudiante en esta ltima unidad utilizaremos otro lenguaje de la Lgica, por lo cual tendr que conocer y aplicar una nueva formalizacin de proposiciones. Pero en este otro lenguaje son vlidos y aplicables los mtodos sintcticos. Si bien la lgica proposicional es un instrumento relativamente potente para el anlisis de las inferencias tiene tambin, no obstante sus virtudes, sus limitaciones. La LC es llamada tambin lgica de las proposiciones analizadas ya que, a diferencia de la lgica proposicional, no slo analiza la conexin y/o relacin lgico estructural entre las distintas proposiciones sino que tambin analiza la estructura interna de estas, esto es, cmo los distintos elementos internos de cada proposicin estn estructurados y/o conectados entre s a la vez que interproposicionalmente. 1.1. FORMALIZACIN EN LC La lgica cuantificacional, predicativa o de los trminos (clases o conjuntos) es aquella que permite hacer un anlisis ms profundo, refinado y riguroso que la lgica proposicional. La razn bsica es que esta lgica permite el anlisis de la CANTIDAD y CALIDAD de las proposiciones llamadas CATEGRICAS. Ejemplo:
Smbolos primitivos Variables proposicionales: p, q, r, s, ... Conectivas u operadores: Smbolos auxiliares: ( ), [ ], I I Variables individuales: a, b, c, d, Constantes individuales: x, y, z, Smbolos predicativos: F, G, H, Cuantificadores: Proceso genrico de formalizacin en LC Se realiza a travs de las letras maysculas del alfabeto. Por ejemplo, los predicados marinero, insensato, envenenado se suelen representar por las letras maysculas M, I y E respectivamente. Formalizacin de enunciados con variables individuales y trminos predicativos. Ejemplos:
Casos: Primer caso Mario es gordo y Jesualdo es delgado. : Formalizacin: Gm ^ Dj
74
Segundo caso Miriam y Javier son primos : Formalizando: Pmj ^ Pjm m j P
Si se tendra como ejemplo: Miriam es prima de Javier, en este caso la formalizacin hubiese sido: Pmj. Cuando formalizamos un grupo de sujetos que tienen la misma caracterstica, podramos reemplazarlo por una variable X , Y o Z. Observe el siguiente ejemplo: Si tenemos: Carlos es estudioso Luisa es estudiosa Rubn es estudioso x es estudioso x E Ex Formalizando estas proposiciones se tiene:
x es una variable que representa a varios sujetos y se denomina variable individual. Se utilizan las ltimas letras del abecedario como x, y, z Formalizacin de cuantificadores Todos los enunciados formalizados en LC, para el anlisis de validez, debern incluir cuantificadores, estos, como sabemos, pueden ser: el universal el particular Ejemplos: Todos los x son sapos. Formalizando el trmino cuantificacional tendramos: x es sapo que se lee para todo(s) y que se lee existe algn(os).
A su vez, si asumimos que sapo es un trmino predicativo, tendramos el siguiente esquema: Sx: Que se lee Para todo x, x es sapo 1.2. LOS CUATRO ESQUEMAS PROPOSICIONALES BSICOS
75
El cuadro bsico de oposicin El cuadro de oposicin es un instrumento que nos permite establecer de manera automtica una serie de relaciones lgicas interproposicionales para proposiciones bsicos.
Subalternante ( x) x Contrarios ( x) x Subalternante
CONTRADICTORIOS
Subalterna ( x)
Sub contrarios
( x) x
Subalterna
El cuadro se debe comprender de la siguiente manera: Supongamos que tenemos el enunciado Todos los x son mortales, que simbolizamos como (x)Mx, el enunciado lgicamente contrario es Ningn x es mortal, que simbolizamos como (x)Mx. En ese sentido, generalizando, podemos concluir que un enunciado universal afirmativo cualquiera es contrario a un enunciado universal negativo cualquiera siempre y cuando ambos se refieran al mismo objeto y tengan el mismo predicado (si bien uno afirmativo y el otro negativo). Por otro lado, como un enunciado universal engloba o abarca un enunciado particular, entonces los enunciados particulares, tanto positivos como negativos, son subordinados o subalternos a los enunciados universales respectivos los cuales son as los subordinantes o subalternantes. Finalmente, si nosotros sostenemos un enunciado de la forma Todos los x son estamos diciendo que todos los individuos u objetos de una clase determinada poseen la caracterstica , por lo tanto basta que un individuo de la clase x no posea la caracterstica , para contradecir a lo mencionado por el primer enunciado. As, si decimos que todos los x son negros y luego aparece aunque sea un x que no es negro, ese solo hecho basta para contradecir nuestro primer enunciado.
ACTIVIDAD PRCTICA A. Formalice los siguientes enunciados (no use cuantificadores) 1. Juan juega. 2. Maria trabaja. 3. Pepe es abogado y Melchor es ingeniero. 4. Si Bernardo trabaja, Jose estudia. Pero si Bernardo no trabaja, entonces Jose tendr que hacerlo. 5. Ganare la Tinka slo en el caso que acierte los seis nmeros. B. Formalice los siguientes enunciados (use cuantificadores) 1. Algunos x son abogados. 2. Todos los x son estudiantes y empleados. 3. Algunos x son profesionales. 4. Algunos x trabajan y otros estudian. 5. Ningn x es militar
76
C. Determine el enunciado que cumple con la relacin lgica que se le pide 1. El subalterno de: Ningn x trabaja. 2. El contrario de: Todos los x son futbolistas. 3. El contradictorio de: Algunos x no son grises. 4. El sub contrario del contradictorio del contrario de: Todos los x son hombres. 5. El subalternante del contradictorio del contrario de: Ningn x est vivo.
TEMA N02: PROPOSICIONES CATEGRICAS TPICAS

Las proposiciones categricas son afirmaciones (o negaciones) sobre clases o grupos de objetos, del tipo todos son... o algunos son... o ninguno es , son enunciados atmicos o simples: expresan un solo juicio y estn referidos a la cantidad y la calidad. Segn la cantidad pueden ser: Universales o Particulares. Segn la calidad pueden ser: Afirmativas o Negativas. Formalizacin de Universal Afirmativa (UA) La forma: Todos los S son P se formaliza: La lectura es: Para todo x, si x es S entonces x es P. Donde: S = cualquier clase, P = cualquier predicado posible sobre S , x = cualquier individuo perteneciente a la clase o conjunto S pues no se especifica en concreto. Ejemplo: Todos los empleados trabajan, al ser formalizado tendr la siguiente estructura: La lectura es: Para todo x, si x es Empleado, entonces x Trabaja. Donde: E = empleados y T = trabajan Formalizacin de Universal Negativa (UN) La forma Ningn S es P se formaliza: La lectura es: Para todo x, si x es S entonces x no es P, Donde: S = cualquier clase, P = cualquier predicado posible sobre S , x = cualquier individuo perteneciente a la clase o conjunto S pues no se especifica en concreto. Ejemplo: Ningn hombre es mortal al ser formalizado tendr la siguiente estructura:
La lectura es: Para todo x, si x es Hombre, entonces x no es Mortal. Donde: H = hombre, y M = mortal. Formalizacin de Particular Afirmativa (PA) La forma Algunos S son P se formaliza: La lectura es: Existe algn x, tal que x es S y P Donde: S = cualquier clase, P = cualquier predicado posible sobre S, x = cualquier individuo perteneciente a la clase o conjunto S pues no se especifica en concreto.
77
Ejemplo: Algunos hombres son mortales al ser formalizado tendr la siguiente estructura: La lectura es: Existe algn x, tal que x es Hombre y Mortales. Donde: H = hombre, y M = mortal. Formalizacin de Particular Negativa (PN) El enunciado Algunos S no son P se formaliza: La lectura es: Existe algn x, tal que x es S y no es P. Donde: S = cualquier clase, P = cualquier predicado posible sobre S, x = cualquier individuo perteneciente a la clase o conjunto S pues no se especifica en concreto. Ejemplo: Algunos hombres no son mortales al ser formalizado tendr esta estructura: La lectura es: Existe algn x, tal que x es Hombre y no es Mortal. Donde: H= hombre, y M= mortal.
ACTIVIDAD PRCTICA A. Formalice los siguientes enunciados. 1. Algunos administradores no trabajan en empresas. 2. No todos los mamferos tienen pelos. 3. Las aves provienen de los dinosaurios 4. Algunos psiclogos tienen enfermedades psicolgicas. 5. Hay abogados que no conocen todas las leyes. 6. Algunos estudiantes no tienen idea de lo que es su profesin. 7. Muchos ingenieros trabajan en otras profesiones. 8. Hay mdicos que no curan enfermedades. B. Determine el enunciado que cumple con la relacin: 1. El contrario de: 2. El contradictorio de: 3. El contradictorio del contrario del contradictorio de: 4. La subalterna de la contraria de la contradictoria de: 5. La contraria de la subalternante de la sub contraria de:
78
TEMA N03: PROPIEDADES LGICAS DE LOS CUANTIFICADORES

Estimado estudiante de seguro al momento de practicar formalizaciones en este lenguaje, ha detectado que se podra comprender ciertas proposiciones de dos formas y por consiguiente formalizarlo de dos formas equivalentes: Por ejemplo: No todos los mamferos tienen pelos. Al formalizarlo sera: Al interpretarlo se podra comprender que la expresin no todos es equivalente a decir Unos cuantos o Existe por lo menos uno que cumple con esa caracterstica. Entonces podramos expresarlo equivalentemente del siguiente modo: Existe por lo menos un mamfero que no tiene pelo: En este tema justamente usted conocer y practicar con estas propiedades de los cuantificadores. 3.1. REGLAS DE INTERCAMBIO DE CUANTIFICADORES Las reglas de intercambio de cuantificadores son relaciones lgicas de equivalencia que permiten reemplazar un cuantificador universal por otro particular y viceversa. Para ello seguiremos las siguientes reglas: Primera regla Tenemos la siguiente proposicin: Todos los x son abogados. Esta proposicin nos dice que una propiedad distintiva de todos los individuos x es ser abogados. Por lo tanto es equivalente al enunciado: No existe algn x que no sea abogado. Formalizando tenemos: La segunda proposicin: Por lo que podemos formular la siguiente equivalencia lgica:
Segunda regla Tenemos el siguiente enunciado: Ningn x es abogado Este enunciado nos dice que una propiedad distintiva de todos los individuos x es no ser abogados. Por lo tanto es equivalente al enunciado: No existe algn x que sea abogado Formalizando tenemos: La segunda proposicin: Por lo que podemos formular la siguiente equivalencia lgica: Tercera regla Tenemos el siguiente enunciado: Algunos x son abogados Este enunciado nos dice que una propiedad distintiva de algunos de los individuos x es ser abogados. Por lo tanto es equivalente al enunciado: No todos los x son no abogados (ya que existen algunos x que s lo son). Formalizando tenemos: La segunda proposicin: Por lo que podemos formular la siguiente equivalencia lgica: Cuarta regla Tenemos el siguiente enunciado: Algunos x no son abogados
79
Este enunciado nos dice que una propiedad distintiva de algunos de los individuos x es no ser abogados. Por lo tanto es equivalente al enunciado: No todos los x son abogados (ya que existen algunos x que no lo son). Formalizando tenemos: La segunda proposicin: Por lo que podemos formular la siguiente equivalencia lgica: De este modo podemos sintetizarlo del siguiente modo: Primera regla: Segunda regla: Tercera regla: Cuarta regla: Las cuatro reglas de intercambio de cuantificadores se obtienen al negar sus contradictorias, segn el cuadro bsico de oposicin (Boecio). 3.1.1. Intercambio de cuantificadores en Proposiciones Categricas Tpicas Esta propiedad se aplicara del siguiente modo: Todos los S son P equivale a No existe algn S que no sea P Todos los S no son P equivale a No existe algn S que sea P Algunos S son P equivale a No todos los S no son P Algunos S no son P equivale a No todos los S son P
TEMA N04: MTODOS DECISORIOS

REFLEXIONES SOBRE EL TEMA
Como este tema ya ha sido explicado en detalle en la parte correspondiente a Lgica Proposicional, aqu slo nos ocuparemos de algunas reglas adicionales que son necesarias para trabajar en LC as como tambin a presentar de manera genrica dicho mtodo. Para poder aplicar las distintas reglas de equivalencia y de implicancia (en general las reglas de inferencias), se requiere que los distintos elementos que componen los esquemas proposicionales se encuentren libres por lo que, durante el proceso operativo, no pueden estar cuantificados. De ah la necesidad de estas reglas. 4.1. REGLAS LGICAS DE INTRODUCCIN Y ELIMINACIN DE CUANTIFICA- DORES
80
4.1.1. Regla de Eliminacin del Universal (EU) Consiste en eliminar el cuantificador universal y reemplazar la variable cuantificada por una variable libre ya sea una constante individual o una variable individual. Por ejemplo: Sea el esquema el siguiente: Por la Regla de Eliminacin del Universal obtenemos el siguiente esquema Tambin es posible: , o incluso no cuantificado: Por qu? Porque una proposicin con un cuantificador universal nos dice que todos los elementos que constituyen la clase tienen la caracterstica que se predica por lo que puede ser cualquiera de ellos en general (simbolizado por la misma constante x o si queremos por otra constante) o cualquiera de ellos en concreto (simbolizado en este caso por las variables de individuo a, tambin poda haber sido cualquier otra) Generalizando: Donde: representa cualquier enunciado posible (tanto categrico tpico como atpico), representa a cualquier individuo, ya sea en general (constante individual) o en concreto (constante individual) y x representa una variable cuantificada. 4.1.2. Regla de Introduccin del Universal (IU) Es la regla inversa a la anterior. En ella iniciamos con un esquema no cuantificado, por ejemplo; Este esquema es luego cuantificado, pero, as como al descuantificar en el caso anterior se reemplaz una variable cuantificada por otra no cuantificada, igual, en este caso, tenemos que reemplazar la variable no cuantificada por otra cuantificada. Por la Regla de Introduccin del Universal obtenemos el siguiente esquema cuantificado: No seguimos usando y por cuanto es una variable no cuantificada, por lo que, al cuantificar el esquema es necesario reemplazar tambin la variable cuantificada por otra. Sin embargo no tiene por qu ser necesariamente y -podra tambin haber sido z, etc. esto es cualquier constante o variable la que estuviese descuantificada y luego hubiramos de cuantificar. Generalizando: Donde: representa cualquier enunciado posible (tanto categrico tpico como atpico), representa a cualquier individuo, ya sea variable individual o constante individual y x representa cuantificada. 4.1.3. Regla de Eliminacin del Existencial (EE) El procedimiento es similar al de la eliminacin del Universal nicamente con la salvedad que indicaremos ms adelante. Consiste en eliminar el cuantificador existencial y reemplazar la variable cuantificada por una variable
81
libre ya sea una constante individual o una variable individual. Por ejemplo: Por la Regla, obtenemos el siguiente esquema no cuantificado: No seguimos usando x por cuanto es una variable cuantificada, por lo que, al descuantificar el esquema es necesario reemplazar tambin la variable cuantificada por otra. Sin embargo no tiene porqu ser necesariamente y -podra tambin haber sido z- sino que hemos decidido usar y ya que y sigue en orden alfabtico a x. Generalizando: Donde: representa cualquier enunciado posible (tanto categrico tpico como atpico), representa a cualquier individuo, ya sea variable individual o constante individual y x representa una variable cuantificada. Llegados a este punto es necesario indicar la salvedad a la que nos referimos anteriormente. Cuando se aplica la Eliminacin del Existencial el objeto de referencia cuantificado debe ser reemplazado por un nombre propio o constante individual esta no tiene que haber sido aun utilizada, para evitar confusiones. De ah que en caso de tener que aplicar una EU y una EE, se proceda primero con la EE y luego, al aplicar la EU se represente la variable descuantificada de este ltimo por aquella que reemplaza a la del existencial. Si no se hace esto entonces podemos llegar de premisas como hay un animal que es murcilago y hay un animal que es ballena a concluir que hay animales que son simultneamente murcilagos y ballenas Por qu? Porque al reemplazar los respectivos existenciales se utiliz la misma variable o constante. 4.1.4. Regla de Introduccin del Existencial (IE) Es la regla inversa a la anterior. En ella iniciamos con un esquema no cuantificado. Por ejemplo; Este esquema es luego cuantificado, pero, as como al descuantificar en el caso anterior se reemplaz una variable cuantificada por otra no cuantificada, igual, en este caso, tenemos que reemplazar la variable no cuantificada por otra cuantificada. Por la Regla de Introduccin del Existencial obtenemos el siguiente esquema cuantificado: Al igual que en los casos anteriores, no seguimos usando y por cuanto es una variable no cuantificada, por lo que, al cuantificar el esquema es necesario reemplazar tambin la variable cuantificada por otra. Sin embargo no tiene por que ser necesariamente x podra tambin haber sido z, a, etc. esto es cualquier constante o variable la que estuviese descuantificada y luego hubiramos de cuantificar. Generalizando: Donde: representa cualquier enunciado posible (tanto categrico tpico como no), representa a cualquier individuo, ya sea variable individual o cuantificada. constante individual y x representa Se sigue el mismo procedimiento mencionado slo que se pueden ir eliminando las constantes x, y, z reemplazndola por alguna que ya este presente. Ejemplo: Podramos eliminar y quedarnos slo con x reemplazando y por x al momento de eliminar el cuantificador e indicndolo de la siguiente manera x/y. Este artificio es til cuando se realizan anlisis de validez para proposiciones con predicados de grado dos o superiores.
82
4.2. MTODO DECISORIO: DERIVACIONES El procedimiento es el mismo que el visto para Lgica Proposicional slo que ahora tenemos las cuatro reglas adicionales acabadas de presentar. En ese sentido, ms que dar una explicacin terica de este, lo que haremos ser realizar la presentacin de algunos casos. En todos ellos procederemos a travs de la Prueba Directa, sin embargo tambin pueden implementarse las pruebas Condicional y por Reduccin al Absurdo: 4.2.1. Prueba Directa 4.2.1.1. Para inferencias con proposiciones categricas tpicas Primer anlisis de caso: Sea nuestra inferencia a analizar la siguiente: Todos los hombres son mortales. Scrates es hombre. Por lo tanto Scrates es mortal Formalizando tenemos: 1. 2. Que se lee: Para todo x, si x es hombre entonces x es mortal. Scrates es Hombre. Por lo tanto Scrates es Mortal. Aplicando las reglas inferencia que hemos aprendido podemos proceder de la siguiente manera para probar la validez de la siguiente inferencia. 3. Ms De 1 por EU De 2 y 3 por MP
De este modo hemos demostrado que la inferencia es vlida ya que de las premisas dadas s se deriva la conclusin propuesta. Segundo anlisis de caso: Sea la inferencia a analizar: Todas las criaturas agresivas son vistas con desconfianza. Todas las vboras son criaturas agresivas. Luego, todas las vboras son vistas con desconfianza. Formalizando tenemos: 1. 2. Que se lee: Para todo x, si x es una criatura agresiva entonces x es vista con desconfianza. Para todo x, si x es una vbora, entonces x es una criatura agresiva. Por lo tanto, para todo x, si x es una vbora, entonces x es vista con desconfianza. Aplicando las reglas de inferencia que hemos aprendido podemos proceder de la siguiente manera para probar la validez de la inferencia formalizada. 3. 4. 5. 6. De 1 por EU De 2 por EU De 4 y 3 por SH De 5 por IU
Al igual que en el caso anterior, de este modo hemos demostrado que la inferencia es vlida ya que de las premisas dadas s se deriva la conclusin propuesta. 4.2.1.1. Para inferencias asilogsticas Una inferencia asilogstica es un razonamiento en cuya estructura hay proposiciones cuyo esquema no corresponde con el de las proposiciones categricas tpicas. Sin embargo es necesario hacer la salvedad que nosotros
83
nos ocuparemos nicamente de esquemas bsicos, esto es, esquemas que contienen una sola variable de individuo. El procedimiento visto es universal, esto es, puede aplicarse tanto a proposiciones categricas como no categricas. En ese sentido, lo nico que cambia es el aspecto formal de las premisas y / o de las conclusiones, mas metodolgicamente todo se mantiene igual. Veamos ahora un caso de inferencia con proposiciones no categricas. Ejemplo: Las hostales son baratas pero sucias. Adems algunas hostales son srdidas. Por lo tanto algunas cosas baratas son srdidas. Como se trata de un caso de inferencia asilogstica iremos explicando nuestro procedimiento de manera ms detallada. En primer lugar tenemos que formalizar: El primer enunciado (premisa) sostiene que los hostales son a la vez baratos y sucios. En otras palabras ambas propiedades se predican del mismo sujeto de manera general, de ah que su simbolizacin sea:
El segundo enunciado (segunda premisa) sostiene que algunas hostales tienen la propiedad de ser srdidas. Como no se trata de las hostales en general sino de algunas, procede el cuantificador existencial. Formalizando tenemos:
Como trmino predicativo de srdido no podemos usar S puesto que ya ha sido utilizada en la anterior premisa para representar sucio, de ah que utilicemos O. Finalmente el tercer enunciado (conclusin) sostiene que algunas cosas baratas son srdidas. Igual que en caso anterior, estamos frente a un predicado existencial. Formalizando:
Pasemos ahora a la determinacin de la validez de la inferencia ya formalizada: 1. 2. 3. 4. 6. 7. Ba 8. Oa 9. 10. De 2 por EE De 1 por EU De 3 por Simplificacin. De 4 y 5 por MP De 6 por simplificacin De 3 por simplificacin De 7 y 8 por conjuncin De 9 por IE
5. Ha
Con esto hemos demostrado que la conclusin si se deriva de las premisas por lo cual la inferencia es vlida. Resumen de la estrategia demostrativa En base a lo anterior podemos decir que, de manera extremadamente general, la estrategia a seguir en una prueba de validez para una inferencia en LC es la siguiente: 1 Formalizacin de la inferencia.
84
2 Eliminacin de los cuantificadores siguiendo las reglas respectivas. 3 Derivacin de la conclusin utilizando tanto las Reglas de Implicancia como las Reglas de Equivalencia. 4 Introduccin de cuantificadores siguiendo las reglas respectivas. Realizar la prueba formal del siguiente argumento: Solamente los bohemios son desordenados. Todos los aventureros y poetas son bohemios. Pero todos los metodistas son ordenados. En consecuencia, ningn metodista es aventurero o poeta. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 4.2.2. Prueba condicional Realizar la prueba formal del siguiente argumento: Los anpheles y los arcnidos son invertebrados. Todos los invertebrados son insectos. Por lo tanto, los arcnidos y los anpheles son insectos. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. Premisa adicional E.U. (1) E.U. (2) Conmutativa (3) Modus P. Ponens (4 y 6) Modus P. Ponens (5 y 7) Prueba Condicional (3 y 8) Introd. Del Universal (9) E.U. (3) Def. del Coimplicador (4) Simplificacin(7) Silog. Hipotetico (5 y 8) Transposicin (9) Doble negacin (10) Silog. Hipottico (6 y 11) Introduccin del Universal (12)
4.2.3. Prueba por Reduccin al Absurdo Realizar la prueba formal del siguiente argumento: No todos los alpinistas son intrpidos. Ningn alpinista es fantico del futbol o del beisbol. Luego, algunos no-fanticos del beisbol no son intrpidos. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. Premisa adicional Intercambio de cuantificador (1) Intercambio de cuantificador (3) Eliminacin del universal (2) Eliminacin del existencial (4) Eliminacin del universal (5) Definic. Del condicional (7) Morgan (9) y dob. Negacin
85
11. 12. 13. 14. 15. 17. 19. 20. 21.
Ax Ix
Simplificacin (10) M. Ponens (6 y 11) Morgan (12) Morgan (8) Doble negacin (14) Simplificacin (13) Silog. Disyuntivo (15 y 16) Simplificacin (10) Conjuncin (17 y 18) Prueba Condicional(3 y 19) P.R.A (20)
16. - Bx 18. - Ix
ACTIVIDAD PRCTICA A. Construya una prueba de validez para las siguientes inferencias 1. 2. 3. Para este ejercicio, reemplcese la y por la x al eliminar el Universal. B. Realice la Prueba condicional para los siguientes argumentos. 1.
2.
3.
4.
C. Realice la Prueba por Reduccin al Absurdo para los siguientes argumentos: 1.
2. 3.
86
4.
5.
D. Formalice las siguientes inferencias y luego efecte una prueba de validez 1. Todos los hombres son racionales. Ningn delfn es racional. Por tanto, ningn delfn es un hombre. 2. Existen abogados no corruptos. Luego, no todos los abogados son corruptos. 3. Si una primera persona es bisabuela de una segunda, entonces la segunda no puede ser bisabuela de la primera. En consecuencia, ninguna persona es bisabuela de s misma. (Para realizar la prueba de validez reemplcese la y por x al eliminar el cuantificador). 4. Los felinos y los caninos son graciosos. Los jaguares del zoolgico son felinos. Luego, los jaguares del zoolgico son graciosos. 5. Los vendedores son amables o no tienen xito. No todos los vendedores carecen de xito. Por lo tanto, existen vendedores amables 6. Los mdicos y abogados son profesionales si han estudiado en la universidad. Los profesionales y los boxeadores son respetados. Luego, los abogados son respetados si han estudiado en la universidad.
AUTOEVALUACIN DE LA UNIDAD IV 1. Realice la prueba directa para el siguiente argumento.
2. Realice La prueba condicional para el siguiente argumento.
3. Realice La prueba por reduccin al absurdo para el siguiente argumento.
4. Formalice los siguientes razonamientos y realice la prueba de validez que corresponda. a) Todo miembro de la municipalidad vive dentro de los lmites de la ciudad de Lima. El Dr. Barrantes no vive dentro de los lmites de la ciudad de Lima. Luego el Dr. Barrantes no es un miembro de la municipalidad. b) Ningn Silogismo vlido tiene 2 premisas particulares. Algunos silogismos de este libro son vlidos. Luego, algunos silogismos de este libro no tienen 2 premisas particulares.
87
BIBLIOGRAFA DE LA UNIDAD IV KATAYAMA OMURA, Roberto Introduccin a la Lgica , Editorial Universitaria URP, Lima, 2003 ROSALES PAPA, Digenes. Introduccin a la Lgica. Editorial LABRUSA. PERU. Cdigo en biblioteca UCCI 160 R84 TRELLES MONTERO OSCAR ; ROSALES PAPA DIGENES. Introduccin a la Lgica. Fondo Editorial. 2000. Pontificia Universidad Catlica Del Per. Cdigo en Biblioteca: 160-T79 LUIS PISCOYA HERMOZA. Lgica General. Cdigo en Biblioteca: 160-P62-2007 REA RAVELLO, Bernardo. Introduccin a la Lgica. Editorial MANTARO. Lima Per, 2003
88
ANEXO
ANEXO
CLAVE DE RESPUESTAS DE LA AUTOEVALUACIN
AUTOEVALUACIN UNIDAD I
III.
IV. El orden correcto en la relacin es: II III IV V- I
AUTOEVALUACIN UNIDAD II I. Conector dominante
II. tabla de valores
ANEXO
89
1. ES CONTINGENTE POR LO TANTO INVALIDO
III. Diagramas semnticos 1. El valor de Verdad resulta en 7 EPM: 1,2,3,4,5,6 Y 8 2. El valor de Verdad resulta en 5 EPM: 1,3,5,7 Y 8 3. El valor de Verdad resulta en 4 EPM: 1,2 y 3 IV. El argumento resulta Verdadero en 1 EPM, por l tanto es invlido.
AUTOEVALUACIN UNIDAD III I. Uso de leyes y equivalencias
II. Uso de pruebas para la validacin de argumentos.
AUTOEVALUACIN UNIDAD IV 1. Prueba directa. Con el siguiente procedimento. P1) P2) 3. INTERCAMBIO DE CUANTIFICADOR (2) 4. Eliminacin del Existencial (3) 5. Eliminacion del Universal (1) 6. Definicin del Condicional (4) 7. T. de Morgan (6) 8. Doble negacin (7) 9. Simplificacin (8) 10. Modus Ponens (5 y 9) 11. Simplificacin (8) 12. Silogismo Disyuntivo (10 y 11) 13. Adjuncin (9 y 12) 14. Introduccin del Existencial (13) 2. Prueba Condicional. Con el siguiente procedimiento
90
ANEXO
3. Premisa adicional 4. Eliminacin del Universal (1) 5. Eliminacin del Universal (2) 6. Modus Tollens (3 y 5) 7. Doble negacin (6) 8. Definicin del bicondicional (4) 9. Simplificacin (8) 10. Modus Ponens (7 y 9) 11. Prueba Condicional (3 y 10) 12. Introduccin Universal (11) 3. Prueba por Reduccin al Absurdo. Con el siguiente procedimiento
3. Premisa adicional 4. Eliminacin del Universal (1) 5. Eliminacin del Universal (2) 6. Modus tollens (3 y 4) 7. Definicin del Condicional (6) 8. T. de Morgan (7) 9. Simplificacin (8) 10. Modus Ponens (5 y 9) 11. Simplificacin (10) 12. Simplificacin (8) 13. Adjuncin (11 y 12) 14. Prueba Condicional (3 y 13) 15. Prueba por Reduccin al Absurdo (14) 16. Introduccin del Universal (15) 4. Formalizacin y validacin de argumentos. a) Resolucin por Prueba Directa, el argumento es VLIDO. b) Resolucin por Prueba Directa, el argumento es VLIDO.
ANEXO
91
REFERENCIAS BIBLIOGRFICAS 1. KATAYAMA OMURA, Roberto Introduccin a la Lgica , Editorial Universitaria URP, Lima, 2003 2. TRELLES MONTERO Oscar,ROSALES PAPA, Diogenes, Introduccin a la Lgica ,Fondo Editorial ,2000,Pontificia Universidad Catlica Del Per. Cdigo en biblioteca UCCI 160 T79 3. COPY, Irving M Introduccin a la Lgica Editorial Eudeba, 1988, Buenos Aires. Cdigo en biblioteca UCCI 160 C77 2009 4. ROSALES PAPA, Digenes. Introduccin a la Lgica. Editorial LABRUSA. PER. Cdigo en biblioteca UCCI 160 R84 5. REA RAVELLO, Bernardo. Introduccin a la Lgica. Editorial MANTARO. 2. Lima Per, 2003 6. LUIS PISCOYA HERMOZA. Lgica General. Cdigo en Biblioteca: 160-P62-2007 7. HAESEN JAEGER, Girber, Conceptos y problemas de la lgica moderna, Editorial Labor-Barcelona, 1998 7. ARRIETA GUTIERREZ, Gabriel. Introduccin a la Lgica, Pearson Educacin, Mxico, 2000. 8. FERRRATER MORA, Jos, LEBLANC, Hughes. Lgica Matemtica, Mxico FCE 1998 9. QUESADA, Daniel, La lgica y su filosofa, introduccin a la lgica, Barcanova 1996Barcelona 10. GARCA ZRATE, Oscar Augusto, Introduccin a la Lgica, Editorial de la UNMSM 2003 11. MIAJA DE LA PEA, Concepcin, Lgica, Ed. Pax Mxico 2001 RECURSOS EN INTERNET http://w3.cnice.mec.es/eos/MaterialesEducativos/mem2003/logica/, Aprende lgica http://www.claudiogutierrez.com/portada.html, Elementos de Lgica http://www.uv.es/~ivorra/Libros/Logica.pdf, Lgica y teora de Conjuntos http://www.fcnym.unlp.edu.ar/catedras/logica/programa.pdf, Lgica

Manual Logica

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Manual Logica

Загружено:

Авторское право:

Доступные форматы

Direccin: Juan Jos Cardenas Diseo y maquetacin: Francisco Rosales Edita: Universidad Continental Tiraje: 1000 Referencia: 001/0025

Actividad PRCTICA TEMA 2: La Lgica y el Lenguaje

Actividad PRCTICA TEMA 3: LOS ARGUMENTOS

Actividad PRCTICA TEMA 4: Las falacias

Actividad PRCTICA TEMA 2: El lenguaje de la Lgica Proposiciona

Actividad PRCTICA TEMA 3: Formalizacin de Inferencias

Actividad PRCTICA TEMA 4: Mtodos Decisorios Semnticos

Actividad PRCTICA TEMA 2: Deduccin Natural

TEMA 4: Mtodos Decisorios

4.2.2 Prueba Condicional 4.2.3 Prueba por Reduccin al Absurdo

LGICA MANUAL AUTOFORMATIVO

PRESENTACIN DE LA ASIGNATURA DE COMUNICACIN

TIEMPO MINIMO DE ESTUDIO:

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

DIAGRAMA DE PRESENTACIN DE LA UNIDAD

CONOCIMIENTOS Tema N 1: Introduccin e importancia de la lgica

Actividad Dirigida: Control de Lectura N 1:

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

LGICA MANUAL AUTOFORMATIVO

TEMA N01: INTRODUCCIN E IMPORTANCIA DE LA LGICA

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

Fig. 1 Esquema simplificado de las funciones del cerebro

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

LGICA MANUAL AUTOFORMATIVO

Fig. 2. Tres evoluciones principales

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

LGICA MANUAL AUTOFORMATIVO

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

LGICA MANUAL AUTOFORMATIVO

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

TEMA N02: LA LGICA Y EL LENGUAJE

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

LGICA MANUAL AUTOFORMATIVO

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

LGICA MANUAL AUTOFORMATIVO

Fig. 4. Niveles de los lenguajes

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

LGICA MANUAL AUTOFORMATIVO

TEMA N03: LOS ARGUMENTOS

Fig. 5. Argumento y sus componentes

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

Fig. 6. Inferencia deductiva e inductiva

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

LGICA MANUAL AUTOFORMATIVO

Fig. 6. Cadena de argumentos

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

La premisa es: (1). La conclusin es: (2).

Las premisas son: (2) y (3). La conclusin es: (1).

Las premisas son: (1) y (2). La conclusin es: (3).

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

LGICA MANUAL AUTOFORMATIVO

Las premisas son: (1), (2) y (4). La conclusin es: (3).

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

TEMA N04: FALACIAS

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

LGICA MANUAL AUTOFORMATIVO

Fig.7. Clasificacin de Falacias

UNIDAD I: LA LGICA Y EL RAZONAMIENTO

UNIDAD I: LA LGICA Y EL RAZONAMIENTO