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.
Przypisy
- ↑ 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.