Officially, for Kant, judgments are analytic iff the predicate is "contained in" the subject. I defend the containment definition against the common charge of obscurity, and argue that arithmetic cannot be analytic, in the resulting sense. My account deploys two traditional logical notions: logical division and concept hierarchies. Division separates a genus concept into exclusive, exhaustive species. Repeated divisions generate a hierarchy, in which lower species are derived from their genus, by adding differentia(e). Hierarchies afford a straightforward sense of containment: (...) genera are contained in the species formed from them. Kant's thesis then amounts to the claim that no concept hierarchy conforming to division rules can express truths like '7+5=12.' Kant is correct. Operation concepts ( ) bear two relations to number concepts: and are inputs, is output. To capture both relations, hierarchies must posit overlaps between concepts that violate the exclusion rule. Thus, such truths are synthetic. (shrink)

In contrast to Hintikka’s enormously complex distributive normal forms of first- order logic, this paper shows how to generate minimized disjunctive normal forms of first-order logic. An effective algorithm for this purpose is outlined, and the benefits of using minimized disjunctive normal forms to explain the truth conditions of propo- sitions expressible within pure first-order logic are presented.

Dans la philosophie de Hintikka la notion d'analyticité occupe une place particulière (e.g., [Hintikka 1973], [Hintikka 2007]) ; plus précisément, le philosophe finnois distingue deux notions d'analyticité : l'une qui est basée sur la notion d'information, l'autre sur la notion de preuve. Alors que ces deux notions ont été largement utilisées pour étudier la logique propositionnelle et la logique du premier ordre, aucun travail n'a été développé pour la logique modale. Cet article se propose de combler cette lacune et ainsi (...) d'examiner l'analyticité des validités de la logique modale. (shrink)

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. (shrink)