Металогіка — вивчення метатеорії логіки.
На відміну від логіки, яка досліджує способи застосування логічних систем для доведень і спростувань, металогіка досліджує властивості самих логічних систем. Виділяють синтаксис і семантику в логіці.
Область дослідження металогіки: формальні мови, формальні системи та їх інтерпретації.
Окремі питання металогіки відомі з часів Аристотеля, однак тільки з появою формальних мов у кінці XIX ст — на поч. XX ст. цей напрямок у науці отримав свій розвиток.
Металогіка і метаматематика часто розглядаються як синоніми та вивчаються в рамах математичної логіки.
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |
Це незавершена стаття з логіки. Ви можете допомогти проєкту, виправивши або дописавши її. |
This article uses material from the Wikipedia Українська article Металогіка, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Вміст доступний на умовах CC BY-SA 4.0, якщо не вказано інше. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Українська (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.