The truthmaker account of ontological commitment—like the quantifier account, but for an entirely different reason—has a problem with capturing implicit commitment. The problem arises because the truthmakers for a theory, but not the ontological commitments of a theory, are entities whose existence is sufficient for the truth of the theory. The problem afflicts both the truthmaker criterion for particulars, and for kinds. Indeed, assuming truthmaker necessitarianism, it follows from the former c
Extraction notes
Validity: Extracted via Max plan + API grounding/validity checks