Penser, parler, raisonner sont des activités liées au "logos" grec. Ces activités sont en étroite interaction, en particulier dans les sciences cognitives actuelles. La logique est-elle un art pour bien raisonner ? Une méthode d'argumentation correcte ? Une science de démonstration ? Une discipline dont la norme est le vrai ? Une étude des opérations mentales ? Une identification des lois de la pensée ? Une analyse formelle des concepts ? L'analyse du langage des mathématiques ? Une recherche sur les fondements théoriques de l'informatique ? La logique est un langage qui doit aider à répondre, au moins en partie, à toutes ces questions.

Plutôt que de présenter la logique comme un système formel, avec des règles générales, nous préférons présenter la logique des propositions et des prédicats par la méthode de la "déduction naturelle" de A. Gentzen (1934). Cette méthode a l'avantage de mieux faire comprendre le rôle des "constantes logiques", c'est-à-dire de la négation, des petits mots de la langue naturelle comme et, ou, si... alors, tous, quelques, aucun... Ces "constantes logiques" sont caractérisées par des règles (d'élimination et d'introduction) qui décrivent leur fonctionnement sémantique.

Cet ouvrage est destiné à des étudiants des trois premières années d'université et au-delà qui désirent acquérir la maîtrise des raisonnements logiques, que ce soit en philosophie, en linguistique, en psychologie, en sociologie, en communication, et bien sûr en informatique et mathématiques.

Le Score:

Vous aurez remarqué que la fiche de chaque livre contient un nombre baptisé SCORE.

De quoi s'agit-il?

Il s'agit d'une évaluation communautaire de chaque livre calculée sur une échelle de 0 à 100.

Cette évaluation repose sur une agrégation de diverses quantités qui reflètent la vie de chaque livre au sein de la communauté ScholarVox. Cette vie s'exprime en fréquence de lecture, nombre d'étagères publiques, privées, professorales dans lesquelles le livre est présent.

Un calcul "propriétaire" mélangeant ces quantités vous restitue sous la forme synthétique d'un Score l'intelligence collective incorporée dans chaque livre. Ce Score n'est pas une note scolaire, c'est bien plus un indicateur de l'aura collective du livre.

Car, pour paraphraser Robert Parker, expert ès-notation des vins, " ...there can never be any substitute for your own reading palate nor any better education than reading the book yourself."