kontrafãktinis sąlygnis teiginỹs, teiginys, kurio sudėtinės dalys (antecedentas ir konsekventas) yra tikrovės (faktų) neatitinkantys teiginiai. Šie teiginiai dažniausiai reiškiami tariamosios nuosakos sakiniais. Visi kontrafaktiniai sąlyginiai teiginiai yra sudaryti iš klaidingų teiginių, bet vieni jų atrodo teisingi (jei į vandenį įmesčiau šį cukraus gabaliuką, jis ištirptų), kiti klaidingi (jei į vandenį įmesčiau šį cukraus gabaliuką, jis pavirstų karosu), o trečių teisingumo reikšmė atrodo neapibrėžta (plg. jei Biržai būtų Suvalkijoje, tai Biržai būtų Lietuvos pietuose ir jei Biržai būtų Suvalkijoje, tai Suvalkija būtų Lietuvos šiaurėje). Metalingvistinių kontrafaktinių sąlyginių teiginių teorijų požiūriu, teiginys jei būtų A, tai būtų B yra teisingas, jei ir tik jei egzistuoja tokia pradines sąlygas aprašančių teisingų teiginių aibė, iš kurios kartu su A ir gamtos dėsniais plaukia B, ir nėra tokios pradines sąlygas aprašančių teisingų teiginių aibės, iš kurių kartu su A ir gamtos dėsniais plaukia ne-B. Galimų pasaulių loginės semantikos požiūriu, kontrafaktinių sąlyginių teiginių teisingumo reikšmės skirtumus lemia galimų pasaulių, kuriuose šių teiginių konsekventai yra teisingi teiginiai, panašumo į aktualiai egzistuojantį pasaulį laipsnis. Episteminės teorijos teigia, kad kontrafaktiniai sąlyginiai teiginiai tiesos sąlygų neturi (jie nebūna arba teisingi, arba klaidingi) ir turi būti skirstomi į priimtinus ir nepriimtinus. Kontrafaktinis sąlyginis teiginys yra priimtinas tam tikros tikėjimų aibės T požiūriu, jeigu T reikia padaryti tik minimalius pakeitimus, kad iš jos plauktų tas teiginys.
L: Z. Norkus Kontrafaktiniai sąlyginiai teiginiai istoriografijoje / Problemos 1998 nr. 53.
181