A truthmaker is an entity in virtue of which the proposition it makes true is true. And it is a necessary condition of being a truthmaker (though not a sufficient one) that a truthmaker necessitates the proposition it makes true.
Gonzalo Rodriguez-PereyraFor bundles of universals can be in more than one place at the same time; so a bundle can have more than one instance; so there can be numerically distinct particulars sharing the same universals; so the principle of identity of indiscernibles is false.
Gonzalo Rodriguez-PereyraBy arguing that the bundle theory does not entail and is not committed in any way to the principle of identity of indiscernibles, I have thereby defended the bundle theory from a traditional objection to it.
Gonzalo Rodriguez-PereyraI decided to do philosophy at university, with a view to becoming a professional philosopher. Being a rather unstable character, at some points I had doubts about becoming a professional philosopher, but the example of two of my teachers, Ezequiel de Olaso and Juan Rodriguez Larreta, made me confirm my original decision.
Gonzalo Rodriguez-Pereyra