Antirealismo: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: Modifico: pt:Antirrealismo |
m Bot: accenti |
||
Riga 7:
Secondo l'intuizionismo (antirealista riguardo agli oggetti matematici), la [[verità]] di una proposizione matematica risiede nella nostra capacità di dimostrarla. In accordo con i platonisti ([[realismo filosofico|realisti]]), la verità di una proposizione risiede nella propria aderenza alla realtà oggettiva. Così, gli intuizionisti accettano una proposizione in forma "P o Q" come vera solo se è possibile dimostrare P oppure dimostrare Q: ciò è chiamato [[proprietà della disgiunzione]].
In particolare, non è possibile, in generale, dichiarare che "P o non P" è vero (il [[tertium non datur|principio del terzo escluso]]), poiché in alcuni casi non è possibile dimostrare
Dummett dedusse che la nozione intuizionista di verità costituisce la base di varie forme classiche di antirealismo. Egli usa questa nozione per reinterpretare il [[fenomenalismo]], sostenendo che esso non debba necessariamente assumere la forma di un [[riduzionismo]] (spesso considerato non sostenibile).
|