Synthese 196 (4):1501-1528 (
2019)
Copy
BIBTEX
Abstract
The standard argument against ordered tuples as propositions is that it is arbitrary what truth-conditions they should have. In this paper we generalize that argument. Firstly, we require that propositions have truth-conditions intrinsically. Secondly, we require strongly equivalent truth-conditions to be identical. Thirdly, we provide a formal framework, taken from Graph Theory, to characterize structure and structured objects in general. The argument in a nutshell is this: structured objects are too fine-grained to be identical to truth-conditions. Without identity, there is no privileged mapping from structured objects to truth-conditions, and hence structured objects do not have truth-conditions intrinsically. Therefore, propositions are not structured objects.