La forma general de toda proposición categórica es la siguiente: cuantificador + sujeto + cópula + predicado

Documentos relacionados
Lógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores

Capítulo 4. Lógica matemática. Continuar

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA

Introducción: Proposiciones, argumentos e inferencias. Inferencias deductivas e inductivas. Deducción: Inferencias transitivas (Silogismos lineales)

Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar

Epistemología y Evolución del Pensamiento Científico Cuadernillo para el cursado

Matemáticas Discretas TC1003

LICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /

Introducción a la Lógica

Material diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional

Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional

Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).

Lógica proposicional. Ivan Olmos Pineda

TEMA I. INTRODUCCIÓN A LA LÓGICA Y AL RAZONAMIENTO DEDUCTIVO.

ESCUELA SUPERIOR POLITÉCNICA DEL LITORAL FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICAS CURSO DE NIVELACIÓN S

3.1 Reglas de equivalencia

Universidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?

Forma lógica de enunciados

Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Teoría Tema 6 Ecuaciones de la recta

Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación.

Razonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F

Prueba de Aptitud Académica. Profesor José A. Barreto G. Caracas Venezuela

Interpretación y Argumentación Jurídica

P+P C. 1 hora 45 min. 1. Qué es un argumento? Aprender a crear un argumento Aprender a contra-argumentar

CONSERVACION DE LA VERDAD EN LOS ARGUMENTOS INFORMALES?

Algoritmos. Medios de expresión de un algoritmo. Diagrama de flujo

= 310 (1 + 5) : 2 2 = = = 12 ( 3) ( 5) = = 2 = ( 4) + ( 20) + 3 = = 21

El Modelo Ricardiano Introducción

Conjuntos, relaciones y funciones Susana Puddu

Álgebra de Boole. Retículos.

CONJUNTO: Colección o agregado de ideas u objetos de cualquier especie.

RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA

Sobre funciones reales de variable real. Composición de funciones. Función inversa

Teoría del Discurso. Silogismo, entimema

MATEMÁTICAS 2º ESO SEMEJANZA Y TEOREMA DE THALES

KANT Y LA ILUSTRACION

El Teorema Fundamental del Álgebra

Representaciones gráficas: Método del Paralelogramo

MODULO 1 OBJETO Y DIVISIÓN DE LA LOGICA Lógica como arte que dirige la razón Razón: Inteligencia o entendimiento humano en su movimiento hacia la

2 experiencia empírica contiene saberes acerca de aspectos de la realidad que no son accesibles a la experiencia empírica, tales como un saber con res

Apuntes de Lógica Proposicional

NOCIONES ELEMENTALES DE LÓGICA MATEMÁTICA

Materia: Matemática de Octavo Tema: Conjunto Q (Números Racionales)

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN

Capítulo 6. Relaciones. Continuar

SISTEMAS DE ECUACIONES. Nacho Jiménez

Curva de Lorenz e Indice de Gini Curva de Lorenz

I.E.S. Miguel de Cervantes (Granada) Departamento de Matemáticas GBG 1

Reconocemos nuestras fortalezas y dificultades

GUÍA DE EJERCICIOS CONCEPTOS FUNDAMENTALES

MEDIDAS DE TENDENCIA CENTRAL (MEDIDAS DE POSICIÓN)

Clasificación de establecimientos y sedes

Lección 12: Sistemas de ecuaciones lineales

Taller Matemático. Lógica. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid

APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN

Jugamos con los cuentos? C.R.A. EL ENCINAR (LA LOSA) ÍNDICE

PROBLEMAS RESUELTOS MOVIMIENTO ONDULATORIO

12 Funciones de proporcionalidad

Matemáticas Básicas para Computación

Acuerdo 286 Matemáticas

Números irracionales famosos

Inteligencia artificial

CAPITULO XII PUENTES DE CORRIENTE ALTERNA

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 2: Lunes 18 Viernes 22 de Marzo. Contenidos

Programa de Acceso Inclusivo, Equidad y Permanencia PAIEP U. de Santiago. Química

Unidad 5 Morfosintaxis I:

Las redes semánticas intentan trasladar esa afirmación a un formalismo Una red semántica será un grafo donde:

Dos matrices son iguales cuando tienen la misma dimensión y los elementos que ocupan el mismo lugar en ambas son iguales

Probabilidad Condicional

TEMA 2: TEORÍA DE CONJUNTOS Y CONJUNTOS NUMÉRICOS.

PREPARACION OLIMPIADA MATEMATICA CURSO

1. NUMEROS REALES a. Los Números Reales

El silogismo categórico

Examen final de Lógica y argumentación (Fecha: xxxxxxxx)

II. COMO REALIZAR EL ANÁLISIS DE LAS PRUEBAS

SISTEMAS DE ECUACIONES LINEALES. Método de reducción o de Gauss. 1º DE BACHILLERATO DPTO DE MATEMÁTICAS COLEGIO MARAVILLAS AUTORA: Teresa González.

MATEMÁTICASII Curso académico BLOQUE GEOMETRÍA. TEMA 1: VECTORES

Parciales Matemática CBC Parciales Resueltos - Exapuni.

La función proposicional no es una proposición, por lo tanto, no se puede decir nada acerca de su valor de verdad.

Colegio Antonio de Nebrija

Créditos institucionales de la UA: 6 Material visual: Diapositivas. Unidad de competencia I Conceptos preliminares

Funciones 1. D = Dom ( f ) = x R / f(x) R. Recuerda como determinabas los dominios de algunas funciones: x x

Guía del estudiante. Clase 16 Tema: Números racionales - orden en los racionales y representación decimal. Lectura. Colombia Biodiversa Amenazada

NÚMEROS COMPLEJOS: C

LOS PIES HUMANOS SON RAROS

Unidad 2: Ecuaciones, inecuaciones y sistemas.

TEXTO DE SANTO TOMÁS

TEST DE RAZONAMIENTO NUMÉRICO. Consejos generales

1. dejar a una lado de la igualdad la expresión que contenga una raíz.

EL TEXTO ARGUMENTATIVO

EL TEOREMA DEL CAMBIO DE BASE DE LOGARITMOS: UNA

Conceptos básicos estadísticos

Semana 09 [1/28] Sucesiones. 29 de abril de Sucesiones

Lección 2: Notación exponencial

Productos notables. Parte II

El Análisis de Correspondencias tiene dos objetivos básicos:

3. OBJETIVOS ESPECÍFICOS (De formación académica): Como resultado de cada capítulo el estudiante estará en capacidad de:

PROGRAMACIÓN. UNIDAD II. ALGORITMO PROFA : HAU MOY

Profesorado de Nivel Medio y Superior en Biología Matemática - 1º Cuatrimestre Año 2013 FUNCIÓN CUADRÁTICA

Transcripción:

1.5 Proposiciones categóricas Las proposiciones categóricas son aquéllas que hacen afirmaciones incondicionales. Por ejemplo, todos los hombres son mortales es una proposición categórica, mientras que si tengo el día libre, voy a la playa no lo es, ya que hay un condicionante para el hecho de ir a la playa: que tenga el día libre. La forma general de toda proposición categórica es la siguiente: Donde: cuantificador + sujeto + cópula + predicado El cuantificador determina si la proposición se refiere a todos los sujetos de un conjunto, a una parte de ellos o sólo a un elemento del conjunto. El sujeto es el conjunto o subconjunto de individuos o cosas de los que trata la proposición. La cópula (es decir, lazo) es el verbo que une al sujeto con el predicado. Tiene la doble función de llevar a cabo esta relación y de hacer posible el enunciado. El predicado es lo que se afirma o niega del sujeto. Por ejemplo: Todos los hombres son mortales. (cuantificador) (sujeto) (cópula) (predicado) Para fines de codificación de proposiciones categóricas, es decir, para su representación en lenguaje lógico, de lo que hablaremos con más detalle posteriormente, es muy recomendable obtener un predicado nominal equivalente para todos aquellos predicados mixtos o verbales. Por ejemplo: Las llamas convirtieron todo en cenizas. Se puede expresar como todo fue convertido en cenizas por las llamas. Juan estudia matemáticas. Se puede expresar como Juan es estudiante de matemáticas. Todos las aves vuelan. Se puede expresar como todas las aves son voladoras. Yo hablo se puede expresar como yo soy hablante. El hombre existe se puede expresar como el hombre es existente. 1.5.1 Calidad y cantidad de las proposiciones categóricas. Las proposiciones categóricas, en cuanto a calidad, puede ser afirmativas o negativas. Son afirmativas cuando el predicado asigna al sujeto alguna característica

o cualidad, por ejemplo: es estudiante, son voladoras. Son negativas cuando el predicado niega al sujeto la característica o cualidad, por ejemplo: no es estudiante, no son voladoras. En cuanto a cantidad, las proposiciones categóricas pueden ser universales, particulares o singulares. Son universales cuando se refieren a la totalidad del conjunto de los sujetos. Son particulares cuando se refieren sólo a una parte del conjunto de los sujetos y son singulares cuando se refieren a sólo un miembro específico del conjunto de los sujetos. De la combinación de estas cuatro categorías se obtiene lo que se conoce como las cuatro formas clásicas de las proposiciones categóricas: a) Universal afirmativa, o tipo A. b) Particular afirmativa, o tipo I. c) Universal negativa, o tipo E. d) Particular negativa, o tipo O. Los nombres de las categorías A e I han sido tomadas del vocablo latino AFFIRMO, que significa afirmo. Estas vocales designan a las proposiciones afirmativas universales y afirmativas particulares, respectivamente. E y O, en cambio, han sido tomadas del vocablo latino NEGO, que significa niego. Estas vocales designan a las proposiciones negativas universales y negativas particulares, respectivamente. 1.5.2 Las proposiciones universales afirmativas. Las proposiciones tipo A tienen la siguiente forma: Todo S es P. Donde S se refiere al conjunto o clase sujetos y P se refiere al predicado o a la clase predicados. La denominación universal afirmativa es apropiada, porque la proposición afirma que hay una relación de inclusión entre las dos clases y, además, que la inclusión es completa o universal, es decir, que todos los miembros de S son también miembros de P. 1.5.3 Las proposiciones particulares afirmativas. Las proposiciones tipo I tienen la siguiente forma: Algún S es P. Esta proposición se interpreta afirmando que al menos un miembro de la clase designada por S es también un miembro de la clase designada por P. Su denominación es apropiada porque la proposición afirma la presencia de una relación de inclusión entre las clases, pero no lo afirma de la primera clase universalmente, sino sólo parcialmente, únicamente de algunos miembros de la primera clase, de por lo menos un miembro de la clase S. 1.5.4 Las proposiciones universales negativas Las proposiciones tipo E son aquellas que siguen la forma: Ningún S es P.

El nombre universal negativa es apropiado porque la proposición niega que haya una relación de inclusión entre las dos clases y lo niega universalmente, ya que ninguno de los miembros de S es miembro de P, y viceversa. 1.5.5 Las proposiciones particulares negativas. Las proposiciones categóricas tipo O siguen la forma: Algún S no es P. Este tipo de proposiciones afirma que al menos un miembro de la clase designada por el término S está excluido de la clase designada por el término P. 1.5.6 Proposiciones singulares Las proposiciones categóricas particulares son aquellas que se refieren a un sujeto específico o singular. Estas proposiciones se tratan igual que las universales, dado que relacionan al único elemento de S con la clase P. Por ejemplo: Juan es estudiante, es una proposición singular afirmativa. Luis no es nadador, es una proposición singular negativa. 1.5.7 Ejemplos de proposiciones categóricas. A continuación, veremos varios ejemplos de proposiciones y las clasificaremos de acuerdo a las categorías A, I, E y O, recién comentadas. Ejemplo 1. Se trata de la proposición: Los políticos mienten por costumbre. Esta proposición es de tipo verbal, pero puede transformarse en la siguiente proposición nominal: Los políticos son mentirosos. Que se entiende como una proposición universal de tipo A: Todos los políticos son mentirosos. Ejemplo 2. Vamos a trabajar con la siguiente proposición: Hay algunos políticos honestos. Vemos que se trata de una proposición particular, ya que no se refiere a todos los políticos. Esta proposición puede reescribirse como: Algunos políticos son honestos. Y también como: Al menos un político es honesto. Se trata pues de una proposición categoría I. Ejemplo 3. Todos los soldados que han desertado no son leales. Se puede expresar como:

Los soldados desertores no son leales. Vemos que se trata de un sujeto universal: todos los miembros del conjunto soldados desertores. La proposición niega la cualidad de la lealtad a todos los miembros de este conjunto. Por tanto, podemos reescribir esta proposición como: Ningún soldado desertor es leal. Que se trata de una proposición de la categoría E. Ejemplo 4. Algunos buenos ciudadanos se abstendrán de votar en estas elecciones. Vemos que se trata de una proposición particular: algunos ciudadanos. Esta proposición podemos expresarla como: Algunos buenos ciudadanos no serán votantes en estas elecciones. Que se trata de una proposición tipo O. Ejemplo 5. Pancho Pantera juega bien al futbol. Que podemos expresarla como: Pancho Pantera es buen futbolista. Que se trata de una proposición singular afirmativa. Ejemplo 6. Carlos Pérez no escribe bien. Que puede expresarse como: Carlos Pérez no es buen escritor. Que se trata de una proposición singular negativa. 1.5.8 El cuadro tradicional de oposición. Las proposiciones categóricas pueden diferir entre sí en la calidad, cantidad o en ambas, y con base en éstas diferencias se han construido un conjunto de inferencias inmediatas. Los lógicos de otros tiempos dieron a este género de inferencias inmediatas el nombre de oposición y establecieron importantes relaciones entre los valores de verdad de los juicios que difieren en los aspectos mencionados. Las proposiciones que difieren tanto en cantidad como en calidad se dice que son contradictorias. Las proposiciones universales que difieren sólo en calidad se dice que son contrarias. Las particulares que difieren en calidad son subcontrarias. Las que difieren en cantidad, pero no en calidad, están en relación de subalternación. Los lógicos antiguos construyeron el siguiente cuadro para indicar estas relaciones:

De este cuadro se desprenden las siguientes reglas. 1.5.9 Reglas de oposición. Ley de Contradictorias.- Dos proposiciones con un mismo sujeto y predicado, y que difieren tanto en la calidad como en la cantidad, son contradictorias; es decir, definen la relación de A con respecto de O, y de E con respecto de I, y viceversa. Ésta es la oposición mostrada con las líneas diagonales. La Ley de Contradictorias establece que dos proposiciones contradictorias no pueden ser al mismo tiempo ni Falsas ni Verdaderas. Ley de Contrarias.- Dos proposiciones son contrarias si son proposiciones universales que teniendo el mismo sujeto y el mismo predicado difieren en calidad; es decir, A respecto de E y viceversa. Ésta es la oposición mostrada por la línea horizontal superior. La Ley de las Contrarias establece que dos proposiciones contrarias no pueden ser ambas verdaderas, pero pueden ser ambas falsas. Ley de Subcontrarias.- Dos proposiciones son contrarias si son proposiciones particulares que teniendo el mismo sujeto y el mismo predicado difieren en calidad; es decir, I respecto de O y viceversa. Ésta es la oposición mostrada por la línea horizontal inferior. La Ley de las Subcontrarias establece que dos proposiciones subcontrarias no pueden ser ambas falsas, pero pueden ser ambas verdaderas. Ley de Subalternancia.- Son proposiciones subalternas aquéllas que teniendo el mismo sujeto y el mismo predicado, sólo difieren en cantidad y no en calidad, es decir, A con respecto a I, y E con respecto a O. La proposición universal se llama subalternante, la particular correspondiente se denomina subalterna. La Ley de Subalternancia establece que de la verdad de la subalternante se infiere la verdad de la subalterna, pero de la falsedad de aquella no hay inferencia válida con respecto a ésta. 1.5.10 Inferencia inmediata. Una inferencia es inmediata si la conclusión es inferida (deducida) de una sola premisa, sin intermediación. Las relaciones de oposición son inferencias inmediatas. El siguiente resumen nos muestra las inferencias inmediatas que se pueden obtener del cuadro de oposición.

Inferencias inmediatas del cuadro de oposición. Si A es verdadera: Si A es falsa: E falsa por contrariedad. I verdadera por subalternancia. O falsa por contradicción. E indeterminada por contrariedad. I indeterminada por subalternancia. O verdadera por contradicción. Si E es verdadera: Si E es falsa: Si I es verdadera: Si I es falsa: Si O es verdadera: Si O es falsa: A falsa por contrariedad. I falsa por contradicción. O verdadera por subalternancia. A Indeterminada por contrariedad. I verdadera por contradicción. O indeterminada por subalternancia. A indeterminada por subalternación. E falsa por contradicción. O indeterminada por subcontrariedad. A falsa por subalternación. E verdadera por contradicción. O verdadera por subcontrariedad. A falsa por contradicción. E indeterminada por subalternación. I indeterminada por subcontrariedad. A verdadera por contradicción. E falsa por subalternación. I verdadera subcontrariedad. Por ejemplo, de la proposición tipo A siguiente: Todos los políticos son mentirosos. Por inferencia inmediata determinamos que la siguiente proposición tipo O es Falsa:

Algún político no es mentiroso. De la proposición tipo E siguiente: Ningún soldado desertor es leal. Por inferencia inmediata sabemos que la siguiente proposición tipo A es Falsa: Todos los soldados desertores son leales. Este par de ejemplos ilustran lo que nos permite el razonamiento: deducir o inferir nuevas cosas a partir de otras ya conocidas, es decir, conocer cosas nuevas a partir de las ya sabidas Resumen. En esta sección trabajamos con proposiciones categóricas, que son aquéllas que hacen afirmaciones incondicionales. Estas proposiciones están clasificadas de acuerdo a su cantidad y calidad. En cuanto a su cantidad pueden ser universales, particulares o singulares. En cuanto a su calidad pueden ser afirmativas o negativas. Combinando estas clasificaciones obtenemos las categorías mostradas en la tabla siguiente: Categoría Forma Universal afirmativa, tipo A Todo S es P. Particular afirmativa, tipo I Algún S es P. Universal negativa, tipo E Ningún S es P. Particular negativa, tipo O Algún S no es P. Las leyes de oposición describen las relaciones entre estas categorías y nos permiten realizar inferencias inmediatas.