Más que estudiar qué oraciones son actualmente verdaderas, esta rama de la filosofía estudia qué tipo de significados pueden ser verdaderos o falsos.