¿Qué significan A, E, I y O en lógica formal?

En lógica, la proposición A representa: la proposición afirmativa universal, es decir, todo S es P.

La proposición E representa: la proposición negativa universal, es decir, todo S no es P.

La proposición I representa: proposición afirmativa especial, alguna S es P.

La proposición O representa: proposición negativa especial, alguna S no es P.

Existen las siguientes relaciones verdaderas y falsas entre A, E, I y O del mismo material:

1. La rama existe entre A y 0, E e I. Los dos juicios tienen una relación contradictoria, es decir, no pueden ser al mismo tiempo verdaderos o falsos.

2. Relación de oposición. existe entre A y E. ?Dos juicios con relaciones opuestas no pueden ser ambos verdaderos, pero sí ambos falsos.

3. Bajar la relación de oposición. Existe entre I y 0. Dos juicios con relación opuesta no pueden ser al mismo tiempo falsos pero pueden ser verdaderos.

4. Relación de diferencia (relación de subordinación). Existen entre A e I, E y 0 respectivamente. Hay dos juicios con relación diferencial, uno es un juicio universal y el otro es un juicio específico.

Existe la siguiente relación verdadero-falso entre dos juicios con relación diferencial: si el juicio universal es verdadero, entonces el juicio particular también es verdadero; si el juicio universal es falso, entonces el juicio particular; la verdad o la falsedad es incierta; si el juicio particular es verdadero, el juicio universal es incierto; si el juicio particular es falso, el juicio universal también es falso;

Información ampliada:

La lógica formal también se denomina lógica ordinaria. La ciencia que estudia las formas de pensamiento y sus leyes. Es una ciencia instrumental y una herramienta lógica necesaria que la gente suele utilizar para comprender las cosas y expresar sus pensamientos. Para que la cognición humana pueda realizar el reflejo del mundo objetivo en la etapa racional, es necesario realizar la unidad del contenido del pensamiento y la forma del pensamiento, de lo contrario, este reflejo no puede realizarse.

El contenido del pensamiento es el objeto y sus atributos reflejados por el pensamiento, y la forma es la manera de reflejar un objeto, es decir, el concepto expresado en palabras, el juicio expresado en oraciones y el razonamiento. expresado en oraciones complejas.

Cualquier pensamiento concreto tiene su contenido y su forma. Cualquier pensamiento concreto involucra algunos objetos específicos. Por ejemplo, el pensamiento concreto en matemáticas involucra objetos específicos como cantidades y formas; el pensamiento concreto en física involucra objetos específicos como sonido, luz, electricidad y fuerza; el pensamiento concreto en economía política involucra objetos específicos como sonido, luz, electricidad, y fuerza Las relaciones de producción, las mercancías, los valores... son objetos específicos. Los objetos involucrados en el pensamiento concreto en diferentes campos son diferentes.

Sin embargo, existen algunos factores muy diferentes en el pensamiento específico en diferentes campos. Por ejemplo, en el pensamiento específico en diversos campos, se deben aplicar factores de pensamiento como "todos... son..." y "si... entonces...".

El pensamiento concreto en diferentes campos requiere de la aplicación de un mismo factor de pensamiento, que es la forma de pensamiento concreto, o lo que es lo mismo, la forma de pensar. Los objetos especiales implicados en el pensamiento concreto en diversos campos son el contenido del pensamiento concreto o, en otras palabras, el contenido del pensamiento.