Differenze tra le versioni di "Logica intuizionista"

Jump to navigation Jump to search
m
disambigua, fix vari AWB
m (disambigua, fix vari AWB)
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 (matematica)|calcolo]] logico formale esaurisca gli aspetti più spiccatamente [[filosofia|filosofici]] dell'intuizionismo, esso mostra delle proprietà piuttosto utili nella pratica [[scienza|scientifica]].
 
==Logica intuizionistica come paradigma del ragionamento logico==
==Collegamenti esterni==
{{SEP|logic-intuitionistic}}
 
[[Categoria:Logica]]
 
{{Portale|Filosofia}}
 
[[Categoria:Logica]]
 
[[cs:Intuicionistická logika]]

Menu di navigazione