looginen semantiikka

Määritelmä muodollinen teoria loogisten kielten lauseiden totuusehdoista

Selite Alfred Tarski esitti v. 1936, että totuuden käsite voidaan määritellä formaalikielille käyttämällä ilmaisukyvyltään rikkaampaa metakieltä. Tätä voidaan pitää loogisen semantiikan lähtökohtana, jonka ydin on kyseisen formaalikielen loogisten vakioiden totuusmääritelmät. Loogisen semantiikan yleisempiä peruskäsitteitä ovat mm. looginen totuus ja seuraus (validisuus), yhteensopivuus (konsistenssi) sekä looginen ekvivalenssi. Looginen semantiikka, jossa nämä käsitteet määritellän, voi olla luonteeltaan algebrallinen, malliteoreettinen tai peliteoreettinen.

Erikieliset vastineet

logical semantics

englanti (English)

Lähikäsitteet

malliteoria (alakäsite)
semantiikka (yläkäsite)
totuusehto

Käytetyt lähteet

Niiniluoto2015b

Alaviitteet

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

Siirry tarkastelemaan sivun muokkaushistoriaa →