Full Text

existential generalization


Subject Philosophy

DOI: 10.1111/b.9781405106795.2004.x


Extract

L ogic A rule of inference in predicate calculus that introduces existential quantifiers . If a statement fa contains a free variable a , it can be generalized into (∃ x ) fx . Using an example in ordinary language, we can generalize from “Socrates is mortal” to “Someone is mortal.” Existential generalization is a process that generates an existentially quantified statement from one instance of it. This is valid on the assumption of predicate logic that at least one thing exists in the universe. Existential generalization contrasts with existential instantiation , which generates one instance, say fa , from an existentially quantified statement like (∃ x ) fx . “Existential generalization … carries us from a theorem f to a theorem (∃x)Ψ where φ is like Ψ except for containing free occurrences of ‘y’ in all the positions in which Ψ contains free occurrences of ‘x’.” Quine, From a Logical Point of View ... log in or subscribe to read full text

Log In

You are not currently logged-in to Blackwell Reference Online

If your institution has a subscription, you can log in here:

 

     Forgotten your password?

Find out how to subscribe.

Your library does not have access to this title. Please contact your librarian to arrange access.


[ access key 0 : accessibility information including access key list ] [ access key 1 : home page ] [ access key 2 : skip navigation ] [ access key 6 : help ] [ access key 9 : contact us ] [ access key 0 : accessibility statement ]

Blackwell Publishing Home Page

Blackwell Reference Online ® is a Blackwell Publishing Inc. registered trademark
Technology partner: Semantico Ltd.

Blackwell Publishing and its licensors hold the copyright in all material held in Blackwell Reference Online. No material may be resold or published elsewhere without Blackwell Publishing's written consent, save as authorised by a licence with Blackwell Publishing or to the extent required by the applicable law.

Back to Top