Panu Raatikainen (toim): Ajattelu – kieli - merkitys

Ekstensionaalinen / intensionaalinen.

Teoria tai kieli on ekstensionaalinen, jos mikä tahansa ilmaisu voidaan siinä korvata missä tahansa yhteydessä millä tahansa ilmaisulla, jolla on sama viittauksen kohde tai ala (ts. ekstensio), ts. jos alaltaan yhtäpitävät ilmaisut saadaan aina korvata toisiltaan. Kieli tai teoria on intensionaalinen, jos se ei ole ekstensionaalinen. Esim. tavallinen predikaattilogiikka on ekstensionaalinen, kuten myös tavallinen joukko-oppi: predikaatit, joilla on sama ala, ovat niiden näkökulmasta yhtäpitäviä, vaikka niillä olisi eri sisältö tai "merkitys" ("esim. "x=2+2" ja "x=2x2"). Filosofisesti merkittäviä intensionaalisia lauseyhteyksiä ovat erityisesti sellaiset, jotka sisältävät modaalisia ("on mahdollista että ..." ja "välttämättä ...") sekä erilaisia ns. propositionaalisia asenteita (tietää, uskoa, toivoa jne.). Esimerkiksi, todessa lauseessa "Lois Lane uskoo että teräsmiehellä on supervoimat" ilmaisun ."teräsmies" korvaaminen tosiasiassa saman virtauksen kohteen sisältävänä ilmaisulla "Clark Kent" johtaa epätoteen lauseeseen "Lois Lane uskoo että Clark Kentillä on supervoimat".