Reifikace (logika)

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(\vec{x}) \equiv \top(p,\vec{x})

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

Kategorie:Matematická logika