Logisisme er det syn at aritmetikken (eventuelt også geometrien) kan reduseres til logikk. De klassiske forsvarerne av dette synet, som begge endte med å forkaste det, er Gottlob Frege og Bertrand Russell.

Faktaboks

Uttale
logisˈisme
Etymologi
av logikk og -isme

Også de logiske positivistene mente at aritmetikken er en del av logikken. Kurt Gödels ufullstendighetsbevis (i On Formally Undecidable Propositions of Prinicipia Mathematica and Related Systems I, 1931) betraktes av mange som det endelige beviset for at det logisistiske programmet ikke kan realiseres.

Les mer i Store norske leksikon

Kommentarer

Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.

Du må være logget inn for å kommentere.

eller registrer deg