Livre:Padoa - La Logique déductive dans sa dernière phase de développement.djvu

La bibliothèque libre.
Aller à : navigation, rechercher

Padoa - La Logique déductive dans sa dernière phase de développement.djvu
Titre La Logique déductive dans sa dernière phase de développement
Auteur Alessandro Padoa
Maison d’édition Gauthier-Villars
Lieu d’édition Paris
Année d’édition 1912
Bibliothèque Internet Archive
Fac-similés djvu
Avancement À corriger


TABLE DES MATIERES

PREFACE 3

AVANT-PROPOS

Termes logiques et termes scientifiques dans le langage ordinaire 5

Idéographie des algébristes 10

Le rêve de Leibniz et sa réalisation 12

Réfutation d’un sophisme et d’une objection sceptique 14

Le vocabulaire logique réduit à une ligne 16

La sténographie et les langues artificielles 17

Logique mathématique ? 19

IDÉOGRAPHIE LOGIQUE

Égalités 21

Appartenances 22

Extension ou compréhension des classes 24

Principe de permanence 25

Inclusions 28

Quelques classes arithmétiques 31

Rien et tout 33

Réunion et intersection de classes. Réunion disjonctive 35

Individu. Élement. Agrégat 38

Symboles constants ou variables 41

Propositions catégoriques ou conditionnelles 42

Variables réelles ou apparentes 43

Implications 44

Ponctuation 46

Classes et conditions 47

Affirmations simultanées ou alternes 51

Négation. Classes contraires 55

Existence 57

Comparaison entre l’idéographie logique et le langage ordinaire 59

LOGIQUE DÉDUCTIVE

Réflexibilité, symétrie et transivité 60

Proprieté substitutive de l’égalité 64 Transformation des relations logiques 66

Propriétés simplificative, commutative, associative et distributive des opérations logiques 69

Autres propositions remarquables 75

Syllogistique 76

Relations entre les symboles ~ w - 80

Dualité logique 82

Principes d’identité, de contradiction et du tiers exclu 90

On démontre une P sans se soucier de ce qu elle dit 95

Possibilité de réduire le vocabulaire logique a trois symboles 96


Coulommiers. Imp. Paul BRODARD.