Re: To observe is to......EC

2006-11-11 Thread Colin Geoffrey Hales
As I stuff my head with the bird menagerie, and try to see if I need to breed a new bird, I find that EC is best thought of as a form of combinatorics (as you thought, Bruno!). Is there anyone out there who has any intuitions as to which bird(s) would correspond to 'coherence' or 'symmetry breaki

Re: Numbers, Machine and Father Ted

2006-11-11 Thread 1Z
Bruno Marchal wrote: > Le 11-nov.-06, à 01:09, 1Z a écrit : > > > No, because there are no possible worlds where (2^32582657)-1 > > is not a prime number. > > This is for me a typical "arithmetical realist" statement. Most philosophers who use the "possible worlds" terminology do nothing PW's a

Re: Numbers, Machine and Father Ted

2006-11-11 Thread Bruno Marchal
Le 11-nov.-06, à 01:09, 1Z a écrit : > No, because there are no possible worlds where (2^32582657)-1 > is not a prime number. This is for me a typical "arithmetical realist" statement. > Causality , as opposed > to material implication, requires contingency. Yes. And grosso modo there will

RE: Numbers, Machine and Father Ted

2006-11-11 Thread Stathis Papaioannou
Tom Caylor writes: > Brent Meeker wrote: > > OK. But I'd say that in fact almost no one believes something without any > > evidence, i.e. on *blind* faith. Religious faith is usually belief based > > on *selected* evidence; it is "faith" because it is contrary to the total > > evidence. B