Mikä on WikiWiki?
nettipäiväkirja
koko wiki (etsi)
viime muutokset
Selitä tässä, mitä ekstensionaalinen tarkoittaa.
Yksinkertaistetusti: jokin, joka on määritelty sen perusteella, mitä se on (sattuu olemaan), ei sen perusteella, miten se on osoitettu. Ilmauksen ekstensionaalisuus riippuu maailmankuvasta - siitä, mitä pitää asian identiteettinä, eli mitä asian katsoo varsinaisesti olevan.
Ajatellaan huvin vuoksi, että jokainen ihminen on yksiselitteisesti nimetty. Tällöin (yksiselitteisen) intensionaalisen ilmauksen "vaimoni vanhemman veljen vaimo" ekstensio on Laura; intensionaalisen ilmauksen "kaikki, jotka ovat sekä olleet saunassa kanssani että olleet työtovereitani" on {Osma, Janne, Veikko, Matias}; ja intensionaalisen ilmauksen "kaikki asiat, jotka ovat itseään vanhempia" ekstensio on {}, sama kuin ilmauksen "yhdysvaltain naispuoliset presidentit 2003 mennessä" ekstensio.
Intensiosta voi päätellä ekstension hankkimalla tietoa maailmasta, mutta ekstensiosta ei voi päätellä intensiota: ekstension sisältämä tieto on intension sisältämän tiedon alajoukko. Useimmat matemaattiset formalismit ovat ekstensionaalisia.