El juicio es una forma de pensar en la que se afirma o niega algo sobre los objetos, sus propiedades o las relaciones entre ellos.

El juicio se caracteriza por el contenido y la forma. Contenido del juicio- De esto se trata, de su significado.

Forma lógica de juicio.- su estructura, la forma en que está conectado partes constituyentes.

Una sentencia es siempre una sentencia declarativa. Según la estructura,

puede ser simple o complejo.

En la sentencia se señala al sujeto S ( sujeto lógico) es el concepto al que se refiere la sentencia; el predicado P ( predicado lógico)

- este es un concepto con la ayuda del cual se afirma o niega algo sobre el tema y una conexión - la palabra es, es, se llama (a menudo ausente).

Una proposición se llama simple si contiene un solo sujeto y un predicado.

Un juicio se llama complejo si se forma a partir de otros simples con la ayuda de operaciones lógicas(ligamentos).

Por calidad, los juicios simples se dividen en afirmativos (un montón

es ) y negativo (el enlace no es ).

Ejemplo 1. Dado el juicio "La Tierra es un planeta".

En él, el sujeto S es "Tierra", el predicado P es "planeta", el conectivo es la palabra "es". Por tanto, la sentencia es simple, afirmativa.

Ejemplo 2. Sentencia "La conferencia de lógica no tendrá lugar hoy".

El sujeto S es "una conferencia de lógica", el predicado P es "tendrá lugar hoy", se omite el vínculo en la sentencia, hay una partícula no . Por tanto, este juicio es simple, negativo.

Por el número de sentencias se dividen en generales y privadas. La cantidad está determinada por el volumen del objeto de juicio. El volumen del tema puede ser la mitad.

nym (todos, ninguno) o parcial (algunos).

Ejemplo 3. Todos los estudiantes son estudiantes (general) Algunos animales son depredadores (privado). El sol es cuerpo celestial(en general, ya que estamos hablando de todo el alcance del concepto de "sol", el Sol específico). Un juicio simple se puede escribir como una fórmula. La característica cuantitativa de los juicios se transmite con la ayuda de cuantificadores. Los juicios singulares son generales.

es el cuantificador generalreemplaza las palabras todos”, “cualquiera”, “todos”, etc.

S P(S) significa que "para cada S, P(S) es verdadero", "Todos los S son P".

es el cuantificador existencial reemplaza las palabras alguno" , " existe", "parte" etcétera.

S P(S) significa que "hay un S para el cual P(S) es verdadero", "Algunas S son P".

Ejemplo 4. Dada la proposición "Algunos estudiantes toman exámenes antes-

urgente ". Este es un juicio simple, destacamos el sujeto lógico y el predicado lógico en él. S - "estudiante", P - "aprobar los exámenes antes de lo previsto". Por cantidad, el juicio es particular, ya que la palabra " algunos". Por lo tanto, el juicio con la ayuda de símbolos lógicos se escribirá en forma de fórmula S P (S).

Tabla 2. Clasificación de sentencias simples

Tipo de sentencia, denominación, fórmula y estructura

afirmativa general(COMO

Todas las S son P

negativo general(E):S

Ninguna S es P

afirmativo privado(J):S

Algunas S son P

negativo privado(O):S

Algunas S no son P

Relaciones de los volúmenes de conceptos.

S y P

Todas las violetas (S) son flores (P) Los días de lluvia (S) son aburridos (P)

Ninguna persona (S)

no le gusta moralizar (P) Mosqueteros (S)

no evadir los duelos (P)

Algunas personas)

jugando al ajedrez (P)

Entre la gente (S)

hay gente flemática (P)

Algunas personas)

No conozco el sabor de la trucha (P) A muchos mosqueteros (S) no les gustó

cardenal (P)

Rechazo de juicios simples. Para construir la negación de un juicio con un cuantificador, basta con sustituir el cuantificador por su opuesto y trasladar la negación al predicado.

Ejemplo 6. Sentencia inicial " Todos los libros son donados a la biblioteca.". Requerido

dimo construye su negación. Definimos el tipo de juicio y anotamos su fórmula. S - "libros", P - "entregados a la biblioteca". Existe la palabra "todo", no existe el "no". Obtenemos que el juicio es general en cantidad y afirmativo en calidad: afirmativa general(vista A).

Tomamos datos de la tabla 2 y anotamos su fórmula:

Primero construimos la negación en forma simbólica y luego la escribimos en palabras. Trabajamos según la regla anterior.

Cambiamos el cuantificador al contrario: fue, se convirtió. La negación va al predicado.

Cadena de transformaciones:

Escribamos el juicio con las palabras: “Algunos libros no son donado a la biblioteca».

Ejemplo 7. Se emite la sentencia "Algunos estudiantes no asisten a clases".

Construye su negación.

S - "estudiantes", P - "los que asisten a conferencias". El juicio por cantidad es privado (“algunos”), por calidad es negativo (partícula “no”). Obtenemos negativo privado(ver O).

Escribamos la fórmula.

Construimos la negación según la regla. cuantificador me-

tomamos de a. Sobre el predicado apareció una doble negación: una era según la fórmula, la segunda apareció como resultado de la transformación. La doble negación simplemente se elimina.

SP(S) SP(S) SP(S)

Ahora con las palabras: Todos los estudiantes asisten a conferencias.

Como puede verse en los ejemplos, los juicios (A) y (O) están en relación con la contradicción. Es decir, al negar un juicio de un tipo, siempre obtenemos una limitación de otro tipo. El panorama es similar para las sentencias (E) y (J).

Según el valor lógico, cualquier juicio puede ser verdadero o falso. Si el juicio original es verdadero, entonces el juicio resultante de la negación del original será falso y viceversa. Esto se ve claramente en los ejemplos anteriores.

Si consideramos los cuatro tipos de juicios (A, E, J, O) formados sobre un par de conceptos "sujeto-predicado", entonces, conociendo el valor lógico de uno de ellos, a menudo es posible indicar los valores del otro. tres sentencias. Esta dependencia entre valores en lógica se llama "cuadrado lógico". Es un sistema de relaciones por pares entre valores lógicos:

Los pares A-O y J-E están en relación con la contradicción, como ya se señaló anteriormente, sus valores lógicos son siempre opuestos, es decir si uno es "verdadero", el otro es "falso" y viceversa.

Un par de proposiciones generales A-E - en relación con lo contrario, lo que significa la imposibilidad de tomar simultáneamente el valor de "verdadero", pero no excluye la "falsedad" simultánea.

par de privados sentencias J-O- en una relación subopuestos (subopuestos), que, al contrario de la relación anterior, significa la imposibilidad de "falsedad" simultánea, pero permite "verdad" simultánea. pares de afirmativos sentencias A-J y los juicios negativos E-O están en relación con la subordinación: si el primero es "verdadero", entonces el segundo también es "verdadero" y viceversa, si el segundo es "falso", entonces el primero también es "falso".

Estos seis pares de relaciones se pueden representar en el diagrama como un gráfico completo de 4 vértices.

Tarea 2. Determinar el sujeto lógico, el predicado lógico y el tipo de este juicio. Escriba la fórmula del juicio. Construya una fórmula para negar un juicio dado, escriba el juicio resultante en palabras, determine el tipo de juicio recibido. Determinar el significado lógico de otros dos tipos de juicios formados con el mismo sujeto y predicado a partir de un cuadrado lógico.

2.1. Ningún egoísta puede ser generoso.

2.2. Todo cirujano es médico de formación.

2.3. Entre los estudiantes hay personas con iniciativa.

2.4. Algunas de las publicaciones no son ciertas.

2.5. Todas las personas tienen que correr riesgos.

2.6. Algunos estudiantes no practican deportes.

2.7. No se debe dejar sin atención ni una sola palabra.

2.8. Algunas personas hablan varios idiomas extranjeros.

2.9. Algunos pacientes no tienen temperatura.

2.10. No todos los emprendedores tienen educación superior.

2.11. Algunos océanos tienen agua dulce.

2.12. Algunos estudiantes no son excelentes estudiantes.

2.13. Ningún estudiante de nuestro grupo vive en un albergue.

2.14. Todo soldado sueña con convertirse en general.

2.15. Todos los electrones son partículas elementales.

2.16. Ninguna persona es inmune al fracaso.

2.17. Todos los estudiantes de KuzGTU estudian matemáticas.

2.18. Parte del personal militar son oficiales.

2.19. Ningún fiscal es abogado.

2.20. Todos los estudiantes están contentos con el final de la sesión.

2.21. Algunas plantas no toleran el suelo seco.

2.22. Todos los deportistas necesitan entrenamiento.

2.23. Hay cantantes con grandes voces.

2.24. Todo matemático debería entender la lógica.

2.25. Algunos políticos son escritores.

2.26. Algunos residentes de nuestro país tienen doble ciudadanía.

2.27. Algunos animales son insectos.

2.28. Ningún fan se negará a conocer a un ídolo.

2.29. Algunas plantas no florecen en Siberia.

2.30. Ningún padre quiere hacer daño a sus hijos.

El propósito de estudiar el tema: la formación de ideas básicas sobre el juicio como forma de pensamiento, comprendiendo los fundamentos de su clasificación, el establecimiento de aquellas operaciones que se llevan a cabo sobre los juicios. Traducción de un juicio complejo al lenguaje de la lógica proposicional, su verificación de la verdad mediante una tabla de verdad.

El valor de estudiar el tema para actividades practicas oficiales de policía: El conocimiento de las uniones lógicas, la capacidad de identificar la forma lógica de una u otra ley jurídica puede ser de gran ayuda a la hora de interpretar la legislación. Incluso se puede argumentar que sin conocimiento forma lógica Por ley, es generalmente imposible descubrir su significado. Si un abogado quiere no sólo leer la ley, aprenderla, sino también entender de qué se trata, entonces se debe prestar atención no sólo al análisis del contenido de este documento. No menos importante es el papel del examen lógico de cualquier documento legal, ya que sólo una ley lógica incluida en una ley jurídica permitirá que esta última se implemente en en su totalidad.

Términos y conceptos básicos: proposición atributiva, disyunción, implicación, proposición verdadera, cuantificador, cuantificador general, cuantificador existencial, conjunción, proposición falsa, proposición modal, proposiciones incompatibles, proposiciones incomparables, proposición negativa general, proposición generalmente afirmativa, relación de opuesto (contrario), relación de sub -opuesto (subcontrario), relación de contradicción (contradicción), predicado de juicio, juicio simple, vínculo, juicio compuesto, juicios compatibles, juicios comparables, sujeto de conocimiento, juicio, juicio con relación, juicio de existencia, juicio privado negativo, juicio afirmativo privado, equivalencia.

Contenido principal: Al comenzar a estudiar el tema “Juicios, tipos, composición, relaciones lógicas”, en primer lugar conviene definir el concepto de “juicio” como una forma de pensamiento.

juicio - Es un pensamiento que afirma la presencia o ausencia de propiedades de los objetos, relaciones entre objetos, conexiones entre situaciones o juicio - es una forma de pensar que revela la conexión entre un objeto y su atributo.

Al igual que un concepto, una sentencia tiene su propia estructura específica, que se puede representar mediante la siguiente fórmula:

Por ejemplo: Todos los cadetes son personas que conocen la lógica.

Así: la estructura lógica del juicio consta del sujeto “S”, el predicado “P” y el conectivo lógico “es/no es” o “son/no son”.

Esquemáticamente, esto se escribe como la siguiente fórmula:

"S es P" o "S no es P" - Donde: "S" y "P" se denominan términos proposicionales.

Haciendo una analogía con el concepto, se puede argumentar que la sentencia tiene varios tipos. Cuando hablamos del mundo que nos rodea o hablamos de mundo interior, nosotros, por así decirlo, "juzgamos" al respecto; de ahí el nombre de esta forma lógica. Una proposición descriptiva puede ser verdadera o falsa. Un juicio verdadero corresponde a la realidad: " Federación Rusa es una federación. La falsa sentencia no es cierta: "La Federación Rusa es una monarquía". La lógica no determina la verdad o falsedad de los juicios; se trata de una cuestión de ciencias o prácticas específicas. La tarea de la lógica es proporcionar condiciones y métodos formales para mantener la verdad a lo largo de todo el proceso de razonamiento.

La primera de estas condiciones es la diferenciación entre proposiciones simples y complejas.

Consideremos toda la variedad de sentencias simples que pueden clasificarse según los siguientes motivos:

1. Según el volumen de la materia: única, general y privada.

3. Por el número de paquetes: negativo, afirmativo y negativo.

4. Por modalidad: objetiva (juicios de realidad, juicios de posibilidad, juicios de necesidad) y lógica (los juicios son fiables y los juicios son problemáticos).

Consideremos con más detalle los juicios por la naturaleza de las características que están representadas por el predicado del juicio.

atributivo es una proposición simple cuyo predicado representa una propiedad. También se puede definir un juicio atributivo de esta manera: “El juicio atributivo es un tipo de juicios simples en los que hablamos de la presencia de algunas propiedades en un objeto, o de su ausencia en un objeto” ( Por ejemplo: El crimen debe ser resuelto.

Juicio con actitud Este tipo de proposición simple se llama, en la que el predicado es la relación ( Por ejemplo: Mi amigo no conoce a mi hermano. En la sentencia hay una negación de la relación de conocimiento entre mi amigo y mi hermano).

juicio de existencia Se llama un tipo de proposición simple, en la que el predicado expresa la presencia (ser) de un objeto ( Por ejemplo: Hay personas que pueden predecir el futuro. No hay vida en la luna).

Detengámonos en el análisis de los juicios atributivos. El interés por los juicios atributivos en la lógica tradicional se debió al hecho de que fueron el material fuente en la construcción de la primera teoría de Aristóteles. inferencia- silogístico. En gran medida, esto predeterminó el hecho de que los juicios simples (juicios con relaciones y juicios de existencia) después de reconstrucciones sintácticas apropiadas fueran interpretados como atributivos.

Los juicios atributivos se dividen en tipos según cantidad y calidad.

Por calidad asignar: afirmativo y negativo juicios de atributos ( Por ejemplo: Un delito es un acto socialmente peligroso (un juicio afirmativo).

en cuenta distinguir: individual, general y privada juicios de atributos.

soltero Se llama tal juicio atributivo, en el que el sujeto es un solo concepto. ( Por ejemplo: El investigador Petrov es una buena persona).

general Se llama tal juicio atributivo, en el que el sujeto es concepto general (Por ejemplo: El delito es un acto socialmente peligroso).

Privado llamado juicio atributivo, en el que el sujeto representa parte de la clase de objetos bajo estudio ( Por ejemplo: Algunas frases son injustas.)

Estas dos tipologías de juicios atributivos se destacan en propósitos metodológicos. En la práctica del razonamiento, existen en interacción, por lo que se distingue especialmente una tipología de juicios atributivos según el rasgo combinado de una característica cualitativa-cuantitativa:

· afirmación general,

· afirmativo privado,

· negativo general,

· juicios atributivos negativos privados.

	+	-
Todo	Áspid	ESP
Alguno	isp	osp

generalmente afirmativo Se llama juicio general en cantidad y afirmativo en calidad. Por ejemplo: A todos los estudiantes les está yendo bien. La estructura lógica de un juicio afirmativo general es la siguiente: "Todas las S son P." Este tipo de sentencia se indica con la letra "A").

afirmativo privado un juicio es un juicio atributivo, que es parcial en cantidad y afirmativo en calidad ( Por ejemplo: Algunos crímenes son oficiales. La estructura lógica de un juicio afirmativo particular es la siguiente: "Algunas S son P." Esta sentencia se indica con la letra "I"). Todo negativo llamado juicio atributivo, que es general en cantidad y negativo en calidad ( Por ejemplo: Ninguno de mis amigos estuvo entre los participantes en el crimen. Estructura lógica sobre Una proposición negativa general tiene la siguiente forma:"Ninguna S es P." Esta sentencia se indica con la letra "E").

Juicio - Este una forma de pensamiento en la que se afirma o niega algo sobre la conexión entre un objeto y su atributo o sobre la relación entre objetos. Característica lógica principal La proposición es su valor de verdad. toda proposición es verdadera o falsa. Una proposición es verdadera si y sólo si la situación descrita en ella realmente ocurre; en caso contrario es falsa.

Por un simple juicio llamado Proposición que expresa la relación de dos términos.. Los términos en un juicio simple se llaman sujeto Y predicado juicios. El tema del juicio (S ) es lo que se dice en la sentencia, es decir. sujeto de pensamiento. Predicado de juicio ( R) se llama lo que se dice del sujeto, qué signos se le atribuyen o no. Además del sujeto y el predicado, la estructura del juicio incluye el cuantificador y el conectivo. El cuantificador de juicio indica la cantidad de juicio, es decir indica la cantidad total, parcial o singular del objeto de juicio (expresada por las palabras "todos", "ninguno", "algunos", "este"). Una cópula denota una relación entre un sujeto ( S ) y predicado ( R ) juicios, por lo que el pensamiento toma la forma de juicio. El enlace indica la calidad de la sentencia. (Expresado por las palabras "es", "no es", "es", "no es").

Clasificación unificada de proposiciones categóricas simples.. Dependiendo de la cantidad y calidad, existen juicios generalmente afirmativos, negativos generales, afirmativos particulares y negativos particulares.

Afirmativo ( A) Se llama juicio general en cantidad y afirmativo en calidad. Forma canónica "Todas las S son P" .

Negativo general ( mi) Se llama juicio general en cantidad y negativo en calidad. Forma canónica "Ninguna S es una P" .

afirmativo privado (I ) Se llama juicio parcial en cantidad y afirmativo en calidad. Forma canónica "Algunas S son P" .

negativo privado ( ACERCA DE) Se llama juicio parcial en cantidad y negativo en calidad. Forma canónica "Algunas S no son P» .

Distribución de términos en juicios categóricos simples.. En juicios simples, los términos se pueden distribuir ( S+ , R + ), o no distribuido ( S- , R - ). Un término se llama distribuido si se toma íntegramente en la sentencia. Un término se llama no distribuido si a juicio se toma en términos de volumen. La distribución de términos en una sentencia se deriva de la definición de relaciones entre los conceptos que expresan los términos de la sentencia. Al determinar la distribución de términos en juicios categóricos simples, uno debe guiarse por las siguientes reglas:

a) B juicios afirmativos generales ( A) : sujeto ( S R ) siempre es indistribuido en el caso de una relación de subordinación entre el sujeto y el predicado de la sentencia; sujeto ( S ) siempre está distribuido y el predicado ( R ) siempre se distribuye en el caso de una relación de equivalencia entre el sujeto y el predicado de la sentencia;

b) B juicios negativos generales ( mi): sujeto ( S ) y predicado ( R ) los juicios siempre se distribuyen;

c) B juicios afirmativos privados (I ) : sujeto ( S ) y predicado ( R ) no están distribuidos en el caso de una relación de intersección entre el sujeto y el predicado de la sentencia; y sujeto ( S ) no está distribuido y el predicado ( R) se distribuye en el caso de una relación de subordinación entre el predicado y el sujeto de la sentencia;

d) B juicios negativos privados ( ACERCA DE) : sujeto de juicio ( S ) siempre no está distribuido, y el predicado de juicio ( R ) siempre se distribuye.

Juicio complicado Se llama proposición, formada por varios conectivos simples conectados por conectivos lógicos. Escribir una proposición compleja en el lenguaje simbólico de la lógica, en la que las proposiciones simples se reemplazan por símbolos. p, q, r, s, t ..., y uniones lógicas a los símbolos que los reemplazan Ù, v, → , ↔ se llama forma lógica de una proposición compuesta. Hay cinco tipos principales de conexión lógica:

Afirmar la presencia de varias situaciones al mismo tiempo - conjunción (Ù );

Declaración de la presencia de al menos una de varias situaciones - disyunción débil(v);

Afirmar la existencia de sólo una de varias situaciones: fuerte disyunción ();

Una situación es condición suficiente para que ocurra otra situación. implicación (→);

Una situación es suficiente y condición necesaria por la ocurrencia de otra situación - equivalente (↔).

Dependiendo del tipo de conexión lógica, se distinguen los siguientes juicios complejos:

- conectando juicios- juicios en los que juicios simples están interconectados por una conjunción conectiva lógica ( Ù ). Forma booleana: ( R Ù q );

- juicios disyuntivos- juicios en los que juicios simples están interconectados por una disyunción conectiva lógica débil ( v) o disyunción fuerte (). Forma booleana: ( R v q ); (pq );

- proposiciones condicionales- juicios en los que juicios simples están interconectados por una implicación de vínculo lógico ( → ) o el equivalente ( ↔ ). Forma booleana: ( R → q ), (R ↔ q ), Dónde R - base del juicio q - una consecuencia del juicio. En las proposiciones condicionales en la forma lógica correcta, la base siempre va primero y la conclusión al final de la fórmula.

Los valores de verdad de los juicios complejos dependen de los valores de verdad de los juicios constituyentes y del tipo de conexión, que se determina mediante la elaboración de tablas de verdad:

- conjunción (Ù ) toma el valor " Verdadero» sólo en el caso de verdad simultánea de todas las variables; en otros casos, la conjunción toma el valor " Mentir» (Ver: Fig. 18);

- disyunción débil (no estricta)(v) toma el valor " Mentir» sólo en caso de falsedad simultánea de todas las variables; en otros casos, la disyunción débil toma el valor " Verdadero» (Ver: Fig. 19);

- fuerte (estricta) disyunción() toma el valor " Mentir» en caso de verdad o falsedad simultánea de todas las variables; en otros casos, la disyunción fuerte toma el valor " Verdadero» (Ver: Fig. 20);

- implicación (→ ) toma el valor " Mentir"sólo cuando se trate de la verdad del fundamento de la sentencia y de la falsedad de la consecuencia de la misma; en otros casos, la implicación toma el valor " Verdadero» (Ver: Fig. 21);

- equivalente (↔ ) toma el valor " Mentir"cuando se trate de la verdad del fundamento y de la falsedad de la consecuencia de la sentencia, o viceversa, de la falsedad del fundamento y de la verdad de la consecuencia de la sentencia; en otros casos, el equivalente toma el valor " Verdadero» (Ver: Fig. 22).

negación del juicio- se trata de una operación que consiste en la transformación del contenido lógico del juicio negado, cuyo resultado final es la formulación de un nuevo juicio, que está en relación con la contradicción con el juicio original. La negación de un juicio atributivo simple se realiza según las siguientes equivalencias: A = O; mi = yo; yo = mi; O = A - Dónde A E I O - tipos de juicios categóricos simples, - un signo de negación externa.

La negación de un juicio complejo se realiza según las siguientes equivalencias:

(p Ù q) ↔ (p v q)– 1ª Ley de De Morgan

(p v q) ↔ (p Ù q)– Segunda ley de De Morgan

(p q) ↔ (p ↔ q)

(p → q) ↔ (p Ù q)

(p ↔ q) ↔ (p Ù q) v (p Ù q)

Expresamos lo anterior en forma de esquemas complejos:

Arroz. 23-24

Arroz. 27.

Ejemplos típicos sobre el tema "Juicio"

Tarea 6. Llevar el enunciado a la forma lógica correcta, dar una clasificación unificada de juicios, dar sus esquemas y las designaciones A, E, I, O aceptadas en lógica.

Para resolver el problema utilizamos algoritmo de reducción de oraciones lenguaje natural A forma canónica juicios categóricos y análisis de juicios simples.

1. Determinar sujeto Y predicado declaraciones, nombrándolas en consecuencia S Y R (compuesto S Y R enfatizar con una línea continua).

2. Al definir un predicado, tenga en cuenta lo siguiente:

Si el predicado se expresa sustantivo o frase con sustantivo, entonces en este caso el predicado permanece sin cambios.

Muestra 1:

« Alguno abogados (S) - abogados (R) ».

Si el predicado se expresa adjetivo o comunión, que se puede representar , entonces en este caso .

Muestra 2:

« Alguno rosas (S) hermoso (R) ». → « Alguno rosas (S) - hermosas flores (R) ».

Si el predicado se expresa verbo, que se puede representar una palabra o frase, entonces en este caso se debe agregar al predicado un concepto genérico para el sujeto de la declaración, A convertir el verbo en su participio correspondiente.

Muestra 3:

« Alguno estudiantes de nuestro grupo (S) entregado hoy lógicamente (R) ». → "algunos estudiantes de nuestro grupo (S) Hay estudiantes que aprobaron la prueba de lógica hoy (R) ».

3. Determinar cuantificador palabra ("todos", "algunos", "ninguno", "esto").

4. Determinar enlace lógico("no lo es")

5. Registre el juicio en canónico forma: cuantificador - sujeto ( S) - conectivo - predicado ( R) .

6. Grabar fórmula de juicio, para determinar las características cuantitativas y cualitativas de la sentencia.

7. Gráficamente retratar relación entre términos de sentencia.

8. Determinar distribución términos.

Ejemplo 1:

"Los antiguos griegos hicieron una gran contribución al desarrollo de la filosofía."

Solución:

1. En esta oración, solo el sujeto se define lógicamente: "antiguos griegos" ( S ). El predicado se expresa mediante la frase "hizo una gran contribución al desarrollo de la filosofía" ( R ).

2. Lleva el predicado a canónico forma. Para ello, seleccionamos al sujeto de la sentencia ( "Los antiguos griegos") concepto genérico ( "Gente"). EN forma de predicado canónico se expresará como una frase "Personas que han hecho una gran contribución al desarrollo de la filosofía".

3. palabra cuantificadora en una frase ausente, pero del análisis del significado de la oración se desprende claramente que estamos hablando solo de algunos de los antiguos griegos. Cuantificador de juicio - " Alguno».

4. La propuesta establece que el sujeto « Los antiguos griegos» ( S Hizo una gran contribución al desarrollo de la filosofía.» ( R ). Medio conectivo lógico afirmativo (« Hay»).

5. Canónico forma de juicio: Alguno Los antiguos griegos (S) Hay Gente. quien hizo una gran contribución al desarrollo de la filosofía (R) ».

6. Fórmula juicios - Algunas S son P . Característica cuantitativa-cualitativa de la sentencia - afirmativo privado

7. Representamos gráficamente la relación entre los términos de la sentencia. Definimos la relación entre el concepto " Los antiguos griegos» ( S ) y el concepto " Personas que hicieron una gran contribución al desarrollo de la filosofía.» ( R ) como una proporción cruce .

8. Definir distribución términos: ambos términos se toman en términos de volumen, lo que significa que no están distribuidos ( S - , R - ) (Figura 28).

Ejemplo 2:

"Nadie puede ser considerado penalmente responsable dos veces por el mismo delito."

Solución:

1. En esta oferta El tema no está explícitamente definido.. Del análisis del significado de la afirmación se desprende claramente que Se trata del concepto de Humano» (S ) . Predicado expresado por la frase "" ( R ).

2. Lleva el predicado a canónico Humano"") concepto genérico (" Criatura "). En forma canónica predicado se expresará mediante la frase "" ( R ).

3. cuantificador palabra en una oración ausente, pero del análisis del significado de la oración se desprende claramente que es sobre todo el volumen el concepto de "persona" S ). cuantificador juicios - Ninguno».

4. La sentencia niega que el sujeto tenga “ Humano» ( S ) propiedad expresada en el predicado " Puede ser considerado penalmente responsable dos veces por el mismo delito» ( R). (« No comas»).

5. Escriba la sentencia en canónico forma: " Nadie Humano (S) No comas un ser vivo que puede ser penalmente responsable dos veces por el mismo delito (R) ».

6. Grabación fórmula juicios - Ninguna S es P negativo general (mi ).

7. Gráficamente Describe la relación entre los términos de la sentencia. Definimos la relación entre el concepto " Humano» ( S ) y el concepto " Un ser vivo que puede ser penalmente responsable dos veces por el mismo delito» ( R ) como una proporción incomparabilidad .

8. Definir distribución términos: se toman ambos términos en su totalidad, lo que significa que son repartido (S+ , R + ) (Figura 29).

Ejemplo 3:

"Algunos hongos no son comestibles".

Solución:

1. En esta frase, lógicamente sólo el tema está definido - " Hongos" ( S ) . Predicado expresado por la palabra comestible» ( R ).

2. Lleva el predicado a canónico forma. Para ello, seleccionamos el tema de la sentencia (“ Hongos"") concepto genérico (" Organismos vivos"). En forma canónica, el predicado se expresará mediante la frase " organismos vivos comestibles» ( R ).

3. cuantificador la palabra está presente en la oración estamos hablando de parte del alcance del concepto " Hongos» (S ). cuantificador palabra de juicio - " Alguno».

4. Oferta denegado disponibilidad sujeto « Hongos» ( S ) propiedad expresada en predicado « Comestible» ( R ). El conectivo lógico es negativo. (« No comas»).

5. Escriba la sentencia en canónico forma: " Alguno hongos (S) No comas organismos vivos comestibles (R) ».

6. Grabación fórmula juicios - Algunas S no son P . Determinamos las características cuantitativas y cualitativas de la sentencia. negativo privado (ACERCA DE ).

7. Gráficamente Describe la relación entre los términos de la sentencia. Definimos la relación de la relación entre el concepto " Hongos» ( S ) y el concepto " organismo vivo comestible» ( R ) como una proporción cruce .

8. Definir distribución términos: S tomado en términos de volumen, A R tomado en su totalidad, Medio, distribución el suyo es: S - , R + (Figura 30).

Tarea 7. Considere juicios complejos, expréselos en notación simbólica. Indique el antecedente y el consecuente en juicios implicativos.

Ejemplo 1:

Su derechos laborales, libertades e intereses legítimos por todos los medios no prohibidos.

Solución:

A) " El trabajador tiene derecho a la protección. sus derechos laborales R);

b) "El trabajador tiene derecho a la protección sus libertades por supuesto no prohibido" - ( q);

V) "El trabajador tiene derecho a la protección sus intereses legítimos por supuesto no prohibido" - ( r).

conjunción (Ù );

¿eres tú? qÙ r

4. p, q, r son conjunciones.

Ejemplo 2:

“La humanidad puede morir ya sea por el agotamiento de los recursos terrestres o por el desastre ecológico o como resultado de la Tercera Guerra Mundial.

Solución:

1. Dividimos este juicio complejo en simples y los expresamos en la notación correcta adoptada en ruso, es decir en la relación del sujeto y el predicado y denotamos estos juicios simples en la forma adoptada en la lógica formal:

A) "La humanidad puede morir por el agotamiento de los recursos de la Tierra" - ( R);

b) "La humanidad puede morir a causa de una catástrofe ecológica" - ( q);

V) "La humanidad puede perecer como resultado de la tercera guerra mundial" - ( r).

disyunción débil(v);

3. La fórmula para este juicio complejo es la siguiente:

R v q v r

4. p, q, r son cláusulas.

Ejemplo 3:

"Un ciudadano, debido a una discapacidad física, enfermedad o analfabetismo, no puede firmar con su propia mano, luego, a petición suya, otro ciudadano puede firmar la transacción".

Solución:

1. Dividimos este juicio complejo en simples y los expresamos en la notación correcta adoptada en ruso, es decir en la relación del sujeto y el predicado y denotamos estos juicios simples en la forma adoptada en la lógica formal:

A) “Un ciudadano, debido a una discapacidad física, no puede firmar con su propia mano” - ( R);

b) “Un ciudadano, por enfermedad, no puede firmar con su propia mano” - ( q);

V) “Un ciudadano, debido al analfabetismo, no puede firmar con su propia mano” - ( r);

GRAMO) "A petición de este ciudadano, otro ciudadano puede firmar la transacción" - ( s).

2. En este caso, se afirma la presencia de al menos una de varias situaciones, pero también pueden estar presentes otras situaciones al mismo tiempo: disyunción débil(v); una de estas situaciones o todas al mismo tiempo es condición suficiente para que ocurra otra situación - implicación(→); por tanto, tenemos conjuntamente una disyunción y una implicación débiles;

3. La fórmula para este juicio complejo es la siguiente:

(R v q v r) → s

4. p, q, r son disyuntos; (R v q v r) – antecedente; s es el consecuente.

Ejemplo 4:

“El matrimonio se disuelve si el tribunal determina que más viviendo juntos Los cónyuges y la preservación de la familia se volvieron imposibles.

Solución:

1. Dividimos este juicio complejo en simples y los expresamos en la notación correcta adoptada en ruso, es decir en la relación del sujeto y el predicado y denotamos estos juicios simples en la forma adoptada en la lógica formal:

A) "El tribunal determinó que la continuación de la vida conjunta de los cónyuges se volvió imposible" - ( R);

b) "El tribunal determinó que la preservación de la familia se volvió imposible" - ( q);

V) "El matrimonio se disuelve" - ​​( r).

2. En este caso, se afirma la presencia simultánea de varias situaciones: conjunción (Ù ); Ambas situaciones son condición suficiente para que ocurra otra situación. implicación(→); así se lleva a cabo conjuntamente conjunción Y implicación;

3. La fórmula para este juicio complejo es la siguiente:

(tú q) → r

4. р, q – conjunciones; (R v q) – antecedente; r es el consecuente.

Tarea 8. Escriba las fórmulas lógicas de juicios complejos en el lenguaje de la lógica proposicional y construya tablas de verdad para ellas.

Para resolver el problema utilizamos el algoritmo de análisis de declaraciones complejas:

1. Identificar y escribir todas las proposiciones simples que componen la oración. Etiquétalos con símbolos.

2. Determinar la conexión lógica entre juicios simples.

3. Escriba la fórmula de un juicio complejo. Si la sentencia es condicional, entonces es necesario determinar el motivo y la consecuencia.

4. Elaborar y completar la tabla de verdad de un juicio complejo.

Ejemplo 1

"El insulto puede ser infligido accidental o intencionalmente"

Solución:

A) "El insulto se puede infligir por accidente" - (R)

b) "El insulto puede ser intencionado" – (q)

2. Unión " o» en el comunicado afirma la presencia de sólo una de las dos situaciones. La conexión lógica en esta sentencia es fuerte disyunción ().

3. La fórmula de una sentencia compleja: pq.

4. Construimos una tabla de verdad para el juicio de esta forma.

Para construir una tabla de verdad, necesita saber el número de columnas al ingresar a la tabla (el número de variables) y el número de filas en la tabla ( x = 2norte , Dónde X - el número de filas de la tabla, norte - el número de variables en la fórmula). Esta tabla tiene tres columnas ( R , q, pq) y cuatro líneas (2 2 = 4). En la primera columna anotamos todas las opciones de verdad para R (Yo y L). En la segunda columna, frente a cada uno de los valores de la primera columna, fija los valores primero ambas veces como AND, y luego ambas veces como L. Bajo el signo de unión lógica, una fuerte disyunción () escribe el resultado final, centrándose en la tabla de verdad colocada en la página 3, fig. 20. La fórmula de este juicio es factible, ya que toma tanto el valor de I como el valor de L.

R	q	p q
Y	Y	l
l	Y	Y
Y	l	Y
l	l	l

El sistema para construir tablas de verdad para cualquier número de proposicionales puede entenderse a partir de las siguientes consideraciones:

EN caso general número de todos los conjuntos posibles de valores norte las variables son 2n. Por ejemplo, el número de interpretaciones válidas para una sola variable es 2 1 = 1 ; para dos variables - 2 2 = 4 ; para tres variables - 2 3 = 8; para cuatro variables es 16 , para cinco - 32 etc.

Por ejemplo, supongamos que la secuencia de variables proposicionales ð 1 , ð 2 , …p norte consiste sólo en uno variable ( norte= 1). Entonces solo hay dos conjunto de valores:<Y > y<yo >:

Sea la secuencia de variables proposicionales. ð 1 , ð 2 , …p norte comprende dos variables ( norte= 2). En este caso, los conjuntos de valores especificados serán tales pares (hay cuatro):

<Y , Y >, <yo , Y >, <Y , yo >, <yo , yo >.

Si esta secuencia contiene tres variables, entonces los conjuntos de tales valores serán tales combinaciones ( ocho trillizos):

<и, и, и>, <л, и, и>, <и, л, и>, <л, л, и>,

<и, и, л>, <л, и, л>, <и, л, л>, <л, л, л>

La lógica formal utiliza lo siguiente de la proposición conectivos: , ^, v, →, ↔, donde

Símbolo negación(adiciones);

^ - personaje conjunciones(asociaciones);

v - símbolo disyunción no estricta(separación-unificación);

- símbolo disyunción estricta(separación-exclusiones);

→ - símbolo trascendencia(consecuencia lógica).

↔ - símbolo equivalencias(identidad lógica).

Cuando negación(adiciones) declaración ( A) toma el valor "verdadero" sólo si A FALSO. Y viceversa, si A verdadero, Eso ( A)- FALSO.

Ejemplo 2

"Dando la espalda a los acontecimientos más intrigantes de la historia, es imposible entender la lógica de esta historia."

Solución:

1. Definir y anotar juicios sencillos:

A) "El hombre ha dado la espalda a los acontecimientos más intrigantes de la historia" - R (base)

b) “Una persona no puede entender la lógica de esta historia” - q (consecuencia)

2. Unión " si... entonces..." significa que la situación expresada por la base ( "El hombre ha dado la espalda a los acontecimientos más intrigantes de la historia") es suficiente condición para que ocurra la situación expresada por la consecuencia ( “una persona no puede entender la lógica de esta historia”). La conexión lógica en esta sentencia es implicación (→ )

3. Fórmula de juicio: pag → q

4. Construimos una tabla de verdad para un juicio de esta forma (ver pág. 4, Fig. 21).

Bajo el signo de la unión lógica, la implicación ( → ) anotamos sus valores de verdad. La fórmula de este juicio es factible, ya que toma tanto el valor de I como el valor de L.

R	q	pag → q
Y	Y	Y
l	Y	Y
Y	l	Y
l	l	Y

Ejemplo 3

“Si un estudiante está en esta facultad, entonces es capaz o muy diligente”.

Solución:

1. Definir y anotar juicios sencillos:

A) "El alumno está estudiando en esta facultad" - R(base)

b) "Este estudiante es capaz" - q(consecuencia)

V) "Este estudiante es diligente" - r(consecuencia)

2. Unión " si..entonces.." significa que la situación expresada por la razón ("la persona estudia en esta facultad") es condición suficiente para que se produzca la situación expresada por la consecuencia ("es capaz o muy diligente"). La conexión lógica en la sentencia es la implicación ( → ). Como resultado, existe una unión “o” entre los juicios, lo que significa la afirmación de la presencia de al menos una de las dos situaciones. Conexión lógica - disyunción débil (v).

3. Fórmula de juicio: pag → (q v r)

4. Construimos una tabla de verdad para el juicio de esta forma. El número de columnas en la entrada de la tabla es tres (las variables en la fórmula son 3) y el número de filas en la tabla es 8. Para determinar los valores de verdad de esta fórmula, es necesario determinar el procedimiento. El primer paso es encontrar el valor de verdad de la disyunción débil (v), y luego el valor de verdad de la implicación ( → ).

Los valores de verdad de la implicación ( → ) son los valores de verdad de la fórmula dada. La fórmula de este juicio es factible, ya que toma tanto el valor de I como el valor de L.

Tarea 9. Determine la modalidad del juicio, escriba juicios usando operadores modales:

Modalidad(del lat. modus - medida, método) se expresa explícita o implícitamente en la sentencia característica de juicio, información adicional sobre el estado lógico y real de la sentencia, sobre sus características regulatorias, evaluativas, temporales y otras, sobre el grado de su validez.

información inicial en juicio expresan, como ya sabemos, sujeto, predicado, palabra cuantificadora Y modo de expresión esta información es la fórmula (SP) .

Sobre adicional información, puede ser muy diferente. Así, por ejemplo, el lógico de mediados del siglo XIII. William Sherwood contó seis especies formas modales: verdadero, FALSO, Tal vez, imposible, accidentalmente Y necesario. EN contemporáneo mismo pensamiento lógico más a menudo que otras, se utilizan modalidades que aparecen bajo los nombres alético, deóntico Y epistémico.

El concepto de "alético".(del griego aletheia - verdad) significa "verdadero". La modalidad alética en este sentido es una relación con requisito básico de la lógica- para expresar criterios declaraciones verdaderas y falsas.

alético La modalidad se expresa en juicios y términos. accidente de necesidad o posibilidades-imposibilidad información sobre las características del determinismo lógico o real de los juicios.

Afirmar la existencia de algo., tan fiel a la realidad , denotado simbólicamente como pag.

Asimismo, afirmación de la inexistencia de algo, como una realidad negativa , denotado por -ÿ ù pag.

Ejemplo:

"Disponibilidad causalidad entre las acciones cometidas por esta persona y las consecuencias socialmente peligrosas resultantes ( pag) es una condición indispensable para exigirle responsabilidad penal ( q)».

ÿ (pag ® q).

A diferencia de "necesidad", La "oportunidad" no está asociada con la inevitabilidad., pero solo corrige privado acontecimientos en su ocurrencia y existencia arbitrarias.

Ejemplo:

pag) a veces contribuye a la aparición de enfermedades cardiovasculares ( q)».

En términos de modalidad alética, esta declaración se ve así:

ù ÿ (pag ® q).

En cuanto a la "posibilidad" de algo, Eso ella siempre esta atada con la compatibilidad del fenómeno considerado con otros fenómenos, constituyendo para este fenómeno entorno de su existencia.

Ejemplo:

"Contaminación ambiente (pag) puede contribuir a la aparición de enfermedades cardiovasculares y pulmonares ( q)».

En términos de modalidad alética, esta declaración se ve así:

à (pag ® q).

A su vez, la "imposibilidad" de algo siempre atado Con la incompatibilidad de un fenómeno dado con otros que son su entorno para él.

Junto con el concepto, el juicio es una de las principales formas de pensamiento. juicio - una forma de pensamiento en la que se afirma o niega algo sobre la existencia de objetos, las conexiones entre un objeto y sus propiedades, o sobre la relación entre objetos.

Ejemplos de juicios: "Los astronautas existen", "París es más grande que Marsella", "Algunos números parecen pares". Si lo que se dice en la sentencia corresponde al estado actual de las cosas, entonces la sentencia es verdadera. Los juicios anteriores son ciertos, ya que reflejan adecuadamente (correctamente) lo que ocurre en la realidad. De lo contrario, la proposición es falsa ("Todas las plantas son comestibles").

La lógica tradicional tiene dos valores porque en ella una proposición tiene uno de dos valores de verdad: es verdadera o falsa. En lógicas de tres valores – Variedades de lógicas multivaluadas. – una proposición puede ser verdadera, falsa o indeterminada. Por ejemplo, la afirmación "Hay vida en Marte" actualmente no es ni verdadera ni falsa, sino incierta. Muchos juicios sobre acontecimientos futuros son inciertos. Aristóteles escribió sobre esto, dando un ejemplo de un juicio tan indefinido: "Mañana será necesaria una batalla naval".

La forma lingüística de expresión de una sentencia es la frase. Un juicio se expresa mediante una oración declarativa, que siempre contiene una afirmación o una negación. Juicio y proposición difieren en su composición. Toda proposición simple consta de tres elementos:

1)el tema del juicio - Este es el concepto del tema. El objeto del juicio se indica con la letra. S (de la palabra latina sujeto);

2)predicado de juicio – concepto de atributo del objeto a que se refiere la sentencia. El predicado se denota con la letra. R (del lat. praedicatum);

3)manojos, expresado en ruso con las palabras "es", "es", "esencia".

El sujeto y el predicado se llaman términos de juicio. La estructura de algunos juicios también incluye las llamadas palabras cuantificadoras (“algunos”, “todos”, “ninguno”, “a veces”, etc.). La palabra cuantificada indica si el juicio se refiere a todo el alcance del concepto que expresa el sujeto, o a una parte del mismo.

TIPOS DE SENTENCIAS SIMPLES

1. Juicios de propiedad (atributivos):

afirman o niegan pertenecer al sujeto a propiedades, estados, actividades conocidas.

Esquema este tipo de juicio: « S Hay R" o « S No comas R".

Ejemplos : "La miel es dulce", "Chopin no es dramaturgo".

2. Juicios de relación:

juicios que reflejan la relación entre objetos.

Fórmula , que expresa un juicio con una relación de dos lugares, se escribe como ARb o Real academia de bellas artes,b ), donde a y b- nombres de objetos (miembros de la relación), y R – nombre de la relación. En un juicio de actitud se puede afirmar o negar algo no sólo sobre dos, sino también sobre tres, cuatro o más objetos, por ejemplo: "Moscú está entre San Petersburgo y Kiev". Tales juicios se expresan mediante la fórmula. R(a ,a ,a ,…,a).

Ejemplos: “Cada protón es más pesado que un electrón”, “El escritor francés Victor Hugo nació más tarde que el escritor francés Stendhal”, “Los padres son mayores que sus hijos”.

3. Juicios de existencia (existencial):

expresan el hecho mismo de la existencia o inexistencia del objeto del juicio.

Esquema este tipo de juicio: « S Hay R" o « S No comas R".

Ejemplos de estas sentencias: "Hay plantas de energía nuclear"," No existen fenómenos sin causa.

En la lógica tradicional, estos tres tipos de juicios son simples juicios categóricos. Según la calidad del vínculo (“es” o “no es”), los juicios categóricos se dividen en afirmativo Y negativo . Sentencias: " Algunos profesores son educadores talentosos" Y " Todos los erizos son espinosos"- afirmativo. Sentencias: " Algunos libros no son de segunda mano." Y " Ningún conejo es carnívoro.' son negativos. El vínculo "es" en un juicio afirmativo refleja la naturaleza inherente al objeto (objetos) de determinadas propiedades. El vínculo “no es” refleja el hecho de que cierta propiedad no es inherente al objeto (objetos).

Algunos lógicos creían que los juicios negativos no reflejan la realidad. De hecho, la ausencia de determinadas características es también una característica real que tiene un significado objetivo. En un juicio verdadero negativo, nuestro pensamiento desune (separa) lo que está dividido en el mundo objetivo.

En el conocimiento, un juicio afirmativo tiene, en el caso general, mayor valor que negativo, porque es más importante revelar qué característica tiene un objeto que lo que no tiene, ya que cualquier objeto no tiene muchas propiedades (por ejemplo, un delfín no es un pez, ni un insecto, ni una planta, no es un reptil, etc.).

Las sentencias se dividen en generales, privados Y soltero.

Por ejemplo: "Todo sable – animales de piel valiosos "y" Todas las personas cuerdas quieren una vida larga, feliz y útil "(P. Bragg) – juicios generales ; "Algunos animales – aves acuáticas" – privado ; Vesubio – volcán activo" – singular .

Estructura general juicios: "Todos los S son (no la esencia) R". Los juicios singulares serán tratados como generales, ya que su tema es una clase de un solo elemento.

Entre las declaraciones generales se encuentran destacando sentencias, que incluyen la palabra cuantificada "únicamente". Ejemplos de sentencias destacadas: "Bragg sólo bebía agua destilada"; “Un hombre valiente no le teme a la verdad. Sólo un cobarde le tiene miedo” (A.K. Doyle).

Entre las declaraciones generales están exclusivo juicios, por ejemplo: "Todos los metales a una temperatura de 20 ° C, a excepción del mercurio, son sólidos". Los juicios excepcionales también incluyen aquellos en los que se expresan excepciones a ciertas reglas del ruso u otros idiomas, reglas de la lógica, las matemáticas y otras ciencias.

Privado Los juicios tienen estructura.: "Alguno S esencia (no esencia) R". Se dividen en indefinidos y definidos. Por ejemplo, "Algunas bayas son venenosas". – juicio privado indefinido. No hemos establecido si todas las bayas tienen el signo de toxicidad, pero no hemos establecido que algunas bayas no tengan el signo de toxicidad. Si hemos establecido que "sólo algunos S tienen el atributo R", entonces será un cierto juicio privado, cuya estructura es: “Sólo algunos S esencia (no esencia) R". Ejemplos: "Sólo algunas bayas son venenosas"; "Sólo algunas figuras son esféricas"; "Sólo algunos cuerpos son más ligeros que el agua". Las palabras cuantificadoras se suelen utilizar en determinados juicios privados: mayoría, minoría, muchos, no todos, muchos, casi todos, unos pocos, etc.

EN soltero en el juicio, el sujeto es un solo concepto. Los juicios singulares tienen una estructura.: "Esta S es (no es) P." Ejemplos de sentencias singulares: "El lago Victoria no está en Estados Unidos"; "Aristóteles – educador de Alejandro Magno"; "Ermita – uno de los museos histórico-culturales y de arte más grandes del mundo.

Así, un lugar especial en la clasificación de juicios lo ocupan los juicios distintivos, excluyentes y definitivamente particulares, que se construyen a partir de juicios atributivos y representan algunas variantes complicadas de estos últimos:

El procedimiento para reducir oraciones en lenguaje natural a la forma canónica de proposiciones categóricas.

1. Determinar el cuantificador, sujeto y predicado del enunciado.

2. Coloque las palabras cuantificadoras "todos" ("ninguno") o "algunos" al principio de la declaración.

3. Coloque el asunto del enunciado después de la palabra cuantificada.

4. Coloque el conectivo lógico "es" ("esencia") o "no es" ("no es la esencia") después del sujeto del enunciado.

5. Coloque el predicado del enunciado después del conectivo lógico.

Haciendo última operación tenga en cuenta lo siguiente:

En primer lugar, si el predicado se expresa mediante un sustantivo que puede representarse mediante una sola palabra o frase, entonces, en este caso, el predicado permanece sin cambios;

En segundo lugar, si el predicado se expresa mediante un adjetivo (participio), que puede representarse mediante una palabra o frase, entonces, en este caso, se debe agregar al predicado un concepto genérico para el sujeto de la declaración;

En tercer lugar, si el predicado se expresa mediante un verbo que puede representarse mediante una palabra o frase, entonces, en este caso, se debe agregar al predicado un concepto genérico para el sujeto de la declaración y el verbo debe convertirse en el participio correspondiente. .

Cada juicio tiene características tanto cuantitativas como cualitativas. Por tanto, en lógica se utiliza una clasificación combinada de juicios por cantidad y calidad, a partir de la cual se distinguen los siguientes cuatro tipos de juicios :

1. A – afirmación generalizada.

Estructura: "Todo S esencia R".

Ejemplo: "Todas las personas quieren la felicidad".

2. I– declaración privada.

Estructura: "Algunas S son R".

Ejemplo: "Algunas lecciones estimulan la actividad creativa de los estudiantes".

ü Las convenciones para juicios afirmativos se toman de la palabra afirmar, o afirmar; en este caso se toman las dos primeras vocales: A – para denotar una afirmación general y I – para denotar un juicio afirmativo particular.

3. mi – juicio negativo general.

Estructura: "Ninguno S No comas R".

Ejemplo: "Ningún océano es agua dulce".

4. oh– juicio negativo privado.

Estructura: "Algunos S no comen R".

Ejemplo: "Algunos atletas no son campeones olímpicos".

ü El símbolo de los juicios negativos proviene de la palabra negociar , o Lo niego.

En las sentencias, los términos S y R puede o no ser asignado. El término se considera repartido, si su alcance está completamente incluido en el alcance de otro término o completamente excluido de él. El término no distribuido, si su alcance está parcialmente incluido en el alcance de otro término o parcialmente excluido del mismo. Analicemos cuatro tipos de juicios: A, yo, E, O(Consideramos casos típicos).

1. Juicio A – afirmativa general . Su estructura es: Todo S es P ».

Consideremos dos casos:

Ejemplo 1 . En la sentencia "Todas las carpas – pez", el sujeto es el concepto de "cruciano", y el predicado – el concepto de pescado. Cuantificador general – "Todo". El tema está distribuido, ya que estamos hablando de todos los crucianos, es decir. su alcance está completamente incluido en el alcance del predicado. El predicado no está repartido, pues en él sólo se conciben una parte de los peces que coinciden con el cruciano; Estamos hablando sólo de esa parte del alcance del predicado que coincide con el alcance del sujeto.

Ejemplo 2 . En la proposición "Todos los cuadrados son rectángulos equiláteros" los términos son: S- "cuadrado", R- "rectángulo equilátero" y el cuantificador de generalidad - "todos". En esta sentencia S está distribuido y P está distribuido, porque sus volúmenes son exactamente iguales. Si S igual en volumen R, Eso R repartido. Esto sucede en las definiciones y en la selección de juicios generales.

2. Juicio I – afirmativo privado . Su estructura es: Alguno S es P ». Consideremos dos casos.

Ejemplo 1 . En la sentencia “Algunos adolescentes son filatelistas”, los términos son: S - "adolescente", R– “filatelista”, cuantificador existencial – “algunos”. El tema no está distribuido, ya que en él solo se concibe una parte de los adolescentes, es decir. el alcance del sujeto está incluido sólo parcialmente en el alcance del predicado. El predicado tampoco se distribuye, ya que también está incluido sólo parcialmente en el ámbito del tema (sólo algunos filatelistas son adolescentes). si conceptos S Y R cruzar, entonces R no distribuido.

Ejemplo 2 . En la sentencia "Algunos escritores son dramaturgos" los términos son: S - "escritor", P - "dramaturgo" y el cuantificador existencial - "algunos". El tema no está distribuido, ya que en él sólo se concibe una parte de los escritores, es decir. el alcance del sujeto está incluido sólo parcialmente en el alcance del predicado. El predicado está distribuido porque el alcance del predicado está completamente incluido en el alcance del sujeto. De este modo, R distribuido si el volumen R menor que el volumen S , lo que sucede en particular resaltando los juicios.

3. Juicio mi – negativo general . Su estructura es: Ninguno S no es P » . Por ejemplo : "Ningún león es herbívoro". En él, los términos son: S - "león", R- "herbívoro" y la palabra cuantificadora - "ninguno". Aquí el alcance del sujeto queda completamente excluido del alcance del predicado, y viceversa. Por lo tanto, S , Y R repartido.

4. Juicio ACERCA DE –negativo privado . Su estructura es: Alguno S no es P ». Por ejemplo : "Algunos estudiantes no son deportistas". Contiene los siguientes términos: S - "estudiante", R– "deportista" y el cuantificador existencial son "algunos". La materia no está distribuida, ya que sólo se concibe una parte de los alumnos, y el predicado está distribuido, porque en él se conciben todos los deportistas, ninguno de los cuales está incluido en esa parte de los alumnos que se concibe en la materia.

Entonces, S se distribuye en juicios generales y no en particular; P siempre se distribuye en los juicios negativos, mientras que en los afirmativos se distribuye cuando, en términos de volumen, P ≤S.

Imaginalo en la tabla de distribución de términos:

Términos / Tipo de sentencia	A	mi	I	oh
S
PAG
PAG destacando juicios

El sujeto se distribuye en juicios generales y no en juicios particulares. El predicado se distribuye en proposiciones negativas y no en proposiciones afirmativas. Al distinguir proposiciones, el predicado está distribuido.

Designaciones: +– distribución del término;

– – término no distribuido

· JUICIOS CON RELACIONES Son juicios en los que la relación entre dos términos: sujeto y predicado se expresa no con la ayuda de un conectivo ("es", "es", etc.), sino con la ayuda de una relación en la que algo se afirma o niega. en relación con dos (múltiples) términos. En este tipo de juicio, el predicado es una relación y el sujeto son dos (o más) conceptos. La localidad de la relación está determinada por el número de conceptos incluidos en el tema.

· Los juicios con relaciones se dividen según su calidad en afirmativos y negativos. Los juicios con relaciones se dividen por número. Los más comunes son los juicios con relaciones de dos lugares. Las relaciones de dos lugares tienen una serie de propiedades a partir de las cuales se pueden sacar conclusiones de juicios sobre las relaciones. Estas son las propiedades de simetría, reflexividad y transitividad.

• La relación se llama simétrico(del latín “proporcionalidad”), si tiene lugar tanto entre objetos X Y y , y entre los objetos y y X (Si X igual a (similar a, al mismo tiempo) y , entonces y y igual a (similar a, al mismo tiempo) X .
• La relación se llama reflexivo(del latín “reflexión”), si cada miembro de la relación está en la misma relación consigo mismo (si X =en , Eso X =X Y en =en ).
• La relación se llama transitivo(del latín "transición"), si tiene lugar entre X Y z , cuando ocurre entre X Y en y entre en Y z (Si X es igual en Y en es igual z , Eso X es igual z ).

Todo juicio se expresa en una oración, pero no toda oración expresa un juicio.

Ø Los juicios se expresan a través de oraciones narrativas, que siempre contiene una afirmación o una negación. Por eso las oraciones declarativas, como equivalente gramatical de un juicio, son un pensamiento completamente completo, que afirma o niega la conexión entre un objeto y su atributo, la relación entre objetos, el hecho de la existencia de un objeto, y que puede ser verdadero o falso.

Ø Frases interrogativas no contienen sentencias en su composición, ya que en ellas no se afirma ni se niega nada. No son ni verdaderos ni falsos. Por ejemplo: "¿Cuándo empezarás a trabajar en el jardín?" o “¿Es eficaz este método para aprender una lengua extranjera?”. Si la frase es una pregunta retórica, – por ejemplo: “¿Quién no quiere la felicidad?”, “¿Quién de ustedes no amó?” o “¿Hay algo más monstruoso que una persona ingrata?” (W. Shakespeare), o "¿Hay alguna persona que mira el río en un momento de pensamiento y no recuerda el movimiento constante de todas las cosas?" (R.Emerson), – luego contiene un juicio, ya que hay una afirmación, una certeza de que "Todos quieren la felicidad" o "Todos aman", etc.

Ø Oraciones interrogativas-retóricas contienen juicios en su composición, ya que en ellos se afirma o niega algo. Pueden ser verdaderos o falsos.

Ofertas de incentivos no contengan juicios en su composición: (“Cuida tu salud”; “No hagas hogueras en el bosque”, “¡No vayas a la pista de patinaje, sino a la escuela!”). Pero las frases en las que se formulan órdenes y órdenes militares, llamamientos o consignas expresan juicios, aunque no asertivos, sino modales (los juicios modales incluyen a los operadores modales, expresado en palabras: quizás, necesario, prohibido, probado, etc.). Por ejemplo: “¡Cuida el mundo!”, “¡Prepárate para empezar!”, “¡Amigo mío! Dediquemos nuestras almas a la Patria con maravillosos impulsos ”(A.S. Pushkin). Estas oraciones expresan juicios, pero los juicios son modales, incluidas las palabras modales. Como A.I. Uyomov, expresa juicios y frases incentivadoras: "¡Protege el mundo!", "¡No fumes!", "¡Cumple con tus obligaciones!". “Coma una ensalada antes de cualquier comida. verduras crudas o fruta cruda" y "No te hagas daño comiendo en exceso" – Estos consejos (llamadas) del famoso científico americano Paul Bragg, extraídos de su libro "El milagro del ayuno", son juicios. Es un juicio y un llamado: “¡Pueblos del mundo! ¡Unamos nuestros esfuerzos para resolver problemas universales y globales!

Ø Oraciones impersonales de una parte Y nominal Son sentencias sólo cuando se consideran en contexto y con la aclaración adecuada.

El criterio para la presencia de un juicio en la composición de una oración es la presencia de un momento de afirmación o negación, que lleva a una evaluación de la verdad o falsedad del juicio.

En el lenguaje natural, la misma proposición puede expresarse en diferentes oraciones. Por lo tanto, en lógica, para evitar la ambigüedad y la multiplicidad de diferentes interpretaciones significativas de una oración, se utiliza el término "enunciado", entendiendo por él alguna expresión formalizada de pensamiento, que sólo puede tener un significado lógico. Una sentencia considerada junto con la sentencia que la expresa es una proposición. Esta última es una oración declarativa gramaticalmente correcta, tomada junto con el significado que expresa sin ambigüedades; puede ser verdadero o falso.

II. Tipos y probabilidad lógica de juicios complejos.

Los juicios compuestos se forman a partir de simples, así como de otros juicios complejos con la ayuda de los sindicatos "si ..., entonces ...", "o", "y", etc., con la ayuda de la negación. de "no es cierto que", modales los términos "es posible que", "es necesario que", "accidentalmente eso", etc. Estas conjunciones, la negación de "no es cierto que", los términos modales en el lenguaje cotidiano se utilizan en varios sentidos. EN lenguajes científicos se les da un significado exacto, como resultado del cual se destacan diferentes tipos juicios formados a partir de otros juicios por, por ejemplo, la misma unión gramatical.

I.conectando Se llaman juicios en los que se afirma la existencia de dos o más situaciones. Muy a menudo, estos juicios se expresan en el lenguaje mediante oraciones que contienen la unión "y".

La conjunción "y" se utiliza en diferentes significados. Por ejemplo, las frases "Petrov estudió idioma en Inglés y el estudio Francés" y "Petrov estudió francés y estudió inglés" expresan la misma proposición, mientras que las oraciones "Petrov se graduó en la universidad y realizó estudios de posgrado" y "Petrov realizó estudios de posgrado y se graduó en la universidad" expresan proposiciones diferentes.

Así, existen diferentes tipos de afirmaciones sobre la presencia de dos o más situaciones, es decir, diferentes tipos de proposiciones conectoras: (indefinidamente) conjuntiva, secuencialmente conjuntiva, simultáneamente conjuntiva.

1. (Indefinidamente) proposiciones conjuntivas se forman a partir de dos juicios mediante una unión, denotada por el símbolo & (léase "y") y llamada signo (indefinido) conjunciones. La definición de signo de conjunción es una tabla que muestra la dependencia de la verdad de un juicio conjuntivo de la verdad de sus juicios constituyentes.
2. Juicios consistentemente conjuntivos. Estos juicios afirman la ocurrencia o existencia sucesiva de dos o más situaciones. Se forman a partir de dos o más proposiciones con la ayuda de uniones, denotadas por los símbolos & ® 2 , & ® 3, etc., dependiendo del número de proposiciones a partir de las cuales se forman. Estos caracteres se denominan signos de conjunción secuencial y se leen respectivamente "..., y luego..", "..., entonces..., y luego...", etc. Índices 2,3, etc. indicar el área de la unión. La forma del juicio con el signo de la doble conjunción consecutiva: & ® 2 (A, B) o (A&® 2 EN). Ejemplo sentencias de esta forma: "El comprador pagó el costo de la mercancía y luego el vendedor emitió la mercancía". En lugar de la expresión "y luego", se utiliza con mayor frecuencia la unión "y": "El comprador pagó el costo de la mercancía y el vendedor la entregó". Una forma de juicio con conjunción tripartita. Ejemplo: "Petrov hipotecó el apartamento, luego aportó dinero a la pirámide y luego se convirtió en un hombre sin cierto lugar residencia".
3. Juicios simultáneamente conjuntivos. Estos juicios se forman a partir de dos juicios mediante la unión "y", llamada signo conjunción simultánea. Notación - & = . Estas sentencias afirman la existencia simultánea de dos situaciones. Ejemplo: "Está lloviendo y brilla el sol".

1. disyuntivo, o no separar estrictamente, o conectar-separar, juicios. Estas sentencias afirman la existencia de al menos una de dos situaciones. Se forman a partir de dos proposiciones mediante la unión "o", denotada por el signo v (léase "o"), llamada signo de disyunción no estricta (o simplemente signo de disyunción).
2. estrictamente disyuntiva, o juicios estrictamente divisivos. Estos juicios afirman la presencia de exactamente una de dos, tres o más situaciones. Están formados por dos, tres, etc. juicios a través de las uniones “o…, o…” (“o…, o…”), “o…, o…, o…”, etc. A veces, la unión "o..., o..." se reemplaza por la unión "o", y su significado divisivo está determinado por el contexto. Las conjunciones mediante las cuales se forman juicios disyuntivos estrictos se denotan con el signo v.

III. Proposiciones condicionales se expresan, por regla general, mediante oraciones con la unión "si ..., entonces ...". Sostienen que la presencia de una situación determina la presencia de otra. Ejemplo: "Si el sol está en su cenit, entonces sus sombras son las más cortas". En una proposición condicional se distingue una razón y una consecuencia. base se llama la parte de la proposición condicional que está entre la palabra "si" y la palabra "entonces". La parte de la proposición condicional que viene después de la palabra "eso" se llama consecuencia. En la proposición "Si llueve, entonces los tejados de las casas están mojados", la base es la proposición simple "está lloviendo" y la consecuencia es "los tejados de las casas están mojados".

Una proposición más estrictamente condicional se define mediante la noción de condición suficiente. Condición es suficiente para cualquier evento, cualquier situación, si, y sólo si, siempre, cuando existe esta condición, también existe un evento (situación). Por tanto, la presencia de electrones libres en una sustancia es condición suficiente para que la sustancia sea eléctricamente conductora. condicional Se llama sentencia en la que la situación descrita por la razón es condición suficiente para la situación descrita por la consecuencia. La unión condicional "si... entonces..." se indica con una flecha (®).

IV. Declaraciones contrafácticas. Ejemplo: "Si Petrov fuera presidente, no viajaría por la ciudad en autobús". Como en las proposiciones condicionales, en estas proposiciones se distinguen una razón y una consecuencia. La unión "si..., entonces..." se indica mediante el signo É, que se denomina signo contrafactual trascendencia. La sentencia tiene tal significado, la situación descrita por el motivo no se produce, pero si existiera, entonces existiría la consecuencia.

v. sentencias equivalentes. Los juicios de equivalencia afirman la condicionalidad mutua de dos situaciones. Estos juicios se expresan, por regla general, mediante oraciones con la unión "si, y solo si, ..., entonces ..." ("entonces, y solo entonces, ..., cuando ...") . También tienen razones y consecuencias. La razón en ellos expresa una condición suficiente y necesaria para la situación descrita por la consecuencia ( La condición se llama necesaria. para un evento dado (situación, acción, etc.), si, y solo si, en su ausencia, este evento no ocurre.) La unión "si, y solo si, ... entonces", usada en el sentido descrito , se denota con el símbolo º

En el juicio de equivalencia, el acontecimiento descrito por la consecuencia es también condición suficiente y necesaria del acontecimiento descrito por la razón.

VI. Juicio con negación externa. Esta es una afirmación que afirma la ausencia de una determinada situación.

La negación externa se indica con el símbolo "l" (signo de negación). señal dada en lenguaje natural corresponde a la negación “no” o a la expresión “no es cierto que”, que suelen aparecer al inicio de una oración. Al colocar la expresión "no es cierto que" antes de un enunciado falso arbitrario, obtenemos un enunciado verdadero, y a partir de un enunciado verdadero, al sustituirlo por la expresión "no es cierto que", formamos un enunciado falso. Un juicio con negación externa se refiere a juicios complejos y se forma a partir de uno simple mediante negación.

Los valores de verdad de los juicios complejos dependen de los valores de verdad de los juicios constituyentes y del tipo de su conexión. La fórmula idénticamente cierta Se llama fórmula que, para cualquier combinación de valores de las variables incluidas en ella, toma el valor "verdadero". Fórmula idéntico-falso- uno que (respectivamente) toma sólo el valor "falso". La fórmula a ejecutar puede ser verdadera o falsa.

Entonces, conjunción(y B ) es verdadera cuando ambas proposiciones son verdaderas. Estricta disyunción ( a b ) es verdadera cuando sólo una proposición simple es verdadera. Disyunción no estricta ( a b ) es verdadera cuando al menos una proposición simple es verdadera. implicación ( a e b ) cierto en todos los casos excepto uno: cuando A - verdadero, b- FALSO. Equivalencia ( aºb ) verdadero cuando ambas afirmaciones son verdaderas o ambas son falsas. Negación (ù a) falso da verdad, y viceversa.

Ø Cualquier construcción lingüística que consista en un determinado conjunto de juicios puede traducirse a un lenguaje simbólico. Para hacer esto, es necesario reemplazar los juicios con variables lógicas y la conexión entre ellas con uniones lógicas. El rasgo lógico de un juicio complejo, su forma, depende de la unión con la que están conectadas las variables.

Ø Una proposición compleja, cuya forma lógica toma el valor "verdadero" para todos los conjuntos de valores de sus variables constituyentes, se llama lógicamente necesario. En otras palabras, las proposiciones complejas que toman el valor "verdadero" en todas las filas de la columna resultante de tablas de verdad son proposiciones lógicamente necesarias (lógicamente verdaderas). La forma lógica de una proposición lógicamente necesaria se expresa mediante una fórmula idénticamente verdadera que, para cualquier valor de verdad de las variables, toma el valor "verdadero", es decir, su columna resultante consta únicamente de "Y". Las fórmulas idénticas son la base de declaraciones lógicamente correctas. Cada una de estas fórmulas se considera una ley de la lógica (tautología lógica).

Ø Una proposición compleja, cuya forma lógica toma el valor "falso" para todos los conjuntos de valores de sus variables constituyentes, se llama lógicamente imposible. En otras palabras, los juicios complejos que toman el valor “falso” de todos los lados de la columna resultante de la tabla de verdad son juicios lógicamente imposibles (lógicamente falsos). La forma lógica de un juicio lógicamente imposible se expresa mediante una fórmula idénticamente falsa, que toma el valor "falso" para cualquier valor de verdad de las variables, es decir, su columna resultante consta sólo de "L". Las fórmulas falsas idénticas se llaman contradicciones.

Ø Una proposición compleja, cuya forma lógica en la columna resultante de la tabla de verdad toma los valores tanto "verdadero" como "falso", se llama lógicamente aleatorio. La forma lógica de una proposición lógicamente aleatoria se expresa mediante una fórmula neutra (realmente factible), cuya columna resultante consta tanto de "I" como de "L".

Ø La peculiaridad de los dos primeros tipos de juicios complejos es que su verdad y falsedad no dependen de la verdad y falsedad de los juicios simples que los componen. Las proposiciones lógicamente aleatorias son a veces verdaderas y otras falsas. Y depende de qué proposiciones simples son verdaderas y cuáles falsas.

III. Negación de juicios

JUICIO NEGATIVO - se trata de una operación que consiste en transformar el contenido lógico del juicio negado, cuyo resultado final es la formulación de un nuevo juicio, que está en relación con la contradicción con el juicio original.

Al negar juicios atributivos simples:

1) un juicio general cambia a uno particular, y viceversa;

2) un juicio afirmativo cambia a uno negativo, y viceversa.

Los juicios atributivos se niegan según las siguientes equivalencias:

ù A es equivalente a ACERCA DE ù ACERCA DE es equivalente a A

ù mi es equivalente a I ù I es equivalente a mi

La negación de juicios complejos se realiza según las siguientes equivalencias:

tu (un& EN) es equivalente a ù Avù B; según la ley de Morgan

tu (unvB) es equivalente a ù A& ù B;

tu (unÉ B) es equivalente a A& ù B;

tu (unºB) es equivalente a (ù A& EN)Virginia& ù B);

tu (unv EN) es equivalente a Aº EN

IV. Relación entre juicios

La relación entre juicios de verdad suele representarse esquemáticamente en forma de un "cuadrado lógico":

CUADRADO LÓGICO

RELACIONES ENTRE SENTENCIAS COMPLEJAS

Las relaciones entre juicios complejos se dividen en dependientes (comparables) e independientes (incomparables). Independiente - sentencias que no tengan componentes comunes; se caracterizan por todas las combinaciones de valores verdaderos. Dependiente - Son juicios que tienen los mismos componentes y pueden diferir en conectivos lógicos, incluida la negación. Los dependientes, a su vez, se dividen en compatible (juicios que pueden ser verdaderos al mismo tiempo) y incompatible (afirmaciones que no pueden ser ciertas al mismo tiempo).

Relación

V. Modalidad de juicios

MODALIDAD - se expresa en juicio información adicional sobre el estado lógico o actual de la sentencia, sobre sus características normativas, valorativas, temporales y otras.

Los juicios asertóricos, es decir, los juicios atributivos y relacionales, así como los enunciados complejos formados a partir de ellos, pueden considerarse juicios con información incompleta. La función principal de un juicio atributivo es reflejar los vínculos entre un objeto y sus atributos. Se puede decir simplemente que un objeto S tiene la propiedad P. Semejante juicio atributivo es simplemente una afirmación. Junto con un enunciado simple (negación), se distinguen los llamados enunciados y negaciones fuertes y débiles, que son juicios modales.

PRINCIPALES TIPOS DE MODALIDADES:

Ø MODALIDAD ALÉTICA- expresado en la sentencia a través de los conceptos modales "necesario", "obligatorio", "ciertamente", "accidentalmente", "posiblemente", "tal vez", "no excluido", "permitido" y otra información sobre el determinismo lógico o fáctico de la sentencia. En el grupo aletic, hay ontológico (actual ) modalidad, que asociado al determinismo objetivo de los juicios, cuando su verdad o falsedad está determinada por la situación que ocurre en la realidad, Y modalidad lógica , cual asociado al determinismo lógico del juicio, cuando la verdad o falsedad está determinada por la forma o estructura del juicio.

Ø MODALIDAD EPISTÉMICA- se expresa en la sentencia mediante operadores modales “conocido”, “desconocido”, “demostrable”, “refutable”, “supuesto”, etc. información sobre los motivos de aceptación y el grado de validez de la misma.

Ø MODALIDAD DEÓNTICA- una instrucción expresada en un juicio en forma de consejo, deseo, regla de conducta u orden que alienta a una persona a realizar acciones específicas. Las normas del derecho también pertenecen a las deónticas (aquí se pueden distinguir los siguientes operadores: “obligado”, “debe”, “debería”, “reconocido”, “prohibido”, “no puede”, “no permitido”, “ha el derecho”, “puede tener”, “puede aceptar”, etc.).

Modalidad de sentencia ( R) se representa mediante el operador METRO, según el esquema Señor(por ejemplo, "posiblemente R"). La verdad de un juicio modal depende de la verdad del juicio bajo el operador modal y del tipo de operador modal.

Juicios modales simples

Juicios simples que expresan la naturaleza de la conexión entre el sujeto y el predicado utilizando operadores modales (conceptos modales)

pagÉ q);METRO(pagº q).

Ejemplo: De la afirmación compleja "Si la temperatura es superior a 100 grados, entonces el agua se convierte en vapor", se puede obtener la afirmación modal "Es físicamente necesario que si la temperatura es superior a 100 grados, el agua se convierte en vapor".

VI. El concepto de ley lógica.

El pensamiento correcto debe cumplir los siguientes requisitos: ser definido, coherente, coherente y justificado. Cierto pensamiento es preciso y estricto, libre de cualquier inconsistencia. El pensamiento coherente está libre de contradicciones internas que destruyen las conexiones necesarias entre los pensamientos. La coherencia está asociada con la no admisión de pensamientos mutuamente excluyentes, como igualmente aceptables, de una forma u otra. El pensamiento razonable no es sólo formular la verdad, sino al mismo tiempo indicar las razones por las que debe ser reconocida como verdad.

Dado que los rasgos de certeza, coherencia, coherencia y validez son propiedades necesarias de cualquier pensamiento, tienen fuerza de leyes sobre el pensamiento. Cuando el pensamiento resulta correcto, obedece ciertas leyes lógicas en todas sus acciones y operaciones.

Como ya se señaló, la forma lógica del pensamiento es la estructura del pensamiento, es decir, la forma en que se conectan sus componentes. Entonces, entre los pensamientos cuyas formas lógicas están representadas por las expresiones "Todos S son P" y "Todos P son S" hay una conexión: si uno de estos pensamientos es verdadero, entonces el segundo es verdadero, independientemente del contenido específico de estos pensamientos. Las conexiones entre pensamientos, en las que la verdad de unos determinan necesariamente la verdad de otros, determinan las leyes lógicas formales o las leyes de la lógica.

§ LEYES DE LA LÓGICA- Se trata de expresiones que son verdaderas sólo en virtud de su forma lógica, es decir, sólo en función de la conexión de sus componentes. En otras palabras, la ley lógica es la forma lógica misma, que garantiza la verdad de la expresión para cualquier contenido.

§ LEY DE LA LÓGICA es una expresión que contiene solo constantes y variables y es verdadera en cualquier área temática (no vacía) (por ejemplo, cualquier ley de lógica proposicional o lógica de predicados es un ejemplo de ley lógica). Estos son los llamados leyes de comunicación entre pensamientos. Las leyes de la lógica también se llaman tautologías.

§ TAUTOLOGÍA LÓGICA es una "expresión siempre verdadera", es decir, sigue siendo verdadera sin importar el dominio de objetos que sea. Cualquier ley de la lógica es una tautología lógica.

§ Un papel especial lo desempeña el llamado leyes (principios) que definen las condiciones generales necesarias, que nuestros pensamientos y operaciones lógicas con pensamientos deben satisfacer. En la lógica tradicional se consideran:

EN lógica matemática la ley de identidad se expresa mediante las siguientes fórmulas:

aº a (en lógica proposicional) y Aº A (en lógica de clases, en la que las clases se identifican con ámbitos de conceptos).

La identidad es igualdad, la similitud de los objetos en algún aspecto. Por ejemplo, todos los líquidos son idénticos en que son térmicamente conductores y elásticos. Cada objeto es idéntico a sí mismo. Pero en realidad la identidad existe en conexión con la diferencia. No hay ni pueden haber dos cosas absolutamente idénticas (por ejemplo, dos hojas de un árbol, gemelos, etc.). Una cosa de ayer y de hoy es a la vez idéntica y diferente. Por ejemplo, la apariencia de una persona cambia con el tiempo, pero la reconocemos y la consideramos la misma persona. La identidad abstracta y absoluta no existe realmente, pero en ciertos límites podemos abstraernos de las diferencias existentes y fijar nuestra atención en la mera identidad de los objetos o sus propiedades.

En el pensamiento, la ley de la identidad actúa como una regla normativa (principio). Significa que en el proceso de razonamiento es imposible sustituir un pensamiento por otro, un concepto por otro. Es imposible hacer pasar pensamientos idénticos por diferentes, y diferentes por idénticos.

Por ejemplo, tres de estos conceptos tendrán el mismo alcance: “un científico por cuya iniciativa se fundó la Universidad de Moscú”; "un científico que formuló el principio de conservación de la materia y el movimiento"; “un científico que, desde 1745, se convirtió en el primer académico ruso de la Academia de San Petersburgo”; todos se refieren a la misma persona (M.V. Lomonosov), pero dan información diferente sobre él.

La violación de la ley de identidad conduce a ambigüedades, que pueden verse, por ejemplo, en el siguiente razonamiento: “Nozdryov era, en cierto sentido, hombre historico. Ni una sola reunión en la que estuvo pudo prescindir de la historia ”(N.V. Gogol). “Esfuérzate por pagar tu deuda y lograrás un doble objetivo, porque al hacerlo lo cumplirás” (Kozma Prutkov). El juego de palabras de estos ejemplos se basa en el uso de homónimos.

En el pensamiento, la violación de la ley de identidad se manifiesta cuando una persona no habla sobre el tema en discusión, reemplaza arbitrariamente un tema de discusión por otro, usa términos y conceptos en un sentido diferente al habitual, sin advertirlo.

La identificación (o identificación) se utiliza ampliamente en la práctica de investigación, por ejemplo, al identificar objetos, personas, identificar escrituras, documentos, firmas en un documento, identificar huellas dactilares.

2. Ley de no contradicción: si el sujeto A tiene una determinada propiedad, entonces en los juicios sobre A La gente debería afirmar esta propiedad, no negarla.. Si una persona, al afirmar algo, niega lo mismo o afirma algo incompatible con lo primero, existe una contradicción lógica. Las contradicciones lógicas formales son contradicciones de razonamientos confusos e incorrectos. Estas contradicciones dificultan la comprensión del mundo.

El pensamiento es contradictorio si afirmamos y negamos algo sobre el mismo objeto al mismo tiempo y en el mismo respecto. Por ejemplo: "Kama es un afluente del Volga" y "Kama no es un afluente del Volga". O: “León Tolstoi es el autor de la novela “Resurrección” y “León Tolstoi no es el autor de la novela “Resurrección”.

No habrá contradicción si hablamos de diferentes materias o sobre el mismo tema, tomado en diferente tiempo o de otra manera. No habrá contradicción si decimos: “La lluvia es buena para las setas en otoño” y “La lluvia no es buena para la cosecha en otoño”. Los juicios "Este ramo de rosas está fresco" y "Este ramo de rosas no está fresco" tampoco se contradicen, porque los objetos de pensamiento en estos juicios se toman en diferentes caminos o en diferentes momentos.

Los siguientes cuatro tipos de proposiciones simples no pueden ser verdaderas al mismo tiempo:

∧ā. La ley de no contradicción dice lo siguiente: "Dos proposiciones opuestas no pueden ser verdaderas al mismo tiempo y en el mismo sentido". Los juicios opuestos incluyen: 1) juicios opuestos (contrarios) A Y mi, que pueden ser ambos falsos, por lo que no se niegan entre sí y no pueden denotarse como a y ā; 2) juicios contradictorios (contradictorios) A Y ACERCA DE, mi Y I, así como los juicios singulares "Esta S es P" y "Esta S no es P", que son negativos, ya que si uno de ellos es verdadero, entonces el otro es necesariamente falso, por lo que se denotan por a y ā.

La fórmula de la ley de no contradicción en la lógica clásica de dos valores a ∧ ā refleja solo una parte de la ley aristotélica significativa de no contradicción, ya que se aplica solo a juicios contradictorios (a y no-a) y no se aplica a lo contrario (juicios contrarios). Por tanto, la fórmula a∧ ā es inadecuada y no representa plenamente la ley sustantiva de no contradicción. Siguiendo la tradición, detrás de la fórmula a∧ ā mantenemos el nombre “ley de no contradicción”, aunque es mucho más amplio que esta fórmula.

Si se encuentra una contradicción lógica formal en el pensamiento (y el habla) de una persona, entonces dicho pensamiento se considera incorrecto y el juicio del que se deriva la contradicción se niega y se considera falso. Por eso, en la polémica, a la hora de refutar la opinión del oponente, se utiliza mucho el método de la "reducción al absurdo".

3. Ley del tercero excluido: De las dos proposiciones contradictorias, una es verdadera, la otra es falsa y la tercera no está dada.. Contradictorios (contradictorios) son dos juicios, en uno de los cuales se afirma algo sobre el tema, y ​​en el otro se niega lo mismo sobre el mismo tema, por lo tanto no pueden ser verdaderos y falsos al mismo tiempo; una de ellas es verdadera y la otra es necesariamente falsa. A estos juicios se les llama negarse mutuamente. Si uno de los juicios contradictorios se denota por la variable A, entonces el otro debería denotarse ā . Así, de las dos afirmaciones: "James Fenimore Cooper es el autor de una serie de novelas sobre Leather Stocking, creadas durante un período de casi 20 años" y "James Fenimore Cooper no es el autor de una serie de novelas sobre Leather Stocking, creado durante un período de casi 20 años", el primero es verdadero, el segundo es falso y no puede haber un tercer juicio -intermedio-.

Los siguientes pares de proposiciones son negativas:

1) "Esta S es P" y "Esta S no es P" (juicios únicos).

2) "Todos los S son P" y "Algunos S no son P" (juicios A Y ACERCA DE).

3) "Ningún S es P" y "Algunos S son P" (juicios mi Y I).

Con respecto a los juicios contradictorios (contradictorios) ( A Y ACERCA DE, mi Y I) opera tanto la ley del tercero excluido como la ley de no contradicción; esta es una de las similitudes de estas leyes.

La diferencia en las áreas de definición (es decir, aplicación) de estas leyes es que en relación con sentencias contrarias (contrarias) A Y mi(por ejemplo: "Todos los hongos son comestibles" y "Ningún hongo es comestible"), que no pueden ser ambas verdaderas, pero ambas pueden ser falsas, solo se aplica la ley de no contradicción y no se aplica la ley del tercero excluido. Entonces, el alcance de la ley sustantiva de la no contradicción es más amplio (estos son juicios contradictorios y contradictorios) que el alcance de la ley sustantiva del tercero excluido (solo contradictorios, es decir, juicios del tipo A Y no). De hecho, una de las dos proposiciones es cierta: "Todas las casas de este pueblo están electrificadas" o "Algunas casas de este pueblo no están electrificadas" y no hay una tercera.

La ley del tercero excluido, tanto en forma significativa como formalizada, cubre el mismo círculo de juicios: contradictorios, es decir. negándonos unos a otros. Fórmula de la ley del tercero excluido: A v ù A

En el pensamiento, la ley del tercero excluido implica una elección clara de una de dos alternativas mutuamente excluyentes. Para el correcto desarrollo de la discusión es obligatorio el cumplimiento de este requisito.

4. Ley de razón suficiente:Todo pensamiento verdadero debe estar suficientemente fundamentado.. Se trata de sobre la justificación sólo de pensamientos verdaderos: los pensamientos falsos no se pueden justificar y no tiene sentido tratar de "justificar" una mentira, aunque a menudo personas individuales tratando de hacerlo. Hay un buen proverbio latino: “Errar es común a todas las personas, pero sólo los tontos tienden a insistir en sus errores”.