kontrafaktuaaliga (counterfactual conditional), mille puhul aluse väärus on presupositsioon. Kontrafaktuaale ei saa tõlkida implikatsiooniks ilma täiendava analüüsita. Kontrafaktuaalid on tänapäevases filosoofias olulised uurimis- ja vaidlusobjektid. Tegemist on oleks-lausetega. Näitelause 1 „Kui ma oleks katuselt alla hüpanud (A), siis oleks ma surma saanud (B)”. Näitelause 2 „Kui ma oleks katuselt alla hüpanud (A), siis oleks Päike plahvatanud (C)”. Mõlemas näites presuponeeritakse, et alus (A) on väär, mis tähendab, et tõsi on aluse eitus (¬A). Erinevalt materiaalsest implikatsioonist ei järeldu kontrafaktuaali tõesus aluse väärusest. Näitelause 1 võib olla tõene, kui asjaolud on sellised ja me usume bioloogia ja füüsika seadusi. Näitelause 2 võib olla väär täpselt samadel põhjustel. Kontrafaktuaali tõeväärtus sõltub seega maailma omadustest ning meie teadmistest ja uskumustest maailma kohta.
kontrafaktuaaliga (counterfactual conditional), mille puhul aluse väärus on presupositsioon. Kontrafaktuaale ei saa tõlkida implikatsiooniks ilma täiendava analüüsita. Kontrafaktuaalid on tänapäevases filosoofias olulised uurimis- ja vaidlusobjektid. Tegemist on oleks-lausetega. Näitelause 1 ,,Kui ma oleks katuselt alla hüpanud (A), siis oleks ma surma saanud (B)". Näitelause 2 ,,Kui ma oleks katuselt alla hüpanud (A), siis oleks Päike plahvatanud (C)". Mõlemas näites presuponeeritakse, et alus (A) on väär, mis tähendab, et tõsi on aluse eitus (¬A). Erinevalt materiaalsest implikatsioonist ei järeldu kontrafaktuaali tõesus aluse väärusest. Näitelause 1 võib olla tõene, kui asjaolud on sellised ja me usume bioloogia ja füüsika seadusi. Näitelause 2 võib olla väär täpselt samadel põhjustel. Kontrafaktuaali tõeväärtus sõltub seega maailma omadustest ning meie teadmistest ja uskumustest maailma kohta.