Cálculo Proposicional y de Predicados-Introduc
Cálculo Proposicional y de Predicados-Introduc
Cálculo Proposicional y de Predicados-Introduc
PUCE 2012
18 meses a 5 aos
PROPOSICIONAL
6-9 aos
proposiciones
CONCEPTUAL
10-11 aos
FORMAL
PRECATEGORIAL
15-18 aos
precategoras
CATEGORIAL
18 aos en adelante
categoras
Etapas Pensamiento
del
Tipos Decodificacin
de
TALLER 1
Taller 1: Estructura de la Comunicacin Discursiva y Funciones del Lenguaje 1. Las tres funciones bsicas del lenguaje
En toda situacin comunicativa hay como mnimo un emisor que enva uno o ms mensajes a por lo menos un receptor. Quien tiene la iniciativa comunicativa es el emisor, por esto, l es quien fija la meta de su discurso: la funcin de todo mensaje la define el emisor; as ella depende de la intencin del emisor.
Claude Shannon: http://es.wikipedia.org/wiki/Claude_Elwood_Shannon Teora de la Informacin: http://es.wikipedia.org/wiki/Teor%C3%ADa_de_la_informaci%C3%B3n Modelo OSI: http://es.wikipedia.org/wiki/Modelo_OSI
Estructura de la Comunicacin Discursiva y Funciones del Lenguaje 1. Las tres funciones bsicas del lenguaje
a) Informativa b) Emotiva c) Directiva
Estructura de la Comunicacin Discursiva y Funciones del Lenguaje 1. Las tres funciones bsicas del lenguaje
a) Informativa (o Referencial).- Es la funcin que tienen las frases con las que el emisor pretende indicar datos acerca de la realidad. Solo el discurso informativo es verdadero o falso, pues nada ms l es usado para describir hechos o sucesos del mundo o para razonar acerca de l. La ciencia nos ofrece los ejemplos ms claros de discurso informativo: descripciones, narraciones, comparaciones, opiniones, crticas objetivas, explicaciones, razonamientos. Una frase con funcin informativa es una proposicin.
Estructura de la Comunicacin Discursiva y Funciones del Lenguaje 1. Las tres funciones bsicas del lenguaje
b) Emotiva (o Expresiva).- La poseen las frases con las que el emisor quiere comunicar sus sentimientos. El mejor ej. de lenguaje en que predominan las emociones es la poesa. El poeta no busca expresar conocimiento sino actitudes subjetivas. Pero no todo lenguaje emotivo es potico. Expresamos pena, entusiasmo, pasin, admiracin, temor; es decir sentimientos, emociones, u otros estados de nimo. Para juzgar una frase emotiva se trata de apreciar si corresponde o no a lo que el emisor siente en su interior; segn eso se dice que ella es una expresin sincera y autntica y, por lo tanto, valiosa; o insincera, inautntica, es decir, basura teatral. As pues, el discurso expresivo no es verdadero ni falso
Estructura de la Comunicacin Discursiva y Funciones del Lenguaje 1. Las tres funciones bsicas del lenguaje
.b) Emotiva (o Expresiva) Por ej., El estudiante cuyo goce del soneto de Keats, Primera ojeada al Homero de Chapman, lo siente empaado por su conocimiento histrico de que fue Balboa y no Corts quien descubri el Ocano Pacfico es un pobre lector de poesa. Aqu pobre lector indica una actitud del autor de esta frase sobre el tema. Algunos poemas, a ms de expresar afectividad, tienen un contenido informativo, una crtica de la vida; tienen un uso mixto o una funcin mltiple, mixta.
Estructura de la Comunicacin Discursiva y Funciones del Lenguaje 1. Las tres funciones bsicas del lenguaje
.b) Emotiva (o Expresiva) Toda expresin de la intimidad subjetiva tiene dos componentes:
Cuando una persona se maldice a s misma, escribe poemas que no muestra a nadie u ora en soledad, su lenguaje expresa o revela su actitud pero no est destinado a despertar una actitud similar en algn otro. Cuando un orador insta a su auditorio, un enamorado corteja a su amada, una multitud vitorea a su equipo, el lenguaje pretende despertar las mismas actitudes en sus oyentes.
El discurso expresivo se usa entonces, ya sea para manifestar los sentimientos propios o para despertarlos en otras personas. Por supuesto, puede ser usado simultneamente para ambos fines.
Estructura de la Comunicacin Discursiva y Funciones del Lenguaje 1. Las tres funciones bsicas del lenguaje
c) Directiva (o conativa).- Es la funcin que poseen las frases con cuales que el emisor busca influir en la conducta del receptor; es decir, originar, animar (o impedir) una accin manifiesta de ste; por ej., rdenes, pedidos, solicitudes, consejos, recomendaciones, ruegos, splicas, la oracin religiosa a un ser superior y aun las preguntas que piden una respuesta (no las preguntas retricas que, bajo el ropaje de una interrogacin, en realidad buscan informar algo)..
Estructura de la Comunicacin Discursiva y Funciones del Lenguaje 1. Las tres funciones bsicas del lenguaje
.c) Directiva (o conativa). El lenguaje directivo busca lograr resultados. Podemos disentir acerca de si una orden ha sido o no, debe ser o no obedecida; si es o no pertinente al contexto El discurso directivo tiene cualidades similares a la verdad o falsedad del informativo: las de ser (respecto a la situacin en que se emiten) razonables, adecua-das, o bien no razonables, inadecuadas. Estos problemas han de resolverse fuera del mbito de la lgica.
Estructura de la Comunicacin Discursiva y Funciones del Lenguaje 2. EL DISCURSO QUE CUMPLE FUNCIN MLTIPLE (MIXTA)
Se han distinguido otras funciones del lenguaje a ms de las tres sealadas. Quiz la ms importante es la ceremonial: saludos, discursos, documentos de estado, ritos de culto; usos que pueden considerarse mezclas de discurso expresivo y directivo, ms que un nuevo gnero. Por ej., la charla en reuniones sociales, que sirven para manifestar y estimular la buena voluntad y la sociabilidad. El lenguaje de la ceremonia busca destacar la solemnidad de la ocasin.
Estructura de la Comunicacin Discursiva y Funciones del Lenguaje 2. EL DISCURSO QUE CUMPLE FUNCIN MLTIPLE (MIXTA)
Funciones Expresiva (o Emotiva) Elemento sobre El Que Se Centra Emisor Contenido U Objetivo Expresin lingstica o Marca Clases de Escritos y Lenguajes Especializados Cartas Personales. Diarios. La poesa (con frecuencia) Comunicacin de la subjetividad Exclamaciones, personal: sentimientos, emociones interjecciones, interrogaciones. Lenguaje connotativo.
Realidad, mensaje (su Comunicacin objetiva: informacin Oraciones enunciativas. Representativa (Informativa o Referencial) contenido) Lenguaje denotativo. Apelativa (Directiva o Conativa) Ftica Receptor Comunicacin para persuadir al Imperativos. Vocativos. oyente y que ste responda. Influir Afectivos (diminutivos). su conducta Comunicacin, mantener o restablecer la relacin entre hablante y oyente Frases hechas. Interjecciones. Palabras Clave. Redundancia.
Textos cientficos. Documentos. Informes. Lenguaje publicitario. Lenguaje poltico: discursos, mtines. Aparece en textos conversacionales.
Canal
Potica
Mensaje (forma)
Comunicacin que cuida la belleza del mensaje Comunicacin para aclarar o explicar el lenguaje
Poesa y prosa literaria (poemas, novelas, teatro) Ciencias lingsticas. Toda definicin de trminos en cualquier disciplina
Metalingstica
Cdigo
Taller 2
11. Un Dios honesto es la obra ms noble del hombre. 12. El derecho a la revolucin es inherente al hombre. Cuando las personas son oprimidas por el gobierno, tienen el derecho natural, si son bastante fuertes, de liberarse de la opresin, apartndose de l, o derrocndolo y sustituyndolo por un gobierno ms aceptable.
Ulysses S. Grant, Memorias I
13. Incitar a la revolucin es traicin no slo contra el hombre, sino tambin contra Dios.
Papa Len XIII, Inmortale Dei
Taller 3
El Mentefacto Conceptual
Como se ve, los mentefactos constituyen un instrumento excelente para resaltar en forma difana la estructura conceptual de un pasaje lingstico.
Taller 4
Al analizar las expresiones lingsticas con cuantificacin, Aristteles se limitaba a las frases mondicas, es decir, a aquellas en las que aparecen predicados referidos nicamente a un solo tipo de objetos (el que consta en su trmino-sujeto); y defini cuatro (tipos) formas bsicas de proposiciones categricas, a saber:
TIPO (smbolo aristotlico): Forma Universal Afirmativa (A): Todo S es P Particular Afirmativa (I): Algn S es P TIPO (smbolo aristotlico): Forma Universal Negativa (E): Ningn S es P Particular Negativa (O): Algn S no es P
La TRADUCCIN verbal A FORMA TPICA de una proposicin categrica debe incluir el verbo ser: ES SON, y uno de los tres cuantificadores: TOD@(S), NINGUN@, ALGUN@(S); pues, as, entenderemos lo que ella dice, sin ambigedades, y podremos realizar su anlisis lgico o sintctico de un modo exacto y riguroso. He aqu algunas NORMAS PRCTICAS:
Nota: Las proposiciones singulares, por carecer de cuantificacin, se distinguen de los 4 tipos de Proposiciones Categricas recin sealados. A una PROPOSICIN SINGULAR (la que tiene un solo sujeto individual), como Tito es loco se la simboliza: Lt, es decir: se pone en mayscula la primera letra del predicado (en este caso loco) y luego, en minscula, la letra inicial del individuo. La lgica formal aristotlica (tradicional) considera a las proposiciones singulares afirmativas como si fueran de tipo A, y a las singulares negativas, como Mara no es gerente, como si tuvieran la forma E; pero en realidad no lo son, pues carecen de cuantificadores.
1) Ordenar las proposiciones desordenadas (Cuantificador - Sujeto verbo ser - predicado). Ejs.: - Los perros son todos carnvoros = Todo perro es carnvoro. - Son peligrosas todas las vboras = Toda vbora es peligrosa.
2) Todo nmero y las expresiones que no significan Tod@ o Ningun@: un@s, much@s, poqusim@s, casi ningun@, la mayor parte de, tod@s menos un@, hay quien(es) (casi todo cuantificador) equivalen a Algun@s. Ej. Es falso que muchos perros sean blancos significa pocos perros son blancos = Alg. perros son blancos
3) Las palabras: las, los, cada, cualquier, cualquier cosa, cada cosa, cuant@s (referidas a objetos o personas) y cualquiera que, quienquiera que, cada uno, quien, aquella/aquel/el que, (referidas solo a personas) se traducen por Tod@s; y lo mismo, a veces (segn el contexto): una, un, la, el. Ejs.: un murcilago no es un ave = Ningn murcilago es un ave. Por ej.: la ameba es unicelular = Toda ameba es unicelular. En ciertas frases la partcula indefinida cualquier(a), segn el sentido, se refiere a alguno al azar.
4) Palabras como: nadie, ni (siquiera) uno equivalen a Ninguno. En idioma castellano, las frases del tipo: No vino nadie/ninguno/nunca/jams solo expresan una sola negacin (no se trata de una doble negacin, como alguien distrado pudiera pensar); por eso ellas equivalen a: nadie/ninguno/nunca/jams vino. Lo mismo pasa con frases del tipo aqu no queda nada, que equivale aqu nada queda. Son reduplicaciones idiomticas. Por otro lado, como en aritmtica, (-) x (-) = (+); por ej., es un cuento que se mentira = es verdad. En general: un nmero par de negaciones seguidas se anula; pero un nmero impar de ellas equivale a ES FALSO QUE...
5) Cuando el verbo que articula la proposicin no es el VERBO SER, se debe introducir este. Adems, cuando en la frase que se considera hay indicadores de lugar, como la palabra donde, se aade un parmetro de lugar (sitio, lugar, mbito, zona) dos veces: en el sujeto y en el predicado; y otro tanto si hay indicadores de tiempo, como cuando, siempre que, nunca se aade dos veces un parmetro de tiempo: vez, ocasin. Ejs.: - Todo va bien si empieza bien = Toda cosa que empieza bien es cosa que va bien. - Hay nios presentes = algunos nios son seres que estn presentes. - Algunas personas pelean (verbo) = algunas personas son peleadoras (atributo)
= Todo perro es un animal con el que no se puede entrar. (hay varias interpretaciones posibles) = Ninguna persona con perro es persona a la que se permite entrar - No hay/existen/se dan gatos verdes = Ningn gato es verde.
[Las palabras aadidas (= que no estaban en la proposicin original y aparecen en cursiva) son parmetros y solo se ponen cuando no hay otro remedio para lograr la forma tpica: en que debe aparecer el verbo ser.]
6) En las PROPOSICIONES CONDICIONALES (si p, ent. q), la expresin si va con la condicin suficiente, que se coloca COMO SUJETO en la proposicin categrica; la clasula entonces (que se puede omitir) va con la condicin necesaria que, en la proposicin categrica, se coloca COMO PREDICADO. Las proposiciones condicionales se traducen al tipo A si son afirmativas y al tipo E si son negativas. Ejemplos: - Si uno es terco, (entonces) pelear = Todo terco es persona/un ser que pelear. - Si se trampea, no se es tico = Ninguna persona que trampea es tica.
Lo mismo vale para las clusulas equivalentes al "si" condicional (= indicadores de que sigue una CONDICIN SUFICIENTE): siempre que, cuando, al (+ infinitivo), siempre y cuando, las veces que, las ocasiones en que, dada la situacin de que, en el caso de que, en la eventualidad de que, en la circunstancia de que, en la medida en que, en la hiptesis de que, en el supuesto de que, basta que, con solo, como (+ subjuntivo), de haber (= si hubiera), en no habiendo (= a falta de = si no hay), es suficiente que, basta que, donde; y para otras que van precedidas de una condicin suficiente, como: es suficiente para que, basta para que, causa (que), hace que, produce que, genera que, ocasiona que, significa que. Ejemplos (se subrayan los parmetros):
Si (= las veces que) vienes, te doy caf = Toda ocasin en que vengas es ocasin en que te dar caf - Cuando (= la vez u ocasin en que) = Toda vez que baja es vez baja, se cae que se cae
Si (= las veces que) vienes, te doy caf = Toda ocasin en que vengas es ocasin en que te dar caf - Cuando (= la vez u ocasin en que) baja, se cae = Toda vez que baja es vez que se cae - Como la gente siga pegada a la Tele acabar con cerebro almidonado = Todo ser humano que siga pegado a la tele es ser humano que acabar con el cerebro almidonado.
7) Expresiones como: (tan) solo, solamente, nicamente, exclusivamente, meramente, nada ms (que) las/los/la/el, nadie sino, nada sino, unidas inmediatamente a un "si" o a uno de sus parientes sealados en (6) son indicadores lingsticos de la CONDICIN NECESARIA [= CN] que les sigue. Pero clusulas como: es necesario (indispensable, imprescindible, inevitable, insoslayable, impepinable, impajaritable o vital) para (que), es efecto de, es resultado de, resulta de (que) van asociadas a una CN. En general, toda situacin que sea un requisito obligado para que se d, produzca, genere o cause otra cosa ser una CN.
En frmulas lingsticas como: para que (llegue , triunfe , se convenza , se logre ) [o tambin: para (llegar , triunfar , convencer , lograr )] hay que, se debe, se tiene que, no hay ms remedio que, no queda ms que, no hay otra solucin (o salida) que; a estas ltimas expresiones (hay que, etc.) les sigue una CN, mientras que, en ellas, el para que o el para van seguidos de una condicin suficiente.
As como toda condicin suficiente se coloca en el sujeto de una proposicin categrica de forma tpica (ver #7), la CN debe ponerse siempre EN EL PREDICADO de la misma. Veamos tres ejemplos: Es necesario ser carnvoro para ser gato = Todo gato es carnvoro. A fin de graduarse, no queda sino defender bien la tesis = Todo graduado es persona que defendi bien la tesis
En los siguientes ejemplos el SOLO (o un equivalente suyo) va al inicio de la frase SEPARADO de una expresin equivalente al SI. En estos casos, el SOLO se traslada delante del SI, y el solo si se forma en la segunda mitad de la frase; as, esta constituye la condicin necesaria, que se colocar en el predicado. Solo le aplauden donde triunfa = Solo si es lugar en que ha triunfado, entonces es lugar en que le aplauden = Todo lugar donde/en que le aplauden es lugar donde/en que ha triunfado. Nada ms se le van las lgrimas, siempre que/cuando tose = Toda vez que se le van las lgrimas es vez que tose.
8) La negacin de una proposicin de tipo A, E, I u O resulta ser su contradictoria: Es Falso que toda persona sea negra = algunas personas no son negras. Es mentira que algunos tontos no sean buenos = Todo tonto es bueno.
9) Las clusulas a menos que, a no ser que, salvo que y excepto que tienen el sentido de una disyuncin exclusiva (= negacin de una equivalencia). Puede expresarse por la conjuncin de 2 proposiciones categricas. As, la frmula A salvo que B equivale a decir: (si B ent. no A) y (si no B ent. A) = Todo B es no A y todo no B es A. Por ej. A no ser que me toque el premio mayor de la lotera no podr comprar casa. = Toda vez que me toque el premio mayor de la lotera es vez que podr comprar casa, pero toda vez que no me toque ser vez que no podr comprar casa.
10) La NORMA GENERAL: el resultado de la traduccin a forma tpica de la afirmacin del lenguaje ordinario considerada debe tener EL MISMO SENTIDO que la proposicin ORIGINAL.
Taller IV: Esquema lgico-sintctico de las Proposiciones Categricas . EJERCICIOS: . Traduzca a forma tpica las siguientes proposiciones categricas, conservando el sentido original 1. El que nada sabe, nada teme 2. Los atletas no son vegetarianos 3. Hay manzanas verdes 4. La ballena es un mamfero 5. Pocos seres humanos leen 6. Muchos polticos mienten 7. Son nutritivas las uvas 8. Los tringulos no son crculos 9. Nada es honesto y malicioso 10. Existen soldados cobardes
Taller 5
Taller V: Esquema lgico-sintctico de las Proposiciones Categricas . EJERCICIOS: . Traduzca a forma tpica las siguientes proposiciones categricas, conservando el sentido original 1. El que nada sabe, nada teme 2. Los atletas no son vegetarianos 3. Hay manzanas verdes 4. La ballena es un mamfero 5. Pocos seres humanos leen 6. Muchos polticos mienten 7. Son nutritivas las uvas 8. Los tringulos no son crculos 9. Nada es honesto y malicioso 10. Existen soldados cobardes
Taller V: Inferencias inmediatas entre proposiciones categricas . Aristteles defini 4 tipos, y sus formas bsicas, de proposiciones categricas: TIPO (smbolo) FORMA
(aristotlica) (en smbolos)
Universal Afirmativa (A): Univ. Negat. (E): Particular Afirmativa (I): Partic. Negat. (O):
Todo S es P Vx[Sx Px] Ningn S es P Vx[Sx Px] Algn S es P x[Sx Px] Algn S no es P x[Sx Px]
Taller V: Inferencias inmediatas entre proposiciones categricas . Las letras A, E, I, O fueron adoptadas, como abreviaturas, por los lgicos europeos de la Edad Media, que tomaron las dos primeras vocales de la palabra latina A f I r m o, como smbolos que representan respectivamente a las proposiciones Universal Afirmativa y Particular afIrmativa; y a las dos vocales de la palabra latina n E g O, como smbolos de las proposiciones Universal nEgativa y Particular Negativa (O). Una forma alternativa de la proposicin de tipo E es: Todo S no es P.
Taller V: Inferencias inmediatas entre proposiciones categricas . Para la mayora de los tericos de la lgica simblica de los s. XIX y XX, ambas proposiciones universales son meras hiptesis, por ej., interpretan la frase Todo aqul que es Sincero (Sujeto) es Pacfico (Predicado) como Si alguien es Sincero, entonces es Pacfico (de ah que su representacin simblica se centre en un signo de implicacin: ); y, segn ellos, las dos proposiciones particulares son las nicas que se refieren a los hechos que, como todos sabemos, se describen mediante el uso de conjunciones: (por ej.: sucedi esto Y lo otro Y tambin aquello ...). Sin embargo, la lgica aristotlica parte, como supuesto, de que todas las cuatro proposiciones categricas se refieren a hechos, es decir, poseen valor existencial.
Taller V: Inferencias inmediatas entre proposiciones categricas . Este segundo modo de entender las proposiciones categricas es muy afn con las inferencias que solemos realizar cuando enfrentamos asuntos de la vida cotidiana: Aristteles elabor una lgica del sentido comn, ms intuitiva, llena de certezas y coherente con su concepcin de que la ciencia (episteme) tiene el poder de descubrir las esencias objetivas de la realidad que, a nivel lingstico expresamos en la forma de leyes o principios que se toman como verdades definitivas y eternas. Por su parte, la postura de la ciencia moderna -y ms an de la contempornea postkantiana- es que las grandes afirmaciones de la ciencia solo poseen el estatus de hiptesis altamente probables.
Taller V: Inferencias inmediatas entre proposiciones categricas . Entendiendo las proposiciones universales como hiptesis, podemos referirnos con ellas a objetos de consideracin no captables con los sentidos, al menos por ahora; por ejemplo a situaciones posibles o probables en el futuro. As pues, la actitud de la lgica actual es propia de una actitud ms crtica y ms abierta a nuevos mundos posibles que pueden ser objeto de la reflexin cientfica unida a la imaginacin creadora.
Taller V: Inferencias inmediatas entre proposiciones categricas . Esta diferencia bsica entre ambas corrientes de la Lgica tiene las siguientes consecuencias. Mientras para los aristotlicos se dan cuatro gneros de oposicin entre los cuatro tipos de proposiciones categricas, la lgica simblica reconoce solo uno de ellos:
la (I) Contradiccin.
Taller V: Inferencias inmediatas entre proposiciones categricas . la (I) Contradiccin. En esta oposicin, las proposiciones de tipo O y A son la una negacin exacta de la otra, y lo mismo sucede entre I y E. Es decir, entre dos proposiciones contradictorias [(A,O) (E,I)], la ley es que: No pueden ser ambas verdaderas (V) y, a la vez, No pueden ser ambas falsas (F); de modo que, cuando una de ellas es V, la otra tiene que ser F y, al revs, cuando cualquiera de ellas es F, la otra necesariamente ser V. Pongamos por caso, si digo es Falso que Ningn S es P, de ello se deduce la verdad de la proposicin Algn S es P. Pero si afirmo que es un cuento que Algn S no es P, ello implica que es V la proposicin Todo S es P. Aqu acabamos de expresar dos ejemplos de INFERENCIAS INMEDIATAS: aquellos razonamientos simples en los cuales, de una nica premisa surge la conclusin.
Taller V: Inferencias inmediatas entre proposiciones categricas . Adems de la contradiccin, la lgica aristotlica, como consecuencia del supuesto que hemos sealado, reconoce la existencia de otras tres oposiciones: la contrariedad, la subcontrariedad y la subalternacin. As, se constituye el llamado CUADRO DE OPOSICIN TRADICIONAL, que est formado por estas cuatro oposiciones. Describamos las tres que acabamos de nombrar.
Taller V: Inferencias inmediatas entre proposiciones categricas . (II) Contrariedad.- Esta oposicin se da entre las dos proposiciones universales (las de tipo A y E), a las que llamamos mutuamente contrarias. La Ley de las proposiciones contrarias es que No pueden ser ambas al mismo tiempo verdaderas; de manera que, cuando una de ellas es V, la otra automticamente ser F. Pero no al revs; vale decir: si una contraria es F, la otra puede ser V F, de modo que, respecto a su VALOR DE VERDAD permanece INDETERMINADA.
Taller V: Inferencias inmediatas entre proposiciones categricas . (III) Subcontrariedad.- Es la oposicin entre las proposiciones categricas particulares (O y I), a las que denominamos mutuamente subcontrarias. La ley de las proposiciones subcontrarias funciona al revs que en el caso de las contrarias; a saber: No pueden ser ambas al mismo tiempo falsas. De aqu se sigue que, siempre que una de ellas es F, la otra inevitablemente es V. Mas no sucede al revs: las veces que una subcontraria es V, la otra queda libre para ser F V; o sea que su valor de verdad queda indeterminado. IV) Subalternacin.- Es el cuarta oposicin del Cuadro Tradicional. Se da entre las dos proposiciones afirmativas (A e I) por un lado, y las dos negativas (E y O) por el otro. Aqu existen dos leyes.
Taller V: Inferencias inmediatas entre proposiciones categricas . Ley1: La verdad de una proposicin Universal (puesto que esta hace referencia a los hechos) incluye dentro de s la verdad de la particular correspondiente (= solo vale: de positiva a positiva; de negativa a negativa). Por ej.: Si Todos los quiteos son ecuatorianos, cualquier grupo de quiteos lo ser; es decir Algunos quiteos son ecuatorianos. Pero no al revs; o sea: de la verdad de una proposicin particular no puedo deducir la verdad de la proposicin universal correspondiente, la cual queda INDETERMINADA; pues, segn la afirmacin de que se trate, unas veces resultar V y otra veces resultar F. As, es V que Algunos ingleses no son negros, pero es F que Ningn ingls es negro; mientras que es V que Algunas hormigas no son autoconscientes y tambin es V que Ninguna hormiga es autoconsciente.
Taller V: Inferencias inmediatas entre proposiciones categricas . Ley2: La falsedad de una proposicin Particular arrastra consigo la falsedad de la universal correspondiente. Por ej. si es F que Algunos otavalos no son ecuatorianos, con mayor razn ser F que Ningn otavaleo es ecuatoriano. Pero no al revs; vale decir: de la falsedad de una proposicin universal no se concluye por necesidad la falsedad de la particular correspondiente, la que, por lo mismo, queda INDETERMINADA: siendo F que (A) Todo ecuatoriano es manabita, es V que (I) Algunos ecuatorianos son manabitas; pero estas dos proposiciones (A e I) son ambas F: Todo profesor universitario es analfabeto y Algn profesor universitario es analfabeto.
Taller V: Inferencias inmediatas entre proposiciones categricas . Resumiendo.- En el Cuadro Tradicional de Oposicin son posibles 8 inferencias inmediatas invlidas (= aquellas cuyo resultado es una proposicin cuyo valor de verdad es indeterminado: unas veces es V, pero otras veces es F); mientras que dentro de l pueden realizarse, en total 16 INFERENCIAS(*) INMEDIATAS VLIDAS (= aquellas cuyo resultado es una conclusin V F); a saber: 8 sobre la base a la contradiccin, 2 entre proposiciones contrarias, otras 2 entre subcontrarias y, finalmente, 4 en base a la subalternacin. [TAREA: haga una enumeracin exhaustiva de todas estas posibilidades: vlidas e invlidas]
(*) Las llamadas inferencias inmediatas del Cuadro Tradicional de Oposicin no son en realidad inmediatas, pues todas ellas tienen una premisa general implcita que es, en cada caso, la ley de las: contradictorias, contrarias, subcontrarias o una de las dos leyes de la subalternacin. De este modo, cada inferencia posee dos premisas: la proposicin que se toma como punto de partida y una de estas leyes
Taller V: Inferencias inmediatas entre proposiciones categricas . Se llama cuadrado de oposicin al esquema mediante el que se estudian las relaciones formales entre los diversos tipos de juicios aristotlicos, A, E, I, O, considerando cada juicio con trminos idnticos. Se llaman juicios opuestos a los que teniendo los mismos trminos difieren en cantidad, en cualidad o en ambas. Se representan en cada uno de los vrtices del cuadrado de oposicin, establecindose las siguientes relaciones:
A y E son contrarios porque difieren en cualidad siendo universales. I y O son subcontrarios, porque siendo particulares difieren en la cualidad. A con respecto a O, e I con respecto a E son contradictorios, porque difieren en cantidad y cualidad. A con respecto a I, y E con respecto a O son subalternos porque difieren en la cantidad. Las relaciones con respecto al valor de verdad en relacin de unos y otros se muestran en los siguientes cuadros:
Subalternos
A - IE - O
A V F F Ind. Ind. F F V
Taller V: Inferencias inmediatas entre proposiciones categricas . Adems, en las proposiciones categricas existen tres tipos operaciones lgicas que constituyen inferencias inmediatas vlidas, aceptadas por ambos tipos de lgica: la aristotlica y la simblica. - Conversin - Contraposicin - Obversin
Taller V: Inferencias inmediatas entre proposiciones categricas . 1) Conversin: es la sustitucin de los trminos entre s. O dicho ms claramente cambiar el sujeto por el predicado. S es P queda convertida en P es S Hay tres tipo de conversiones: a) Simple Q b) Per accidens c) Por subalternacin
Taller V: Inferencias inmediatas entre proposiciones categricas . a) Conversin Simple (simpliciter): invierte el sujeto por el predicado manteniendo la extensin de los trminos. Algunos S son P Algunos P son S Ej.: Algn sumiso es parcializado = Algn parcializado es sumiso - La conversin simple en los juicios E e I es legtima, es decir produce un juicio equivalente, con el mismo valor de verdad. - De esta manera la conversin de una proposicin I o E implica que la conversa es verdadera si y solo si la convertida asimismo lo es, por lo que los lgicos modernos consideran que tal operacin no es tal, sino una inferencia inmediata.
Taller V: Inferencias inmediatas entre proposiciones categricas . Per accidens: En la que cambia la extensin. Es posible en los juicios A: Todos los S son P Algn P es S Ej: Todos los andaluces son espaoles Algunos espaoles son andaluces. Operacin no aceptable en la lgica moderna, pues lo que puede ser vlido en cuanto clase, no es aplicable a individuos existentes, por lo que habra que aadir suponiendo la existencia de individuos pertenecientes a las clases. El juicio aristotlico supone un predicado por atribucin al sujeto, dando por supuesta la existencia. Por ello la lgica de predicados incluye necesariamente la cuantificacin existencial b)
Taller V: Inferencias inmediatas entre proposiciones categricas . c) Por subalternacin: Si un juicio dado es universal y verdadero el particular tambin.
Taller V: Inferencias inmediatas entre proposiciones categricas . Resumiendo. Conversin.- Es vlida nicamente en las proposiciones de tipo E e I, en cada una de las cuales si se intercambian el trmino-sujeto y el trmino-predicado se conserva el mismo valor de verdad: segn los casos, la variante que se va a voltear y la volteada (la conversa) son ambas V, o ambas F: (E) Ningn S es P Vx[Sx Px] = (E) Ningn P es S Vx[Px Sx] [por Cp + DN] Cp= Contraposicin; DN= Doble Negacin Ningn sumiso es parcializado = Ningn parcializado es sumiso (I) Algn S es P x[Sx Px] = (I) Algn P es S x[Px Sx] [por Con] Con = Conversin Algn sumiso es parcializado = Algn parcializado es sumiso
Taller V: Inferencias inmediatas entre proposiciones categricas . 2) Contraposicin.- Nada ms es vlida para proposiciones de tipo A y O. Esta operacin consiste en sustituir, en una de estas dos proposiciones: el sujeto por la negacin del predicado, y el predicado por la negacin del sujeto. Aqu tambin ambas formas -la proposicin que sirve de premisa (aquella a la que se va a someter a contraposicin) y la que funciona como conclusin (la denominada contrapositiva; es decir, la que resulta de haber aplicado la contraposicin)- tienen el mismo valor de verdad.
Taller V: Inferencias inmediatas entre proposiciones categricas . .Contraposicin: Sujeto y predicado se convierten mediante la negacin a cada uno de los trminos invertidos. La conversin slo es posible cuando la conversin de un trmino en tanto que sujeto mantiene la misma extensin que el trmino tena cuando era predicado. En otro caso se producen sofismas. As Algn S es P no es convertible en Ningn P es no-S Pero s lo admite: Ningn S es P Ningn P es S Ningn andaluz es italiano Ningn italiano es andaluz
Taller V: Inferencias inmediatas entre proposiciones categricas . .Contraposicin: Sujeto y predicado se convierten mediante la negacin a cada uno de los trminos invertidos.
Clase A E I O Forma Todo S es P Ningn S es P Algn S es P Algn S es no-P Conversin Algn P es S Ningn P es S Algn P es S No hay conversin Obversin contra posicin Algn P no es no-S Todo P es no-S Algn P no es no-S No hay obversin
Taller V: Inferencias inmediatas entre proposiciones categricas . .Contraposicin: Ejemplos: (A) Todo S es P Vx[Sx Px] = (A) Todo no P es no S Vx[Px Sx] [por Cp] Todo sumiso es parcializado = Todo imparcial es insumiso Todo lo simtrico es par = Todo lo impar es asimtrico (O) Algn S no es P x[Sx Px] = (O) Algn no P no es no S x[Px Sx] [por Con + DN] Algn sumiso no es parcializado = Algn imparcial no es insumiso Algn simtrico no es par = Algn impar no es asimtrico
Taller V: Inferencias inmediatas entre proposiciones categricas . 3) Obversin .- Operacin vlida para toda proposicin categrica (para los 4 tipos: A, E, I, O ). Consiste en transformar a una proposicin A en E (o al revs) o a una proposicin I en O (o al revs); y, para equilibrar este cambio, en todos los casos, introducir una negacin en el predicado (o quitrsela si la posee). Consiste en la modificacin del juicio aristotlico de forma que cambiando la cualidad del juicio, afirmativo-negativo, y negando el trmino predicado, obtenemos un juicio equivalente. De este modo:
Taller V: Inferencias inmediatas entre proposiciones categricas . Obversin Todo S es P se obvierte en Ningn S es no-P Todos los espaoles son europeos Ningn espaol es no-europeo Ningn S es P se obvierte en Todo S es no-p Ningn espaol es americano Todo espaol es no-americano Algn S es P se obvierte en Algn S no es no-p Algn espaol es rubio Algn espaol no es no-rubio Algn S no es P se obvierte en Algn S es no-P Algn espaol no es americano Algn espaol es no-americano
Taller V: Inferencias inmediatas entre proposiciones categricas . (A) Todo S es P Vx[Sx Px] = (E) Ningn S es noP Vx[Sx Px] [por DN] Todo sumiso es parcializado = Ningn sumiso es imparcial (E) Ningn S es P Vx[Sx Px] = (A) Todo S es noP Vx[Sx Px] [por Ident.] Ninguna sandez es permitida = Toda sandez es prohibida (no permitida) (E) Algn S es P x[Sx Px] = (O) Algn S no es noP x[Sx Px] [por DN] Algn sedentario es paciente = Algn sedentario no es impaciente
Taller V: Inferencias inmediatas entre proposiciones categricas . (O) Algn S no es P x[Sx Px] = (I) Algn S es noP x[Sx Px] [por Ident.] Al menos una sentencia no es justa = Al menos una sentencia es injusta En suma, a las dos proposiciones que tienen conversin vlida (E,I) no es posible aplicarles, con validez, la contraposicin; y, al revs, a aquellas dos que s poseen contraposicin vlida (A,O) no es legtimo someterlas a conversin. Adems -como salta a la vista- todas estas operaciones son equivalencias y, por lo tanto, en ellas se puede pasar de un lado al otro: se trata de inferencias inmediatas en las que se puede considerar premisa a la expresin de la izquierda y concluir la de la derecha, o al revs: se puede partir de la proposicin que est a la derecha y sacar por deduccin la de la izquierda.
Taller V: Inferencias inmediatas entre proposiciones categricas . As pues, al hacer el conteo total de las inferencias inmediatas vlidas posibles que resultan de usar de izq. a der. y de der. a izq. aquellas tres operaciones que acabamos de analizar, tenemos: 4 conversiones, 8 obversiones y 4 contraposiciones: En total, 16 inferencias vlidas. Y, sin importar qu proposicin sea la premisa que se somete a una de estas operaciones lgicas, al resultado de la operacin (= conclusin de la inferencia inmediata) se le llamar, segn sea el caso: conversa, obversa o contrapositiva. Tambin es importante sealar que, tanto cuando se trata de las inferencias inmediatas que funcionan al interior del Cuadro Tradicional de Oposicin como cuando se trabaja con las tres operaciones lgicas que acabamos de describir, se puede partir de proposiciones categricas que incluyen negaciones al sujeto y/o negaciones al predicado, para las que valen todas las relaciones hasta aqu estudiadas. Por ej.: Ningn no P es S o Algn P no es no S o Todo no P no es no S ...
Taller V: Inferencias inmediatas entre proposiciones categricas . Ahora bien, al combinar el total de inferencias que hemos visto en este captulo de la Lgica, podemos enfrentarnos a problemas de elevada complejidad, cuya resolucin debe considerar tantas variables e incluir tantos pasos deductivos, que estimula nuestra inteligencia y nos acostumbra a trabajar con total exactitud. El hecho de que una sola equivocacin, por diminuta que sea, nos conduce a resultados errneos, exige mantener sin pausa una gran concentracin mental hasta haber arribado a la solucin final correcta. Veamos dos detalles importantes relativos a las negaciones.
Taller V: Inferencias inmediatas entre proposiciones categricas . 1) Si dos negaciones seguidas se hallan ya en un sujeto ya en un predicado, se anulan por el principio de Doble Negacin. Por ej. la proposicin Algunos que NO son INsinceros son amables, por la aplicacin de este principio en el sujeto, se convierte en: Algunos sinceros son amables. Por la misma razn (esta vez en el predicado), Ningn maremoto es NO INcontrolable se convierte en: Ningn maremoto es controlable.
Taller V: Inferencias inmediatas entre proposiciones categricas . 2) Cuando alguna negacin precede a una proposicin, hay que mirar el sentido de la frase para ver si: (a) afecta nicamente al verbo, lo que ocurre las veces que la negacin antecede inmediatamente a este, como en la frase mentira que sean hermosas las cucarachas que, segn lo dicho, se debe interpretar como Ninguna cucaracha es hermosa (= Toda cucaracha no es hermosa); o si
Taller V: Inferencias inmediatas entre proposiciones categricas . 2) Cuando alguna negacin precede a una proposicin, hay que mirar el sentido de la frase para ver si: (b) afecta al cuantificador, lo cual sucede siempre que la negacin precede a ste. As, en la proposicin No es un cuento que sea un engao decir que Ninguna araa es negra, como hay tres negaciones y cada par de negaciones se autoelimina por Doble Negacin, la que queda afecta al cuantificador Ninguna (es decir, a la proposicin entera) y, entonces, hay que hallar la contradictoria de la proposicin dada, con el resultado final: Algunas araas son negras. Ojo!, una negacin atae tambin a la proposicin entera, las veces que la negacin va seguida de dos puntos; como en la frase es F que: sean hermosas las cucarachas (= que sean hermosas [todas] las cucarachas, es F), de donde, por contradiccin resulta: Algunas cucarachas no son hermosas. Por otro lado,
Taller V: Inferencias inmediatas entre proposiciones categricas . 2) Cuando alguna negacin precede a una proposicin, hay que mirar el sentido de la frase para ver si: (c) cuantificadores como Todo/a/os/as, Muchas/os o Pocas/os atraen hacia ellos la negacin inicial, prcticamente en todos los casos. As, en la aseveracin Es errneo que sean hermosas todas las cucarachas, en vista del sentido, que est sealado por los subrayados, la negacin se elimina tambin por contradiccin, con el resultado que acabamos de indicar. Mientras que NO POCOS significa MUCHOS, y NO MUCHOS es lo mismo que decir POCOS; vale decir: entre ambos adjetivos de cantidad funciona el efecto de interruptor: si se apaga uno de ellos, se prende el otro. Por ej. Es F que sean grises muchos perros significa Pocos [= Algunos] perros son grises.
Taller V: Inferencias inmediatas entre proposiciones categricas . 2) Cuando alguna negacin precede a una proposicin, hay que mirar el sentido de la frase para ver si: (d) En fin, negaciones al verbo cuando sigue el cuantificador Alg. o Alg. no son de interpretacin difcil, pues esta suele depender del conocimiento que hoy tenemos acerca del mundo. Por ej., la frase nada que hacer que sean mamferos algunos peces, debido a este conocimiento, significa la contradictoria de Algunos lo son; es decir, Ningn pez es mamfero. Pero, otras frases con esos cuantificadores poseen una significacin ms acorde con el ej. visto arriba, en el prrafo (a), tal como Es falso que algunos asociados han pagado tiene como sentido muy probable: Algunos asociados no han pagado.
Taller V: Inferencias inmediatas entre proposiciones categricas . Un ej. de problemas sencillos que sirven de repaso de las inferencias inmediatas: Hallar la proposicin subalterna de la contrapositiva de la obversa de la conversa de la contraria de la obversa de la proposicin de tipo E; cuya respuesta es Algn S es P y que se resuelve como las cuestiones del tipo: Dado caso que todos mis hermanos carezcan de hijos, quin es la hija del nieto de la madre de mi hermano?.
A continuacin vamos a llevar a cabo, paso a paso, la resolucin de una serie de problemas, ordenados de menor a mayor dificultad, que involucran las varias inferencias inmediatas que se han definido.
Taller V: Inferencias inmediatas entre proposiciones categricas . Ej.1- Si es F la proposicin (1) Todo soltero es paciente (que aqu hace de premisa), determine si es V, F o Indeterminada (en su valor de verdad) la proposicin (2) Ningn no paciente es soltero. El mtodo de resolucin se compone de dos partes. 1) Hay que conseguir que ambas proposiciones tengan un mismo sujeto y un mismo predicado. Este resultado se logra aplicando, de manera conveniente (solo a una de las proposiciones o a ambas) y las veces que se necesite, una o ms de las operaciones lgicas: conversin, obversin y/o contraposicin.
Taller V: Inferencias inmediatas entre proposiciones categricas . Ej.1- Si es F la proposicin (1) Todo soltero es paciente (que aqu hace de premisa), determine si es V, F o Indeterminada (en su valor de verdad) la proposicin (2) Ningn no paciente es soltero. El mtodo de resolucin se compone de dos partes. 2) Cuando, luego de realizar las transformaciones que resulten de la o las inferencias inmediatas que hayamos efectuado, contemos con dos expresiones que comparten un mismo sujeto y, por otro lado, un mismo predicado, recin ahora podemos compararlas en base al Cuadro Tradicional de Oposicin y determinar la solucin correcta. Normalmente suele haber varios caminos de resolucin; pero, como en cualquier otra ciencia, es mejor buscar los que sean ms sencillos y, as, ahorrar tiempo y energa mental.
Taller V: Inferencias inmediatas entre proposiciones categricas . En el ejemplo que tenemos a la vista, es ms fcil trabajar con la proposicin (2), pues, dado que ella es de tipo E, podemos voltearla por conversin y luego eliminar la negacin mediante una obversin: Por conversin: (2) Ningn no-P es S = (2) Ningn S es no-P Por obversin: (2) Ningn S es no-P = (2) Todo S es P. Ahora que las proposiciones (1) y (2) tienen el mismo sujeto y el mismo predicado, ya las podemos comparar. Y, ya que son exactamente iguales, determinamos que (2) [la cual, como hemos demostrado al aplicar conversin y obversin, es lgicamente equivalente a (2) y a (2)] es F, POR IDENTIDAD.
Taller V: Inferencias inmediatas entre proposiciones categricas . Ej.2 - Si es F la proposicin (1) Algn vertebrado es dentado, indique si es V, F o Indeterminada la proposicin (2) es mentira que Todo desdentado en invertebrado. [Tambin aqu es mejor trabajar con (2).] Primero anulamos la clusula es mentira que, para obtener la proposicin contradictoria a la dada. Enseguida, aplicamos una contraposicin, para eliminar las negaciones del sujeto y del predicado:
Por contradiccin, (2) es F que Todo desdentado es invertebrado = (2) Algn desdentado no es invertebrado Por contraposicin, (2) algn desdentado no es invertebrado = (2) algn vertebrado no es dentado.
Como (1) y (2) ya son comparables en base al Cuadro Tradic. de Oposicin, podemos deducir que (2) debe ser V, POR SUBCONTRARIEDAD [(1) y (2) no pueden ser ambas F al mismo tiempo].
Taller V: Inferencias inmediatas entre proposiciones categricas . Ej.3 - Dada la afirmacin (1) los perros son los nicos cnidos domesticados, diga cul es el valor de verdad (V, F Indet.) de la proposicin (2) es F: que sean cnidos no domesticados algunos perros. En este problema, primero hay que interpretar el sentido de la premisa (1) que es: solo si es perro es cnido domesticado. Pero, como la expresin solo si es el indicador lingstico de Condicin Necesaria y sta va siempre en el predicado, entonces la interpretacin definitiva de (1) es: Todo cnido domesticado es perro.
Taller V: Inferencias inmediatas entre proposiciones categricas . En la proposicin (2), debido a la presencia de los dos puntos, la negacin afecta a toda la proposicin Algunos perros son cnidos no domesticados, la cual, por obversin equivale a Algunos perros no son cnidos domesticados que, a su vez, al aplicarle la contradiccin que elimina la negacin aludida, se convierte en: (2) Todo perro es cnido domesticado. Pero al comparar la interpretacin correcta de (1) con (2), vemos que tienen el sujeto y el predicado intercambiados y, como bien sabemos a ninguna de las dos frases se la puede dar la vuelta, pues las proposiciones de tipo A carecen de conversin. En consecuencia, la proposicin (2) es INDETERMINADA, sin importar si la (1) es V o es F. Igual sucede al partir de que una proposicin de tipo O es V es F: en ambos casos, el valor de verdad de la proposicin de tipo O que se obtiene al intercambiar su sujeto y su predicado resulta Indeterminado, justo por una razn similar: las proposiciones de tipo O no tienen conversin (vlida, se sobreentiende).
Taller V: Inferencias inmediatas entre proposiciones categricas . Ej.4 - Si partimos de que el aserto (1) Siempre que est tranquilo no le acosan es V, qu ser el enunciado (2) Es un cuento que exclusivamente est intranquilo las ocasiones en que le acosan: V, F Indet.? - La frase (1), por ser temporal se interpreta como Toda vez que est tranquilo es vez que no le acosan. Teniendo en cuenta los indicadores lingsticos, si en la proposicin (2) dejamos a un lado, por el momento, la negacin con la que comienza, ella puede leerse como Solo est intranquilo si le acosan. Y, dado que las frases en que aparece un solo inicial separado del si con el que se articula cobran su sentido cuando se conforma el indicador de Condicin Necesaria solo si, justo en el lugar en que al comienzo apareca el condicional si, la frase queda reformulada como
Taller V: Inferencias inmediatas entre proposiciones categricas . Est intranquilo solo si le acosan; la cual, traducida a proposicin categrica y conservando su valor temporal original, queda: Toda vez que est intranquilo es vez que le acosan. Ahora conviene eliminar la negacin inicial que, provisionalmente, habamos dejado de considerar. Lo hacemos hallando la contradictoria de la ltima expresin que tenamos; de donde resulta la proposicin de tipo O: (2) Alguna vez que est intranquilo no es vez que le acosan.
Taller V: Inferencias inmediatas entre proposiciones categricas . Para buscar que sujeto y predicado de (2) y de (1) sean iguales, conviene obtener la contrapositiva de (1): toda vez que le acosan es vez que est intranquilo (1), que es de tipo A. Mas, sujeto y predicado de ambas frases estn intercambiados. Para poder compararlas, debemos lograr, al menos que las dos sean del mismo tipo. En casos como este, el mtodo es hallar la contradictoria de la (1), que resulta ser una proposicin de tipo O: ya que (1) es V, Alguna vez que le acosan no es vez que est intranquilo ser F. Ahora tenemos dos frases de tipo O, aunque con los trminos intercambiados; por lo tanto, (2) y su equivalente (2) quedan INDETERMINADAS, porque las proposiciones de tipo O carecen de conversin.
Taller V: Inferencias inmediatas entre proposiciones categricas . Ej.5 - Si sabemos que (1) es errneo decir que algunos parientes de Jack the Ripper no fueron personas que no lo denunciaron, qu valor de verdad tendr el enunciado (2) la negacin de que no sea un engao que no todos los que no le delataron no fueron de su familia, no deja de ser una quimera: V, F o Indet.?
Taller V: Inferencias inmediatas entre proposiciones categricas . Para este ej., tan intrincado, la resolucin debe ser bien ordenada, para no perdernos en la selva de detalles. 1ro. resolvemos las negaciones. En (1), la negacin de que Algunos... no fueron... equivale por contradiccin a: Todo familiar de JR fue persona que no denunci a JR. En (2), hay cinco negaciones que afectan a la frase en su totalidad (ver subrayados). Al aplicar la Doble Negacin queda solo una, de forma que resulta: la frase Todo el que no delat a JR no fue familiar de JR es falsa. Si por lo pronto prescindimos de esta falsedad, el enunciado, por ser Universal Afirmativo se puede expresar tambin como: Ninguna persona que no delat a JR fue familiar de JR, el cual, tras aplicarle una conversin queda: (2) Ning familiar de JR fue persona que no delat a JR. Como esta afirmacin es F, al aplicar la contradictoria quedara el resultado: Alg. familiar de JR fue persona que no lo delat. Esta expresin ya tiene el mismo sujeto y el mismo predicado que la premisa, y es subalterna de esta. Por lo tanto, es V por subalternacin.
Taller V: Inferencias inmediatas entre proposiciones categricas . Ejercicios de inferencias entre proposiciones categricas. O.- Lgica (p. 111-114) Abreviaturas: Conv. = Conversin. Obv. = Obversin. Ctrp. = Contraposicin. Contradiccin = Ctrdcc. Contradt* = Contradictoria. DN = Doble Negacin. Indet. = Indeterminada [en su valor de verdad]. CS = Condic. Suficiente. CN = Condic. Necesaria. Prem. = Premisa. Ident. = Identidad
Taller V: Inferencias inmediatas entre proposiciones categricas . I. Si es FALSA la proposicin Todo poltico es honesto [= Todo P es H] Qu puede inferirse acerca de la verdad o falsedad de las siguientes proposiciones?
1. Ningn poltico es deshonesto 2. Todo no honesto es no poltico 3. Algn poltico es deshonesto 4. Algunos polticos no son no-honestos 5. Todo no poltico es deshonesto 6. Ningn deshonesto es no poltico 7. Algunos deshonestos son polticos 8. Algunos no-polticos no son no-deshonestos 9. Ningn no poltico es deshonesto 10. Algunos no-polticos son honestos
Taller V: Inferencias inmediatas entre proposiciones categricas . I. Si es FALSA la proposicin Todo poltico es honesto [= Todo P es H] Qu puede inferirse acerca de la verdad o falsedad de las siguientes proposiciones?
1. Por Obv.: Todo P es H = F por identidad con la Prem. 2. Por Ctrp.: Todo P es H = F por identidad con la Prem. 3. Por Obv.: Alg. P no es H = V por contradt* de la Prem. 4. Por Obv.: Alg. P es H = Indet. por ser subalterno de la Premisa. 5. Por Ctrp.: Todo H es P = Indet. porque las proposiciones de tipo A carecen de Conv. 6. (queda tal como est) = Indet. por contraria de la contrapositiva de la Prem. 7. Por Conv. + Obv.: Alg. P no es H = V. Por contradt* de la Prem. 8. Por Obv. + Conv.: Alg. noH es noP = Indet. por subcontraria de la contrapositiva de la Prem. 9. Por Conv.: Ning. noH es noP = Indet. por contraria de la contrapositiva de la Prem. 10. Por Conv. + Obv.: Alg P es H = Indet., comparada con la contradt* de la Prem., pues O carece de Conv.
Taller V: Inferencias inmediatas entre proposiciones categricas . I. Si es FALSA la proposicin Todo poltico es honesto [= Todo P es H] Qu puede inferirse acerca de la verdad o falsedad de las siguientes proposiciones?
Una va alternativa de solucin a este y al resto de problemas que siguen es, mediante conv., obv. y contrap. desplegar todas las diferentes formas en que puede expresarse la premisa. De este modo, se cuenta, en vez de solo uno, con cuatro frmulas con las que se puede comparar las proposiciones 1,2,3: Todo P es H (por Ctrp) = [2] Todo noH es noP (por Obv.) = [3] Ning noH es P (por Conv.) = [4] Ning P es noH Vx[Px ->Hx] (por Cp) = Vx[Hx -> Px] (por Ident.) = Vx[Hx -> Px] (por Cp+DN) = Vx[Px >Hx] Siguiendo este mtodo de anlisis, se hallan las mismas soluciones que constan en la columna de la derecha que precede, si se hacen las siguientes comparaciones: la #2, la #5, la #6 y la Conv. de la #9 con la forma [2]; la #7 con la forma [3]; la #3 y la #4 con la forma [4].
Taller V: Inferencias inmediatas entre proposiciones categricas . II. Si la proposicin No se encuentran honestos irresponsables es FALSA, qu puede inferirse acerca de la verdad o falsedad de las siguientes proposiciones?
1. Es indispensable ser responsable para ser honesto 2. Cualquier irresponsable es un deshonesto 3. Es faltar a la verdad el decir que existan honestos responsables 4. Pocos son honestos y responsables. 5. Es un deshonesto en el supuesto de que sea un irresponsable 6. Es imprescindible ser no-responsable con el objeto de ser no-honesto 7. Nada ms los deshonestos son no-responsables 8. Ser un irresponsable con solo ser deshonesto 9. No son responsables los deshonestos 10. Es absolutamente falso que haya deshonestos responsables 11. Es no-deshonesto a menos que sea responsable 12. Es imposible que se sea deshonesto e irresponsable