Logical Form, Truth Conditions, and Adequate Formalization

I discuss Andrea Iacona’s idea that logical form mirrors truth conditions, and that logical form, and thus truth conditions, are in turn represented by means of adequate formalization. I criticize this idea, noting that the notion of adequate formalization is highly indefinite, while the pre-theoretic idea of logical form is often much more definite. I also criticize Iacona’s claim that certain distinct sentences, with the same truth conditions and differing only by co-referential names, must be formalized by the same formula (in the same context). I criticize this claim, noting that it imposes implausible demands on adequate formalization. Finally, I offer some brief remarks on the connection between Iacona’s ideas and the distinction between logical and non-logical constants.