Diritto, politica e realtà sociale nell'epoca della globalizzazione

L’IDEa DI gIuSTIzIa fRa IL RELaTIvo E L’uNIvERSaLE
299
turalmente correlati e, quindi, nel § 2 ho presentanto alcuni esiti
paradigmatici della riflessione filosofica finalizzata a opporre o
comporre universale e particolare.
Ora nel presente § 3 intendo problematizzare il senso di universale
per poi proporre nel § 4 un’idea e un’immagine di giustizia
altre – terze – rispetto alla tradizionale polarità universaleparticolare
e che possano condurre nel § 5 ad ipotizzare i tratti di
una nuova forma di giustizia per la globalizzazione.
3.1. Nella logica moderna l’universalità delle proposizioni universali
è resa attraverso il quantificatore universale ∀. Nonostante
l’apparente univocità del simbolo logico, sono sorprendenti le
oscillazioni nella traduzione di ∀.
Ad esempio41 :
- Irving M. Copi ( Introduction to Logic, 19612 , p. 306) interpreta
∀ come “any”;
- Samuel D. Guttenplan ( The Languages of Logic. An Introduction,
1986, p. 176) interpreta ∀ come “every”;
- Edward John Lemmon ( Beginning Logic, 1965, pp. 104-
105): interpreta ∀ sia come “every”, [“every object”], sia
come “all” [“all things”];
- Joseph Robert Shoenfield ( Mathematical Logic, 1967; tr.
it. p. 24) interpreta ∀ come “tutti” [“tutti gli individui”];
- Ermanno Bencivenga ( Il primo libro di logica. Introduzione
ai metodi della logica contemporanea, 1984, p. 89) interpreta
∀ come “ogni” [“per ogni”];
- Richard Mark Sainsbury ( Logical Forms. An Introduction
to Philosophical Logic,1991, p. 144) scrive: “‘Every’, ‘any’
and ‘whatever’ are often to be formalized by ∀”;
- Elliott Mendelson ( Introduction to Mathematical Logic,
4 1997, p. 41) interpreta ∀ sia come “all”, sia come “any”;
- James T. Higginbotham ( On Higher-Order Logic and Natural
Language, 1998, p. 15) interpreta ∀ sia come “all”
[“for all x”], sia come “each” [“each x”].
41 Ringrazio Stefano Colloca per l’aiuto nella ricerca degli esempi.