Nguyên tắc xác minh , một học thuyết triết học nền tảng cho trường phái Thuyết thực chứng lôgic cho rằng một tuyên bố chỉ có ý nghĩa nếu nó có thể kiểm chứng theo kinh nghiệm hoặc có thể phản bác ( tức là,sao cho chân lý của nó phát sinh hoàn toàn từ ý nghĩa của các thuật ngữ của nó). Do đó, nguyên tắc loại bỏ các tuyên bố siêu hình của triết học truyền thống cũng như các loại tuyên bố khác - chẳng hạn như các nguyên tắc đạo đức, mỹ học hoặc tôn giáo - được khẳng định là đúng nhưng không phải là sự thật hay được biết đến từ kinh nghiệm là vô nghĩa. Những tuyên bố như vậy có thể có ý nghĩa theo nghĩa có thể ảnh hưởng đến cảm xúc, niềm tin hoặc hành vi nhưng không có nghĩa là đúng hay sai và do đó truyền đạt kiến thức. Do đó, theo nguyên tắc, một tuyên bố phi lý thuyết chỉ có ý nghĩa nếu một số tập hợp các điều kiện quan sát được có liên quan đến việc xác định sự thật hay sai của nó; như đã nêu, nó phản ánh quan điểm rằng ý nghĩa của một câu lệnh là tập hợp các điều kiện mà theo đó nó sẽ đúng.
Đọc thêm về Chủ đề này Triết học phân tích: Chủ nghĩa thực chứng logic Điều này họ tìm thấy trong nguyên tắc xác minh. Ở dạng tích cực, nguyên tắc nói rằng ý nghĩa của bất kỳ tuyên bố nào thực sự là ...Bất đồng giữa những người theo chủ nghĩa Thực chứng đã nảy sinh về các loại điều kiện được coi là có thể quan sát được cho mục đích xác minh và bản chất chính xác của mức độ liên quan của chúng đối với sự thật hay sai của các tuyên bố. Trong khi Hans Reichenbach vẫn khẳng định rằng việc xác minh các quan sát phải khả thi về mặt vật lý hoặc tương thích với các quy luật khoa học đã biết, thì người ta lại cho rằng chúng chỉ cần khả thi về mặt logic hoặc có thể hình dung được một cách không theo chiếu lệ. Những người ủng hộ quan điểm ban đầu cho rằng báo cáo quan sát cung cấp một nền tảng chắc chắn chắc chắn cho kiến thức được cho rằng khả năng xác minh đòi hỏi rằng một tuyên bố phải được đưa ra một cách hợp lý bởi một số báo cáo quan sát hữu hạn. Những người theo chủ nghĩa Thực chứng sau này, đã từ bỏ quan điểm này,chỉ yêu cầu một tuyên bố có thể kiểm chứng rằng nó được đưa ra bằng chứng rõ ràng hoặc được hỗ trợ hoặc đưa ra có thể xảy ra bởi tập hợp các quan sát liên quan.
Sự chỉ trích cơ bản đối với nguyên tắc khả năng xác minh là, bởi vì nó không phải là một mệnh đề thực nghiệm, bản thân nó theo các thuật ngữ của chính nó, hoặc vô nghĩa hoặc đúng về phương diện luận như một định nghĩa tùy ý về tính có nghĩa. Đáp lại, người ta đã lập luận cả hai rằng nguyên tắc thực sự là một nguyên lý kéo dài, mặc dù một nguyên tắc không tùy tiện ở chỗ nó phản ánh cách sử dụng thực tế và nó hoàn toàn vô nghĩa nhưng được coi là một khuyến nghị cho việc tiến hành nghiên cứu khoa học.
