logisisme

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

logisisme
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

Kommentaren din publiseres her. Fagansvarlig eller redaktør svarer når de kan.

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

eller registrer deg