Truthmaking, Supervenience, and Reduction

There are two main theories of ontological commitment: the quantifier view, and the truthmaker view. Since there are some truths that apparently commit us to certain entities, but actually do not, any ontological commitment theory must also contain an ontological reduction theory. Advocates of the quantifier view propose the paraphrasing method of reduction, while some advocates of the truthmaker view propose the supervenience method. In this paper, after a brief discussion of the quantifier view, the author proposes a modified version of truthmaker-based ontology, and shows that a plausible account of the supervenience method can be deduced from his version. He then shows that the supervenience method could explain why the paraphrasing method is successful. The author also argues that according to the truthmaker view we must accept composite objects as something over and above the particles which constitute them.