On 05/03/11 14:46, Bruno Marchal wrote:

I appreciate your point on the logical types. Now, to base them on aphysics, taken a priori, will prevent the solution of thecomputationalist mind body problem. Elementary arithmetic, and anyuniversal system, defines automatically many logical types (like thearithmetical modalities of self-references and their variants) and theUDA shows that you have to reduce the physical modalities tomodalities of self-reference, relativize to the UD or the sigma_1 truth.

## Advertising

`The logical types I am referring to embrace any and all computations and`

`computational types. The constructs, algorithms, structures or elements`

`of any computation are of the first logical type. The sequence of steps`

`of a computation is of a second, different, logical type. Iteration, the`

`carrying out of the sequence of steps of a computation of a third,`

`different again, logical type. These considerations are not based on a`

`physics, rather the analysis of the way any system, including a physical`

`system, evolves in time due to change, is based on these logical types.`

Andrew -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.