Livre: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	Google
Fac-similés	djvu
Avancement	À valider

Pages

NP NP NP NP NP NP 1 NP 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 TdM TdM NP NP NP NP NP NP NP NP

TABLE DES MATIERES

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

21

22

Extension ou compréhension des classes

24

Principe de permanence

25

28

Quelques classes arithmétiques

31

33

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

35

Individu. Élément. Agrégat

38

Symboles constants ou variables

41

Propositions catégoriques ou conditionnelles

42

Variables réelles ou apparentes

43

44

46

Classes et conditions

47

Affirmations simultanées ou alternes

51

Négation. Classes contraires

55

57

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

59

LOGIQUE DÉDUCTIVE

Réflexibilité, symétrie et transitivité

60

Propriété 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

73

76

Relations entre les symboles «

\smallfrown \ \smallsmile \ \lnot

80

Dualité logique

82

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

90

On démontre une

\mathrm {P}

sans se soucier de ce qu’elle dit

95

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

96

Récupérée de « https://fr.wikisource.org/w/index.php?title=Livre:Padoa_-_La_Logique_déductive_dans_sa_dernière_phase_de_développement.djvu&oldid=13502753 »