Ανάγκη, στη λογική και τη μεταφυσική, μια ιδιομορφική ιδιότητα μιας αληθινής πρότασης κατά την οποία δεν είναι δυνατόν για την πρόταση να είναι ψευδής και μιας ψευδούς πρότασης με την οποία δεν είναι δυνατόν για την πρόταση να είναι αληθινή. Μια πρόταση είναι λογικά απαραίτητη εάν θεμελιώνει έναν νόμο της λογικής ή μπορεί να γίνει για να τεκμηριώσει έναν νόμο της λογικής μέσω της αντικατάστασης ορισμένων ισοδύναμων όρων. Παραδείγματα είναι: «Βρέχει τώρα ή δεν βρέχει τώρα» και «Όλες οι γυναίκες είναι ανθρώπινα όντα» (υποθέτοντας ότι «οι γυναίκες» μπορούν να αντικατασταθούν με «γυναικεία όντα»). Οι απαραίτητες προτάσεις μερικές φορές λέγονται αληθείς ή ψευδείς (ανάλογα με την περίπτωση) σε όλους τους πιθανούς κόσμους. Επομένως, μια ενδεχομένως αληθινή ή ψευδή πρόταση είναι αληθινή σε ορισμένους πιθανούς κόσμους και ψευδής σε άλλους (π.χ. «η Γαλλία είναι δημοκρατία»). Σύμφωνα με μια παραδοσιακή άποψη, όλες οι αληθινές απαραίτητες προτάσεις είναι αναλυτικές (ταυτολογικές) και γνωστές εκ των προτέρων (γνωστές ανεξάρτητα από την εμπειρία). Μερικοί φιλόσοφοι αναγνωρίζουν μια δεύτερη κατηγορία «μεταφυσικά» απαραίτητων προτάσεων που δεν είναι αναλυτικές και γενικά όχι a priori. Παραδείγματα περιλαμβάνουν δηλώσεις ταυτότητας όπως «Το νερό είναι H2 Ο."
επιστημολογία: Απαραίτητες και ενδεχόμενες προτάσεις
Μια πρόταση λέγεται ότι είναι απαραίτητη εάν ισχύει (ισχύει) σε όλες τις λογικά πιθανές περιστάσεις ή συνθήκες. «Όλοι οι σύζυγοι είναι
