¿Qué relacion hay entre la logica formal y la teoria del conocimiento?