Sự cần thiết, trong logic và siêu hình học, một tính chất phương thức của một mệnh đề đúng, theo đó, mệnh đề này không thể sai và một mệnh đề sai theo đó mệnh đề không thể là đúng. Một đề xuất là cần thiết về mặt logic nếu nó khởi tạo một định luật logic hoặc có thể được thực hiện để khởi tạo một định luật logic thông qua việc thay thế các thuật ngữ tương đương theo định nghĩa. Ví dụ như là Trời đang mưa hoặc bây giờ trời không mưa. Tất cả phụ nữ đều là con người. (Giả sử phụ nữ có thể được thay thế bằng con người phụ nữ. Các đề xuất cần thiết đôi khi được cho là đúng hoặc sai (tùy từng trường hợp) trong tất cả các thế giới có thể. Do đó, một đề xuất đúng hoặc sai là một đề xuất đúng trong một số thế giới có thể và sai ở những thế giới khác (ví dụ, Pháp France là một nền dân chủ chủ nghĩa). Theo một quan điểm truyền thống, tất cả các đề xuất cần thiết thực sự là phân tích (tautologous) và có thể biết một tiên nghiệm (có thể biết độc lập với kinh nghiệm). Một số nhà triết học nhận ra một phạm trù thứ hai của những đề xuất cần thiết về mặt siêu hình, không mang tính phân tích và nói chung không phải là một tiên nghiệm; ví dụ bao gồm các tuyên bố nhận dạng như Nước Nước là H2 O.
nhận thức luận: đề xuất cần thiết và dự phòng
Một đề xuất được cho là cần thiết nếu nó đúng (là đúng) trong mọi trường hợp hoặc điều kiện logic có thể. Tất cả các ông chồng đều
