estensionalità

sf. [da estensionale]. In logica matematica: A) assioma dell'estensionalità: dati due insiemi A e B, se, per un qualsivoglia C, C è membro di A se e solo se lo è anche di B, allora A e B sono identici. B) Tesi di estensionalità: asserisce che tutto ciò che viene enunciato in un linguaggio intensionale è traducibile in un linguaggio estensionale. Questa tesi fu presentata da B. Russell nei Principia Mathematica e ampiamente sostenuta da R. Carnap in Sintassi logica del linguaggio (vedi anche estensione).