Tell me more ×
Philosophy Stack Exchange is a question and answer site for those interested in logical reasoning. It's 100% free, no registration required.
up vote 0 down vote favorite

I'm trying to solve a proof problem related to Frege's construction of number. The problem is:

Show that, for any numbers x and y, if S*xy, z is the successor of x and w is the successor of y, then S*zw. [Hint. Given an S-hereditary concept F that holds of z, define an S-hereditary concept that holds of x. Be careful to be explicit on how you’re using the fact that S is one-one.]

If anyone could solve this or give me some direction I'd appreciate it.

share|improve this question
4  
Is this a homework question? If so, I'd not want to solve it for you. But I will give an answer that should help you. – Dennis Feb 20 at 20:10
3  
Oh, and some clarificatory questions. Is S* here the successor relation? Or is it the ancestral of the successor relation (or some other relation)? I suspect the latter. – Dennis Feb 21 at 0:15
1  
Well, I'm putting in a vote to close pending some clarification from the OP. In its current form this question is unanswerable. – Dennis Feb 22 at 0:20
Is there any chance you might be able to clarify the context of the question a bit further? – Joseph Weissman♦ Feb 22 at 0:27

closed as not a real question by Dennis, Joseph Weissman♦ Feb 22 at 0:27

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, see the FAQ.