Teorías de la verdad y teorías del significado: dos programas alternativos