Metalogika
Ten artykuł od 2021-12 wymaga zweryfikowania podanych informacji. |
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[edytuj | edytuj kod]
- ↑ Andrzej Grzegorczyk, Elementy logiki matematycznej, Wydanie II, Państwowe Wydawnictwo Naukowe, Warszawa 1969, s. 229.
- ↑ metalogika, [w:] Encyklopedia PWN [online] [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[edytuj | edytuj kod]
Meta-logic (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18].
Encyklopedia internetowa (specjalność):