Estoy totalmente de acuerdo contigo en todos sus puntos principales, en particular en tu rechazo de todo elemento psicologicista en lógica, y en el valor que asignas a una notación conceptual para la los fundamentos de las matemáticas y de la lógica formal que, de paso, a duras penas pueden distinguirse.