• possibilità
• parti
• necessità
• mondi possibili
• modalità
• individui
• essenzialismo
• sorte
• tropi
• truth-maker

L'obiettivo di questo lavoro è la costruzione di una teoria della modalità capace di ridurre le nozioni modali a nozioni più fondamentali e di spiegare quali caratteri del mondo rendono veri certi truth-bearer modalizzati.
Nella prima parte offro una disamina delle teorie corrispondentiste della verità e della teoria dei truth-maker, al termine della quale opto per una versione della concezione realista della verità libera da impegni ontologici particolari.
Nella seconda parte discuto le teorie della modalità proposte negli ultimi decenni, mettendone in luce le carenze.
Nella terza parte propongo una teoria della modalità basata sull'idea che un truth-bearer è necessariamente vero se e solo se è vero in virtù degli oggetti su cui verte.
Nella quarta parte delineo una metafisica tropista che faccia da sfondo alla teoria della modalità proposta. In particolare, sostengo la tesi secondo cui un individuo è identico a un'istanza della sua sorta ultimativa e ne discuto le implicazioni per alcune questioni ontologiche generali riguardanti, ad esempio, la composizione mereologica degli oggetti.
Per finire, in appendice discuto alcuni problemi particolari, come le comparazioni transmondane e la supervenienza.