Re: A possible structure isomorphic to reality

On 04 Dec 2010, at 18:50, Brian Tenneson wrote: On Dec 4, 2:52 am, Bruno Marchal wrote: I just said that if M1 < M2, then M1 [=] M2. This means that M2 needs higher order logical formula to be distinguished from M1. Elementary embeddings (<) are a too much strong notion of model theory. It i

Re: Against Mechanism

On Mon, Nov 29, 2010 at 2:36 AM, Jason Resch wrote: > On Sun, Nov 28, 2010 at 10:15 PM, Rex Allen wrote: >> On Sat, Nov 27, 2010 at 4:06 PM, Jason Resch wrote: >>> On Sat, Nov 27, 2010 at 12:49 PM, Rex Allen >>> wrote: "Information" is just a catch-all term for "what is being represen