On 18 November 2014 00:44, Bruno Marchal <[email protected]> wrote:

>
> On 17 Nov 2014, at 07:21, meekerdb wrote:
>
>  On 11/16/2014 7:15 PM, Bruce Kellett wrote:
>>
>>> meekerdb wrote:
>>>
>>>>
>>>> On 11/16/2014 10:51 AM, LizR wrote:
>>>>
>>>>> On 17 November 2014 00:31, Bruno Marchal <[email protected] <mailto:
>>>>> [email protected]>> wrote:
>>>>>
>>>>>
>>>>>    Heisenberg was influenced by the positivism of the time (The
>>>>>    Vienna circles, the young Wittgenstein, etc.). That was very bad
>>>>>    philosophy, and we can say that is is virtually abandoned.
>>>>>    Positivism is easily shown self-defeating or just an
>>>>>    instrumentalism which abandon fundamental research.
>>>>>
>>>>> Isn't that the Popperian view - falsification and so on - that David
>>>>> Deutsch is so keen on in FOR? Or am I getting my wires crossed? If it is, 
>>>>> I
>>>>> didn't know it had been abandoned.
>>>>>
>>>>
>>>> I think Deutsch takes the view that explanation is the important
>>>> function of science, whereas positivist eschew explanation and aim for
>>>> prediction.  Being falsifiable in principle is still considered an
>>>> essential attribute of any scientific theory, but "in principle" can be
>>>> pretty broadly intepreted.
>>>>
>>>
>>> It is a while since I read Deutsch, but I think one could categorize his
>>> position as that of a (super)realist. Positivism does not really eschew
>>> explanation: the characteristic of positivism is that observation is
>>> paramount and theoretical terms are accepted only in so far as they can be
>>> reduced to observational statements. This philosophy has gone out of
>>> fashion as people have realized that not all theoretical terms can be so
>>> reduced. The realist position is that the theoretical terms of
>>> well-established scientific theories actually correspond to 'elements of
>>> reality', or parts of 'the furniture of the world'. Deutsch takes this to
>>> extremes with his claim that quantum computing 'proves' the existence of
>>> the many worlds of MWI.
>>>
>>
>> I agree.  And there's a good reason not to use terms like "proves", when
>> there are alternative explanations (e.g. t'Hooft's superdeterminism).  The
>> scientist's reason for entertaining different formulations and
>> interpretations of a theory is that they may suggest extensions of the
>> theory, not because he wants the certainty of "proof".
>>
>
> Concerning positivism and Popper (and Deutsch) I agree with you and with
> Bruce. I hope this answers Liz, and John Clark.
>

I think so. IIRC Popper was one of DD's "4 strands" in FOR, so he is
obviously keen on his approach - but it looks like his approach was more
extreme than I realised. DD certainly thinks explanation is key, and if
Popper thinks it's a sort of add-on extra that puts them rather at odds. I
guess Tegmark's "reducing the baggage allowance of physics" is a bit along
the same lines as eschewing explanation that can't be turned into
statements about observations - at least in principle - but he stops at a
bedrock of maths, which presumably positivists wouldn't think was valid.

>
> I also avoid use of "proof" in applied science (especially when applied in
> the search of reality). I use proof only relative to a theory, and in that
> case, the notion of "proof" is itself an object of a theory (even if
> embeddable in arithmetic).
>
> But even in math, "proof" is not related to certainty, because we would be
> obliged to assume our own correctness, which is impossible to do at the
> level of a theory. About reality, science is agnostic, and can only give
> plausibilities, never certainties.
>
> It is one of the lesson of incompleteness: proof = belief. A proof, per
> se, is not an indication of truth, even if miraculously you could know that
> the axioms of your theory is true. May be I doubt this personally for
> elementary arithmetic (the so-called separable part of math where all
> scientists agree), but I am not sure.
>

So AR = elementary arithmetic only. But includes the notion of infinity?

>
> Bruno
>
>
>
>
>> Brent
>> "As an adolescent I aspired to lasting fame, I craved factual
>> certainty, and I thirsted for a meaningful vision of human life-- so I
>> became a scientist.  This is like becoming an archbishop so you can meet
>> girls."
>>      -- Matt Cartmill
>>
>>>
>>> Falsification is seen as an important element of science, but not
>>> necessarily the final touchstone. Naive Popperian falsificationism is
>>> clearly wrong, but there are no universally accepted generalizations of
>>> falsifiability that measure up to all that one might want. In sum, the
>>> Popperian quest for a clear demarcation between science and non-science has
>>> assumed a less prominent role in recent philosophy of science.
>>>
>>> Bruce
>>>
>>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "Everything List" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to [email protected].
>> To post to this group, send email to [email protected].
>> Visit this group at http://groups.google.com/group/everything-list.
>> For more options, visit https://groups.google.com/d/optout.
>>
>
> http://iridia.ulb.ac.be/~marchal/
>
>
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "Everything List" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To post to this group, send email to [email protected].
> Visit this group at http://groups.google.com/group/everything-list.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

Reply via email to