Probability of being a Superset

1. Aug 16, 2011

claytondaley

Let me start by saying I'm an amateur insofar as I took one propositional logic course in college and have self-taught everything else so I may be missing something obvious. However, I was reading an article by Niiniluoto (1972) and (with respect to induction) he makes the following statement:

(2) P(h$\supset$b|e) = P($\neg$h$\vee$b|e)

Can someone confirm the rationale for this? I assume this is the stastical calculus version of Hempel's paradox. Specifically, the deductive version of this argument (and presumably the assumption used by Nicod and Niiniluoto) arises from the idea that:

(a$\rightarrow$b) $\rightarrow$ ($\neg$b$\rightarrow$$\neg$a)

The idea being... since the second is deduced from the first, evidence for the second supports the first. However, it's trivial to create an inductive state where this is not true. Assuming this is a table of observations (column labels above, row labels to the right):

| a | $\neg$a |
| 8 | _0 | _b__
| 2 | _1 | $\neg$b__

In this situation

a$\rightarrow$b (80%)

is clearly probable. However,

$\neg$b$\rightarrow$$\neg$a (33%)

does not follow. Intuitively, it seems to me that (in an inductive context at least) the observation of a shoe, no matter its color, can never disconfirm the hypothesis. As a consequence, it ought not confirm the hypothesis. "All" should only apply to objects/observations that can disconfirm the theory.

What got me to the above explanation was my initial intuition that we care about the proportion of b$\wedge$e that falls into h$\wedge$e rather than including, for some reason, all of $\neg$h including the region that is both $\neg$h and $\neg$b. For example, I believe what I'm saying is properly stated as:

P(h$\supset$b|e) = P(h|b$\wedge$e)

I have trouble imagining that there isn't some kind of response within Nicod's paradox for what I've described... but I can't for the life of me figure it out (or even how to look for it).

P.S. appologize in advance for any mistakes in Latex formatting (or propositional logic)

Ilkka Niiniluoto (1972) Inductive Systematization: Definition and a Critical Survey. Synthese, Vol. 25, No. 1/2, Theoretical Concepts and Their Operationalization (Nov. -Dec., 1972), pp. 25-81

2. Aug 17, 2011

praeclarum

The fallacy here is that you're assuming that A is already true in a -> b.

A -> B is true if ~A is true or if B is true. You're looking at A ^ B, not A -> B. Contraposition does not work for the "and" connective.

3. Aug 17, 2011

Stephen Tashi

Usually probability measures are applied to sets and in most mathematical discussions when we speak of the probability of a statement or proposition, we are (according to the conventional point of view) supposed to realize that we are really speaking of a probability of a set of some sort. I don't know whether the paper that you cite is attempting to define probability in a different context.

The proposition "if A then B" is logically equivalent to the proposition " (Not A) or B". This can be verified by comparing the truth tables for the two propositions. I've seen this fact referred to as "material implication" in logic textbooks. So there is nothing suprising about eq 2. How could the probability of two identical things not be the same?

4. Aug 17, 2011

claytondaley

I spent like an hour searching the internet for the probability calculus of supersets (which is where I really got stuck) before I asked the question here. Let me take a step back and checking that this is true:

h⊃b|e = b→h|e

(obviously taking all the probability elements out of the statement)

5. Aug 17, 2011

Stephen Tashi

My instinct is to say "yes, of course", but I suppose we should go through the formality of establishing exactly what you are talking about. The main difficulty in answering your question is interpreting your notation.

Are the variables involved in $h \supset b | e$ sets or are they propositions? If they are sets, how do you interpret $x \supset y$ as a set when $x$ and $y$ are known sets? If they are propositions, how do you interpret " | e" ?

6. Aug 17, 2011

claytondaley

Sorry, maybe i copied his stuff wrong... i'm pretty sure i follow/understand the language but am not 100% confident in its conventions... for example I thought it was safe to translate ~ to ¬ (which appears to be true) but maybe not equally , to |

his exact formulation is

P(h ⊃ b , e) = P( ~h ∨b , e)

Eliminating the probabilities, I interpeted this as

(b => h) | e = (~h ∨b) | e

If my interpretation is right, (b => h) translates to (~b ∨ h) rather than (~h ∨b). So likely my interpretation is wrong but I need to know where so I don't repeat it.

7. Aug 17, 2011

Stephen Tashi

You still didn't say whether the letters represent sets or propositions.

Taking the letters to represents propositions ( for example "H" to mean "Merle Hedley is healthy" ) then I interpret

"$H \supset B$ " to mean "$H$ implies $B$" or, equivalently, "if $H$ then $B$".

The only way I see to interpret " $( H \supset B) | E$ as a proposition is "( $H$ implies $B$ ) and $E$".

With those interpretations, $( H \supset B) | E$ is logically equivalent to "((not $H$ ) or $B$) and $E$", which could be abbreviated by "$(\neg H \vee B) | E$".

People use symbols like "=", "$\cup$ ", "$\vee$ ", " $\supset$" and "$\neg$ " both for the algebra of sets and the algebra of propositions. You have to pay attention to how the material you are reading defines its notation. Such notation is not standard across all textbooks.

If we interpret the symbols as sets, the only interpretation that makes sense for "$H \supset B$" is the set "$H$ complement union $B$". If you try to interpret "$H \supset B$" as the statement "$H$ is a supserset of $B$" then you would be trying to apply the probability operator "$P$ " to a proposition on the left had side of eq 2 and apply it to a set on the right hand side of eq. 2.

8. Aug 17, 2011

claytondaley

Appologize for not following the question and thanks for the clarification. While the implications are a little hazy, I at least see the difference in the context. He states:

"all statements b, e, and h"

... and using his formulation of the "Deductive Theorum" plus wikipedia's version, ⊃ is → as you stated.