Juicios en lógica. ¿Qué es juicio, tipos de juicios?

Educación:

El juicio es una forma de pensar que afirma o niega cualquier cosa sobre la existencia de objetos, sobre las relaciones entre ellos y sus propiedades, así como sobre la relación entre objetos.

Ejemplos de juicios: “Volga fluye hacia el mar Caspio”, “A.S. Pushkin escribió el poema "El jinete de bronce", "El tigre de Ussurian aparece en el Libro Rojo", etc.

Estructura de juicio

El juicio incluye los siguientes elementos: sujeto, predicado, paquete y cuantificador.

El sujeto (Subjektum latino - "subyacente") - lo que se dice en esta sentencia, su sujeto ("S").
Predicado (lat. Praedicatum - "hablado") es un reflejo de la característica del tema, lo que se dice sobre el tema del juicio ("P").
Un vínculo es una relación entre un sujeto ("S") ypredicado ("p"). Determina la presencia / ausencia de cualquier propiedad en el sujeto expresada en el predicado. Puede ser implícito o denotado por el signo "guión" o las palabras "es" ("no es"), "es", "es", "esencia", etc.
El cuantificador (palabra cuantificadora) define el volumen.Conceptos a los que se refiere el sujeto de juicio. Frente al tema, pero también puede estar ausente en el juicio. Se denota con palabras tales como "todos", "muchos", "algunos", "ninguno", "ninguno", etc.

Juicios verdaderos y falsos

El juicio es cierto cuandoLa presencia de signos, propiedades y relaciones de objetos aprobados / denegados en el juicio corresponde a la realidad. Por ejemplo: "Todas las golondrinas son aves", "9 es mayor que 2", etc.

Si la declaración contenida en la sentencia no esFieles a la realidad, estamos tratando con una proposición falsa: "El sol gira alrededor de la Tierra", "Un kilogramo de hierro pesa más que un kilogramo de algodón", etc. Los juicios correctos forman la base del razonamiento correcto.

Sin embargo, además de la lógica de dos dígitos en la queEl juicio puede ser verdadero o falso, también hay lógica multidimensional. Según sus términos, el juicio también puede ser incierto. Esto es especialmente cierto en el caso de juicios individuales futuros: "Una batalla naval ocurrirá / no ocurrirá mañana" (Aristóteles, "Sobre la interpretación"). Si asumimos que esta es una proposición verdadera, entonces la batalla naval de mañana ya no sucederá. Por eso, es necesario que suceda. O viceversa: afirmando que el juicio dado es falso en este momento, por lo tanto hacemos necesaria la imposibilidad de la batalla naval del mañana.

Declaraciones de opinión

Como saben, el tipo de afirmaciones distinguen tresTipo de oraciones: narrativas, motivadoras e interrogativas. Por ejemplo, la frase "Recuerdo un momento maravilloso" se refiere al tipo narrativo. Es aconsejable sugerir que tal juicio también será narrativo. Contiene cierta información, reporta un evento específico.

A su vez, la oración interrogativa.Contiene una pregunta que implica la respuesta: “¿Qué me depara el futuro?” Al mismo tiempo, no dice ni niega nada. En consecuencia, la afirmación de que tal juicio es interrogativo es errónea. La oración interrogativa en principio no contiene un juicio, ya que la pregunta no puede diferenciarse según el principio de verdad / falsedad.

Un tipo de incentivo de oración se forma encuando haya una motivación definida para la acción, por favor prohíba: "Levántate, profetiza, ve y oye". En cuanto a los juicios, según algunos investigadores, no están contenidos en oraciones de este tipo. Otros creen que estamos hablando de una variedad de juicios modales.

Calidad de juicio

En términos de calidad, los juicios pueden serafirmativo (S es P) y negativo (S no es P). En el caso de un juicio afirmativo, una determinada propiedad (s) se asigna al sujeto con la ayuda de un predicado. Por ejemplo: "Leonardo da Vinci - pintor, arquitecto, escultor, científico y naturalista italiano, además de inventor y escritor, el mayor representante del arte del Renacimiento".

En un juicio negativo, por el contrario, la propiedad se resta del tema: "La teoría del marco 25 de James Waiker no tiene confirmación experimental".

Caracteristica cuantitativa

Los juicios en lógica pueden ser de naturaleza general.(relacionado con todos los elementos de una clase dada), privado (para algunos de ellos) y singular (cuando se trata de un tema existente en una sola copia). Por ejemplo, se puede argumentar que un juicio como "Por la noche, todos los gatos son azufre" se referirá a una forma general, ya que afecta a todos los representantes del felino (sujeto de juicio). La declaración "Algunas serpientes no son venenosas" es un ejemplo de juicio privado. A su vez, el juicio "Maravilloso Dnieper en clima tranquilo" es uno solo, ya que estamos hablando de un río en particular que existe en una sola forma.

Juicios simples y complejos.

Dependiendo de la estructura, el juicio puedeSe relacionan con el tipo de simple o complejo. La estructura de un juicio simple incluye dos conceptos interconectados (SP): "Un libro es una fuente de conocimiento". También hay juicios con un concepto, cuando el segundo solo está implícito: "Estaba oscureciendo" (P).

Una visión compleja se forma combinando algunos juicios simples.

Clasificación de juicios simples.

Los juicios simples en lógica pueden ser de los siguientes tipos: atributivos, juicios con relaciones, existenciales, modales.

Atributivo (juicios-propiedades) están dirigidos aAprobación / negación de la presencia de determinadas propiedades (atributos) del sujeto de actividad. Estos juicios tienen una forma categórica y no se cuestionan: "El sistema nervioso de los mamíferos consiste en el cerebro, la médula espinal y las vías nerviosas salientes".

Considerar los juicios de relaciónCiertas relaciones entre sujetos. Pueden tener un contexto temporal temporal, causa y efecto, etc. Por ejemplo: "Un viejo amigo es mejor que los dos nuevos", "El hidrógeno es 22 veces más liviano que el dióxido de carbono".

El juicio existencial es una declaración de la existencia / no existencia de un objeto (tanto material como ideal): "No hay profeta en su propio país", "La luna es un satélite de la Tierra".

Un juicio modal es una forma de afirmación que incluye un determinado operador modal (necesario, bueno / malo; probado, conocido / desconocido, prohibido, creído, etc.). Por ejemplo:

“En Rusia, una reforma educativa es necesaria” (la modalidad alética es una oportunidad, la necesidad de algo).
“Toda persona tiene derecho a la integridad personal” (modalidad deóntica: las normas morales del comportamiento social).
"Una actitud descuidada hacia la propiedad del estado lleva a su pérdida" (la modalidad axiológica es una actitud hacia los valores materiales y espirituales).
“Creemos en tu inocencia” (la modalidad epistémica es el grado de fiabilidad del conocimiento).

Juicios complejos y tipos de conectivos lógicos.

Como ya se señaló, los juicios complejos consisten en varios simples. Como conectivos lógicos entre ellos se encuentran técnicas tales como:

Conjunción (a ʌ b - proposiciones de conexión). Los juicios-coyunturas tienen un montón de "y": "El ejercicio de los derechos y libertades de una persona y un ciudadano no debe violar los derechos y libertades de los demás".
Disyunción (a v b - juicios divisorios). Las cláusulas de los juicios se utilizan como elementos constituyentes, y la conjunción "o" se usa como un paquete. Por ejemplo: "El reclamante tiene el derecho de aumentar o disminuir el tamaño de las reclamaciones".
Implicación (a → b es una consecuencia del juicio). Si en la estructura de un juicio complejo hay una premisa y una consecuencia, entonces se puede argumentar que tal juicio es implicativo. Como un paquete en esta forma, tales uniones se utilizan como "si ... entonces". Por ejemplo: "Si una corriente eléctrica pasa a través de un conductor, el conductor se calentará", "Si quieres ser feliz, hazlo".
Equivalencia (a ≡ b - juicios idénticos). Este es el caso cuando los valores de a y b coinciden (ambos son verdaderos o ambos son falsos): "El hombre está creado para la felicidad, como un pájaro para el vuelo".
Negación (¬a, ā - juicio-inversión). Cada declaración de origen se asigna a una declaración compuesta que niega la original. Se lleva a cabo con la ayuda de un paquete "no". En consecuencia, si la declaración inicial se ve así: "El toro reacciona a la luz roja" (a) - entonces la negación sonará como: "El toro NO responde a la luz roja" (¬a).