WTF is WTF
WTF.... World.Truth.False
this is a system for determining if a statement is true, and can be disproven by the use of a counterexample. For When P-->Q and P=truth and Q=false
There are 3 kinds of “if P then, Q” statements:
1)Material conditional P ⊃ Q “If... Then” or “it just so happens to be”
2)Entailment P ⇒ Q “Necessarily, if P, then Q.” or “P entails Q” (Necessarily means that it obtains in every possible world.)
3)Counterfactual conditional P □ -->Q “If P WERE the case, then Q WOULD be the case” EX: “had there been X, then Y would happen”
Entailment= strongest connection
counterfactual= somewhere in the middle
Material conditional= weakest connection
1) Material Conditional (P ⊃ Q)
(P ⊃ Q) is false when: in the actual world, P is true while Q is false.
**Every claim having no counter example is true**
EX: (if you own all of the gold on planet earth) ⊃ (you are wealthy)
TRUE
**if the P is false, the Q is automatically true**
EX2: (Mt. Everest is a rock laden mountain) ⊃ (elephants can jump)
FALSE
2)Entailment (P ⇒ Q)
Necessarily (all the time, in every world ever) P, then Q will obtain.
(P ⇒ Q) is false when: in at least one possible world where P=truth and Q=false
This all was very confusing when I first was introduced to it, but now that I am going back and have had time to think about it all, it makes sense how this logic is broken down. I feel like the hardest thing to understand is that all of this is just a mathematical/English representation of my thoughts and how my brain processes statements as to what is true and what is false. It may take a while for it to really sink in that all this logic section is, is just the quantification of our thoughts and logic, nothing more. So when you are confused, think very literally, and just use logic, and 99% of the time, you will be okay