• TheMadFool
    13.8k
    Raven Paradox or Hempel's Paradox:

    Claim A = All ravens are black = If it's a raven then it's black

    Contrapositive of A = B = If it's not black then it's not a raven = All non-black things are non-ravens

    The paradox occurs because anything that proves B e.g. a green apple (non-black but also not a raven) also serves as evidence for A since A and B are logically equivalent. Basically, one can gain information on ravens by looking at non-ravens and this is the paradox.

    Karl Popper famously stated that science is about falsifiability i.e. for a hypothesis to be scientific then it must be possible to look for and find counter-evidence.

    Consider now the statement A and its equivalent, the contrapositive B.

    B = If it's not black then it's not a raven. For B to be false the antecedent has to be true and the consequent needs to be false i.e. B is false if and only if we find a non-black object and it's a raven.

    What would amount to as falsifying A = all ravens are black? Of course a raven that is non-black which is exactly what science is supposed to do if A is to be considered scientific according to Karl Popper.

    So, falsifying confirming the claim A can be done by only considering non-black things that need not necessarily be ravens. That is we may look at a green apple or white clouds and be secure that the claim A hasn't been falsified. So long as we don't encounter a non-black raven, we can, according to Karl Popper, invest our trust in the, as yet unfalsified, claim A = all raven are black.

    In other words, the Raven paradox is not a paradox in a scientific sense for an inability to falsify a claim counts as support for whatever the claim is and when we see non-raven objects like green apples, yellow bananas, red flags, etc., it implies that the claim A = all ravens are black hasn't been falsified and so we may believe it given that there's also positive evidence (black ravens) to back the claim.
  • bongo fury
    1.6k
    So, falsifying confirming the claim A can be done by only considering non-black things that need not necessarily be ravens. That is we may look at a green apple or white clouds and be secure that the claim A [not only] hasn't been falsified [but has also been positively confirmed].TheMadFool

    Which is a potential embarrassment for confirmation theory (induction), but not for falsification theory (hypothetico-deduction), which doesn't pretend to compare and rate equally unfalsified hypotheses according to their confirming evidence.

    So long as we don't encounter a non-black raven, we can, according to Karl Popper, invest our trust in the, as yet unfalsified, claim A = all ravens are black.TheMadFool

    But no more so (according to Popper, as far as I know) than for the equally unfalsified claim that not all ravens are black.

    In other words, the Raven paradox is not a paradox in a scientific senseTheMadFool

    Sure it is. But it's a problem for induction: for deciding between equally as-yet-unfalsified hypotheses.

    an inability to falsify a claim counts as support for whatever the claim isTheMadFool

    You mean confirming evidence counts as support? But how to measure confirmation?

    we may believe it, given that there's also positive evidence (black ravens) to back the claim.TheMadFool

    But what about the equally positive (but intuitively less compelling) evidence of non-black non-ravens? There's the puzzle. (For induction.)
  • Pantagruel
    3.2k
    an inability to falsify a claim counts as support for whatever the claim is
    — TheMadFool

    You mean confirming evidence counts as support? But how to measure confirmation?
    bongo fury

    This would be letting confirmation back in through the same door that Popper just tossed it out.
  • bongo fury
    1.6k
    This would be letting confirmation back in through the same door that Popper just tossed it out.Pantagruel

    Agreed. Hempel induce. Popper deduce.

    Hempel confirm. Popper falsify.
  • TheMadFool
    13.8k
    Thanks for noticing the error in my post. I made the necessary corrections.

    Sure it is. But it's a problem for induction: for deciding between equally as-yet-unfalsified hypotheses.bongo fury

    How is it a paradox when you agree that falsifactionism requires those who make hypotheses to look for counter-evidence by searching outside the domain of the subjects of hypotheses? The statement, all cats are animals is falsifiable precisely by looking for and finding a non-animal that's not a cat.
  • TheMadFool
    13.8k
    This would be letting confirmation back in through the same door that Popper just tossed it out.Pantagruel

    I guess Popper considers the absence of negative evidence i.e. disconfirming observations as better than positive evidence (confirming evidence). As bongo fury remarked, this type of reasoning, giving greater weightage to disconfirmation, is because of the problem of induction.
  • Pfhorrest
    4.6k
    falsification theory (hypothetico-deductionbongo fury

    Hypothetico-deduction is confirmationist, not falsificationist.
  • Pfhorrest
    4.6k
    The statement, all cats are animals is falsifiable precisely by looking for and finding a non-animal that's not a cat.TheMadFool

    Nope, it's falsifiable by finding a non-animal that is a cat.

    "All cats are animals" = "if cat then animal" = "not (cat and non-animal)"

    To falsify it, you have to find the negation of that, which would then be "cat and non-animal".
  • Pantagruel
    3.2k
    I guess Popper considers the absence of negative evidence i.e. disconfirming observations as better than positive evidence (confirming evidence).TheMadFool
    Well, it's his main thesis, to be scientific, an hypothesis must be falsifiable, so disconfirming evidence must be at least possible. Whereas induction fails to ever rise to the level of certainty, which he establishes in a variety of ways. I find the logical niceties tortuous at times (like this paradox - what could the status of a non-raven entity ever add to the knowledge of ravens?). However the overall thrust of scientific realism, that objectivity is not what we see, but what has been subjected to critical thought, that I very much like.
  • Pfhorrest
    4.6k
    I find the logical niceties tortuous at times (like this paradox - what could the status of a non-raven entity ever add to the knowledge of ravens?).Pantagruel

    It couldn't, which is the point. Confirmationism implies that it could, which is absurd, hence disproving confirmationism.
  • TheMadFool
    13.8k
    Nope, it's falsifiable by finding a non-animal that is a cat.

    "All cats are animals" = "if cat then animal" = "not (cat and non-animal)"

    To falsify it, you have to find the negation of that, which would then be "cat and non-animal".
    Pfhorrest

    :up: So many categories and their complements. I corrected my error.
  • TheMadFool
    13.8k
    Well, it's his main thesis, to be scientific, an hypothesis must be falsifiable, so disconfirming evidence must be at least possible. Whereas induction fails to ever rise to the level of certainty, which he establishes in a variety of ways. I find the logical niceties tortuous at times (like this paradox - what could the status of a non-raven entity ever add to the knowledge of ravens?). However the overall thrust of scientific realism, that objectivity is not what we see, but what has been subjected to critical thought, that I very much like.Pantagruel

    Thanks a lot.
  • bongo fury
    1.6k
    ↪bongo fury Thanks for noticing the error in my post. I made the necessary corrections.

    Sure it is. But it's a problem for induction: for deciding between equally as-yet-unfalsified hypotheses.
    — bongo fury

    How is it a paradox when you agree that falsificationism requires those who make hypotheses to look for counter-evidence by searching outside the domain of the subjects of hypotheses? The statement, all cats are animals is falsifiable precisely by looking for and finding a non-animal that's not a cat.
    TheMadFool

    Same confusion here. Corrected:

    It's a paradox and potential embarrassment for confirmation theory because it appears to entitle those who make hypotheses to look for confirming evidence by searching outside the domain of the subjects of hypotheses. The statement, all cats are animals is apparently confirmable precisely by looking for and finding a non-animal that's not a cat.

    Take rumours of the death of induction with a pinch of salt. (A good habit.) I.e. the embarrassment isn't fatal.

    Try to stop confusing the two, though.
  • TheMadFool
    13.8k
    I.e. the embarrassment isn't fatal.bongo fury

    :grin: Thanks for the advice and the clarification.

    It seems that what I actually meant was that confirming B = all non-black are non-ravens by observing green apples or red tomatos etc. i.e. non-black non-ravens doesn't amount to a falsification of A = all ravens are black. Ergo, by Popper's account of what a scientific claim is, statement A is not disproved and given that there are some ravens that are black, statement A acquires the status of a scientific theory - to be taken as true for all intents & purposes.
  • bongo fury
    1.6k
    Ergo, by Popper's account of what a scientific claim is, statement A is not disproved and given [that there are some ravens that are black that statement A is falsifiable], statement A acquires the status of a scientific theory - to be taken as [true for all intents & purposes a theory as yet unfalsified and worth testing].TheMadFool

    If you want more, fine, there's always induction :smile:
  • Banno
    23.1k
    There's work being done on Wikipedia's article on Falsifiability at present.
  • Pfhorrest
    4.6k
    I've been noticing that (it's on my watchlist) and wondering if it was just a coincidence that that was happening there right as these conversations were happening here.

    It would be kinda neat to see some kind of cross-collaboration between a forum like this and Wikipedia. Use Wiki as a reference to answer questions here (since WP:NOTFORUM), and then use the conversations here to inspire development of articles there.
  • TheMadFool
    13.8k
    If you want more, fine, there's always inductionbongo fury

    Thanks.
  • Banno
    23.1k
    I don't see it working. To much of a difference in temperament.

    But it is an interesting, and falsifiable, hypothesis.

    Thinking....


    Edit: https://thephilosophyforum.com/discussion/7515/an-hypothesis-is-falsifiable-if-some-observation-might-show-it-to-be-false


    A trial. See how it goes.
bold
italic
underline
strike
code
quote
ulist
image
url
mention
reveal
youtube
tweet
Add a Comment

Welcome to The Philosophy Forum!

Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.