Metalogika

dział logiki matematycznej

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 edytuj

↑ Andrzej Grzegorczyk, Elementy logiki matematycznej, Wydanie II, Państwowe Wydawnictwo Naukowe, Warszawa 1969, s. 229.
↑ metalogika, [w:] Encyklopedia 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 edytuj

Meta-logic (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-06-18].

Encyklopedia internetowa (specjalność):

Źródło: „https://pl.wikipedia.org/w/index.php?title=Metalogika&oldid=70960306”