Logical consequence for nominalists

Abstract

It has repeatedly been argued that nominalistic programmes in the philosophy of mathematics fail, since they will at some point or other involve the notion of logical consequence which is unavailable to the nominalist. In this paper we will argue that this is not the case. Using an idea of Nelson Goodman and W.V. Quine's which they developed in Goodman and Quine (1947) and supplementing it with means that should be nominalistically acceptable, we present a way to explicate logical consequence in a nominalistically acceptable way.