extensionality love

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. The principle that objects are equal if and only if their observed properties are the same, regardless of internal processes that lead to those properties.
  • n. The principle that functions are equal if and only if they operate on the same domain and for any given element of the domain the result of each of the functions is the same.
  • n. The principle, codified in the axiom of extensionality, that sets are equal if and only if they contain the same elements.

Etymologies

Sorry, no etymologies found.

Examples

  • For Grice, the admission that "intensionality seems to be imbedded in the very foundations of language" doesn't preclude "extensionality."

    Post-Secular Conviviality

  • However, it turns out that this is not generally the case unless one assumes extensionality.

    Wild Dreams Of Reality, 3

  • And since Lowe (1953) many authors have expressed discomfort with such entities regardless of extensionality.

    Wild Dreams Of Reality, 3

  • (One philosopher who explicitly accepts extensionality but feels uneasy about scattered entities is Chisholm 1987.)

    Wild Dreams Of Reality, 3

  • In other words, fully unrestricted composition calls for extensionality, on pain of giving up both supplementation principles.

    Wild Dreams Of Reality, 3

  • So it is not entirely surprising that as long as proper parthood is well behaved, as per (P. 4), extensionality might pop up like this in the presence of substantive composition principles.

    Wild Dreams Of Reality, 3

  • But their independent motivation also bears witness to the fact that controversies about the necessity of extensionality, and particularly about (28), stem from genuine and fundamental philosophical conundrums and cannot be assessed by appealing to our intuitions about the meaning of

    Wild Dreams Of Reality, 3

  • Concerning the necessity of mereological extensionality, i.e., the left-to-right conditional in the consequent of (27):

    Wild Dreams Of Reality, 3

  • Moreover, and independently, if ξ were just overlap, then (P. 13ξ) would be unacceptable for anyone unwilling to embrace mereological extensionality.

    Wild Dreams Of Reality, 3

  • For example, the extensionality theorem of EM, (27), says that composite things with the same proper parts are identical, but in the presence of indeterminacy this may call for qualifications.

    Wild Dreams Of Reality, 3

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.