Filosofia:universumi
universumi | perusjoukko | diskurssiuniversumi
| universumi | |||
| perusjoukko | |||
| diskurssiuniversumi |
Määritelmä
niiden olioiden tai asioiden joukko, johon tarkasteltavan teorian käsitteiden tai termien ajatellaan, tarkoitetaan tai tulkitaan soveltuvan
Selite
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.
Lisätiedot
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 28.1.2026: Filosofia:universumi. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:universumi.)