Talk:Existential generalization

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Mid-priority)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Mid Priority
 Field:  Foundations, logic, and set theory


I am reading Quine at the moment (quintessence, extensionalism, Reference and Modality. From this I would like to add to this article:

Universal instantiation and Existential Generalization are two aspects of a single principle, for instead of saying that '(x(x=x)' implies 'Socrates is Socrates', we could as well say that the denial 'Socrates≠Socrates' implies '(∃x(x≠x)'. The principle embodied in these two operations is the link between quantifications and the singular statements that are related to them as instances. Yet it is a principle only by courtesy. It holds only in the case where a term names and, furthermore, occurs referentially[1].

Any ideas, remarks, or changes?
--Fan Singh Long (talk) 05:57, 6 February 2012 (UTC)
Ok, since no one has seen fit to leave any comments at all, I will edit the article now.
--Fan Singh Long (talk) 06:42, 13 February 2012 (UTC)
    • ^ Quine,W.V.O., Quintessence, Extensionalism, Reference and Modality, P366