# 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.

# data[].attributes.body
trata de la naturaleza y la justificación de los sistemas lógicos.
Es principalmente filosofía.

# data[].attributes.body
Al sistema lógico definido nos referimos indistintamente con las expresiones "lógica de enunciados" y "lógica proporcional".
-portadores de verdad (semántica
-de que tipo son esas entidades (ontológica).

# data[].attributes.body
una vez aceptamos generalmente que la verdad es algún tipo de predicado, tenemos que aclarar de qué predicamos la verdad.
Davidson: oraciones-caso
Strawson: Afirmaciones
Barwise y Perry: situaciones
Fregue: Preposiciones

# data[].attributes.body
Un modo de evitar la titulación de entidades intencionales es afirmar que los portadores de verdad son ciertas entidades lingüísticas: las oraciones-caso.