Reifikace je v logice způsob reprezentace objektů vyššího řádu pomocí objektů řádů nižších. V případě logických formulí jde například o reprezentaci formule řádu n formulí řádu n-1.
Je-li n-ární predikát, lze v logice prvního řádu zavést jako reifikaci konstantu následovně:
Takto reifikovaný predikát umožňuje práci s na úrovni prvního řádu, například . Díky Henkinově konstrukci kanonických modelů má každá bezesporná teorie model. Uvedený způsob reifikace se používá v sémantice přirozených jazyků.
Zdroj
Poslední aktualizace obsahu: 2023-12-30 12:11:49
Zdroj: Wikipedia (autoři článku Reifikace (logika))
Licence textu: CC-BY-SA-3.0 Unported
Tento článek byl automaticky přejat z Wikipedie. Na obrázcích nebyly provedeny žádné změny. Obrázky se zobrazují ve zmenšené velikosti (jako miniatury). Kliknutím na obrázek získáte další informace o autorovi a licenci. Byly změněny prvky designu, odstraněny některé odkazy specifické pro Wikipedii (např. odkazy na Editaci a nebo na neexistující hesla) a provedena optimalizace pro rychlé načítání.