Metalogika

Wikipedia:Weryfikowalność
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: Google Books • Google Scholar • 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ą, badający różne systemy logiczne jako teorie formalne (dedukcyjne). Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki[potrzebny przypis].

Przypisy

  1. ↑ Andrzej Grzegorczyk, Elementy logiki matematycznej, Wydanie II, Państwowe Wydawnictwo Naukowe, Warszawa 1969, s. 229.
  2. ↑ metalogika, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2022-02-12].
  3. ↑ metalogika [w:] Encyklopedia Popularna PWN, Państwowe Wydawnictwo Naukowe, Warszawa 1986, ISBN 83-01-01-750-3, s. 462.

Linki zewnętrzne