Filosofia:universumi
universumi | perusjoukko | diskurssiuniversumi
| universumi | |||
| perusjoukko | |||
| diskurssiuniversumi |
niiden olioiden tai asioiden joukko, johon tarkasteltavan teorian käsitteiden tai termien ajatellaan, tarkoitetaan tai tulkitaan soveltuvan
Loogisten kielten malliteoreettisessa semantiikassa, kielen ei-loogisille vakioille määritellään jokin sovellusalue, jossa ne saavat tulkinnan. Tätä sovellusaluetta kutsutaan mallin universumiksi tai perusjoukoksi. Ensimmäisen kertaluvun kielen L mallit M koostuvat mallin yksilöiden universumista tai perusjoukosta X ja tulkintafunktiosta V, joka antaa tulkinnan kielen L ei-loogisille vakioille universumissa X. L-malli M = <X,V> on siis aina sidottu kieleen L ja jos universumia X tai tulkintaa V vähänkin muutetaan, kyseessä on eri malli. Mallin universumin yksilöt eivät välttämättä ole konkreettisia reaalimaailman yksilöitä, vaan ne voivat olla myös ideaalisia (ideaalimallit) kuvitteellisia (fiktio) ajateltavissa olevia olioita.
Termiä "universumi" käytetään myös viittaamaan maailmankaikkeuteen metafyysisessa tai fysikaalisessa mielessä.
Erikieliset vastineet
| domain | englanti (English) | |
| universe of discourse | englanti (English) |
Lähikäsitteet
- ei-looginen vakio (funktiosuhde)
- looginen kieli (funktiosuhde)
- malli (osakäsite)
- malliteoria
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.2.2026: Filosofia:universumi. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:universumi.)