H. Post's conception of quantal particles as ‘non-individuals’ is set in a formal logico-mathematical framework. By means of this approach certain metaphysical implications of quantum mechanics can be further explored.