Filosofia:ekstensionaalinen
ekstensionaalinen
| ekstensionaalinen |
1. käsite, teoria tai kieli, jossa merkitystä muuttumatta voidaan mikä tahansa ilmaisu korvata missä tahansa yhteydessä millä tahansa sellaisella ilmaisulla, jolla on sama viittauksen kohde tai ala
2. ajallis-avaruudellisiin viittauksen kohteisiin perustuva
Esimerkki ekstensionaalisista kielestä on klassisen predikaattilogiikan kieli, 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=2*2"). Toinen esimerkki ekstensionaalisuudesta: erisnimen nimeämä olio, predikaatin määrittelemä olioiden luokka ja lauseen totuusarvo ovat kyseisen kielellisten ilmausten ekstensionaalisiset merkitykset.
Ekstensionaalisissa logiikoissa pätee kompositionaalisuusperiaate: loogisten vakioiden totuusmääritelmät ovat totuusfunktionaalisia ja kompleksisten ilmaisujen merkitys määräytyy yksikäsitteisesti sen komponenttien merkityksistä.
Lähikäsitteet
- ekstensio (ominaisuuden kantaja)
- intensionaalinen (vastakohta)
- kompositionaalisuusperiaate (ominaisuuden kantaja)
- salva veritate -periaate
- totuusfunktionaalinen (alakäsite)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 6.2.2026: Filosofia:ekstensionaalinen. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:ekstensionaalinen.)