Ověřovatel je ten, kdo se drží ověřovacího principu, což je kritérium smysluplnosti, které vyžaduje, aby neanalytická, smysluplná věta byla buď ověřitelná, nebo zfalšovatelná, ačkoli mezi ověřovateli se vášnivě diskutovalo o tom, zda to musí být možné v praxi, nebo pouze v principu. Například tvrzení, že svět vznikl před krátkou dobou přesně tak, jak je dnes (se zavádějícími zjevnými stopami delší minulosti), by ověřovatel považoval za nesmyslné, protože to není ani analytické tvrzení, ani ověřitelné tvrzení.
Toto kritérium významu, podle verifikátorů, mělo také za následek odhalení řady filozofických debat jako nesmyslných, protože podle verifikátorů se mnoho filozofických debat týká pravdivosti neověřitelných vět. Notoricky se verifikismus často používá k vyloučení nesmyslných náboženských, metafyzických a etických vět. Nicméně ne všichni verifikátoři shledali věty tohoto typu neověřitelnými. Klasičtí pragmatici například viděli verifikismus jako vodítko pro konání dobré práce v náboženství, metafyzice a etice.
Empirici přímo neuvedli kritérium smysluplnosti, ale dalo by se považovat za rovnocenné tvrzení empiriků, že myšlenky, které nejsou spojeny se zkušeností, jsou „prázdné“. Stojí však za zmínku, že verifikování nemusí být pozicí o významu. Je to prostě pozice, že neověřitelné věty jsou nějakým způsobem vadné, která se podobá tomu, jak jsou vadné nepravdivé věty a nesmyslné věty. Empirici by proto mohli být chápáni jako tvrzení, že neověřitelné věty jsou vadné ne proto, že jsou nesmyslné, ale proto, že obsahují pojmy znamenající ideje/pojmy, které v žádném případě nemůžeme vlastnit. Nebo by empirik mohl být chápán jako tvrzení sémantické pozice, že neověřitelné věty jsou nesmyslné precizně, protože obsahují pojmy znamenající ideje/pojmy, které v žádném případě nemůžeme vlastnit.
Auguste Comte vyslovil sémantický postoj ne o nesmyslnosti neověřitelných vět, ale spíše o nesmyslnosti jejich zvažování, protože je nelze ověřit. Takové odmítání neověřitelných vět jako zbytečných spíše než nesmyslných by se znovu objevilo v díle klasických pragmatiků vedle jejich sémantického verifikátorství. Comte byl poněkud extrémní verifikátor, odmítající vše, s čím nemůžeme mít přímou zkušenost. To zahrnovalo výroky o minulosti, všeobecná zobecnění i abstraktní objekty jako univerzály.
Ověřovací princip je nejvíce spojován s logickým pozitivistickým hnutím, které mělo své kořeny v meziválečné Vídni.
Navzdory předstartovnímu logickému pozitivismu měl pragmatismus na logické pozitivisty jen velmi malý vliv a většina pozornosti věnovaná verifikaci byla nasměrována k pozitivistům. Je to především proto, že logický pozitivismus na rozdíl od pragmatismu měl možnost zavrhnout celé disciplíny jako metafyzika, morálka a etika. Pragmatici se od logických pozitivistů lišili pohostinností k oblastem poznání, o nichž pozitivisté doufali, že jejich princip podkope. Pragmatici nechtěli vyloučit metafyziku, náboženství nebo etiku ověřovacím principem; chtěli poskytnout standard pro vedení dobré metafyziky, náboženství a etiky.
James razil slavné verifikátorské motto: „Rozdíl, který nečiní rozdíl, není rozdíl“.
Obecně se má za to, že Karl Popper odmítl požadavek, aby smysluplné věty byly ověřitelné, a místo toho požadoval, aby byly falzifikovatelné. Popper však později tvrdil, že jeho požadavek na falzifikovatelnost nebyl míněn jako teorie smyslu, ale spíše jako metodologická norma pro vědy. Často, a k Popperově zděšení, je seskupen jako společně s verifikátory spíše než jako kritik verifikátorství.
Postpozitivističtí verifikátoři
Quine a dogmata empirismu (1951)
Nicméně ověřovatelé nemusí být logickými pozitivisty; Willard Van Orman Quine je slavným příkladem ověřovatele, který nepřijímá logický pozitivismus z důvodů sémantického holismu. Naznačuje, že u teoretických vět na rozdíl od vět pozorovacích je význam „infikován teorií“. To, že teoretické věty jsou redukovatelné na věty pozorovací, je jedním z „dogmat empirismu“, které odmítá jako neslučitelné se sémantickým holismem.
Wittgenstein a soukromý jazyk Argument (1953)
Důležitým tématem současné filozofie je Wittgensteinův argument proti možnosti soukromého jazyka, který je shodou okolností příkladem pozdějšího Wittgensteinova verifikátorství.
Bas van Fraassen a konstruktivní empirismus (1980)
Po pádu logického pozitivismu ztratily verifikace a empirismus obecněji mnoho stoupenců. Tento trend byl zastaven a z velké části zvrácen v roce 1980 vydáním van Fraassenova Vědeckého obrazu. Konstruktivní empirismus uvádí, že vědecké teorie nesměřují k pravdě, ale k empiricky adekvátní a že jejich přijetí zahrnuje pouze přesvědčení, že jsou empiricky adekvátní. Teorie je empiricky adekvátní tehdy a jen tehdy, pokud je vše, co říká o pozorovatelných entitách, „pravdivé“ (nebo dobře zavedené). Konstruktivní empirismus proto odmítá neověřitelné postoje ne proto, že by postrádaly pravdu nebo smysl, ale proto, že překračují rámec toho, co je potřeba k empiricky adekvátní.