Nepieciešamība, loģikā un metafizikā - patiesa piedāvājuma modāls īpašums, saskaņā ar kuru apgalvojums nav iespējams kļūdains, un kļūdains apgalvojums, saskaņā ar kuru apgalvojumam nav iespējams būt patiesam. Piedāvājums ir loģiski nepieciešams, ja tas aktualizē loģikas likumu vai to var padarīt par loģikas likuma aktualizēšanu, aizstājot ar definīciju līdzvērtīgus terminus. Piemēri ir “tagad līst vai arī nelīst tagad” un “visas sievietes ir cilvēki” (pieņemot, ka “sievietes” var aizstāt ar “sievietes sievietes”). Nepieciešamie apgalvojumi dažreiz tiek apgalvoti kā patiesi vai nepatiesi (atkarībā no gadījuma) visās iespējamās pasaulēs. Tādējādi nosacīti patiess vai nepatiess piedāvājums ir taisnīgs dažās iespējamās pasaulēs un nepatiess citās (piemēram, “Francija ir demokrātija”). Saskaņā ar tradicionālo uzskatu, visi patiesi nepieciešamie apgalvojumi ir analītiski (tautoloģiski) un zināmi a priori (zināmi neatkarīgi no pieredzes). Daži filozofi atzīst otro kategoriju “metafiziski” nepieciešamajiem priekšlikumiem, kas nav analītiski un parasti nav a priori; piemēri ietver identitātes paziņojumus, piemēram, “Ūdens ir H2 O. ”
epistemoloģija: Nepieciešamie un iespējamie priekšlikumi
Piedāvājums tiek uzskatīts par nepieciešamu, ja tas pastāv (ir patiess) visos loģiski iespējamos apstākļos vai apstākļos. “Visi vīri ir
