The Evans Argument, Properties and Ddiff
Parsons (Terence)
Source: Parsons - Indeterminate Identity, 2000, Chapter 4
Paper - Abstract

Paper StatisticsColour-ConventionsDisclaimer

Analytic TOC1

  1. Gareth Evans's 1978 argument disproving the existence of indeterminate identity is discussed. On a simple analysis it appeals to the (invalid) contrapositive version of Leibniz's Law2; on a deeper analysis it presumes incorrectly that the formula '∇(x = a)' expresses a property (the property of being indeterminately identical with a).
  2. The proof is an RAA of the hypothesis that that formula expresses a property. This fact is not due to non-extensionality or to anything like the semantic paradoxes; instead it is akin to the "paradoxes" of naive set theory, due to the fact that identity is defined in terms of global quantification over all (worldly) properties.
  3. A test for whether a formula 'φx' expresses a worldly property is whether it satisfies the principle that joint (determinate) satisfaction and (determinate) dissatisfaction of the formula makes a "Definite Difference" in the identity of the objects in question; that is, that there are no objects x and y such that 'φx' & '!¬ φy' are both true, along with '∇x = y'.
  4. If a formula satisfies this principle, then an abstract, 'λxφx', constructed from it stands for a worldly property; otherwise we can either say that it does not stand for a property, or that it stands for a non-worldly "conceptual" property.

In-Page Footnotes

Footnote 1: Taken from "Parsons (Terence) - Indeterminate Identity: Analytical Table of Contents".

Text Colour Conventions (see disclaimer)

  1. Blue: Text by me; © Theo Todman, 2019
  2. Mauve: Text by correspondent(s) or other author(s); © the author(s)

© Theo Todman, June 2007 - March 2019. Please address any comments on this page to File output:
Website Maintenance Dashboard
Return to Top of this Page Return to Theo Todman's Philosophy Page Return to Theo Todman's Home Page