Metalogika
| Ten artykuł od 2021-12 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary) Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu. |
Metalogika – dział logiki matematycznej powiązany z metamatematyką[1], badający różne systemy logiczne jako teorie formalne (dedukcyjne)[2][3]. Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki[potrzebny przypis].
Przypisy
Linki zewnętrzne
- Meta-logic (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18].
- p
- d
- e
Podstawy matematyki
logika matematyczna |
|
---|---|
metamatematyka |
|
teoria mnogości |
|
teoria obliczeń |
|
inne |
- p
- d
- e
Działy matematyki
działy ogólne |
| ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
działy czyste | |||||||||||
działy stosowane |
| ||||||||||
powiązane dyscypliny |
|
Encyklopedia internetowa (specjalność):
- Britannica: topic/metalogic
- Universalis: metalogique
- БРЭ: 2208013