Pochopení transverberace ve formálních systémech

Transverberace je termín, který vytvořil matematik a filozof Gottlob Frege, aby popsal typ sebereference, který vzniká v určitých formálních systémech. Je to jev, ke kterému dochází, když výrok nebo vzorec obsahuje odkaz na sebe, ať už přímo, nebo nepřímo.… Podrobněji se o výroku říká, že je transverberovaný, pokud obsahuje kvantifikátor (jako například „pro všechny“ nebo „existuje“ ), který se pohybuje přes množinu všech příkazů nebo vzorců v systému, včetně příkazu samotného. To může vést k paradoxním nebo nekonzistentním důsledkům, protože výrok může odkazovat sám na sebe způsobem, který není v souladu s jeho vlastním významem.…… Uvažujme například výrok „tato věta je nepravdivá“. Pokud předpokládáme, že toto tvrzení je pravdivé, pak musí být nepravdivé, což znamená, že nemůže být pravdivé. To vytváří logický rozpor a výrok je prý transverberovaný.……Transverberace je jev, který vzniká v určitých formálních systémech, jako je Peanova aritmetika, kde může vést k paradoxním důsledkům. Byl také studován v kontextu teorie modelů a teorie důkazů, kde se používá k prozkoumání omezení formálních systémů a povahy sebereference.