Filosofia:malliteoria

From Tieteen termipankki
Jump to: navigation, search

malliteoria

malliteoria
Definition matemaattisen logiikan haara, joka koskee kielen ja sen tulkintojen tai rakenteiden yhteyttä
Explanation Malliteorialle keskeistä on niiden ehtojen luonnehdinta joiden alaisena lause on rakenteen puolesta totta. Tässä lauseen malli on kielen rakenne, josssa se on totta. Malliteoria kehitettiin alun perin eksplisiittisesti rakennetuille, muodollisille kielille matematiikan perusteiden tutkimiseksi, mutta sitä sovellettiin myöhemmin empiiristen teorioiden semanttiseen analyysiin (Evert Beth (1908-1964)).
Ensimmäisen kertaluvun logiikan piirissä malliteoriaa sovelsi Alfred Tarski (1901-1983), mutta jo tätä ennen syntyi ns. Löwenheim-Skolem-teoreema, jonka mukaan kaikillä pätevillä lauseilla on laskettavissa oleva malli, ja että ensimmäisen kertaluvun logiikka on pätevä perusta metamatemaattisille tutkimuksille. Myöhemmin on tutkittu laajennettua malliteoriaa ja malliteorian suhdetta toisen kertaluvun logiikkaan.

Equivalents

model theoryenglanti

Related Concepts

Sources

AudiR1995

References

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


Siirry tarkastelemaan sivun muokkaushistoriaa →