Metalogika

Wygląd przypnij ukryj

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ą, badający różne systemy logiczne jako teorie formalne (dedukcyjne). Wynikami metalogiki są takie twierdzenia jak np. niesprzeczność danej logiki.

Przypisy

1. ↑ Andrzej Grzegorczyk, Elementy logiki matematycznej, Wydanie II, Państwowe Wydawnictwo Naukowe, Warszawa 1969, s. 229.
2. ↑ metalogika, Encyklopedia PWN  .
3. ↑ metalogika 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, .

Podstawy matematyki

logika matematyczna	algebraiczna mereologia rachunek zdań teoria dowodu teoria modeli teoria rekursji teoria typów
metamatematyka	metalogika
teoria mnogości	opisowa arytmetyka liczb kardynalnych arytmetyka liczb porządkowych teoria PCF
teoria obliczeń	teoria obliczalności teoria złożoności
inne	teoria kategorii filozofia matematyki

Działy matematyki

działy ogólne	według trudności matematyka elementarna matematyka wyższa według celu matematyka czysta matematyka stosowana inne matematyka doświadczalna matematyka parakonsystentna supermatematyka
działy czyste	algebra elementarna liniowa i wieloliniowa abstrakcyjna algebra przemienna algebra lokalna teoria Galois różniczkowa teoria Galois teoria grup geometryczna teoria grup teoria Liego homologiczna różniczkowa uniwersalna teoria reprezentacji analiza matematyczna analiza algebraiczna analiza funkcjonalna teoria spektralna analiza geometryczna analiza globalna analiza harmoniczna analiza mikrolokalna analiza na rozmaitościach analiza niestandardowa analiza numeryczna nomografia analiza p-adyczna analiza rzeczywista analiza wektorowa analiza wielowymiarowa analiza wypukła analiza zespolona rachunek różniczkowy i całkowy rachunek wariacyjny teoria dystrybucji teoria miary teoria potencjału arytmetyka elementarna teoretyczna lub wyższa, in. teoria liczb algebraiczna algorytmiczna analityczna elementarna geometryczna teoria sit geometria absolutna afiniczna algebraiczna analityczna arytmetyczna diofantyczna dyskretna euklidesowa planimetria stereometria fraktalna inwersyjna kombinatoryczna konforemna metryczna nieeuklidesowa eliptyczna hiperboliczna sferyczna nieprzemienna obliczeniowa różniczkowa symplektyczna rzutowa skończona syntetyczna tropikalna uporządkowania wykreślna zespolona trygonometria sferyczna matematyka dyskretna kombinatoryka teoria Ramseya teoria grafów algebraiczna geometryczna spektralna topologiczna podstawy logika matematyczna algebraiczna mereologia rachunek zdań teoria dowodu teoria modeli teoria rekursji teoria typów metamatematyka metalogika teoria kategorii teoria mnogości opisowa arytmetyka liczb kardynalnych arytmetyka liczb porządkowych teoria PCF teoria obliczeń teoria obliczalności teoria złożoności teoria układów dynamicznych teoria chaosu teoria katastrof teoria ergodyczna topologia algebraiczna teoria homotopii geometryczna mnogościowa ogólna różniczkowa teoria Morse’a teoria położenia teoria węzłów teoria warkoczy teoria wymiaru pozostałe K-teoria probabilistyka rachunek różnicowy teoria osobliwości teoria porządku teoria punktu stałego
działy stosowane	nauki przyrodnicze biomatematyka chemia matematyczna fizyka matematyczna nauki społeczne ekonomia matematyczna lingwistyka matematyczna matematyka finansowa matematyka ubezpieczeniowa psychologia matematyczna socjologia matematyczna teoria głosowań nauki techniczne kryptologia teoria informacji teoria kolejek teoria sterowania statystyka matematyczna rachunek wyrównawczy statystyka nieparametryczna teoria estymacji inne teoria gier teoria decyzji
powiązane dyscypliny	ściśle naukowe dydaktyka matematyki historia matematyki inne filozofia matematyki matematyka rekreacyjna numerologia pseudomatematyka

Encyklopedia internetowa (specjalność):

• Britannica: topic/metalogic
• Universalis: metalogique
• БРЭ: 2208013