Abstract

In the article of 1965 Are logical truths analytic? Hintikka deals with the problem of establishing whether the logical truths of first-order logic areanalytic or synthetic. In order to provide an answer to this issue, Hintikka firstly distinguishes two different notions of analyticity, and then he showsthat the sentences of first-order logic are analytic in one sense, but synthetic in another. This interesting result clearly illustrates the non-triviality of thequestion. In this paper we aim at answering the question Are modal truths analytic? In order to elaborate a satisfactory answer to this question, wewill follow the strategy of Hintikka and we will exploit some recent results on the proof theory for modal logic. Finally, our conclusions will shed newlights on the links between first-order logic and modal logic.