Металогіка
З Вікіпедії, безкоштовно encyclopedia
Металогіка — вивчення метатеорії логіки. На відміну від логіки, яка досліджує способи застосування логічних систем для доведень і спростувань, металогіка досліджує властивості самих логічних систем. Виділяють синтаксис і семантику в логіці.
Область дослідження металогіки: формальні мови, формальні системи та їх інтерпретації.
Окремі питання металогіки відомі з часів Аристотеля, однак тільки з появою формальних мов у кінці XIX ст — на поч. XX ст. цей напрямок у науці отримав свій розвиток.
Металогіка і метаматематика часто розглядаються як синоніми та вивчаються в рамах математичної логіки.