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
- ↑ Andrzej Grzegorczyk, Elementy logiki matematycznej, Wydanie II, Państwowe Wydawnictwo Naukowe, Warszawa 1969, s. 229.
- ↑ metalogika, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2022-02-12] .
- ↑ metalogika [w:] Encyklopedia Popularna PWN, Państwowe Wydawnictwo Naukowe, Warszawa 1986, ISBN 83-01-01-750-3, s. 462.
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 zajęcia |
|
Encyklopedie internetowe (specjalność):
- Britannica: topic/metalogic
- Universalis: metalogique
- БРЭ: 2208013