LIARD Louis "Les Logiciens anglais contemporains

Le point sur les innovations des logiciens anglais dans le domaine de la logique formelle : une approche mathématique de la logique avec quantification du prédicat, postulat de la logique, théorie de la proposition ...

Editeur : Félix Alcan, Paris, 1890. Troisième édition.

in-12 (12 x 18 cm). Reliure demi chagrin cerise et pleine percaline cerise sur les plats. Chiffre du Lycée Gay-Lussac de Limoges estampé en or sur le premier plat. Plats estampés à froid d'encadrements. Dos à 4 faux nerfs avec titre doré et ornements dorés dans les caissons. Toutes tranches mouchetées. 4 ff non chiffrés : page de faux titre, catalogue de la Librairie, page de titre, page de dédicace à Stanley Jevons, Préface de la première édition puis 177 pages et une page de table no chiffrée. Papier jauni avec quelques taches. Mention manuscrite au crayon sur le page de faux titre : "2e prix de Philosophie, classe de Math. Elem. 1913". Bon exemplaire.

Sommaire : La logique inductive en Angleterre (La logique inductive et la logique formelle ; La logique inductive : Herschel ; Whewell ; Stuart Milli). La Logique Inductive et le Syllogisme (Stuart Milli : pétition de principe inhérente à tout syllogisme, fonction du syllogisme, formule du syllogisme ; Herbert Spencer : définition de la logique critique du syllogisme péripatéticien, raisonnement du particulier au particulier, syllogisme à quatre termes, principes de similitude). George Bentham et Hamilton (La nouvelle analytique ; G. Bentham : quantification du prédicat ; Hamilton : définition de la logique ; Lois formelles de la pensée ; Postulat de la logique ; Quantification du prédicat ; Théorie de la proposition ; Conversion ; Raisonnement en général ; Raisonnement en extension ; Induction et déduction ; Raisonnement immédiat et médiat ; Raisonnement analytique et raisonnement synthétique ; Raisonnement figuré et non figuré ; Théorie des figures ; Théorie des modes). De Morgan (Théorie des noms contraires ; Nature de la copule ; Théorie des propositions ; Syllogisme unité, forme cumulaire et forme exemplaire de la proposition ; Syllogisme ; Logique de la relation en général). Boole (Principes généraux ; Des symboles logiques et de leurs lois ; Comparaison de l'algèbre logique avec l'algèbre des mathématiciens ; Expansion des fonctions ; Interprétation générale des équations logiques ; De l'élimination ; Réduction d'un système de propositions à une équation ; Des propositions secondaires, principe de leur expression symbolique). Stanley Jevons (Critique du système de Boole ; Symboles logiques et lois de ces symboles ; Propositions ; Forme générale de l'inférence ; Déduction directe ; Déduction indirecte ; L'Abécédaire logique ; La machine logique ; L'induction).

Louis Liard (22 août 1846, Falaise - 21 septembre 1917, Paris). Philosophe et Agrégé de philosophie en 1869. Professeur de lycée puis Recteur de l'académie de Caen (1880). Directeur de l'Enseignement supérieur au ministère de l'Instruction publique (1884). Membre de l'Institut, Académie des sciences morales et politiques en 1903.

REF. 2556 H6