1.07k likes | 1.25k Views
Esquema asociado a la presencia del negador. Se niega que algo sea el caso:. No es el caso que B. Esquema asociado a la presencia de la conjunción. Se afirman conjuntamente distintos hechos independientes:. B y C. Esquema asociado a la presencia de la disyunción.
E N D
Esquema asociado a la presencia del negador. Se niega que algo sea el caso: No es el caso que B.
Esquema asociado a la presencia de la conjunción. Se afirman conjuntamente distintos hechos independientes: B y C.
Esquema asociado a la presencia de la disyunción. Se introduce una alternativa entre dos circunstancias: O bien B, o bien C.
Esquema asociado a la presencia del condicional material. Se introduce una condición suficiente (necesaria) para que algo sea el caso: Es suficiente que B para que C.
Esquema asociado a la presencia del cuantor universal. Se informa que todos los individuos del dominio satisfacen unas determinadas circunstancias: Para todo individuo x sucede B.
Esquema asociado a la presencia del cuantor existencial. Se informa que hay algún individuo del dominio que satisface unas determinadas circunstancias: Hay al menos un individuo x para el que sucede B.
TRADUCCIÓN Ejercicio nº2
El proceso de traducción de un argumento consta de cuatro etapas:
El proceso de traducción de un argumento consta de cuatro etapas: 1. Identificación de las premisas y la conclusión.
El proceso de traducción de un argumento consta de cuatro etapas: 1. Identificación de las premisas y la conclusión. 2. Identificación de la forma lógica de las premisas y la conclusión.
El proceso de traducción de un argumento consta de cuatro etapas: 1. Identificación de las premisas y la conclusión. 2. Identificación de la forma lógica de las premisas y la conclusión. 3. Construcción del glosario.
El proceso de traducción de un argumento consta de cuatro etapas: 1. Identificación de las premisas y la conclusión. 2. Identificación de la forma lógica de las premisas y la conclusión. 3. Construcción del glosario. 4. Traducción final al lenguaje de la Lógica de Primer Orden (LPO).
Argumento: Las personas modestas son estimadas por todo el mundo. Por tanto, las personas modestas se estiman a sí mismas.
ETAPA I Identificación de premisas y conclusión
Las premisas aparecen separadas de la conclusión por partículas de tipo consecutivo como “por tanto”, “luego”, etc., o simplemente por un punto.
Las personas modestas son estimadas por todo el mundo. Por tanto, las personas modestas se estiman a sí mismas.
Las personas modestas son estimadas por todo el mundo. las personas modestas se estiman a sí mismas.
Las personas modestas son estimadas por todo el mundo. las personas modestas se estiman a sí mismas. En consecuencia,
Premisa 1: Las personas modestas son estimadas por todo el mundo.
Premisa 1: Las personas modestas son estimadas por todo el mundo. Conclusión: Las personas modestas se estiman a sí mismas.
ETAPA II Identificación de la forma lógica de premisas y conclusión
Identificar la forma lógica de un enunciado equivale a preguntarse por el tipo de aserto que se realiza al proferirlo.
También se puede considerar que consiste en aclarar dentro del formalismo elegido la información que ese enunciado suministra.
El lenguaje formal de referencia suministra un número de esquemas asociados a las distintas constantes lógicas presentes.
Aclarar el tipo de aserto que se establece en un enunciado equivale, por tanto, a determinar cuál es su constante lógica principal.
Constantes lógicas disponibles: ¬ & v
Identificación de la forma lógica de la premisa 1 (y 1) Las personas modestas son estimadas por todo el mundo. ¿Qué tipo de aserto introduce? ¬ & v
Las personas modestas son estimadas por todo el mundo. T
Las personas modestas son estimadas por todo el mundo. Para todo individuo x sucede que (si x es una persona modesta, entonces x es estimada por todo el mundo).
Las personas modestas son estimadas por todo el mundo. Da lugar a: Todo individuo x es tal que (si x es una persona modesta, entonces x es estimada por todo el mundo). ¿Contiene esta última oración elementos no analizados? Si No
Todo individuo x es tal que (si x es una persona modesta, entonces x es estimada por todo el mundo). Si x es una persona modesta, entonces x es estimada por todo el mundo. No es simple.
Identificación de la forma lógica de la premisa 1 (y 2) Si x es una persona modesta, entonces x es estimada por todo el mundo. ¿Qué tipo de aserto introduce? ¬ & v
Si x es una persona modesta, entonces x es estimada por todo el mundo. T
Si x es una persona modesta, entonces x es estimada por todo el mundo. Basta con que (x sea una persona modesta) para que (x sea estimada por todo el mundo).
Todo individuo x es tal que (Si x es una persona modesta, entonces x es estimada por todo el mundo). Da lugar a: Todo individuo x es tal que (Si (x es una persona modesta), entonces (x es estimada por todo el mundo)). ¿Contiene esta última oración elementos no analizados? Si No
Todo individuo x es tal que (Si (x es una persona modesta), entonces (x es estimada por todo el mundo)). x es una persona modesta. x es estimada por todo el mundo. No son simples.
Identificación de la forma lógica de la premisa 1 (y 3) x es una persona modesta. ¿Qué tipo de aserto introduce? ¬ & v
& x es una persona modesta. T
& x es una persona modesta. x es una persona y x es modesta.
Todo individuo x es tal que (Si (x es una persona modesta), entonces (x es estimada por todo el mundo)). Da lugar a: Todo individuo x es tal que (Si (x es una persona y x es modesta), entonces (x es estimada por todo el mundo)). ¿Contiene esta última oración elementos no analizados? Si No
Todo individuo x es tal que (Si (x es una persona y x es modesta), entonces (x es estimada por todo el mundo)). x es estimada por todo el mundo. No es simple.
Identificación de la forma lógica de la premisa 1 (y 4) x es estimada por todo el mundo, es equivalente a: Toda persona estima a x. ¿Qué tipo de aserto introduce? ¬ & v
x es estimada por todo el mundo. (Toda persona estima a x). T