Aun así, se considera que Tarski no dio ningún criterio suficiente para distinguir las constantes lógicas de las no lógicas.