que es la ciencia formal según mario bunge