Paradoxul lui Yablo este un paradox logic similar cu paradoxul mincinosului . A fost publicată de Stefan Jablo în 1993 . Importanța acestui paradox este că, deși este asemănător cu paradoxul mincinosului și cu diferitele sale variante, acest paradox, cel puțin pe față, evită auto-referința . Adevărat, mulți cred că acest lucru este doar la prima vedere, iar auto-referința este „ascunsă” în interiorul paradoxului.
Luați un număr infinit de afirmații:
( S 1 ): toate S k pentru k > 1 sunt false. ( S 2 ): toate S k pentru k > 2 sunt false. ( S 3 ): toate S k pentru k > 3 sunt false. …În special, ar trebui să acordăm o atenție deosebită faptului că fiecare afirmație nu spune nimic despre propriul adevăr sau fals, chiar și într-un mod indirect, deoarece spune doar ceva despre afirmațiile cu numere mai mari și acest lucru este valabil și pentru toate.
Luați orice afirmație S k . Este fals sau adevarat? Să presupunem că este adevărat. Atunci S k +1 , S k +2 etc. sunt toate false. Dar falsitatea lui S k +2 , S k +3 etc. este exact ceea ce afirmă S k +1 . Prin urmare, obținem o contradicție: pe de o parte, S k +1 este fals (o consecință directă a adevărului lui S k ), pe de altă parte, este adevărat (o consecință directă a falsității lui S k +2 ). , Sk + 3 , Sk + n ) . Deoarece am ajuns la o contradicție, atunci presupunerea noastră a fost greșită și S k este de fapt falsă. Acest lucru este valabil pentru orice k .