Sự cần thiết, trong lôgic học và siêu hình học, thuộc tính mô thức của một mệnh đề đúng, theo đó mệnh đề không thể sai và mệnh đề sai, do đó mệnh đề đó không thể đúng. Một mệnh đề là cần thiết về mặt logic nếu nó khởi tạo một quy luật logic hoặc có thể được thực hiện để khởi tạo một quy luật logic thông qua việc thay thế các thuật ngữ tương đương xác định. Ví dụ như “Bây giờ trời đang mưa hoặc bây giờ trời không mưa” và “Tất cả phụ nữ đều là con người” (giả sử “phụ nữ” có thể được thay thế bằng “phụ nữ”). Các mệnh đề cần thiết đôi khi được cho là đúng hoặc sai (tùy từng trường hợp) trong mọi thế giới có thể. Do đó, một mệnh đề đúng hoặc sai ngẫu nhiên là một mệnh đề đúng trong một số thế giới có thể xảy ra và sai trong một số thế giới khác (ví dụ: “Pháp là một nền dân chủ”). Theo quan điểm truyền thống,tất cả các mệnh đề thực sự cần thiết đều là tiên nghiệm có thể phân tích (tautology) và có thể biết được (có thể biết một cách độc lập với kinh nghiệm). Một số triết gia nhận ra loại thứ hai gồm các mệnh đề cần thiết “siêu hình” không mang tính phân tích và thường không phải là tiên nghiệm; các ví dụ bao gồm các tuyên bố nhận dạng chẳng hạn như “Nước là H2 Ô ”
Đọc thêm về nhận thức luận Chủ đề này: Các mệnh đề cần thiết và ngẫu nhiên ”Một mệnh đề được cho là cần thiết nếu nó đúng (đúng) trong mọi hoàn cảnh hoặc điều kiện có thể có về mặt logic. “Tất cả các ông chồng đều là ... Bài báo này được sửa đổi và cập nhật gần đây nhất bởi Brian Duignan, Biên tập viên cấp cao.
