Matematisk logikk
From Wikipedia, the free encyclopedia
Matematisk logikk er et begrep som kan brukes i flere, noe ulike betydninger:[1]
- Matematisk logikk brukes nå vanligvis som en samlebetegnelse for bevisteori, mengdelære, modellteori og rekursjonsteori.[2] I så fall er den matematiske logikken en delgren av logikken og matematikken, og nært beslekta med metamatematikken. Denne forståelsen av matematisk logikk går tilbake til 1970-tallet.[3]
- Matematisk logikk kan brukes synonymt med formal logikk, som betegner den «moderne logikken» (dvs. fra 1840-tallet), som bedrives med «matematisk nøyaktighet», dvs. boolsk algebra, setningslogikk og predikatlogikk.
- Det kan betegne «matematikk bedrevet med logiske metoder» og brukes i så fall som motsetning til filosofisk logikk.
- Til slutt kan matematisk logikk være ensbetydende med matematikkens logikk (eller matematikkens vitenskapsteori). Denne betydningen legges f.eks. til grunn av logisismen (f.eks. hos Frege[4] og Russell[5]), som ser på matematikken som en delgren av logikken.