Filosofia:malliteoria
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, jossa 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.
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.
Erikieliset vastineet
| model theory | englanti (English) |
Lähikäsitteet
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.11.2024: Filosofia:malliteoria. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:malliteoria.)