
Re: Matheology § 224
Posted:
Apr 12, 2013 9:45 AM


On 12/04/2013 3:29 AM, Alan Smaill wrote: > Nam Nguyen <namducnguyen@shaw.ca> writes: > >> But what is "metalogic of the metalanguage", in the context of FOL >> structure? Or is that at best just intuition and at worst just a >> buzzword? > > You tell us that it is possible to reason about language structures. > What logic are you using to do that  or is that at best just intuition?
I've used FOL ( _First Order Logic_ ) definitions that one should be familiar with.
If anything, notation like "this" is defined in term of FOL terminologies.
So I don't see all that historical context of "metalogic" would have anything to do with the issue of, say, whether or not it's impossible to construct the naturals as a language model.
If you could construct it, as I did construct Mg, M1, ..., then present the construction, otherwise at least for the time being admit you couldn't do it.
Why would that be such a difficult task for one to do?
  There is no remainder in the mathematics of infinity.
NYOGEN SENZAKI 

