||Necessitism is the view that necessarily, everything is necessarily something, where quantifiers are meant to be read unrestrictedly and modal operators are meant to be read as expressing metaphysical modality. More briefly, necessitism can be stated as the view that it is necessary what there is. Contingentism is the negation of necessitism. To illustrate the dispute between necessitists and contingentists, assume that Ludwig Wittgenstein, who was in fact childless, could have had a child. It follows with necessitism that there is actually something which could have been a child of Wittgenstein. Necessitists will typically hold that although this individual could have been a child, it is actually neither a child nor human; it is, as one may put it, a merely possible human. Contingentists typically hold that since Wittgenstein actually had no children, there is actually nothing which could have been a child of Wittgenstein. According to them, this case thus constitutes a counterexample to necessitism, witnessing that there could be something which actually is nothing, in the sense that actually, nothing is identical to it.