¿De qué tratan las verdades lógicas?
Una manera de responder a la pregunta ¿de qué trata la lógica? es preguntándose de que tratan sus teorías, es decir, ¿qué hace verdaderas a las verdades lógicas, por ejemplo, que Pa⋁¬Pa ? Dentro del espacio lógico de posibles respuestas hay muchísimas opciones, pero las básicas son: Respuesta Platonista Lógica : Alguna propiedad o relación entre los conectivos lógicos que ocurren en ellas, en este caso, la disyunción y la negación, por ejemplo, el hecho de que la disyunción es verdadera si alguno de sus disyuntos es verdadero y el hecho de que, para toda proposición, ella o su negación son verdaderas. Respuesta Nominalista Composicional : Dependiendo de cual de las dos sea verdadera, Pa o el hecho, cualquiera que éste sea, que haga ¬Pa verdadero. Respuestas Dependientes de Dominio : Alguna otra propiedad o relación entre los objetos, propiedades o proposiciones que ocurren en ellas, por ejemplo, el que a sea el tipo de objeto que tiene o no tiene la propiedad P o que P sea el tip