Ο διαισθητισμός είναι μια μαθηματική φιλοσοφία που υποστηρίζει ότι τα μαθηματικά είναι μια καθαρά τυπική δημιουργία του νου. Δημιουργήθηκε στις αρχές του εικοστού αιώνα από τον Ολλανδό μαθηματικό LEJ Brouwer. Ο διαισθητισμός υποστηρίζει ότι τα μαθηματικά είναι μια εσωτερική διαδικασία χωρίς περιεχόμενο, όπου οι συνεπείς μαθηματικές δηλώσεις μπορούν να συλληφθούν και να αποδειχθούν μόνο ως νοητικές κατασκευές. Υπό αυτή την έννοια, ο διαισθητισμός έρχεται σε αντίθεση με πολλές βασικές αρχές των κλασικών μαθηματικών, που υποστηρίζει ότι τα μαθηματικά είναι η αντικειμενική ανάλυση της εξωτερικής ύπαρξης.
Ο διαισθητισμός διαφέρει από τις κλασικές φιλοσοφίες των μαθηματικών, όπως ο φορμαλισμός και ο πλατωνισμός, στο ότι δεν προϋποθέτει την ύπαρξη μιας εξωτερικής μαθηματικά συνεκτικής πραγματικότητας. Επιπλέον, δεν υποθέτει ότι τα μαθηματικά είναι μια συμβολική γλώσσα που πρέπει να ακολουθεί ορισμένους σταθερούς κανόνες. Έτσι, δεδομένου ότι οι συμβολικές φιγούρες που χρησιμοποιούνται συνήθως στα μαθηματικά θεωρούνται καθαρή διαμεσολάβηση, χρησιμοποιούνται μόνο για τη μετάδοση μαθηματικών ιδεών από το μυαλό ενός μαθηματικού σε άλλο, και δεν προτείνουν από μόνες τους περαιτέρω μαθηματικές αποδείξεις. Τα μόνα δύο πράγματα που υποθέτει ο διαισθητικός είναι η επίγνωση του χρόνου και η ύπαρξη ενός δημιουργού μυαλού.
Ο διαισθητισμός και τα κλασικά μαθηματικά δίνουν το καθένα διαφορετικές εξηγήσεις για το τι σημαίνει να αποκαλούμε αληθή μια μαθηματική πρόταση. Στον διαισθητισμό, η αλήθεια μιας δήλωσης δεν ορίζεται αυστηρά από την αποδεικτικότητά της μόνο, αλλά μάλλον από την ικανότητα ενός μαθηματικού να διαισθάνεται τη δήλωση και να την αποδεικνύει με την περαιτέρω διασαφήνιση άλλων ορθολογικά συνεπών νοητικών κατασκευών.
Ο διαισθητισμός έχει σοβαρές επιπτώσεις που έρχονται σε αντίθεση με ορισμένες βασικές έννοιες στα κλασικά μαθηματικά. Ίσως το πιο διάσημο από αυτά είναι η απόρριψη του νόμου του αποκλεισμένου μέσου. Με την πιο βασική έννοια, ο νόμος του εξαιρούμενου μέσου λέει ότι είτε το “Α” είτε το “όχι Α” μπορεί να είναι αληθινό, αλλά και τα δύο δεν μπορούν να είναι αληθή ταυτόχρονα. Οι διαισθησιολόγοι υποστηρίζουν ότι είναι δυνατό να αποδειχθεί και το «Α» και το «όχι το Α», εφόσον μπορούν να κατασκευαστούν νοητικές κατασκευές που αποδεικνύουν το καθένα με συνέπεια. Υπό αυτή την έννοια, η απόδειξη στον συλλογισμό της διαισθητικότητας δεν αφορά την απόδειξη εάν υπάρχει ή όχι το «Α», αλλά αντίθετα ορίζεται από το εάν και το «Α» και το «όχι Α» μπορούν να κατασκευαστούν συνεκτικά και με συνέπεια ως μαθηματικές δηλώσεις στο μυαλό.
Αν και ο διαισθητισμός δεν έχει υποκαταστήσει ποτέ τα κλασικά μαθηματικά, εξακολουθεί να λαμβάνει μεγάλη προσοχή σήμερα. Η μελέτη του διαισθητισμού έχει συνδεθεί με μεγάλο βαθμό προόδου στη μελέτη των μαθηματικών, καθώς αντικαθιστά τις έννοιες σχετικά με την αφηρημένη αλήθεια με έννοιες σχετικά με την αιτιολόγηση των μαθηματικών κατασκευών. Έχει επίσης δοθεί κάποια επεξεργασία σε άλλους κλάδους της φιλοσοφίας για την ανησυχία του με έναν εξιδανικευμένο και παν-υποκειμενικό δημιουργό νου, ο οποίος έχει συγκριθεί με τη φαινομενολογική αντίληψη του Husserl για το «υπερβατικό υποκείμενο».