Significato e conoscenza

Il libro rintraccia in primo luogo l'origine delle teorie neoverificazioniste del significato nell'intuizionismo matematico, da un lato, e in particolare nella concezione della matematica e della logica di Brouwer e Heyting, e dall'altro nelle idee di Gentzen sul modo di caratterizzare il significato delle costanti logiche mediante regole per il loro uso corretto. In secondo luogo descrive come le due tradizioni, intuizionista e formalista, confluiscono nel pensiero di Dummett, Prawitz e Martin-Löf, concorrendo nell'articolazione di una teoria antirealista del significato. Infine mette in evidenza alcuni nodi problematici irrisolti della teoria, e suggerisce spunti per uno sviluppo della teoria più aderente all'ispirazione intuizionista.