Lògica intuïcionista
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
Sistema de lògica desenvolupat per Arend Heyting, en 1930, d'acord amb els principis de l'intuïcionisme matemàtic de L. Brouwer, i acceptat per aquest com a adequada formulació lògica de les exigències del raonament intuïcionista. Aquesta lògica suposa un cert rigorisme metodològic que, malgrat seguir les regles de deducció desplegades en els Principia Matematica, no accepta el principi del tercer exclòs ni el de la doble negació així com tampoc tota disjunció de la qual no pugui provar-se la veritat d'almenys un dels seus membres.