Re: The semantic view of theories and higher-order languages

2019-02-10 Thread Bruno Marchal
> On 3 Feb 2019, at 04:35, Russell Standish wrote: > > On Sun, Jan 20, 2019 at 04:06:49PM +0100, Bruno Marchal wrote: >> >> But when used in physics, this type of inductive inference assume not only a >> reality, but a “brain-mind” identity, which is not consistent with the >> mechanist

Re: The semantic view of theories and higher-order languages

2019-02-10 Thread Russell Standish
On Sun, Jan 20, 2019 at 04:06:49PM +0100, Bruno Marchal wrote: > > But when used in physics, this type of inductive inference assume not only a > reality, but a “brain-mind” identity, which is not consistent with the > mechanist hypothesis. > How so? All it assumes is that there is a

Re: The semantic view of theories and higher-order languages

2019-01-20 Thread Bruno Marchal
> On 19 Jan 2019, at 00:14, John Clark wrote: > > On Fri, Jan 18, 2019 at 8:30 AM Bruno Marchal > wrote: > > >Nwe cannot assume, neither a physical universe, nor analysis or set theory. > >Since recently, I have realised that we cannot even assume the induction >

Re: The semantic view of theories and higher-order languages

2019-01-18 Thread John Clark
On Fri, Jan 18, 2019 at 8:30 AM Bruno Marchal wrote: *>Nwe cannot assume, neither a physical universe, nor analysis or set > theory. Since recently, I have realised that we cannot even assume the > induction axioms,* Induction says that things are usually pretty much the same from one moment

Re: The semantic view of theories and higher-order languages

2019-01-18 Thread Philip Thrift
On Friday, January 18, 2019 at 7:30:14 AM UTC-6, Bruno Marchal wrote: > > > On 18 Jan 2019, at 09:49, Philip Thrift > > wrote: > > > *The semantic view of theories and higher-order languages* > Laurenz Hudetz > https://link.springer.com/article/10.1007/s11229-017-1502-0 > > "every family of

Re: The semantic view of theories and higher-order languages

2019-01-18 Thread Bruno Marchal
> On 18 Jan 2019, at 09:49, Philip Thrift wrote: > > > The semantic view of theories and higher-order languages > Laurenz Hudetz > https://link.springer.com/article/10.1007/s11229-017-1502-0 > > "every family of set-theoretic structures has an associated language of > higher-order logic and