Kinakailangan, sa lohika at metapisika, isang modal na pag-aari ng isang tunay na panukala kung saan hindi posible na ang panukala ay hindi totoo at ng isang maling panukala kung saan hindi posible na maging totoo ang panukala. Ang isang panukala ay lohikal na kinakailangan kung ito ay nag-uuri ng isang batas ng lohika o maaaring gawin upang maipaliwanag ang isang batas ng lohika sa pamamagitan ng pagpapalit ng mga katumbas na katumbas na termino. Ang mga halimbawa ay "Umuulan ngayon o hindi umuulan ngayon" at "Ang lahat ng kababaihan ay mga tao" (sa pag-aakalang "mga kababaihan" ay maaaring mapalitan ng "babaeng tao"). Ang mga kinakailangang panukala ay sinasabing minsan o totoo (tulad ng maaaring mangyari) sa lahat ng posibleng mundo. Ang isang kontrobersyal na totoo o maling panukala ay sa gayon ay totoo sa ilang posibleng mga mundo at hindi totoo sa iba (halimbawa, "Ang Pransya ay isang demokrasya"). Ayon sa isang tradisyunal na pagtingin, ang lahat ng mga tunay na kinakailangang mga panukala ay analytic (tautologous) at kilala ang isang priori (malalaman nang nakapag-iisa ng karanasan). Ang ilang mga pilosopo ay kinikilala ang isang pangalawang kategorya ng "metaphysically" kinakailangang mga panukala na hindi analytic at sa pangkalahatan ay hindi isang priori; kasama sa mga halimbawa ang mga pahayag ng pagkakakilanlan tulad ng "Ang tubig ay H2 O. ”
epistemology: Kailangan at panukalang-batas na panukala
"Ang isang panukala ay sinasabing kinakailangan kung hahawak ito (totoo) sa lahat ng lohikal na posibleng kalagayan o kundisyon. "Lahat ng asawa ay
