11 relasjoner: Bertrand Russell, Boolsk algebra, Filosofisk logikk, Gottlob Frege, Logikk, Matematikk, Mengdelære, Metamatematikk, Predikatlogikk, Setningslogikk, Vitenskapsteori.
Bertrand Russell
Bertrand Arthur William Russell, den 3.
Ny!!: Matematisk logikk og Bertrand Russell · Se mer »
Boolsk algebra
Boolsk algebra er algebra med variabler som kun kan ha to tilstander eller verdier.
Ny!!: Matematisk logikk og Boolsk algebra · Se mer »
Filosofisk logikk
Filosofisk logikk er de områder av filosofien hvor de anerkjente metoder for logikk innenfor klassisk logikk har blitt brukt til å løse or videreføre diskusjonen om filosofiske problemer.
Ny!!: Matematisk logikk og Filosofisk logikk · Se mer »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (født 8. november 1848 i Wismar i Tyskland, død 26. juli 1925 i Bad Kleinen i Tyskland) var en tysk matematiker, logiker og filosof, som anses som en av opphavsmennene til matematisk logikk og analytisk filosofi.
Ny!!: Matematisk logikk og Gottlob Frege · Se mer »
Logikk
Logikk er læren om lovene og reglene som gjør tenkningen, resonneringen og argumentasjonen gyldig («logisk»).
Ny!!: Matematisk logikk og Logikk · Se mer »
Matematikk
Euklid blir av mange regnet som geometriens far, her i et maleri av Rafael. Matematikk kan beskrives som en gruppe relaterte emner der en studerer objekter karakterisert med størrelse, orientering og/eller form, og også relasjoner mellom disse objektene.
Ny!!: Matematisk logikk og Matematikk · Se mer »
Mengdelære
Mengdelære er den matematiske teorien om mengder, som representerer samlinger av abstrakte objekter.
Ny!!: Matematisk logikk og Mengdelære · Se mer »
Metamatematikk
Metamatematikk er den matematiske betraktningen av matematikkens grunnlag.
Ny!!: Matematisk logikk og Metamatematikk · Se mer »
Predikatlogikk
Predikatlogikk (også predikatkalkyle eller kvantorlogikk) er en gren av logikken som analyserer setninger som inneholder kvantorer («alle», «noen», «ingen» osv.) og variabler.
Ny!!: Matematisk logikk og Predikatlogikk · Se mer »
Setningslogikk
Setningslogikk (også utsagnslogikk, proposisjonslogikk eller junktorlogikk) er en grunnleggende gren av den moderne logikken.
Ny!!: Matematisk logikk og Setningslogikk · Se mer »
Vitenskapsteori
Vitenskapsteori eller vitenskapsfilosofi er den grenen av filosofien som undersøker vitenskap(ene) og dens/deres struktur, metodikk, grunnlag og betydning.
Ny!!: Matematisk logikk og Vitenskapsteori · Se mer »