Filosofia:ekstensionaalinen

    Tieteen termipankista

    ekstensionaalinen

    ekstensionaalinen
    Määritelmä
    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
    Selite 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

    Käytetyt lähteet

    RaatikainenP1997, Juti2001

    Alaviitteet

    Lähdeviittaus tähän sivuun:
    Tieteen termipankki 24.4.2024: Filosofia:ekstensionaalinen. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:ekstensionaalinen.)