# data[].attributes.headline
Afirmación, oración, enunciado y proposición

# data[].attributes.subject
Afirmación, oración, enunciado y proposición

# data[].attributes.body
Las relaciones entre afirmación, oración, enunciado y proposición son bastante claras: un enunciado es un tipo de oración (noción lingüística), que expresa significados afirmables (noción psicológica) algunos de los cuales son proposiciones (noción ontológica).

# data[].attributes.body
La lógica es una teoría de la validez formal de algunos argumentos, una teoría de la relación de consecuencia entre conjuntos de enunciados  No se limita a establecer formas argumentativas válidas, sino que también aspira a ser una explicación de dicha validez. Podemos hablar de la lógica, en singular, para referirnos a lo común a los distintos sistemas lógicos: son teorías de la relación de consecuencia debida únicamente a la forma. No se ha de entender, por tanto, que cuando usamos la expresión “la lógica” estamos presuponiendo que hay una única lógica correcta

# data[].attributes.body
Realismo platónico: sí, hay o habrá una única lógica, que es la lógica genuina.
Relativismo: no hay ni habrá una única lógica correcta, sino que son posibles distintas lógicas igualmente correctas o aceptables.

# data[].attributes.body
Consistencia

Completud

Corrección

Compacidad o finitud

Decidibilidad

Löwenheim-Skolem

# data[].attributes.body
Deductivo: de lo general a lo particular
Inductivo: de lo particular a lo general