
Re: Matheology S 224
Posted:
Apr 14, 2013 4:33 PM


On 14/04/2013 1:05 PM, fom wrote: > On 4/14/2013 1:51 PM, Peter Percival wrote: >> Nam Nguyen wrote: >> >>> The difficulty in the Mx quantifier is actually a reflection on the >>> need of introducing to FOL new logical quantifiers: >>> >>>  Ix (There are infinitely many x's) >>>  Fx (There are finitely many x's) >> >> So called "generalized quantifiers" have been studied. Mostowski comes >> to mind. >> >>> And of one of the new "AntiInference" rules is: >>> >>>  From Fx one shall _not_ infer Ex. >> >> And Lukasiewicz used rules of rejection. >> >> So that'll be two more diversions to keep you from proving you claim >> about cGC and ~cGC being unknowable. >> > > And, the "not infering Ex" from some other > quantifier is clearly not the paradigm > of first order logic.
If one reads my post there one would realize that I've never claimed "not inferring Ex" is in the paradigm of the current first order logic.
> So much for any claims concerning "standard FOL".
Why don't you read my post there carefully.
  There is no remainder in the mathematics of infinity.
NYOGEN SENZAKI 

