About Logic of Truthmakers

Abstract

The paper discusses main issues concerning truthmakers: (1) what is the ontological status of truthmakers (are they ordinary objects, situations, tropes etc?), (2) what are deduvtive properties of truthmakers. A simple logic of truthmakers is developed. The logic consists of an axiomatic system and a possible world semantics