A formal framework for quantum non-individuality

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.The authors would like to thank Prof. Newton C. A. da Costa and the anonymous referee for their comments and suggestions. S. French would also to thank his colleagues at Southeast Missouri State University for their support during the preparation of this work.