Intension (från latin intensio - intensitet, spänning, ansträngning) - en term för semantik , som betecknar innehållet i begreppet , det vill säga en uppsättning tänkbara egenskaper hos objektet eller fenomenet som betecknas av begreppet. Till exempel inkluderar intentionen med begreppet "Sokrates" alla egenskaper som Sokrates har: en person, en man, en grek, en filosof, etc. En intension står i motsats till en extensional , det vill säga en uppsättning objekt som kan kallas en given språkenhet .
Begreppet intension introducerades av den tyske 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 .
Begreppet intension uppstod ur behovet av att ompröva de traditionella kategorierna av logik och lingvistik, i betydelsen av antinomin i förhållandet mellan namngivning. Sådana antinomier uppstår i vissa sammanhang när ett uttryck ersätts med ett uttryck som är identiskt med det i termer av objektiv betydelse. Till exempel, i uttalandet "Peter tror att Kabul är Pakistans huvudstad", är uttalandet "Kabul är Pakistans huvudstad" inte [för Peter] definitivt falskt, eftersom begreppet "Kabul" inte uttryckligen betyder huvudstaden i en viss stat (det vill säga Peter kanske inte vet att Pakistans huvudstad inte är Kabul, och att Kabul inte är Pakistans huvudstad). När begreppet "Kabul" ersätts med subjektidentiska "huvudstad i Afghanistan" uppstår påståendet "Afghanistan huvudstad är Pakistans huvudstad", vilket är falskt och introducerar en motsägelse i det allmänna uttalandet.
Intensionen av ett begrepp definieras inte bara genom motstånd mot förlängningen, som området för dess ämnesreferens , utan också genom opposition till begreppets språkliga form. Till exempel orden "bror" och "enfödd" (i exemplet finns det ett tydligt misstag: ordet "enfödd" betyder "föräldrarnas enda barn" och är oförenligt med ordet "bror" en broder kan vara infödd, halvblodig, halvfödd, konsoliderad, namngiven, etc. .) har en gemensam intention (de har en uppsättning tänkbara egenskaper hos ett objekt), men en annan språklig form. Här, i motsats till den språkliga formen, verkar intensionen som dess significat, significat .
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.