Metalogic
Translation of "metalogic" into Russian
metalogic
NounUK
/ˌmɛtəˈlɒdʒɪk/
US
/ˌmɛtəˈlɑdʒɪk/
metalogic
metalogics pl
Metalogic is a branch of logic that studies the properties of logical systems.
Металогика — это раздел логики, изучающий свойства логических систем.
Definitions
metalogic
NounUK
/ˌmɛtəˈlɒdʒɪk/
US
/ˌmɛtəˈlɑdʒɪk/
The study of the properties of logical systems and the relationships between different logical systems.
Metalogic explores the consistency and completeness of various logical frameworks.
metalogic
AdjectiveUK
/ˌmɛtəˈlɒdʒɪk/
US
/ˌmɛtəˈlɑdʒɪk/
Relating to or characteristic of metalogic as a field of study.
The seminar focused on metalogic issues surrounding proof theory.