Graham Priest

Los lógicos llaman válida a una inferencia cuando la conclusión en verdad resulta de las premisas.

Así que la meta central de la lógica es comprender la validez.

La primera inferencia es muy sencilla. Si las premisas son verdaderas, la conclusión deberá serlo. O para ponerlo de otra manera, las premisas no podrían ser verdaderas sin que la conclusión también lo fuera. Los lógicos llaman deductivamente válidas

Los lógicos llaman disyunción a este tipo de oraciones; y las cláusulas a ambos lados de “o” se llaman disyuntivas.

Luego, ¿qué se necesita para que una disyunción sea verdadera? Sólo que cualquiera de las disyuntivas sea verdad.

¿qué es una situación? Un pensamiento natural es que cualquier cosa que sea una situación, determina un valor de verdad para cada oración.