Necesitate , în logică și metafizică , o proprietate modală a unei propoziții adevărate prin care nu este posibil ca propoziția să fie falsă și a unei propoziții false prin care nu este posibil ca propoziția să fie adevărată. O propoziție este necesară din punct de vedere logic dacă instanțiază o lege a logicii sau poate fi făcută pentru a instanția o lege a logicii prin substituirea unor termeni echivalenți definitiv. Exemple sunt Plouă acum sau nu plouă acum și Toate femeile sunt ființe umane (presupunând că femeile pot fi înlocuite cu ființe umane feminine). Uneori se spune că propozițiile necesare sunt adevărate sau false (după caz) în toate lumile posibile. O propoziție contingentă adevărată sau falsă este astfel una care este adevărată în unele lumi posibile și falsă în altele (de exemplu, Franța este o democrație). Conform unei viziuni tradiționale, toate propozițiile adevărate necesare sunt analitic (tautolog) și cunoscut a priori (cunoscut independent de experiență). Unii filozofi recunosc o a doua categorie de propoziții necesare metafizic, care nu sunt analitice și, în general, nu sunt apriorice; exemplele includ declarații de identitate, cum ar fi Water is HDouăSAU.
Copyright © Toate Drepturile Rezervate | asayamind.com