Dan Christensen wrote:Isn't it more a case of Zuhair seeing something positive in PRA, viz
> > > On Sep 25, 7:57 am, Zuhair <zaljo...@gmail.com> wrote:
> > > > I want to construct sets in a manner that is quantifier free.
> > > What is your motivation? What's wrong with quantifiers? They are easy
> > > Aren't you just introducing an alternate notation to express Ax P(x)
> > Yes the language of this theory is a restriction of FOL, it is
> Again, what do you see as the problem with the usual quantifiers?
that it is thought to capture finitistic reasoning and is therefore
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.