Logica intuizionista
Da Wikipedia, l'enciclopedia encyclopedia
La logica intuizionista (o intuizionistica), o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico.
Secondo la prospettiva intuizionista, la logica e la matematica sono le applicazioni di metodi internamente coerenti per la realizzazione di costrutti mentali di complessità crescente. La logica intuizionista si propone come una rigorosa e formale logica matematica. Benché non sia chiaro se un calcolo logico formale esaurisca gli aspetti più spiccatamente filosofici dell'intuizionismo, esso mostra delle proprietà piuttosto utili nella pratica scientifica.