Re: Logical types

2011-03-08 Thread Andrew Soltau
On 06/03/11 20:06, Bruno Marchal wrote: On 06 Mar 2011, at 14:24, Andrew Soltau wrote: On 05/03/11 14:46, Bruno Marchal wrote: I appreciate your point on the logical types. Now, to base them on a physics, taken a priori, will prevent the solution of the computationalist mind body problem

Re: Logical types

2011-03-06 Thread Bruno Marchal
On 06 Mar 2011, at 14:24, Andrew Soltau wrote: On 05/03/11 14:46, Bruno Marchal wrote: I appreciate your point on the logical types. Now, to base them on a physics, taken a priori, will prevent the solution of the computationalist mind body problem. Elementary arithmetic, and any

Logical types

2011-03-06 Thread Andrew Soltau
On 05/03/11 14:46, Bruno Marchal wrote: I appreciate your point on the logical types. Now, to base them on a physics, taken a priori, will prevent the solution of the computationalist mind body problem. Elementary arithmetic, and any universal system, defines automatically many logical types