Tour Guide Mementos and QUIZ 2.1 (Excursion 2 Tour I: Induction and Confirmation)


Excursion 2 Tour I: Induction and Confirmation (Statistical Inference as Severe Testing: How to Get Beyond the Statistics Wars)

Tour Blurb. The roots of rival statistical accounts go back to the logical Problem of Induction. (2.1) The logical problem of induction is a matter of finding an argument to justify a type of argument (enumerative induction), so it is important to be clear on arguments, their soundness versus their validity. These are key concepts of fundamental importance to our journey. Given that any attempt to solve the logical problem of induction leads to circularity, philosophers turned instead to building logics that seemed to capture our intuitions about induction. This led to confirmation theory and some projects in today’s formal epistemology. There’s an analogy between contrasting views in philosophy and statistics: Carnapian confirmation is to Bayesian statistics, as Popperian falsification is to frequentist error statistics. Logics of confirmation take the form of probabilisms, either in the form of raising the probability of a hypothesis, or arriving at a posterior probability. (2.2) The contrast between these types of probabilisms, and the problems each is found to have in confirmation theory are directly relevant to the types of probabilisms in statistics. Notably, Harold Jeffreys’ non-subjective Bayesianism, and current spin-offs, share features with Carnapian inductive logics. We examine the problem of irrelevant conjunctions: that if x confirms H, it confirms (H & J) for any J. This also leads to what’s called the tacking paradox.

Quiz on 2.1 Soundness vs Validity in Deductive Logic. Let ~C be the denial of claim C. For each of the following argument, indicate whether it is valid and sound, valid but unsound, invalid.

Remember, validity is a matter of form. Any argument with the same form as a valid argument is itself valid. If an argument is not deductively valid, then it is invalid. An invalid argument is one where it’s possible to have an argument with its same form where all the premises are true and the conclusion false. A deductively sound argument must be both valid and have all true premises.

(1)  All U.S. senators are male.
Dianne Feinstein is a U.S. senator who is female.
Therefore, it’s not true that all U.S. senators are male.  __________________

(2) All U.S. senators are male.
Dianne Feinstein is a U.S. senator.
Therefore, Feinstein is male.                 __________________

(3) All numbers are either even or odd.
3 is a number but is neither even nor odd.
Therefore, it’s not true that all numbers are even or odd.________________________

(4) All U.S. senators are female.
Dianne Feinstein is female.
Therefore, Dianne Feinstein is a U.S. senator.  ______________________

(5) If all senators are female, then Senators Feinstein and Warren are female.
Senators Feinstein and Warren are female.
Therefore, all senators are female.___________________

(6) If  a Normal model M gave good predictions in the 3 cases I applied it, then M will always give good predictions.
Normal model M gave good predictions in the 3 cases I applied it.
Therefore, model M will always give good predictions.      __________________________________

(1) – (6) follow patterns in 2.1. Here’s one that’s a bit different for extra credit:

If Normal model M gave good predictions in all the 5 cases I applied it, then M will always give good predictions.

Therefore, if Normal model M ever fails to give good predictions, then M would have failed in at least 1 of the 5 cases I applied it.  (Is it valid or invalid?) ____________________

(Answers will be posted in the comments next week, I invite you to post yours in the mean time)

 Excursion Tour 1 concepts: the asymmetry of induction and falsification; argument, sound and valid; enumerative induction (straight rule); problem of induction; confirmation theory (and formal epistemology); statistical affirming the consequent; guide to life; paradox of irrelevant conjunction, tacking paradox; Likelihood ratio [LR] between H and ~ H; the concept “entails severely”, Bayes-Boost (B-boost), absolute vs incremental confirmation; Fisher and Peirce on the faulty analogy between deduction and induction; Likelihood Ratio [LR]


Where you are in the Journey: 

Excursion 1 Tour I: I posted all of Excursion 1 Tour I, here, here, and here.
Excursion 1 Tour II. Except for the Souvenir C: A severe tester’s translation Guide, I did not post Excursion 1 Tour II. For the material on Royall and the Law of Likelihood in 1.4 (including a link to an article by Royall), see this post; for stopping rules and the likelihood principle, see this post. That post also offers Museum links to the Savage Forum!
Excursion 2 Tour I: I posted the first stop of Tour I (2.1) here.  Material from 2.2 (irrelevant conjunction/tacking paradox) may be found in these blogposts here and here. For the full Itinerary: SIST Itinerary.