Strumenti Utente

Strumenti Sito


Action disabled: source
db:logica_intuizionista

Logica intuizionista

Approfondimenti

Info

Quest'argomento non è collegato ad altri approfondimenti correlati. Si consiglia, in ogni caso, di controllare sempre [ l'Indice ] degli Approfondimenti

Questa pagina è solo improntata in attesa di completamento da parte dei Collaboratori. Se sei interessato a collaborare attivamente con Extrapedia, leggi come fare [ Collabora ]

La Logica intuizionista, a volte più generalmente chiamata Logica costruttiva, si riferisce a sistemi di Logica simbolica che differiscono da quelli usati per la Logica classica, rispecchiando più da vicino la nozione di prova costruttiva. In particolare, i sistemi di Logica intuizionista non includono la legge dell'eliminazione della doppia negazione, che sono regole fondamentali di inferenza nella Logica classica. La Logica intuizionista è un esempio all'interno di di logiche non classiche chiamate logiche paracomplete: logiche che rifiutano di affermare tautologicamente la Legge del terzo escluso.

La Logica intuizionista formalizzata, fu originariamente sviluppata da Arend Heyting, per fornire una base formale per il programma di intuizionismo di Luitzen Egbertus Jan Brouwer. Da una prospettiva profondamente teorica, il calcolo di Heyting è una restrizione della Logica classica.


Qualora alcuni link non funzionassero, si prega di comunicarlo allo Staff - staff@extrapedia.org


db/logica_intuizionista.txt · Ultima modifica: 13/04/2019 16:06 (modifica esterna)