Fiche du document
2016
- handle: 10670/1.rwmle9
- isbn: 978-1-84890-090-5
- halshs: halshs-00775811
info:eu-repo/semantics/OpenAccess
Mots-clés
philosophy of scienceSujets proches
Conation Volition Cetanā Modal logicCiter ce document
Francesca Poggiolesi, « Modal Truths from an Analytic-Synthetic Kantian Distinction », HAL-SHS : histoire, philosophie et sociologie des sciences et des techniques, ID : 10670/1.rwmle9
Métriques
Partage / Export
Résumé
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.