Reifikace (logika)

Šablona:Neověřeno 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 $P$ n-ární predikát, lze v logice prvního řádu zavést jako reifikaci $P$ konstantu $p$ následovně:

$P(\overrightarrow{x})\equiv \mathrm{\top }(p,\overrightarrow{x})$

Takto reifikovaný predikát umožňuje práci s $P$ na úrovni prvního řádu, například $\mathrm{\forall }P.P(x)\equiv \mathrm{\forall }p.\mathrm{\top }(p,x)$. 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ů.