Filosofia:malliteoria

Kohteesta Tieteen termipankki
Loikkaa: valikkoon, hakuun

malliteoria

malliteoria
Määritelmä matemaattisen logiikan haara, joka koskee kielen ja sen tulkintojen tai rakenteiden yhteyttä
Selite 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.

Vieraskieliset vastineet

model theoryenglanti

Lähikäsitteet

Käytetyt lähteet

AudiR1995

Alaviitteet

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