Logica intuizionista: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
m disambigua, fix vari AWB |
||
Riga 1:
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==
Riga 26:
==Collegamenti esterni==
{{SEP|logic-intuitionistic}}
[[Categoria:Logica]]▼
{{Portale|Filosofia}}
▲[[Categoria:Logica]]
[[cs:Intuicionistická logika]]
| |||