[hist-analytic] Reichenbach, Carnap, Positivism

Roger Bishop Jones rbj at rbjones.com
Fri Sep 25 16:02:44 EDT 2009

My last message was written in too great a haste so there are some points
of retraction here.

On Monday 21 September 2009 14:32:15 you wrote:
>The connection between Descartes and the early protocol language advocates
> was certainty. In each case, you were dealing with a contingent fact that
> was known with certainty: that I exist is a contingent fact and, yet, I
> know this with greater certainty than I know the truth of the
> multiplication tables; similarly, 'Red, here, now' is a contingent fact I
> know with certainty. That was the reasoning, anyway. The comparison is
> quite strong, actually. I've never been completely convinced that the
> Cogito is a bad argument.

Actually, I don't have a problem with the cogito.
It is as you suggest, a sound argument from a contingent premise,
(except perhaps for Leibniz, who would regard the premise as
necessary but the conclusion contingent).
We might possibly disagree about whether it is a priori.
The premise is pretty close to indubitable for the "I" involved,
but not for anyone else.

> In fact, it is a better argument in some ways
> than the idea that we have certainty with respect to knowledgeo of our
> sense data. So I'm more inclined to go with Descartes. Is there something
> specific about Descartes argument that you think is wrong.

The cogito is OK.  Please disregard my objection.
Also, I am not now inclined to say that we have knowledge of sense data,
I think we just have the sense data.

In the kind of theory of perception which I might be inclined to
support, sense data are just that, data, rather than propositions.
They are evidence on which our "inferences" about the external world
are based, and they are incorrigible simply because they are what
they are, and are not actually propositions.
As soon as you attempt to describe the sense data you will
introduce the possibility of error, but this is not a part of 
the process of perception, so this kind of error is arguably
epistemically irrelevant.
I think this means that I am disinclined to say that sense data
are corrigible, but also that it is not quite right to say that
they are incorrigible either.  They are what they are.
(this is like the skeptics "appearances appear")

>I'm unclear on what your point is with respect to probability.

Looking back, I think I spoke too hastily on this (as well).
You didn't say enough about why Reichenbach decided that we
should talk about probability rather than truth.
I am not sympathetic to that proposal, but don't know enough
to go further than that.

I am generally not in favour of resort to talk about probability
as a remedy for uncertainty, or the various other similar
stratagems (such as confirmation theory).

> What
> motivated Reichenbach, and the Berlin positivists, was the idea that truth
> is not a very good concept for science to work with. Nothing is known withe
> certainty to be true. What is known is what is probably true.

It certainly was my intention to challenge this proposition.
If the doubt about certain knowledge of truth is Humean
(in which case I think it would be more accurate to say that
no contingent proposition can be known demonstratively to be true),
then Hume argues correctly that the same can be said about
probability claims.  In your words, nothing is known with
certainty to be probably true.  In my explication of Hume,
claims about the probability of contingent propositions
are not demonstrative either.

> The merit is
> in the simple fact that science is not a body of propositions known to be
> true; it is a body of propositions thought to be probable.

If you weaken it to "thought" then you can probably forget the
"probable" for I think most people do think that the propositions
of science are true.

> This will effect
> the logic of science. Truth values will be infinite between 0 and 1. There
> won't be two truth values. Much of this was supported by the Heisenberg
> business.

I think this is a bad idea.

>By the way, the sense data program as an theory of ontology is very
> different from the sense data "program" of the positivists.

I don't understand what you mean by "theory of ontology" here.
(Or how the sense data program can be one).

> Some positivists were realists, others were phenomenalists.

And Carnap was neither.

> In the early going,
> when Mach was a major player, phenomenalism was preferred because it linked
> up with verificationism and operationalism in physics. There were actually
> two historical strands: one dealing with the aftermath of the Special
> Theory and the other having to do with criteria of meaningfulness and the
> status of metaphysics - pseudo-problems and all that.

>"I think this is a mistake, and I would guess that this is a point
>which Carnap never conceded."

I think you should have included a bit more context there.
That sentence (of mine) was a response to:

>>Interestingly, Reichenbach notes that it was the issue of probability that
>> distanced the Berlin logical positivists from the Viennese logical
>> positivists. The Berlin people thought that *prediction* could not be
>> addressed within the framework of a logic that reduced to tautologies.

>First off, I think he should have conceded. In a way he did. The protocol
> language became a physicalist language. But this threatened the relevance
> of the two language approach. All we really need is the physical language.
> The rest is "inventory."

I don't really understand what you refer to here as
"the two language approach".
Is this a reference to his persistent interest in relating the 
languages of science (in some way) to observation statements?

Carnap was a pragmatic pluralist, and this doctrine is articulated
in his "principle of tolerance".
This meant that he was prepared to accept physics using the language
of physicists (or a formalisation of it), and sought to understand
the relationship between such languages and observational descriptions.

>I don't think the historians have figured out what was in the back of
> Reichenbach ingenious mind. As I see it, here is the situation. Reichenbach
> had seen that in dealing with the alternative views of space available,
> Riemannian, etc, that what you had was basically a vacuous formalism UNTIL
> you selected a definition of 'congruence'. Without this no geometry was
> testable, but more importantly the concept of 'distance' without congruence
> was meaningless. So you had these "analytical" truths of geometry that had
> no physical significance whatsover as long as this notion was not clearly
> defined. Now in the case of analytic sentences understood in the narrow
> sense as a bunch of tautologies you had much the same situation: sentences
> that tell us nothing about the world. So how do you get these sentences to
> be relevant without falling into the synthetic a priori? Answer: you say
> that what is essential is linking the tautologies to the world by way of
> the semantics of sentences at the basis of science: predictions being the
> most obvious. So, if I'm right, tautologies stood to predictions as
> geometry stood to congruence, to Reichenbach's way of thinking. Again, he
> was driven to much of this by way of a rejection of synthetic a priori.
> This is why I said this idea and not analyticity was what was important.
> Not much hangs on analyticity, in my opinion. Much hangs on the synthetic a
> priori, especially in physics.

That sounds rather different to Carnap's position, as I understand it.

I'm afraid it doesn't make a lot of sense to me.
I don't see why there is a problem in analytic sentences not telling
us anything about the real world (at least in the sense of not
excluding any possible world), and I'm not at all clear why
you want to link tautologies to the real world or what you mean by that.

On the matter of the synthetic a priori being more important than the
notion of analyticity I am also a bit baffled.
The whole discussion presupposes the concept of analyticity.

>On contexts of justification and discovery, my view is this; to dismiss the
> circumstances of discovery is a "cop out."

I don't think I would advocate dismissing the circumstance of discovery.

> The history of science is an
> appropriate object of scientific investigation. So on my view saying: "Oh,
> I just dreamed this whole thing up in a nightmare" (something like Kekule
> with the carbon ring) that is just to defer investigation of possibly the
> most interesting types of events known to science: scientific theorizing
> itself. This is just more "sweep it under the rug" methodology; the sort
> that was encouraged by the verificationist theory of meaning.

But surely, this kind of thing really does happen?
Though not out of context.
A mathematician may come up with a solution to his problem in a dream.
What is swept under the rug in admitting this?

Tell me also how this connects with the verificationist theory of
meaning.  (I don't endorse it, but it does seem to me a constructive
idea rather than a "sweeping under the rug").

>On Carnap's materialism: As long as the language of science is
> physicalistic, which for Carnap it was, and as long as you believe that
> science investigates reality, it is physicalistic, to that extent Carnap
> was a physicalist.

That sounds rather more definite to me than Carnap.
Carnap thought that the "theoretical" language was the one closest
to the language of science (physics), not the physicalistic language.
In any case he admitted all these languages.

Someone is surely a materialist only if he asserts that only matter exists,
and Carnap did not do that.
To call him a physicalist I think you would have to establish that he
has some definite preference for physicalistic language, but I have
seen no sign of this.

> Indeed, if you probe more deeply his 'intensions' may
> prove to be physical, although I think that you are right to point out the
> possibility of an 'anamoly' in his thinking. By the way, his "theoretical
> language" IS a physicalistic language!

I don't know what you mean by that, it seems clear that Carnap considered
physicalistic and theoretical language distinct, though quite possibly
the latter is an extension of the former.
I know of these different languages only what he says in his intellectual
autobiography, which is very little.


More information about the hist-analytic mailing list