Meta-logical

Перевод слова "meta-logical" на Русский язык

Прилагательное

meta-logical

Technical term; typically non-gradable.

Термин из логики; относится к металогике

Meta-logical investigations examine whether a deductive system can derive every true statement expressible within its language.

Металогические исследования изучают, может ли дедуктивная система вывести каждое истинное высказывание, выразимое в её языке.

Прилагательное

Relating to the branch of logic that studies the formal properties (such as consistency, completeness, and soundness) of logical systems themselves.

Meta-logical investigations examine whether a deductive system can derive every true statement expressible within its language.