Ο Ιντουισιονισμός είναι ένας γενικός όρος για ένα φιλοσοφικό ρεύμα που αντιτίθεται στον νόμο της απόκλιση του τρίτου. Ως νόμος της του τρίτου αποκλίσεως ονομάζεται η εξής: Έστω Α μία πρόταση. Τότε συμβαίνει το Α ή δεν συμβαίνει το Α. Τα μαθηματικά που αποδέχονται τον νόμο αυτό χαρακτηρίζονται ως κλασικά ενώ τα μαθηματικά που τον απορρίπτουν ιντουισιονιστικά. Οι ιντουισιονιστές απορρίπτουν το νόμο αυτό καθώς μαρτυρά μία πίστη στην ανεξάρτητη ύπαρξη των μαθηματικών αντικειμένων και αποτελεί μία συνέπεια του οντολογικού ρεαλισμού. Έτσι τα μαθηματικά που προκύπτουν είναι πολύ διαφορετικά από τα κλασικά μαθηματικά με κύριο χαρακτηριστικό τη χρήση καθαρά κατασκευαστικών αποδείξεων, καθώς απορρίπτονται όλες οι αποδείξεις που χρησιμοποιούν την απαγωγή σε άτοπο.
Η ιντουισιονιστική σχολή δημιουργήθηκε γύρω στο 1908 με τον Ολλανδό μαθηματικό L. E. J. Brouwer ενώ σημαντικότερος διάδοχος του αποτέλεσε ο Α. Heyting που ανέπτυξε μία αυστηρή διατύπωση της ιντουισιονιστικής λογικής που καλείται και κατηγορηματικός λογισμός του Heyting.
