From: M Purcell on
On Jan 5, 11:09 am, John Stafford <n...(a)droffats.net> wrote:
>  M Purcell <sacsca...(a)aol.com> wrote:
> > On Jan 5, 10:13 am, John Stafford <n...(a)droffats.net> wrote:
> > > Oh! I saw the new Sherlock Holmes movie. No deductions that I could
> > > find! I can explain but it might split the subject.
>
> > Haven't seem the movie but it is my understanding that kind of
> > deduction is more a process of elimination, trying to find premises to
> > fit the conclusion.
>
> He used _abductive_ reasoning. Arg! I think I just blew-up my speel
> checker. Really, abductive.

Is this what you meant?

a classic syllogism:

All the beans from this bag are white.
These beans are from this bag.

Therefore, these beans are white.


Then we have inductive logic:

These beans are from this bag.
These beans are white.

Guess that all the beans from this bag are white.


Reasoning using abduction or retroduction is as follows:

All the beans from this bag are white.
These beans are white.

Guess that these beans are from this bag.
From: Androcles on

"M Purcell" <sacscale1(a)aol.com> wrote in message
news:83c40bb0-1a1a-4261-bb1c-a6bfb282b489(a)f5g2000yqh.googlegroups.com...
On Jan 5, 11:09 am, John Stafford <n...(a)droffats.net> wrote:
> M Purcell <sacsca...(a)aol.com> wrote:
> > On Jan 5, 10:13 am, John Stafford <n...(a)droffats.net> wrote:
> > > Oh! I saw the new Sherlock Holmes movie. No deductions that I could
> > > find! I can explain but it might split the subject.
>
> > Haven't seem the movie but it is my understanding that kind of
> > deduction is more a process of elimination, trying to find premises to
> > fit the conclusion.
>
> He used _abductive_ reasoning. Arg! I think I just blew-up my speel
> checker. Really, abductive.

Is this what you meant?

a classic syllogism:

All the beans from this bag are white.
These beans are from this bag.

Therefore, these beans are white.


Then we have inductive logic:

These beans are from this bag.
These beans are white.

Guess that all the beans from this bag are white.


Reasoning using abduction or retroduction is as follows:

All the beans from this bag are white.
These beans are white.

Guess that these beans are from this bag.
==============================================
Some distant galaxies are red-shifted.
All red-shift is caused by velocity.
The further away the galaxy is, the greater the red-shift.
Guess the universe is expanding.
Guess there was a big bonk.
Assert the guess.
THE UNIVERSE BEGAN WITH A BIG BONK BECAUSE HUBBLE
SAID SO!
He should know, they named a telescope after him.
Mars has canals, Lowell said so. He should know, they named
an observatory after him.
Does anyone, anywhere, know how to apply logic to more than beans
making five?


From: dorayme on
In article <rJP0n.9089$KM6.4972(a)newsfe02.ams2>,
"Androcles" <Headmaster(a)Hogwarts.physics_r> wrote:

> Then we have inductive logic:
>
> These beans are from this bag.
> These beans are white.
>
> Guess that all the beans from this bag are white.

That is not any form of logic at all.

--
dorayme
From: Androcles on

"dorayme" <doraymeRidThis(a)optusnet.com.au> wrote in message
news:doraymeRidThis-E0BB02.10373306012010(a)news.albasani.net...
> Then we have inductive logic:
>
> These beans are from this bag.
> These beans are white.
>
> Guess that all the beans from this bag are white.
>
> dorayme

Well done, dorayme, you guessed the bean colour.
Now all you need do is concentrate on the illogic of snipping attributions,
you pathetic imbecile.



From: Les Cargill on
Peter Webb wrote:
> Liebniz basically invented the dy/dx notation, right?
>
> What was Newton's - the f '(x) notation, or something else?
>
>

f'(x) is Lagrange's notation:

http://en.wikipedia.org/wiki/Leibniz's_notation

Newton's notation was dots over the function:

http://en.wikipedia.org/wiki/Newton's_notation

I recall *vaguely* that Liebniz invented
integration first, and Newton invented
derivatives first.

Neither were particularly rigorous - I think
it was Cauchy who first formalized limits.

--
Les Cargill