Logiche non standard Claudio Pizzi Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] non meritevoli di trattazione indipendente. Questo riduzionismo, rappresentato nel XX sec. soprattutto dalla filosofia di Willard Van Orman Quine, a parte le diverse difficoltà teoriche in cui incorre, appare oggi anacronistico in quanto la logica ... Leggi Tutto

La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi Gabriele Lolli La teoria degli insiemi La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] definiscano classi, si hanno teorie impredicative, più forti. Un posto a parte merita la teoria del 1937 di Willard van Orman Quine, indicata con NF dal titolo New foundations of mathematical logic dell'articolo in cui è stata presentata. In questa ... Leggi Tutto