Argomenti di Indispensabilità in Filosofia della Matematica

Supponiamo che vi siano teorie scientifiche vere, o comunque ben confermate, e che certe teorie matematiche risultino indispensabili, in qualche modo da specificare, per queste teorie scientifiche. Se assumiamo che queste teorie scientifiche possano essere vere (o confermate) solo a condizione che siano vere (o confermate) le teorie matematiche cui esse ricorrono in maniera indispensabile, dobbiamo concludere che anche queste ultime sono vere, o almeno confermate. Se inoltre crediamo che le teorie matematiche in questione parlino di un dominio di oggetti, e che possano essere vere (o confermate) solo a condizione che questi oggetti esistano (o che sia giustificato ritenere che esistano), dobbiamo concludere che questi oggetti esistono (o che è giustificato ritenere che esistano). Questa è l'idea fondamentale alla base dell'argomento di indispensabilità, inizialmente suggerito da Quine e Putnam, e attualmente oggetto di un vasto dibattito. L'argomento, apparentemente semplice, si basa in realtà su una serie di assunzioni discutibili, e fa appello a nozioni controverse. Anche per questo, diverse sue versioni possono essere formulate e discusse.