Filosofia:looginen semantiikka
looginen semantiikka
| 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
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 3.12.2024: Filosofia:looginen semantiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:looginen semantiikka.)