Intuizionismo

Nella filosofia della matematica, l'intuizionismo, o neointuizionismo (opposto al preintuizionismo), è un approccio alla matematica in cui ogni oggetto matematico è considerato un prodotto dell'attività costruttiva della mente umana. Per l'intuizionismo, l'esistenza di un ente è equivalente alla possibilità della sua costruzione. Vengono quindi rifiutate le dimostrazioni che implicano esplicitamente l'utilizzo di insiemi a cardinalità infinita e l'utilizzo in questi casi dei ragionamenti basati sul principio del terzo escluso.

L'intuizionismo, al di fuori della matematica, è un orientamento filosofico dove la priorità è data all'intuito e alle impressioni spontanee e agli aspetti impliciti del ragionamento rispetto al ragionamento esplicito e alle argomentazioni. Fra i principali filosofi intuizionisti ci sono Rousseau, Emerson e Bergson.