Keller Phillipp. Introduction à la logique

Département de Philosophie, Université de Genève, 2007. — 357 p.Cette introduction à la logique est écrite dans une langue qui (espérons-le) s’approche mais ne coïncide pas avec le français. En effet, la signification donnée à des mots du langage ordinaire (tels que :“proposition”,“validité”,“solidité”), et au vocabulaire technique -souvent inspiré de l’anglais (également technique) diverge de l’utilisation courante de ces mots dans la langue française. Pour cette raison, j’ai choisi d’ajouter un glossaire comportant les explications “informelles” de ces notions.
Bien que cette introduction ait été écrite pour les étudiants en philosophie, elle devrait également susciter l’intérêt des linguistes, des informaticiens et des mathématiciens. Elle peut être lue et étudiée de manière autonome, puisque les exercices nombreux permettent un contrôle continu du progrès dans l’apprentissage. Cette introduction peut, finalement, être utilisée pour la création d’un cours universitaire de niveau élémentaire ou intermédiaire.