Citations of:
Identities, Distinctnesses, Truthmakers, and Indiscernibility Principles
Logique Et Analyse 43 (169170):145183 (2000)
Add citations
You must login to add citations.


Using the HilbertBernays account as a springboard, we first define four ways in which two objects can be discerned from one another, using the nonlogical vocabulary of the language concerned. Because of our use of the HilbertBernays account, these definitions are in terms of the syntax of the language. But we also relate our definitions to the idea of permutations on the domain of quantification, and their being symmetries. These relations turn out to be subtlesome natural conjectures about them are (...) 