Extensionaalinen ( lat. extendio - laajennus, tila, jakauma) - semantiikan termi , joka ilmaisee käsitteen laajuuden, eli objektijoukkoa, jota voidaan kutsua tietyksi kieliyksiköksi (kategoriaksi). Esimerkiksi käsitteen "ihminen" laajennus (luokka) sisältää kaikki esineet, joilla on ominaisuus "olla mies" ( Sokrates on mies, filosofi on mies, ajatteleva olento on mies jne.).
Laajennuksen käsitteen esitteli itävaltalainen logiikka ja filosofi R. Carnap analysoidakseen kielellisten ilmaisujen merkitystä. T. n. intentioiden ja laajennusten menetelmä on saksalaisen matemaatikon ja loogikon G. Fregen semanttisen käsitteen muunnos ja jatkokehitys .
Väite "Sokrates on mies" voidaan tulkita kahdella tavalla. Lausunto voidaan nähdä siten, että Sokrates on "mies" (Sokrates on mies). Samanaikaisesti väite voidaan nähdä niin, että yksittäinen Sokrates kuuluu ihmisten luokkaan (Sokrates on mies).
Esimerkki osoittaa, että predikaatti (tässä tapauksessa "mies") voi tarkoittaa sekä omaisuuden hallintaa (Sokrates on mies) että luokkaan kuulumista (Sokrates on mies). Predikaattilausekkeella merkittyä luokkaa kutsutaan tämän lausekkeen todelliseksi jatkeeksi. Eli tässä tapauksessa "Sokrates" sisältyy "ihmisen" käsitteen laajennukseen.
Siten laajennus on vastakohtana intensioille, joka merkitsee joukkoa käsitteen/termin ominaisuuksia, jotka itse asiassa muodostavat käsitteen/termin esityksessä. Tarkemmin sanottuna käsitteen laajennus tulisi ymmärtää joukkona esineitä, jotka tyydyttävät käsitteen tarkoituksen.
Laajennuksen erikoistapaus on oikeanimen pääte . Tällä nimellä merkittyä objektia on tapana pitää yhtenä laajennuksena.
Intension ja laajennus käsitteet ovat taustalla ero ns. intensiaaliset ja ekstensiaaliset kontekstit.
Intensionaalinen konteksti on joukko lauseita, joissa vain intensiivisesti vastaavat lausekkeet voidaan korvata (eli sekä intensiteetit että lausekkeiden laajennukset ovat sille tärkeitä). Laajennekonteksti on joukko lauseita, joissa voidaan korvata vain laajennuksia vastaavat kielilausekkeet (eli vain lausekkeiden laajennukset ovat sille tärkeitä).
Esimerkiksi termin "mies" laajennus on ihmisluokka. Predikaatit "kykee ajattelemaan" ja "olla on raajat" ovat laajennellisesti ekvivalentteja, koska molempia voidaan merkitä termillä "ihminen". Predikaatit "ajattelemaan kykenevä olento" ja "olento, joka kykenee tuottamaan työkaluja" eivät ole vain ekstensiivisesti, vaan myös intensionaalisesti ekvivalentteja, koska molempia voidaan merkitä termillä "ihminen" ja molemmat ilmaisevat ominaisuutta, joka muodostaa termin " mies".
Tällaisten kontekstien erottaminen on tärkeää käsitteen määrittelyssä. Esimerkiksi käsitteen "veljet mielessä" määritelmästä 1) "ajattelemaan kykenevät olennot" 2) "olennot, joilla on raajat" 3) "olennot, jotka kykenevät tuottamaan työkaluja" - määritelmä 2 tulisi sulkea pois, koska se on ei ole välttämätöntä, että veljet voivat olla humanoideja.