強證實和弱證實

強證實和弱證實（strong verification and weak veri-fication）英國艾耶爾用語。在《語言、真理和邏輯》一書中提出。他把可證實性分為強意義的和弱意義的兩種。認為如果一個命題的真實性可以在經驗中得到確切的證實，那么這個命題就被認為在可證實性這個詞的強意義上是可證實的；如果經驗可能使這個命題成為或然的，那么這個命題就被認為在可證實性這個詞的弱意義上是可證實的。他作出強證實和弱證實的區分，是為了修正德國石里克等人把確實的可證實性，即強意義的可證實性作為判斷命題是否有意義的標準。認為這條標準要求太高，因為有許多關於規律的普遍命題，如“凡人皆有死”等等，是不能確切地加以證實的，因此他主張用弱意義的可證實性取代強意義的可證實性。