הכרח, בלוגיקה ובמטאפיזיקה, תכונה מודאלית של הצעה אמיתית לפיה לא יתכן שההצעה תהיה שקרית ושל הצעה שגויה לפיה אין אפשרות שההצעה תהיה אמיתית. הצעה היא הכרחית מבחינה הגיונית אם היא מייצרת חוק של היגיון או שניתן לבצע אותה כדי להפעיל חוק הגיון באמצעות החלפת מונחים שקולים בהחלט. דוגמאות לכך הן "יורד גשם עכשיו או שלא יורד גשם עכשיו" ו"כל הנשים הן בני אדם "(בהנחה שניתן להחליף" נשים "ב"נשים אנושיות"). לפעמים אומרים כי הצעות הכרחיות נכונות או שקריות (לפי העניין) בכל העולמות האפשריים. אפוא, הצעה נכונה או כוזבת בהתנהגות היא נכונה בעולמות אפשריים ושקרית באחרים (למשל, "צרפת היא דמוקרטיה"). על פי תפיסה מסורתית, כל ההצעות הנחוצות האמיתיות הינן אנליטיות (טאוטולוגיות) ויכולות להיות א-פריורי (ניתן לדעת ללא תלות בניסיון). חלק מהפילוסופים מכירים בקטגוריה שנייה של הצעות חיוניות "מטאפיזיות" שאינן אנאליטיות ובאופן כללי אינן פריוריות; דוגמאות כוללות הצהרות זהות כמו "מים הם H2 O."
אפיסטמולוגיה: הצעות הכרחיות וקבועות
"נאמר כי הצעה היא הכרחית אם היא מתקיימת (נכונה) בכל הנסיבות והתנאים האפשריים מבחינה הגיונית. "כל הבעלים הם
