[Previous] Build It and They Will Come!? | Home | [Next] David Deutsch = Footnotes to Popper

Reply to Robert Spillane

I'm not trying to make ad hominem remarks. I put effort into avoiding them. It is nevertheless possible that an argument targets idea X, but CR was saying Y, not X. It's also possible that CR makes a statement in its own terminology which is misread by substituting some word meanings with those favored by a rival philosophy. I don't see anything against-the-person about bringing up these issues.

I reject Popper's three worlds. I think there's one world, the physical world. I think minds and ideas have physical existence in that one world, just like running computer software and computer data physically exist. More broadly, the laws of physics say that information exists and specify rules for it (the rules of computation); ideas are a type of information.

I've never selected philosophy ideas by nationality, and never found pragmatism appealing. Nor am I getting material from Quine. And I don't accept the blame for Feyerabend, who made his own bad choices. Here's a list of philosophers I consider especially important: Karl Popper, David Deutsch, Ayn Rand, Ludwig von Mises, William Godwin, Edmund Burke, Thomas Szasz, and some ancient Greeks.

All propositions are synthetic because the laws of logic and math depend on the laws of computation (including information processing) which depend on the laws of physics. Our understanding of physics involves observation, and the particular laws of physics we have are contingent. Epistemology and evolution depend on physics too, via logic and computation, and also because thinking and evolving are physical processes.

Of course I agree with you that the goal is to find truth, not power or bullying or popularity.

Stove on Paley didn't answer my questions, but gave me some indication of some of your concerns, so:

I do not accept any kind of genetic or biological determinism, nor Darwinian "survival of the fittest" morality. Men have free will and are not controlled by a mixture of "influences" like genes, memes, culture, etc. By "influences" I include claims like "that personality trait is under 60% genetic control" – in that way genes are claimed to partially influence, but not fully control, some human behavior.

I have read some of the studies in this field and their quality is terrible. I could tell you how to refute some of their twin studies, heritability claims, etc, but I'm guessing you already know it.

I think "influences" may play a significant role in two ways:

1) A man may like and agree with an "influence", and pursue it intentionally. E.g. his culture praises soldiers, and he finds the profession appealing and chooses to become a soldier. Here the "influence" is actually just an option or piece of information which the man judges.

or

2) "Influences" matter more when a man is irresponsible and passive. If you don't take responsibility for your life, someone or something else may partially fill the void. If you don't actively control your life, then there's room for external control. A man who chooses to play the role of a puppet, and lets "influences" control him, may partially succeed.

Regarding Miller: by your terminology, I'm also a critic of Popper.

When two philosophers cannot agree on basic definitions,

could you give definitions of knowledge and induction? for clarity, i'll be happy to call my different concepts by other words such as CR-knowledge.

You state that 'I disagree with and deny the whole approach of a priori knowledge and the analytic/synthetic dichotomy.' But Popper, as a rationalist, relies on a priori knowledge, i.e. primitive theories which are progressively modified by trial and error elimination.

Inborn theories aren't a priori, they were created by genetic evolution. (They provide a starting point but DO NOT determine people's fate.)

when I try to argue with you, and you disagree with my mode of arguing, which is widely accepted in philosophical circles, it is difficult to know how to respond to your questions.

i think this is important. I have views which disagree with what is, i agree with you, "widely accepted in philosophical circles". it is difficult to understand different frameworks than the standard one, but necessary if you want to e.g. evaluate CR.

For example, with respect to Szasz you write that he 'doesn't write deductions, formal logic and syllogisms'. True, he doesn't use symbolic logic but his life's work was based on the following logic (see Szasz Under Fire, pp.321-2 where he relies on the analytic-synthetic distinction):

"When I [Szasz] assert that (mis)behaviors are not diseases I assert an analytic truth, similar to asserting that bachelors are not married...InThe Myth of Mental Illness, I argued that mental illness does not exist not because no one has yet found such a disease, but because no one can find such a disease: the only kind of disease medical researchers can find is literal, bodily disease."

I acknowledge that I disagree with Szasz about analytic/synthetic. Unfortunately he died before we got to resolve the matter.

However, I think Szasz's main point is that no observations of "patients" could refute him. I agree. Facts about "patients" can't challenge logical arguments.

However, as I explained above, I don't think logic itself is analytic. I think observations which led to a new understanding of physics could theoretically (I don't expect it) play a role in challenging Szasz's logical arguments.

Here is Szasz's logic:

  • Illness affects the human body (by definition);
  • The 'mind' is not a bodily organ;
  • Therefore, the mind cannot be or become ill;
  • Therefore mental illness is a myth.
  • If 'mind' is really the brain or a brain process;
  • Then mental illnesses are brain illnesses.
  • Since brain illnesses are diagnosed by objective medical signs,
  • And mental illnesses are diagnosed by subjective moral criteria;
  • Mental illnesses are not literal illnesses
  • And mental illness is still a myth.

If this is not deductive reasoning, then what is?

That isn't even close to a deductive argument. For example, look how "myth" is used in a conclusion statement (begins with "therefore"), without being introduced previously. You couldn't translate this into symbolic logic and make it work. Deduction has very strict rules, which you haven't followed.

As to what is deductive reasoning: no one does complex, interesting philosophy arguments using only deduction. Deduction is fine but limited.

I do appreciate the argument you present. I think it's well done, valuable, and rational. It's just not pure deduction (nor a combination of deduction and induction).

I would normally just call it an "argument". CR doesn't have some special name for what type of reasoning it is. We could call it a CR-argument or CR-reasoning if you like. You ask what's left for reasoning besides induction and deduction, and I'd point to your example and say that's just the kind of thing I think is a typical argument. (Your argument is written to appear to resemble deduction more than is typical, so the style is a bit uncommon, but the actual way it works is typical.)

'The basic point here is to judge an idea by what it says..." Quite so. But how do you do that?

By arguments like the "mental illness" example you provided, and the socialism and price controls example I provided previously. By using arguments to criticize mistakes in ideas. etc.

You write: 'The claim [Stove's and mine] that "there are good reasons to believe inductively-derived propositions" doesn't address Popper's arguments that inductively-derived propositions don't exist.' This follows more than half a page of reasons why they do exist. And, contrary to your claim, I gave you an example of a good (i.e reasonable, practical, useful) reason to believe an inductively-derived proposition. What more can I say?

You write: 'This is typical. I had an objection to the first sentence following "Inductivists do have answer for you." It made an assumption I consider false. It then proceeds to build on that assumption rather than answer me.' That obnoxious sentence is 'Stove has argued, correctly in my view, that there are good reasons to believe inductively-derived propositions.' What is the assumption you consider false? I then proceed to provide Stove's arguments. Is not this what critical rationalists encourage us to do with their platitudes about fallibility, willingness to argue a point of view? Those arguments, whether valid or invalid, do provide reasons why one might reject Popper's authoritarian pronouncement that inductively-derived propositions don't exist. Of course, they exist, even if Popper does not grant them legitimacy.

We're talking about too many things at once. If you think this is particularly important, I could answer it. I do attempt to continue the discussion of induction below.

You write: 'But as usual with everyone, so far nothing RS has said gives even a hint of raising an anti-CR argument which I don't have a pre-existing answer for.' Well, then future argument is pointless because your 'fallibilism' is specious. If you have already decided in favour of CR, I doubt there are any critical arguments which you will consider. You appear to have developed your personal version of CR and immunised yourself against criticism, a vice which Popper in theory, if not in practice, warned against.

I'm open to changing my mind.

I have discussed these issues in the past and made judgements about some ideas. To change my mind, you'll have to say something new to me. I expect the same the other way around: if I don't have anything to say that you haven't heard before, then I won't change your mind.

I have a lot of previous familiarity with these issues. So far you haven't come near the edges of my pre-existing knowledge. You haven't said something about epistemology which is surprising or new for me (nor has Stove in what I read). Minor details differ, but not main points.

That's OK, I would expect it to take more discussion than we've done so far to get to get beyond people's already-known arguments.

It's right and proper that we each have initial (level 1) responses ready which cover many issues a critic could raise. And when he responds to one of them, we again have level 2 responses ready for many things he may say next. Very educated, experienced persons may have a dozen levels of responses that they already know. So to change their minds, one has to either say something surprising early on (that they didn't hear or think of previously, so they don't have a pre-existing answer) or else go through the levels and then argue with some of their ideas near the limits of their knowledge.

So far your comments regarding induction have been typical of other inductivists I've spoken with.

A reviewer of Popper's work was published in 1982 in The New York Review (Nov.18 (pp.67-68) and Dec.2 (pp.51-56). I could not express my reservations better than this:

'Popper's philosophy of science is profoundly ambiguous: it is, he says, "empirical", but it is left unclear why scientists should consult experience.

The reason for consulting experience is to criticize ideas which contradict experience (because we want ideas which match reality). That is not "left unclear", it's stated clearly by Popper.

It is called "fallibilism", in which we learn from our mistakes", but it is really an ill-concealed form of skepticism.

The skepticism accusation is an assertion, not an argument.

It claims to surrender the quest for certainty, but it is precisely the standards of this quest - that if one is not certain of a proposition, one can never be rationally justified in claiming it to be true - that underlie Popper's rejection of induction (and the numerous doctrines that stem from this rejection).

Popper did NOT reject induction for being fallible or imperfect, he rejected it for reasons like:

1) Any finite set of data is compatible with infinitely many generalizations, so by what method does induction select which generalizations to induce from those infinite possibilities?

2) How much support does X give Y, in general? And what difference does that make?

Induction fails to meet these challenges, and without answers to those issues induction can't be used at all. These aren't "it's imperfect" type issues, they are things that must be addressed to use induction at all for anything.

There have been some attempts to meet these challenges, but I don't think any succeeded, and Popper pointed out flaws in some of them. If you can answer the questions, or give page numbers where Stove does, I will comment.

If you wish to address (2), note that "in general" includes non-mathematical issues, e.g. the beauty of a piece of music or flower. (And if you think induction can't address those beauty issues, then I'm curious what you propose instead. Deduction? Some third thing which will, on examination, turn out to have a lot in common with CR?)


Elliot Temple on July 21, 2017

Messages (8)

>I reject Popper's three worlds. I think there's one world, the physical world.

You don't think there's a world of abstractions?


Anonymous at 10:36 AM on December 6, 2017 | #9413 | reply | quote

Abstractions exist but don't have their own world. Information exists physically, e.g. on hard disks or in brains.

I don't know if Popper really meant they had their own world – like dualism or Platonism. I don't think his way of explaining the subject was great.


Anonymous at 12:45 PM on December 6, 2017 | #9414 | reply | quote

> Any finite set of data is compatible with infinitely many generalizations, so by what method does induction select which generalizations to induce from those infinite possibilities?

They would say the method is Solomonoff Induction. They would talk about things like minimum length programs, Kolgomorov Complexity, the universal prior, and Occam's razor. They would say you just don't understand.


Anonymous at 10:20 PM on December 6, 2017 | #9417 | reply | quote

> They would say the method is Solomonoff Induction.

aka arbitrarily pick one. or is it non-arbitrary, and there are serious arguments governed by ... some other epistemology?


Anonymous at 10:34 PM on December 6, 2017 | #9418 | reply | quote

Spillane isn't a Bayesian btw.


Anonymous at 10:34 PM on December 6, 2017 | #9419 | reply | quote

>> They would say the method is Solomonoff Induction.

> aka arbitrarily pick one. or is it non-arbitrary, and there are serious arguments governed by ... some other epistemology?

nope -- they don't care about that too much. Anyway shut up because there are research grants at stake and Ph.D. theses that may be brought into question. they have built their lives around this stuff and don't want no "outsider" intruding,


Anonymous at 11:08 PM on December 6, 2017 | #9420 | reply | quote

what kinds of idiots give them money?


Anonymous at 11:21 PM on December 6, 2017 | #9421 | reply | quote

People are easily fooled by stuff like the following:

https://intelligence.org/donate/

> Support our 2017 Fundraiser

We study foundational problems in computer science to help ensure that smarter-than-human artificial intelligence has a positive impact on the world. Your support during this 2017 fundraiser helps us to grow our research program and tackle key theoretical questions head-on.

What they are trying to do is actually evil. Just as well they won't succeed in creating an AI. They are blind to philosophy. But they are helping to spread false ideas and make life difficult for future AI's. Also they devalue people.


Anonymous at 2:15 AM on December 9, 2017 | #9423 | reply | quote

Want to discuss this? Join my forum.

(Due to multi-year, sustained harassment from David Deutsch and his fans, commenting here requires an account. Accounts are not publicly available. Discussion info.)