Truth between semantics and pragmatics

Truth had been excluded from the requirements of science after the so-called "foundational crisis" of the exact sciences (mathematics and physics) occurred between the end of the 19th and the beginning of the 20th century. A formalistic outlook had imposed itself in the philosophy of science, from which meaning and truth were excluded. This approach, however, was seriously weakened after the discovery of the "internal limitations of formalisms" entailed by Goedel’s theorems, and Tarski almost at the same time advocated the legitimacy of meaning and truth for the formalized languages, calling "semantics" this part of the metatheoretical investigations. This terminology has remained standard especially in mathematical logic. One must note, however, that semantics regards in a proper sense the level of meaning, whereas truth implies in addition the reference of the language to some extralinguistic domain of entities. This domain is not accessible by means of logical, linguistic or conceptual analysis, but can be attained through "operations" of some concrete kind, whose nature determines also the ontological status of the referents. Operations belong to praxis, and this is why the notion of truth is more properly attributed to "pragmatics", understood not in the original Morris’ sense, but rather in a sense closer to pragmatism, in which the performance of actions is considered essential for providing criteria of truth. Dopo la cosiddetta "crisi dei fondamenti" delle scienze esatte (matematica e fisica) prodottasi tra la fine del XIX e l’inizio del XX secolo, la verita era stata esclusa dai requisiti della scienza. Nella filosofia della scienza si era imposta una prospettiva formalista, dalla quale erano esclusi il significato e la verita. Questa impostazione, tuttavia fu seriamente indebolita con la scoperta delle "limitazioni interne dei formalismi" implicata dai teoremi di Goedel, e Tarski quasi nello stesso tempo difendeva la legittimita di significato e verita per i linguaggi formalizzati, chiamando "semantica" questa parte delle ricerche metateoriche. Questa terminologia e rimasta standard specialmente in logica matematica. Si deve tuttavia osservare che la semantica riguarda in senso proprio il livello del significato, mentre la verita implica in aggiunta il riferimento del linguaggio ad un ambito di entita extralinguistiche. Questo ambito non e accessibile mediante un’analisi logica, linguistica o concettuale, ma puo essere raggiunto mediante "operazioni" di un qualche tipo concreto, la cui natura determina pure lo statuto ontologico dei referenti. Le operazioni appartengono alla prassi ed e per questo che la nozione di verita viene assegnata piu appropriatamente alla "pragmatica", intesa non nel senso originale di Morris, ma piuttosto in un senso piu vicino al pragmatismo, secondo cui l’esecuzione di azioni e considerata essenziale per fornire criteri di verita.