Qué es un juicio infinito?

Es un juicio que señala lo que el sujeto no es. Su fórmula es 'S es no P', como en 'Este cheque es no negociable'.

Cuál es la diferencia entre un juicio problemático y uno apodíctico?

El problemático expresa una posibilidad y su fórmula es 'S puede ser P'. El apodíctico expresa una necesidad lógica o esencial y su fórmula es 'S es necesariamente P'.

El juicio en la lógica formal: definición, estructura y tipos

Q: Qué es un juicio en lógica formal?

Es una proposición que afirma o niega algo sobre un sujeto. Es una expresión del pensamiento que puede ser verdadera o falsa.

Resumen

Este documento explica qué es un juicio en la lógica formal y cuáles son sus elementos: sujeto, predicado y cópula. Clasifica los juicios por cantidad, cualidad, relación y modalidad, con ejemplos de cada tipo. Un estudiante aprenderá a distinguir juicios universales, particulares, afirmativos, negativos, categóricos, hipotéticos, disyuntivos y apodícticos, entre otros.

Puntos clave

Un juicio es una proposición que afirma o niega algo sobre un sujeto, y debe ser verdadero o falso.
Un juicio tiene tres elementos: sujeto, predicado y cópula.
Según la cantidad, los juicios son universales, particulares o individuales (singulares).
Según la cualidad, los juicios son afirmativos, negativos o infinitos.
Según la relación, los juicios son categóricos, hipotéticos o disyuntivos.
Según la modalidad, los juicios son problemáticos, asertóricos o apodícticos.
En un juicio hipotético, la condición se llama hipótesis, y lo condicionado se llama tesis.

Resumen generado con IA a partir del documento. Ponte a prueba

Definición de Juicio

En lógica formal, un juicio es una proposición que afirma o niega algo sobre un sujeto. Es una expresión del pensamiento que puede ser verdadera o falsa. Esto implica que una característica esencial del juicio es que, necesariamente, debe ser verdadero o falso. Los juicios son fundamentales en la argumentación lógica, ya que constituyen las unidades básicas de razonamiento.

Estructura del Juicio

Un juicio se compone de tres elementos principales:

Sujeto (S): Es el objeto o entidad sobre el cual se hace una afirmación o negación.
Predicado (P): Es lo que se afirma o niega del sujeto.
Cópula: Es el verbo que conecta el sujeto con el predicado, generalmente el verbo “ser” en sus diferentes formas (es, son, etc.).

Ejemplo: “El gato (S) es (cópula) un mamífero (P).”

Clasificación de los Juicios

Los juicios pueden clasificarse según diferentes criterios: cantidad, cualidad, relación y modalidad.

1. Por Cantidad

Depende de la extensión con que el concepto contenido en el sujeto se incluye en el juicio.

Universales: Afirmaciones que se refieren a todos los miembros de una clase. Ejemplo: “Todos los gatos son mamíferos.”
Particulares: Afirmaciones que se refieren a algunos miembros de una clase. Ejemplo: “Algunos gatos son negros.”
Individuales o Singulares: Juicios que se aplican a un solo individuo o ser. Por ejemplo: “Kant es filósofo.”

2. Por Cualidad

La cualidad se refiere a la propiedad de afirmar o negar que poseen los juicios.

Afirmativos: Juicios que afirman algo sobre el sujeto. Ejemplo: “El gato es un mamífero.”
Negativos: Juicios que niegan algo sobre el sujeto. Ejemplo: “El gato no es un reptil.”
Infinitos: Juicios que señalan lo que el sujeto no es. Su fórmula es “S es no P”. Ejemplos: “Este cheque es no negociable.”, “La película es no apta para menores.”

3. Por Relación

Considera la manera en que se establece la relación entre los conceptos en un juicio.

Categóricos: Juicios que afirman o niegan algo de manera directa e incondicional. Ejemplo: “El gato es un mamífero.”
Hipotéticos: Juicios que establecen una relación condicional entre dos proposiciones. En este tipo de juicio, la primera parte (la condición) se denomina hipótesis, y la segunda (lo condicionado), tesis. Ejemplos: “Si el gato es un mamífero, entonces tiene pelo.”, “Si la fatiga es una intoxicación, eliminando ciertas toxinas debe desaparecer la fatiga.”
Disyuntivos: Juicios que presentan dos o más alternativas que se excluyen mutuamente o en conjunto agotan las posibilidades. Ejemplo: “El gato es un mamífero o un reptil.”

4. Por Modalidad

Esta categoría se refiere al modo o la fuerza con que se afirma o niega la relación entre sujeto y predicado en los juicios. Puede ser de manera posible, real o necesaria.

Problemáticos: Juicios que expresan una posibilidad. La relación entre sujeto y predicado se enuncia como meramente posible. Su fórmula es “S puede ser P”. Ejemplo: “El gato puede ser un mamífero.”
Asertóricos: Juicios que expresan una afirmación de hecho o una realidad. La relación entre sujeto y predicado implica una realidad efectiva, no solo una posibilidad. Su fórmula es "S es realmente P”. Ejemplo: “El gato es un mamífero.”
Apodícticos: Juicios que expresan una necesidad lógica o esencial. La relación entre sujeto y predicado es forzosa y no podría ser de otra manera. Su fórmula es “S es necesariamente P”. Ejemplo: “El gato necesariamente es un mamífero.”