Vad är intuitionism?

Intuitionism är en matematisk filosofi som anser att matematik är en rent formell skapande av sinnet.Det har sitt ursprung i början av det tjugonde århundradet av den nederländska matematikern L.E.J.Brouwer.Intuitionism hävdar att matematik är en intern, innehålls-tom process där konsekventa matematiska uttalanden endast kan tänkas och bevisas som mentala konstruktioner.I denna mening strider intuitionism många kärnprinciper för klassisk matematik, som anser att matematik är den objektiva analysen av yttre existens.

intuitionism skiljer sig från klassiska filosofier av matematik, till exempel formalism och platonism, genom att den inte antar existensen avEn extern matematiskt sammanhängande verklighet.Dessutom antar det inte att matematik är ett symboliskt språk som måste följa vissa fasta regler.Eftersom symboliska figurer som vanligtvis används i matematik betraktas således ren medling, används de bara för att överföra matematiska idéer från en matematiker till en annan och inte i sig själva antyder ytterligare matematiska bevis.De enda två sakerna som intuitionism antog är medvetenheten om tid och förekomsten av ett skapande sinne.

Intuitionism och klassisk matematik utgör var och en olika förklaringar av vad det innebär att kalla ett matematiskt uttalande sant.I intuitionism definieras inte sanningen om ett uttalande strikt av dess bevislighet, utan snarare av en matematikernas förmåga att intuitera uttalandet och bevisa det genom ytterligare klargöring av andra rationellt konsekventa mentala konstruktioner.

Intuitionism har allvarliga konsekvenser som motsäger vissa viktiga begrepp i klassisk matematik.Det kanske mest kända av dessa är avvisningen av lagen i det uteslutna mitten.I den mest grundläggande meningen säger lagen i det uteslutna mitten att antingen "A" eller "inte A" kan vara sant, men båda kan inte vara sanna samtidigt.Intuitionister anser att det är möjligt att bevisa både ”A” och ”inte A” så länge mentala konstruktioner kan byggas som bevisar var och en konsekvent.I detta avseende handlar bevis i intuitionistiska resonemang inte med att bevisa om ”A” finns eller inte, utan definieras istället av om både ”A” och ”inte A” kan konstrueras sammanhängande och konsekvent som matematiska uttalanden i sinnet.

Även om intuitionism aldrig har ersatt klassisk matematik får den fortfarande stor uppmärksamhet idag.Studien av intuitionism har förknippats med en stor grad av framsteg i studien av matematik, eftersom den ersätter begrepp om abstrakt sanning med begrepp om motiveringen av matematiska konstruktioner.Det har också fått en viss behandling i andra filialer av filosofi för dess oro med ett idealiserat och pan-subjektivt som skapar sinne, som har jämförts med Husserls fenomenologiska uppfattning om det ”transcendentala ämnet.”