Can one condtional statement cancel another one? For example, I say, "If you get 85/100 at your maths test, I will gift you a car a, but if you get 85/100 at maths and 50/100 at history, I wont gift you anything."
Does this claim make sense ?
Philosophy Stack Exchange is a question and answer site for those interested in the study of the fundamental nature of knowledge, reality, and existence. It only takes a minute to sign up.Sign up to join this community
Not clear ...
This is not a syllogism.
Having said that, the statement:
"if A, then B and if (A and C), then not-B"
is not a contradicition.
If the student does not get 85/100 at maths test, both conditionals are TRUE, and thus the conjunction is TRUE.
But also if A and B are both TRUE, the conjunction is still TRUE, provided that C is FALSE.
Conditionals like this are not contrary, because many, perhaps most, ordinary English conditionals allow for exception conditions. When we say, If A then B, there is usually an unstated "other things being equal". Adding an extra term to the antecedent is sometimes referred to as 'strengthening' of the conditional, and sometimes, confusingly as 'weakening'. Another example might be: "If I turn the key in the ignition the engine starts", which is good most of the time, but "If I turn the key in the ignition and the battery is flat then the engine does not start" is also good. If these conditionals were material implications, one would have to conclude that I don't turn the key, which of course is absurd. Fortunately, most conditionals in ordinary English are not material implications, so this doesn't matter. One approach to representing these conditionals is to use default logics, which allow for implications that are defeasible. Another option is to represent the logic of conditionals using marginal probabilities.
It doesn't make sense in some cases when, for example, you do not get 85% in math and you do get 50% in history. In this case, it is ambiguous whether you will get the car.
We are considering the logical statement:
(M => C) & (M & H => ~C) (assumed to be true)
M = 85% in math
H = 50% in history
C = getting a car
The truth table for this statement is here.
The 5th line is M = F, C = T, H = T, and (M => C) & (M & H => ~C) = T
The 7th line is M = F, C = F, H = T, and (M => C) & (M & H => ~C) = T
If the above statement is true (4th column = T) and you do not get 85% in math (1st column = F) and you get 50% in history (3rd column = T), then it is ambiguous whether you will get a car (2nd column = ?).