Re: Re: On the ontological status of elementary arithmetic

2012-11-15 Thread Roger Clough
: Re: On the ontological status of elementary arithmetic On 11/3/2012 9:13 AM, Roger Clough wrote: Necessary truths are/were/shall be always true. They can't be invented, they have to be discovered. Numbers are such. Yes, but not just discovered, they must be communicable. Arithmetic

Re: Re: On the ontological status of elementary arithmetic

2012-11-10 Thread Roger Clough
: everything-list Time: 2012-11-09, 13:22:37 Subject: Re: On the ontological status of elementary arithmetic On 11/9/2012 11:17 AM, Roger Clough wrote: Hi Stephen P. King In idealism, physics is conceptual, so things must happen as they're supposed to. Hi Roger

Re: Re: On the ontological status of elementary arithmetic

2012-11-09 Thread Roger Clough
: everything-list Time: 2012-11-08, 08:36:43 Subject: Re: On the ontological status of elementary arithmetic On 11/8/2012 6:29 AM, Roger Clough wrote: Hi Stephen P. King You don't need to throw anything. Parabolas are completely described mathematically. OK, what

Re: On the ontological status of elementary arithmetic

2012-11-09 Thread Stephen P. King
On 11/9/2012 11:17 AM, Roger Clough wrote: Hi Stephen P. King In idealism, physics is conceptual, so things must happen as they're supposed to. Hi Roger, And this happens without an expectation of an explanation as to how it is the case? You see, I reject this idea because there is an

Re: On the ontological status of elementary arithmetic

2012-11-08 Thread Bruno Marchal
On 08 Nov 2012, at 01:42, Stephen P. King wrote: On 11/7/2012 12:46 PM, Bruno Marchal wrote: On 07 Nov 2012, at 17:16, Stephen P. King wrote: On 11/7/2012 9:43 AM, Bruno Marchal wrote: On 06 Nov 2012, at 17:05, Stephen P. King wrote: On 11/6/2012 8:33 AM, Bruno Marchal wrote: snip

Re: Re: On the ontological status of elementary arithmetic

2012-11-08 Thread Roger Clough
Receiver: everything-list Time: 2012-11-07, 19:42:25 Subject: Re: On the ontological status of elementary arithmetic On 11/7/2012 12:46 PM, Bruno Marchal wrote: On 07 Nov 2012, at 17:16, Stephen P. King wrote: On 11/7/2012 9:43 AM, Bruno Marchal wrote: On 06 Nov 2012, at 17:05, Stephen P

Re: On the ontological status of elementary arithmetic

2012-11-08 Thread Stephen P. King
/2012 Forever is a long time, especially near the end. -Woody Allen - Receiving the following content - From: Stephen P. King Receiver: everything-list Time: 2012-11-07, 19:42:25 Subject: Re: On the ontological status of elementary arithmetic On 11/7/2012 12:46 PM, Bruno Marchal wrote

Re: On the ontological status of elementary arithmetic

2012-11-07 Thread Bruno Marchal
On 06 Nov 2012, at 17:05, Stephen P. King wrote: On 11/6/2012 8:33 AM, Bruno Marchal wrote: On 05 Nov 2012, at 17:31, Stephen P. King wrote: On 11/5/2012 11:24 AM, Bruno Marchal wrote: Hi Bruno, I am using the possibility of a claim to make my argument, not any actual instance of a

Re: On the ontological status of elementary arithmetic

2012-11-07 Thread Bruno Marchal
On 07 Nov 2012, at 17:16, Stephen P. King wrote: On 11/7/2012 9:43 AM, Bruno Marchal wrote: On 06 Nov 2012, at 17:05, Stephen P. King wrote: On 11/6/2012 8:33 AM, Bruno Marchal wrote: snip This is not convincing as we can make statical interpretation of actions. In physics this is

Re: On the ontological status of elementary arithmetic

2012-11-07 Thread Stephen P. King
On 11/7/2012 12:46 PM, Bruno Marchal wrote: On 07 Nov 2012, at 17:16, Stephen P. King wrote: On 11/7/2012 9:43 AM, Bruno Marchal wrote: On 06 Nov 2012, at 17:05, Stephen P. King wrote: On 11/6/2012 8:33 AM, Bruno Marchal wrote: snip This is not convincing as we can make statical

Re: On the ontological status of elementary arithmetic

2012-11-06 Thread Bruno Marchal
On 05 Nov 2012, at 17:31, Stephen P. King wrote: On 11/5/2012 11:24 AM, Bruno Marchal wrote: Hi Bruno, I am using the possibility of a claim to make my argument, not any actual instance of a claim. There is a difference. In comp there are claims that such and such know or believe or

Re: On the ontological status of elementary arithmetic

2012-11-06 Thread Stephen P. King
On 11/6/2012 8:33 AM, Bruno Marchal wrote: On 05 Nov 2012, at 17:31, Stephen P. King wrote: On 11/5/2012 11:24 AM, Bruno Marchal wrote: Hi Bruno, I am using the possibility of a claim to make my argument, not any actual instance of a claim. There is a difference. In comp there are

Re: Re: On the ontological status of elementary arithmetic

2012-11-05 Thread Roger Clough
is a long time, especially near the end. -Woody Allen - Receiving the following content - From: Bruno Marchal Receiver: everything-list Time: 2012-11-04, 12:51:59 Subject: Re: On the ontological status of elementary arithmetic On 03 Nov 2012, at 19:27, Stephen P. King wrote: On 11

Re: Re: On the ontological status of elementary arithmetic

2012-11-05 Thread Roger Clough
the following content - From: Stephen P. King Receiver: everything-list Time: 2012-11-04, 11:37:58 Subject: Re: On the ontological status of elementary arithmetic On 11/4/2012 12:37 AM, meekerdb wrote: On 11/3/2012 11:06 PM, Stephen P. King wrote: On 11/3/2012 10:35 PM, meekerdb wrote

Re: Re: On the ontological status of elementary arithmetic

2012-11-05 Thread Roger Clough
: everything-list Time: 2012-11-04, 11:55:27 Subject: Re: On the ontological status of elementary arithmetic On 11/4/2012 9:45 AM, Bruno Marchal wrote: On 03 Nov 2012, at 13:06, Stephen P. King wrote: On 11/3/2012 6:08 AM, Bruno Marchal wrote: Dear Bruno, No, that cannot be the case

Re: On the ontological status of elementary arithmetic

2012-11-05 Thread Stephen P. King
On 11/5/2012 7:58 AM, Roger Clough wrote: Hi Stephen, I wouldn't be too hard on Russell, at least as far as logic goes. He had no way of knowing of Godel's proof. And Whitehead had joined him in the principia project. Certainly two of the brightest minds that ever lived. Roger Clough,

Re: On the ontological status of elementary arithmetic

2012-11-05 Thread Stephen P. King
On 11/5/2012 8:50 AM, Roger Clough wrote: Hi Stephen P. King Science is based on and produces facts. I don't think you would want to call these facts opinions unless they referred to global warming. Roger Clough, rclo...@verizon.net 11/5/2012 Forever is a long time, especially near the end.

Re: On the ontological status of elementary arithmetic

2012-11-05 Thread Stephen P. King
On 11/5/2012 8:53 AM, Roger Clough wrote: Hi Stephen P. King Do you know of any comp outputs that we could examine ? I myself worship data. Roger Clough, rclo...@verizon.net 11/5/2012 Forever is a long time, especially near the end. -Woody Allen Hi Roger, Ask Bruno. I think that he has

Re: On the ontological status of elementary arithmetic

2012-11-05 Thread Bruno Marchal
On 04 Nov 2012, at 17:55, Stephen P. King wrote: On 11/4/2012 9:45 AM, Bruno Marchal wrote: On 03 Nov 2012, at 13:06, Stephen P. King wrote: On 11/3/2012 6:08 AM, Bruno Marchal wrote: Dear Bruno, No, that cannot be the case since statements do not even exist if the framework or

Re: On the ontological status of elementary arithmetic

2012-11-05 Thread Stephen P. King
On 11/5/2012 11:24 AM, Bruno Marchal wrote: Hi Bruno, I am using the possibility of a claim to make my argument, not any actual instance of a claim. There is a difference. In comp there are claims that such and such know or believe or bet. I am trying to widen our thinking of how the

Re: On the ontological status of elementary arithmetic

2012-11-05 Thread Stephen P. King
On 11/5/2012 11:24 AM, Bruno Marchal wrote: What is the possible value of a statement that we can make no claims about? We can make claim about them, but we don't need to do that for them being true or false. Who are the we that you refer to? The universal numbers, or better the

Re: Re: On the ontological status of elementary arithmetic

2012-11-05 Thread Roger Clough
- From: Stephen P. King Receiver: everything-list Time: 2012-11-03, 13:33:49 Subject: Re: On the ontological status of elementary arithmetic On 11/3/2012 9:13 AM, Roger Clough wrote: Necessary truths are/were/shall be always true. They can't be invented, they have to be discovered

Re: On the ontological status of elementary arithmetic

2012-11-04 Thread Bruno Marchal
On 03 Nov 2012, at 13:06, Stephen P. King wrote: On 11/3/2012 6:08 AM, Bruno Marchal wrote: Dear Bruno, No, that cannot be the case since statements do not even exist if the framework or theory that defines them does not exist, therefore there is not 'truth' for a non-exitence

Re: On the ontological status of elementary arithmetic

2012-11-04 Thread Stephen P. King
On 11/4/2012 12:37 AM, meekerdb wrote: On 11/3/2012 11:06 PM, Stephen P. King wrote: On 11/3/2012 10:35 PM, meekerdb wrote: On 11/3/2012 8:11 PM, Stephen P. King wrote: On 11/3/2012 8:21 PM, meekerdb wrote: Horsefeathers http://www.merriam-webster.com/dictionary/horsefeathers! How is the

Re: On the ontological status of elementary arithmetic

2012-11-04 Thread Stephen P. King
On 11/4/2012 9:45 AM, Bruno Marchal wrote: On 03 Nov 2012, at 13:06, Stephen P. King wrote: On 11/3/2012 6:08 AM, Bruno Marchal wrote: Dear Bruno, No, that cannot be the case since statements do not even exist if the framework or theory that defines them does not exist, therefore

Re: On the ontological status of elementary arithmetic

2012-11-04 Thread Bruno Marchal
On 03 Nov 2012, at 19:27, Stephen P. King wrote: On 11/3/2012 8:38 AM, Roger Clough wrote: Hi Stephen P. King Bertrand Russell was a superb logician but he was not infallible with regard to metaphysics. He called Leibniz's metaphysics an enchanted land and confessed that he hadn't a clue to

Re: On the ontological status of elementary arithmetic

2012-11-04 Thread Stephen P. King
On 11/4/2012 12:51 PM, Bruno Marchal wrote: On 03 Nov 2012, at 19:27, Stephen P. King wrote: On 11/3/2012 8:38 AM, Roger Clough wrote: Hi Stephen P. King Bertrand Russell was a superb logician but he was not infallible with regard to metaphysics. He called Leibniz's metaphysics an enchanted

Re: On the ontological status of elementary arithmetic

2012-11-03 Thread Bruno Marchal
On 02 Nov 2012, at 22:03, Stephen P. King wrote: On 11/2/2012 12:55 PM, Bruno Marchal wrote: On 01 Nov 2012, at 21:42, Stephen P. King wrote: On 11/1/2012 11:39 AM, Bruno Marchal wrote: Enumerate the programs computing functions fro N to N, (or the equivalent notion according to your

Re: On the ontological status of elementary arithmetic

2012-11-03 Thread Stephen P. King
On 11/3/2012 6:08 AM, Bruno Marchal wrote: Dear Bruno, No, that cannot be the case since statements do not even exist if the framework or theory that defines them does not exist, therefore there is not 'truth' for a non-exitence entity. Brent already debunked this. The truth of a

Re: On the ontological status of elementary arithmetic

2012-11-03 Thread Stephen P. King
On 11/3/2012 6:08 AM, Bruno Marchal wrote: Russell is still a pregödelian philosophers. Gödel refutes his general philosophy of math in a precise way. Any idea in what book or paper is Gödel's refutation? I wish to read this! -- Onward! Stephen -- You received this message because

Re: Re: On the ontological status of elementary arithmetic

2012-11-03 Thread Roger Clough
is a long time, especially near the end. -Woody Allen - Receiving the following content - From: Stephen P. King Receiver: everything-list Time: 2012-11-02, 17:03:42 Subject: Re: On the ontological status of elementary arithmetic On 11/2/2012 12:55 PM, Bruno Marchal wrote

Re: Re: On the ontological status of elementary arithmetic

2012-11-03 Thread Roger Clough
:06:59 Subject: Re: On the ontological status of elementary arithmetic On 11/3/2012 6:08 AM, Bruno Marchal wrote: Dear Bruno, No, that cannot be the case since statements do not even exist if the framework or theory that defines them does not exist, therefore there is not 'truth

Re: On the ontological status of elementary arithmetic

2012-11-03 Thread Jason Resch
On Fri, Nov 2, 2012 at 4:03 PM, Stephen P. King stephe...@charter.netwrote: Dear Bruno, No, that cannot be the case since statements do not even exist if the framework or theory that defines them does not exist, therefore there is not 'truth' for a non-exitence entity. Stephen, in

Re: On the ontological status of elementary arithmetic

2012-11-03 Thread Stephen P. King
On 11/3/2012 8:38 AM, Roger Clough wrote: Hi Stephen P. King Bertrand Russell was a superb logician but he was not infallible with regard to metaphysics. He called Leibniz's metaphysics an enchanted land and confessed that he hadn't a clue to what the meaning of pragmatism is. Hi Roger,

Re: On the ontological status of elementary arithmetic

2012-11-03 Thread Stephen P. King
On 11/3/2012 9:13 AM, Roger Clough wrote: Necessary truths are/were/shall be always true. They can't be invented, they have to be discovered. Numbers are such. Yes, but not just discovered, they must be communicable. Arithmetic or had to exist before man or the Big Bang woujld not have

Re: On the ontological status of elementary arithmetic

2012-11-03 Thread Stephen P. King
On 11/3/2012 1:30 PM, Jason Resch wrote: On Fri, Nov 2, 2012 at 4:03 PM, Stephen P. King stephe...@charter.net mailto:stephe...@charter.net wrote: Dear Bruno, No, that cannot be the case since statements do not even exist if the framework or theory that defines them does

Re: On the ontological status of elementary arithmetic

2012-11-03 Thread meekerdb
On 11/3/2012 7:06 AM, Stephen P. King wrote: On 11/3/2012 6:08 AM, Bruno Marchal wrote: Dear Bruno, No, that cannot be the case since statements do not even exist if the framework or theory that defines them does not exist, therefore there is not 'truth' for a non-exitence entity.

Re: On the ontological status of elementary arithmetic

2012-11-03 Thread Stephen P. King
On 11/3/2012 8:21 PM, meekerdb wrote: Horsefeathers http://www.merriam-webster.com/dictionary/horsefeathers! How is the truth of an arithmetic statement separable from any claim of that truth? What is the possible value of a statement that we can make no claims about? You are causing

Re: On the ontological status of elementary arithmetic

2012-11-03 Thread meekerdb
On 11/3/2012 8:11 PM, Stephen P. King wrote: On 11/3/2012 8:21 PM, meekerdb wrote: Horsefeathers http://www.merriam-webster.com/dictionary/horsefeathers! How is the truth of an arithmetic statement separable from any claim of that truth? What is the possible value of a statement that we can

Re: On the ontological status of elementary arithmetic

2012-11-03 Thread Stephen P. King
On 11/3/2012 10:35 PM, meekerdb wrote: On 11/3/2012 8:11 PM, Stephen P. King wrote: On 11/3/2012 8:21 PM, meekerdb wrote: Horsefeathers http://www.merriam-webster.com/dictionary/horsefeathers! How is the truth of an arithmetic statement separable from any claim of that truth? What is the

Re: On the ontological status of elementary arithmetic

2012-11-03 Thread meekerdb
On 11/3/2012 11:06 PM, Stephen P. King wrote: On 11/3/2012 10:35 PM, meekerdb wrote: On 11/3/2012 8:11 PM, Stephen P. King wrote: On 11/3/2012 8:21 PM, meekerdb wrote: Horsefeathers http://www.merriam-webster.com/dictionary/horsefeathers! How is the truth of an arithmetic statement separable

Re: On the ontological status of elementary arithmetic

2012-11-02 Thread Bruno Marchal
On 01 Nov 2012, at 21:42, Stephen P. King wrote: On 11/1/2012 11:39 AM, Bruno Marchal wrote: Enumerate the programs computing functions fro N to N, (or the equivalent notion according to your chosen system). let us call those functions: phi_0, phi_1, phi_2, ... (the phi_i) Let B be a

Re: On the ontological status of elementary arithmetic

2012-11-02 Thread Stephen P. King
On 11/2/2012 12:55 PM, Bruno Marchal wrote: On 01 Nov 2012, at 21:42, Stephen P. King wrote: On 11/1/2012 11:39 AM, Bruno Marchal wrote: Enumerate the programs computing functions fro N to N, (or the equivalent notion according to your chosen system). let us call those functions: phi_0,