Thanks for the fast reply and the link. Reading it now.
"There are only a finite number of grains of sand."
^ Can you explain why this cannot be translated into PL1?
Thanks again.
Hey,
I'm studying Predicate Logic at the moment and I can't seem to wrap my head around the way that english sentences would convert into second order logic. What kind of sentence can be faithfully represented in PL2 but not in PL1? Sorry if this isn't the appropriate section; I'm actually in...