Title: On the symbols of logic