içkici paradoksu

• içkici paradoksu (drinker paradox), raymond smullyan tarafından popülerleştirilmiş, klasik mantıkta bir teorem. günlük dil içerisinde ifade edildiğinde sezgi karşıtı absürd bir hal aldığından dolayı bir teorem olsa da kendisine paradoks denmektedir.
  
  paradoks şöyle ifade ediliyor: barda öyle bir kişi vardır ki, eğer o kişi içiyorsa, bardaki herkes içiyordur. bu önermenin doğru olduğu şöyle görülebilir:
  
  iki durum olabilir, ya bardaki herkes içki içiyordur, ya da içki içmeyen en az bir kişi vardır.
  
  durum 1: eğer bardaki herkes içki içiyorsa, x kişisini herhangi bir kişi olarak seçelim. bu durumda "x içiyorsa, bardaki herkes içiyordur" önermesi doğru olduğundan asıl önerme doğrudur.
  
  durum 2: eğer barda içki içmeyen en az bir kişi varsa, x kişisini bu içki içmeyenlerden birisi olarak seçelim. bu durumda gene "x içiyorsa, bardaki herkes içiyordur" önermesi doğru olur zira bir ise cümlesinin koşul kısmı yanlış ise cümle doğrudur.
  
  demek ki gerçekten de öyle bir kişi vardır ki, eğer o kişi içiyorsa, herkes içiyordur.