Teorie modelů je matematická disciplína, která je jedním z podoborů matematické logiky. Zabývá se studiem reprezentace matematických konceptů pomocí pojmů teorie množin a studiem struktur a modelů, jejich vlastností a vzájemných vztahů a také jejich vztahem k pojmům axiomatické teorie a dokazatelnosti.
Hlavní článek: Model (logika)
Model je sémantický pojem umožňující mluvit o pravdivosti (platnosti) formulí. Jeho protikladem je syntaktický pojem teorie umožňující hovořit o dokazatelnosti formulí. Vztah mezi těmito dvěma pojmy je (v klasické logice) vyjádřen Gödelovou větou o úplnosti. Studium modelů a jejich vlastností může být velmi užitečné, neboť sestrojení vhodného modelu je nejčastější způsob prokázání nedokazatelnosti některých tvrzení v jistých teoriích.
Teorie modelů se zabývá například otázkami:
- Je možné nějakou strukturu či třídu struktur věrně vystihnout nějakými axiomy? – axiomatizovatelnost
- Jaké množiny je možné v dané struktuře jednoznačně definovat pomocí nějaké formule? – definovatelnost
- Jaké jsou vztahy mezi modely dané teorie? Především:
- Kolik různých modelů existuje? – spektrum teorie
- Existují mezi těmito modely nějaké, které jsou v jistém smyslu minimální resp. maximální? – prvomodely a univerzální modely
- Existují mezi těmito modely nějaké obsahující nejmenší nutný resp. největší možný počet prvků? – atomické a saturované modely
Základní význam pro teorii modelů má Gödelova věta o úplnosti predikátové logiky, která neformálně říká, že pojmy dokazatelnosti (v teorii) a pravdivosti (v modelu) splývají, tedy zkoumání modelů může být užitečné pro zjišťování vlastností axiomatických teorií a dokazatelnosti v nich. Další podstatnou větou je věta o kompaktnosti, která poukazuje na konečný charakter pojmu pravdivosti (vyplývá-li nějaká formule z jisté množiny předpokladů, pak vyplývá i z nějaké její konečné části). Podle Löwenheim-Skolemovy věty existují pro danou bezespornou teorii modely všech mohutností větších než kardinalita jazyka. Morleyova věta o kategoričnosti navíc tvrdí, že existuje-li v nějaké takové mohutnosti jen jediný model, pak v každé takové mohutnosti existuje jen jediný model. Podle Vaughtovy "nikdy 2" věty nemůže mít úplná teorie ve spočetném jazyce právě dva spočetné modely.
Obrázky, zvuky či videa k tématu teorie modelů na Wikimedia Commons
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
