modellteori

modellteori, gren av den matematiska logiken som studerar relationer mellan formaliserade teorier och de strukturer eller modeller som teorierna kan handla om.

Den mest välutvecklade delen av modellteorin behandlar första ordningens teorier, dvs. teorier som formaliserats med hjälp av det predikatlogiska språket. En struktur (eller möjlig modell) till en sådan teori T består av en domän D och en tolkning av de deskriptiva konstanterna i T. Om

Litteraturanvisning

Medverkande

Dag Prawitz

Källangivelse

Vill du komma åt hela artikeln?
  • Objektiv och pålitlig kunskap.

  • Prova det, du kommer att gilla det!

  • Marknadsledare i Sverige.