Sort Theory — Axioms and Definitions

  • A. F. Parker-Rhodes
Part of the Synthese Library book series (SYLI, volume 150)


I have now explained the basic idea of ‘indistinguishability’, and expounded briefly the necessarily somewhat novel semantic theory required to design a proper notation in which we may discuss indistinguishables with mathematical rigour. I have also examined in some detail the logical problems arising from any attempt to link empirical data with a hopefully explanatory theory, in the case where the latter involves indistinguishables of any kind. Guided by the immediate goal, suggested by this analysis, and using the notation F with the rules of interpretation given in Chapter II, I start now on the systematic exposition of one theory of the triparitous type.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© D. Reidel Publishing Company, Dordrecht, Holland 1981

Authors and Affiliations

  • A. F. Parker-Rhodes

There are no affiliations available

Personalised recommendations