Extensionell (från lat. extensionio - extension, space, distribution) - en term för semantik , som betecknar omfattningen av begreppet , det vill säga en uppsättning objekt som kan kallas en given språkenhet (kategori). Till exempel omfattar förlängningen (kategorin) av begreppet "man" alla objekt som har egenskapen "att vara en man" ( Sokrates är en man, en filosof är en man, en tänkande varelse är en man, etc.).
Begreppet en förlängning introducerades av den österrikiske logikern och filosofen R. Carnap för att analysera betydelsen av språkliga uttryck. T.n. metoden för intensioner och förlängningar är en modifiering och vidareutveckling av den tyske matematikern och logikern G. Freges semantiska koncept .
Påståendet "Sokrates är en man" kan tolkas på två sätt. Uttalandet kan ses som att Sokrates har någon egenskap att "vara man" (Sokrates är en man). Samtidigt kan påståendet ses som att den enskilde Sokrates ingår i klassen av människor (Sokrates är en man).
Exemplet visar att ett predikat (i detta fall "man") kan beteckna både innehav av en egendom (Sokrates är en man) och tillhörighet till en klass (Sokrates är en man). Klassen som betecknas med predikatuttrycket kallas den faktiska förlängningen av detta uttryck. Det vill säga, i detta fall ingår "Sokrates" i förlängningen av begreppet "man".
Utvidgningen står alltså i motsats till intensionen, som betecknar en uppsättning egenskaper hos begreppet/termen som faktiskt bildar begreppet/termen i representationen. Det vill säga, mer exakt, utvidgningen av ett begrepp bör förstås som en uppsättning objekt som tillfredsställer intentionen med ett begrepp.
Ett specialfall av en tillägg är egennamnstillägget . Det är vanligt att betrakta objektet som betecknas med detta namn som en sådan enda extension.
Begreppen intension och extension ligger till grund för distinktionen mellan det sk. intensionala och extensionella sammanhang.
En intensional kontext är en uppsättning påståenden där endast intensionalt ekvivalenta uttryck kan ersättas (det vill säga både intensioner och förlängningar av uttryck är viktiga för det). En extensionskontext är en uppsättning uttalanden där endast extensionellt ekvivalenta språkuttryck kan ersättas (det vill säga att endast extensions av uttryck är viktiga för det).
Till exempel är förlängningen av termen "man" klassen av människor. Predikaten "att vara kapabel att tänka" och "att ha lemmar" kommer att vara ekvivalenta, eftersom båda kan betecknas med termen "man". Predikaten "ett väsen som kan tänka" och "ett väsen som kan producera verktyg" är inte bara extensionsmässigt utan också intensivt ekvivalenta, eftersom båda kan betecknas med termen "man", och båda uttrycker en egenskap som bildar termen " man".
Att särskilja sådana sammanhang är viktigt för att definiera ett begrepp. Till exempel, från definitionen av begreppet "bröder i åtanke" som 1) "varelser som kan tänka" 2) "varelser som har lemmar" 3) "varelser som kan producera verktyg" - bör definition 2 uteslutas, eftersom det är inte nödvändigt att bröder i åtanke de kan vara humanoider.