L'adeguatezza della tradizionale definizione tarskiana di conseguenza logica e, a fortiori, di validità logica, richiede una soluzione positiva del seguente problema di demarcazione. Dato un certo linguaggio, è possibile separare i suoi elementi in due categorie distinte, quella delle espressioni logiche (''teoricamente neutrali'') e quella delle espressioni non logiche (''teoricamente cariche'')? In altri termini, è possibile formulare un criterio assoluto di logicità? Differenti approcci formali al problema hanno portato a differenti definizioni di ciò che è una costante logica. La scelta tra di esse potrebbe essere considerata, a prima vista, come una questione di puro convenzionalismo. Scopo di questo articolo è, da un lato, indagare la legittimità di tale idea e, dall'altro, individuare quelle situazioni in cui si è pienamente autorizzati a parlare di genuino convenzionalismo logico.