Protipríklad

Protipríklad alebo kontrapríklad je výnimka z navrhnutého všeobecného pravidla. Ak výrok priraďuje určitú vlastnosť všetkým prvkom množiny, nájdenie len jedného prvku patriaceho do tejto množiny, ktorý túto vlastnosť nemá, je protipríkladom voči pravidlu. Inak vyjadrené, protipríklad je falzifikáciou všeobecných súdov.

Ako príklad môžeme použiť Platónov dialóg Gorgias, v ktorom sa Kalikles snaží určiť, čo to znamená hovoriť, že niektorí ľudia sú lepší ako druhí. Návrh, podľa ktorého silnejší sú lepší, Sokrates odmieta s tým, že spodina je počtom silnejšia ako trieda aristokratov, avšak charakter aristokratov je lepší ako charakter spodiny. Sokrates týmto našiel protipríklad voči navrhnutej definícii. Kalikles by mohol napadnúť Sokratov protipríklad napríklad tým, že by tvrdil, že charakter spodiny je v skutočnosti lepší ako charakter aristokratov. Ak však prijme Sokratov protipríklad, je nútený svoju definíciu buď vziať späť alebo ju pozmeniť tak, že Sokratov protipríklad už nemožno použiť. Podľa dialógu, Kalikles svoju definíciu pozmenil (lepší je múdrejší).

Zdroj

• Tento článok je čiastočný alebo úplný preklad článku Counterexample na anglickej Wikipédii.