Collegamento tra (li ho scritti in forma di proporzione logica tabellare)
| var | var | |
|---|---|---|
| sis | classe | elementi |
| sis | variabile | valori |
Il collegamento tra il linguaggio insiemistico (classi, elementi) e
il linguaggio delle variabili, costanti e':
elementi della classe <-> valori della variabile,
costanti
classe, vista come collettivo <-> dominio di variabilita'
degli elementi della variabile
classe, vista come unita' <-> variabile
Data la corrispondenza si puo' guardare agli uni interpretandoli come gli altri.
Se si vuole dare preminenza al linguaggio fondante degli insiemi, allora tutto cio' che si puo' dire sulle variabili non e' altro che un discorso di classi e individui (≡ elementi).