Sort Theory — Axioms and Definitions
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.