Convenzionalismo e costanti logiche

Paolo Maffezioli (1) , Alberto Naibo (2)

1 Department of Theoretical Philosophy, Faculty of Philosophy
2 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

The soundness of the traditional Tarskian definition of logical consequence and, a fortiori, of logical validity, calls for a positive solution to the following problem. Given a language, is it possible to split it up into two mutually exclusive categories, that of logical expressions (topic-neutral) and that of non-logical ones (theory-laden)? In other words, is it possible to state an absolute criterion of logicality? Different formal approaches led to different definitions of what counts as a logical constant. At first glance, the choice among them could be considered as an issue concerning pure conventionalism. The aim of this paper is, on the one hand, to inquire into the legitimacy of such an idea and, on the other hand, to detect those situations in which speaking about pure logical conventionalism is completely justified.

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.

Mots clés: Logical constants; Conventionalism; Model-theoretical invariance criteria for logicality; Inferential criteria for logicality; Conservativeness; Harmony-as-normalization

Domaines: Philosophie

Paolo Maffezioli, Alberto Naibo. Convenzionalismo e costanti logiche. 2014. ⟨hal-00940129⟩