estensione

Estensione è un termine italiano che indica l’allungamento, l’allargamento o l’ampliamento di qualcosa nello spazio o nel tempo. Può riferirsi a una dimensione fisica o a un’unità concettuale. In ambito linguistico si distingue dall’intensione: estensione è l’insieme degli oggetti o casi che un termine denota, mentre intensione è il criterio concettuale che permette di riconoscerli.

In linguistica, l’estensione di una parola o di una categoria è l’insieme di referenti reali o possibili che rientrano nel suo significato. Ad esempio, l’estensione del termine “gatto” comprende tutti i gatti esistenti o immaginabili; l’intensione riguarda le proprietà che definiscono la categoria.

In matematica e logica, l’estensione di una proprietà è l’insieme degli elementi che soddisfano tale proprietà. In algebra, l’estensione di corpi indica l’inclusione di campi K in L, cioè L è un’estensione di K.

In informatica, l’estensione può indicare, da un lato, il suffisso di un nome di file che specifica il tipo di contenuto (ad es. .txt, .pdf); dall’altro, le estensioni del software o del browser, che aggiungono funzionalità o supporto per formati specifici.

In anatomia e medicina, l’estensione descrive il movimento di estensione di un arto o di una giunzione articolare, cioè l’allungamento del segmento rispetto alla posizione di riposo.

Etimologia: deriva dal latino extensio, da extendere, significante allungamento o allargamento.