¿Cuál es el contenido de la lógica formal?

Todo S es P, lo que se denomina proposición afirmativa universal. En el ámbito de la lógica, se denomina simplemente proposición A.

Cada S no es P, se llama proposición negativa universal, o proposición E para abreviar.

Alguna S es P, lo que se denomina proposición afirmativa específica, o proposición I para abreviar.

Alguna S no es P, lo que se denomina proposición negativa especial, o proposición O para abreviar.

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

1) Relación contradictoria. 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. Oponerse a la relació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 diferencial (relación subordinada). 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.

Dos juicios con relaciones diferenciales tienen las siguientes relaciones verdadero y falso: si el juicio universal es verdadero, entonces el juicio particular también es verdadero: si el juicio universal es falso, entonces el juicio particular es Verdadero o falso. 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:

1. 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 realice 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.

2. Introducción a la Lógica Formal

Todo 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 el sonido, la luz, la electricidad, la fuerza, la economía política...; Implica relaciones de producción, mercancías, valores... estos 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.