Būtinumo filosofija

Būtinumas, logikoje ir metafizikoje - tikrosios teiginio modalinė savybė, kai negalima teigti, kad teiginys yra klaidingas, ir klaidingo teiginio, pagal kurį neįmanoma teiginio būti tiesa. Teiginys yra logiškai būtinas, jei jis pateisina logikos dėsnį arba gali būti padarytas paaukštinti logikos dėsnį pakeičiant apibrėžimu lygiaverčius terminus. Pavyzdžiai yra „Dabar lyja arba dabar nėra lietaus“ ir „Visos moterys yra žmonės“ (darant prielaidą, kad „moterys“ gali būti pakeistos „moteriškomis moterimis“). Būtini teiginiai visuose įmanomuose pasauliuose kartais sakomi teisingi arba klaidingi (atsižvelgiant į atvejį). Taigi neapibrėžtai teisingas ar klaidingas teiginys yra tas, kuris teisingas kai kuriuose galimuose pasauliuose, ir klaidingas kituose (pvz., „Prancūzija yra demokratija“). Remiantis tradicine nuomone, visi tikrieji būtini teiginiai yra analitiniai (tautologiniai) ir žinomi a priori (žinomi nepriklausomai nuo patirties). Kai kurie filosofai pripažįsta antrąją „metafiziškai“ būtinų teiginių, kurie nėra analitiniai ir paprastai nėra a priori, kategoriją; pavyzdžiai apima tapatybės teiginius, tokius kaip „Vanduo yra H₂ O. “

epistemologija: būtini ir sąlyginiai teiginiai

Sakoma, kad pasiūlymas yra būtinas, jei jis galioja (yra tiesa) visomis logiškai įmanomomis aplinkybėmis ar sąlygomis. Visi vyrai yra