Resoluciones judiciales en la lógica.

es una forma de pensar, afirmar o negar nada acerca de la existencia de los objetos, los vínculos entre ellos y sus propiedades, así como la relación entre los objetos.

Ejemplos juicio: "El Volga desemboca en el mar Caspio", "A.Pushkin escribió un poema "El Jinete de Bronce", "tigre siberiano aparece en el Libro Rojo", etc.

estructura juicios

juicio incluye los siguientes elementos: sujeto, predicado, y un montón de cuantificadores.

1. sujeto (lat. Subjektum - «subyacente») - que, como se dijo en el juicio de su tema ("S").
2. predicado (lat Praedicatum -. «Dijo») - una característica de reflexión sobre el tema, lo que se dice sobre el tema del juicio ("P").
3. Bundle - relación entre el sujeto ("S") y un predicado ("P").Se determina la presencia / ausencia del sujeto de una propiedad expresada por el predicado.Tal vez implica, y está indicado por un "guión" o las palabras "a" ("no es"), "tiene", "tiene", "esencia" y otros.
4. cuantificador (palabras cuantificador) define el alcance del concepto, queEs el objeto de la sentencia.Se está de pie delante del sujeto, pero también puede estar ausente en el juicio.Representado por palabras tales como "todos", "muchos", "algunos", "no", "no" y otros.

verdaderos y falsos juicios juicio

es cierto en el caso en que existe algún indicio, propiedades yartículos Relaciones aprobados / negado en el juicio, la verdadera.Por ejemplo: "Todas las golondrinas - los pájaros", "9 durante más de 2" y así sucesivamente D.

Si la declaración está contenida en el juicio, no coincide con la realidad, se trata de un falso juicio: "El sol gira alrededor de la Tierra"."Un kilo de hierro pesado que un kilogramo de lana" y otros. Los juicios correctos son la base de un razonamiento correcto.

Sin embargo, aparte de la lógica de dos valores, en la que el juicio puede ser verdadera o falsa, también hay una lógica multidimensional.Bajo sus términos, la sentencia puede todavía incierto.Sobre todo se trata del futuro de los juicios individuales, "Mañana habrá / no sucederá batalla naval" (Aristóteles, "Sobre la interpretación").Suponiendo que esto es cierto proposición, la batalla de mar mañana no puede suceder.En consecuencia, es necesario para que esto ocurra.O viceversa: alegando que la sentencia en el momento presente es falso, que por lo tanto hacemos la imposibilidad necesaria de futuro batalla naval.

juicio sobre el tipo de declaraciones

Como se sabe, el tipo de declaraciones son tres tipos de oraciones: declarativa, interrogativa y motrices.Por ejemplo, la frase "Recuerdo un momento maravilloso" se refiere al tipo de narrativa.Es recomendable sugerir que tal juicio sería también narrativa.Contiene cierta información, de acuerdo a un evento específico.

A su vez, la oración interrogativa contiene una pregunta, obtener una respuesta a: "¿Qué le depara el futuro para mí" En este caso, no dice nada y no lo niega.En consecuencia, la afirmación de que tal juicio es incorrectamente una pregunta.Oraciones interrogativas, en principio, no contiene opiniones, porque la pregunta no se puede diferenciar en la base de la verdad / falsedad.

tipo de incentivo de la pena se forma en el caso de que haya algún tipo de incentivo a la acción, o rechazar la solicitud: "Levántate, oh Profeta, y la vid, y atender."En cuanto a las resoluciones judiciales, que según algunos investigadores, que no están contenidas en las propuestas de este tipo.Otros creen que es una variedad de juicios modales.Juicios de calidad

En términos de calidad, la sentencia puede ser a la vez asertiva (S tiene P) y negativo (S no es P).En el caso de la sentencia afirmativa, por un predicado a un sujeto se le da una cierta propiedad (-wa).Por ejemplo: "Leonardo da Vinci - Italiano pintor, arquitecto, escultor, científico, naturalista e inventor y escritor, el mayor representante del arte del Renacimiento."

En el juicio negativo, por el contrario, la propiedad se quitará el tema: "La teoría de la trama 25a James Vicary no tiene confirmación experimental."

cuantitativa característica proposición

en la lógica puede ser de carácter general (relacionada con todos los sujetos en esta clase), privado (algunos de ellos) e individual (cuando se habla del tema, sólo hay una).Por ejemplo, se puede argumentar que una proposición como "De noche todos los gatos son pardos" se referirá a una visión común, ya que afecta a todos los miembros del gato (el tema de la sentencia).La declaración "Algunas serpientes no son venenosas" - un ejemplo de juicio privado.A su vez, la proposición "Dnieper maravilloso en tiempo de calma," un hecho aislado, ya que estamos hablando de un río en particular, existente en un único formulario.

juicios simples y complejas

Dependiendo de la estructura, la sentencia puede ser de simple o compleja.La estructura de una simple propuesta incluye dos conceptos relacionados (SP): «El libro - una fuente de conocimiento".También hay juicios con un concepto - cuando el segundo solamente significaba: "Estaba oscureciendo» (P).

forma complicada está formado por la combinación de unas cuantas proposiciones simples.

de juicios simples

sencilla proposición lógica puede ser de los siguientes tipos: atributivas, juicio con las relaciones, existenciales, modales.

Atributo (sentencia-propiedades) enviado para su aprobación / negación de la existencia de ciertas propiedades de un objeto (atributos) actividades.Estos juicios son forma categórica y no cuestionó "el sistema nervioso de los mamíferos está formado por el cerebro, la médula espinal y las vías nerviosas salientes."

Los juicios con respecto a las relaciones entre ciertos objetos.Pueden tener un contexto espacio-tiempo, causalidad, y otros. Por ejemplo: "Un viejo amigo es mejor que dos otros nuevos", "El hidrógeno es el dióxido de carbono más ligero por 22 veces."

existencial proposición - una declaración de la existencia / inexistencia del sujeto (tanto material como ideal), "Ningún profeta en su tierra", "La Luna es un satélite de la Tierra."

proposición modal - una forma de aprobación, de los cuales consta de un cierto operador modal (necesario, bueno / malo, demostró conocido / desconocido, está prohibido, creo yo, y otros.).Por ejemplo:

• «Rusia necesita para llevar a cabo la reforma de la educación" (modalidad alethic - la posibilidad, la necesidad de algo).
• «Toda persona tiene derecho a la seguridad de su persona" (modalidad deóntica - las normas morales de conducta social).
• «actitud descuidada hacia la propiedad pública conduce a su pérdida" (axiológica modalidad - relacionado con los valores materiales y espirituales).
• «Creemos en su inocencia" (modalidad epistémica - la fiabilidad de conocimiento).

juicios complejos y los tipos de conectores lógicos

Como ya se ha señalado, juicios complejos consisten en unos simples.Como las conexiones lógicas entre ellas son técnicas tales como:

• Conjunción (ayb ʌ - que conecta sentencia).Sentencias-conyuntos tienen un montón de "y", "Aplicación de los derechos y libertades del hombre y del ciudadano no violará los derechos y libertades de los demás."
• disyunción (AVB - dividiendo sentencia).Como elementos constitutivos del juicio-cláusulas se utilizan como aglutinante - la conjunción "o".Por ejemplo: "El demandante tiene el derecho de aumentar o disminuir el tamaño de la demanda."
• implicación (A → B - juicio-efecto).Si la estructura de un complejo gradas juicio y el envío de un resultado, se puede argumentar que esta sentencia se refiere a la implicativo.Como un ligamento en la forma utilizada por este tipo de alianzas como "si ... entonces".Por ejemplo: "Si a través del conductor perderse la corriente eléctrica, el cable se calienta", "¿Quieres ser feliz - ser feliz".
• La equivalencia (a ≡ b - juicios idénticos).Se produce cuando el valor de a y b son los mismos (ya sea ambas verdaderas o ambos false): "El hombre es creado para la felicidad, como un pájaro para volar."
• negación (¬ A, A - juicio-inversión).Cada fuente se asocia con la sentencia compuesta afirmación negar el original.Mediante el uso de los ligamentos "no".En consecuencia, si la declaración original es el siguiente: "El toro reacciona ante un semáforo en rojo", (a) - la negación sonará como: "el toro reacciona a una luz» rojo (¬).