dionisos wrote:Scott Mayers,
If you don’t agree with my definition of what a probability is, please give your own.
I'm not disagreeing with you necessarily. I only question your need to include extending probabilities of multiple experiments because I fear that you might want to later use this to demonstrate a proof by an empirical method. I disagree with using any of the program codes we tried before because they do this in principle. It would default to favoring what is popularly accepted.
In the coin toss example above I was concerned that by proceeding to allow for multiple separate events, you could prove that 3/4 of the times one does the experiment of two tosses collectively, one increases their odds by playing the game multiple times. So if you follow this, do you at least accept that we cannot use the extended use of probabilities we normally may use in real life for trying to determine something using a statistical approach.
I WILL look over my texts to see how the notations are used for probabilities. I need some time though to do this. In the meantime, I want to demonstrate how what we perceive as a contradiction in reality (= paradox), this can be resolved by reinterpreting it in a different perspective.
To begin this point, let's see if we agree on certain factors of logic. I will only use the Propositional Calculus here for this sake. A propositional logic ignores the quantifiers "All" or "Some" that is later used for the Predicate (or Symbolic) Calculus. I'm guessing since you are familiar with computer programming that you at least know of Boolean logic and so we can use this too.
On Negations
Notice that while many think of negation as simply one 'kind' of reversal, there are actually many kinds we use in our languages. For instance, the term, "non-" differs from the term, "not-" when we use them to describe things. If I negate a noun as a proposition, A, this could mean "non-A" or simply, "not-A". If I prove that at least some "not-A" exists, then we are certain that the class, "non-A" exists. Since we are only using propositional logic here, we normally ignore these distinctions.
DeMorgan's Law states that to negate a conjunction or disjunction, we negate each term including the logical connective. So,
-(A & B) = (-A [-&] -B) = (-A v -B)
The "v" was traditionally used to represent the Latin word, "vel" which is the inclusive version of "or". We could use other symbols for negation where they conflict with understanding.
A.. B.. A v B.. -(A v B)
1.. 1.... 1......... 0
1.. 0.... 1......... 0
0.. 1.... 1......... 0
0.. 0.... 0......... 1
-A.. -B.. -A & -B.. -(A v B)
.0... 0...... 0......... 0
.0... 1...... 0......... 0
.1... 0...... 0......... 0
.1... 1...... 1......... 1
With this clarified, now consider the case where
B = -A.
Then,
-(A & -A) = (-A [-&] --A) = (-A [-&] A) = (-A v A)
What this shows as that the solution to a contradiction is to apply the DeMorgan rule to find what IS true without being contradictory (or paradoxical). That is, if a world cannot have a contradiction (or paradox), we fix it by using this rule. If we think each truth as being unable to operate in the same reality, then we place the other one in an alternative 'world' or "dimension". Since a paradox cannot exist to nature in our contingent world, the fix is to add a "dimension".
Perspective Dimensioning.png
As you should see, if we replace the values above for
B to be equal to
-A, this suggests how the contradiction in one place is resolved by looking at it in another way as either another dimension in one place or another 'world' if this isn't even allowed.
So my point here with regards to the Monty Hall Problem is that it is presented as both a REAL and paradoxical. Thus the solution is to have to accept that a dimension, not another world, exists that fixes this and is why we have to recognize that another perspective works better. Before trying to find this, dionisos, I want to see if you at least recognize this logic as sound before trying to use it in our analysis of the problem. Do you concur?