On some recently debated issues in the theory of formal truth