Re: Dreaming On

2009-09-11 Thread Flammarion
On 10 Sep, 14:56, David Nyman david.ny...@gmail.com wrote: 2009/9/9 Flammarion peterdjo...@yahoo.com: What you say above seems pretty much in sympathy with the reductio arguments based on arbitrariness of implementation. It is strictly an argument against the claim that computation

Re: Dreaming On

2009-09-11 Thread Flammarion
On 10 Sep, 23:09, David Nyman david.ny...@gmail.com wrote: 2009/9/10 Brent Meeker meeke...@dslextreme.com: But isn't that because the computational in CTM is abstracted away from a context in which there is action and purpose. It's the same problem that leads to the question, Does a

Re: Dreaming On

2009-09-11 Thread Bruno Marchal
Brent, I guess you know my reply to this, but I want to make it clear, for the benefit of the general discussion. I add a point though. On 10 Sep 2009, at 21:27, Brent Meeker wrote: But isn't that because the computational in CTM is abstracted away from a context in which there is action

Re: Yablo, Quine and Carnap on ontology

2009-09-11 Thread Flammarion
On 4 Sep, 22:12, Bruno Marchal marc...@ulb.ac.be wrote: On 04 Sep 2009, at 19:21, Flammarion wrote: ... Bruno has been arguign that numbers exist because there are true mathematical statements asserting their existence. The counterargument is that existence in mathematical statements

Re: Yablo, Quine and Carnap on ontology

2009-09-11 Thread Bruno Marchal
On 11 Sep 2009, at 17:45, Flammarion wrote: On 4 Sep, 22:12, Bruno Marchal marc...@ulb.ac.be wrote: On 04 Sep 2009, at 19:21, Flammarion wrote: ... Bruno has been arguign that numbers exist because there are true mathematical statements asserting their existence. The counterargument is