RE: [OPE] Dialectics for the New Century

Date: Wed Apr 02 2008 - 14:00:52 EDT

I sent this to Ian (alone) by mistake.
> The objection that computation is merely "formal logic" is muddled since> computation is more abstract than any specific logic and it is not a> formal but a causal concept. Ian W: Muddled, you say?Computation refers to "any type of information processing that can be represented mathematically."  Formal logic is synonymous with mathematical logic: Computation is not "more abstract than" mathematics:rather, it is a a subject which _is_ mathematics and,hence, utilizes formal logic. Also, the very architecture of the computer is dependenton the binary system - by definition, an expression of mathematical / formal logic.  In solidarity, Jerry   

ope mailing list

This archive was generated by hypermail 2.1.5 : Wed Apr 30 2008 - 00:00:18 EDT