A correspondent asked me if I could address an objection he had encountered to the argument for God from logic. Here’s the objection as he quoted it, with my comments interspersed:
The authors equivocate when they make the leap to claim that the laws of logic are thoughts. The propositions themselves are certainly thoughts, but how can the truths that the propositions bear be thoughts?
I’m pleased that the objector concedes that “propositions … are certainly thoughts” because that’s a crucial step in the argument! However, the latter part of the question reflects a confusion. In our paper, we adopted the conventional definition of propositions as primary truth-bearers. But this doesn’t mean that propositions bear truths (as though truths were something other than propositions). Rather, it means that propositions are things that can bear the property of truth; they’re things that can be true. Given this definition, truths just are propositions; specifically, they are true propositions.