I didn't really mean part of the natural world in that way, although maybe it is that way...
I just mean in the same way as a computer program is part of the natural world, or what ever that program computes.
I'm not sure how computer memory works these days, but magnetic fields, and electric currents are part of the natural world, and what ever mechanism by which we think, be it chemical or electric signals, metaphysical properties, they too are part of the natural world.
I think it is an important point because I think we take our understanding of logic as being objective and separate from nature, where as in fact it is very much part of it, and what is logical to us may not be logical from another perspective.
I like the Gödel's incompleteness theorem stuff, or at least my understanding of it, which isn't very technical, but I like the idea that nothing can really be proved, and think that that might mean that logic is subjective, and in another reality/universe maybe the rules of a triangle are different to Pythagoras', or maybe pi has a different value, or maybe there is no such thing as a circle.