Redigerer Matematisk logikk

'''Matematisk logikk''' er et begrep som kan brukes i flere, noe ulike betydninger:<ref>{{Kilde bok
| forfatter=P. Schroeder-Heister
| redaktør=J. Mittelstraß
| utgivelsesår=1995
| artikkel=Logik, mathematische
| tittel=Enzyklopädie Philosophie und Wissenschaftstheorie. Band 2: H–O
| utgivelsessted=Stuttgart
| forlag=Metzler
| side=677f}}</ref>
# ''Matematisk logikk'' brukes nå vanligvis som en samlebetegnelse for [[bevisteori]], [[mengdelære]], [[modellteori]] og [[rekursjonsteori]].<ref>{{Kilde bok
| forfatter=J.H. Alnes
| redaktør=P. Henriksen m.fl.
| utgivelsesår=1997
| artikkel=Logikk
| tittel=Aschehoug og Gyldendals store norske leksikon
| utgave=3
| utgivelsessted=Oslo
| forlag=Kunnskapsforlaget
| bind=9
| side=621&ndash;622}}</ref> I&nbsp;så fall er den matematiske logikken en delgren av [[logikk]]en og [[matematikk]]en, og nært beslekta med [[metamatematikk]]en. Denne forståelsen av ''matematisk logikk'' går tilbake til 1970-tallet.<ref>{{Kilde bok
| redaktør=J.  Barwise
| utgivelsesår=1977
| tittel=Handbook of Mathematical Logic
| utgivelsessted=Amsterdam
| forlag=North Holland}}</ref>
# ''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 [[logisisme]]n (f.eks. hos [[Gottlob Frege|Frege]]<ref>{{Kilde bok
| redaktør=G. Frege
| utgivelsesår=1884
| tittel=Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl
| utgivelsessted=Breslau
| forlag=Koebner
| url=https://archive.org/details/diegrundlagende01freggoog}}</ref> og [[Bertrand Russell|Russell]]<ref>{{Kilde bok
| redaktør=B. Russell
| utgivelsesår=1912
| tittel=The Problems of Philosophy
| utgivelsessted=London
| forlag=Williams & Norgate}}</ref>), som ser på matematikken som en delgren av logikken.

== Referanser ==
<references />

{{Autoritetsdata}}

[[Kategori:Matematisk logikk]]