La logique déductive dans sa dernière phase de développement, par Alessandro Padoa. Avec une préface de Giuseppe Peano.
Annotations Tools
- 37 - 42. Boole employait le signe (( + )) entre deux Cls pour indiquer leur reeuinionI [39], mais seulement si elles etaient disjointes [40]; cette application plus restreinte de l'operation logique dont il est question lui permettait de conserver une analogie plus etroite entre l'addilion des Cls et celle des nombres. Notre symbole ((, )) [39], ainsi que le ( -- )) des disciples de Leibniz, s'emploie indifferemment entre deux Cls conjointes ou disjointes et par suite a une application plus vaste. Mais, avec Jevons, on pourrait desirer de former lensemble des individus qui appartiennent a unte seule de deux Cls donnees, qu'elles soient conjointes ou disjoinles; en ce cas on dira que 'on forme la ( retunion disjonctive )) des deux Cls, et on la repr6sentera en ecrivant entre les deux Cls le symbole (( o )). Le franQais et litalien ne permettent pas de lire diff6remment les deux symboles (( V et (( o ); pour tous les deux en francais il n'y a que le mot ( ou ) et en italien que le mot (( o )). Mais le latin nous offre deux mots qui correspondent a ces deux symboles, savoir les mots (( vel > et (( aut ). Par suite (en reservant la lecture (( ou, pour le signe (( v, d'usage plus frequent) le signe (( o ) pourra etre lu <( aut >). La reunion simple [39] et la reziion disjonctive de deux Cls different entre elles en ce que l'une inclet etl'autre exclut leur intersection [39]; par ex., des deux Cls losange v rectangle losange o rectangle la premiere contient les (( carrvs )) et la seconde les exclut. Mais, pour cela meme, la reunion, simple et la 'renion disjonctlie de deux Cls disjointes [40] sont la mneme chose; et par suite, en ce cas, on peut employer indiffTremment l'un ou l'autre des deux symboles ( )) et (( o; par ex.: vertebr6 o invertebre - vertebr6e invertehre parce que vert6br6e invertebre = /\ Cette remarque permet toujours de transformer la reinion disjonclive de deux Cls conjointes dans la reunnion simple de deux CIs disjointes. Considcrons par ex. les Cls (( du, >) et ( transpacrent )) qui sont conjointes (car la (( vitre,, par ex., est A dure, transparente ))). Leur n e'u
-
Scan #1
Page #1
-
Scan #2
Page #2
-
Scan #3
Page #3
-
Scan #4
Page #4
-
Scan #5
Page #5
-
Scan #6
Page 1 - Title Page
-
Scan #7
Page 2
-
Scan #8
Page 3
-
Scan #9
Page 4
-
Scan #10
Page 5
-
Scan #11
Page 6
-
Scan #12
Page 7
-
Scan #13
Page 8
-
Scan #14
Page 9
-
Scan #15
Page 10
-
Scan #16
Page 11
-
Scan #17
Page 12
-
Scan #18
Page 13
-
Scan #19
Page 14
-
Scan #20
Page 15
-
Scan #21
Page 16
-
Scan #22
Page 17
-
Scan #23
Page 18
-
Scan #24
Page 19
-
Scan #25
Page 20
-
Scan #26
Page 21
-
Scan #27
Page 22
-
Scan #28
Page 23
-
Scan #29
Page 24
-
Scan #30
Page 25
-
Scan #31
Page 26
-
Scan #32
Page 27
-
Scan #33
Page 28
-
Scan #34
Page 29
-
Scan #35
Page 30
-
Scan #36
Page 31
-
Scan #37
Page 32
-
Scan #38
Page 33
-
Scan #39
Page 34
-
Scan #40
Page 35
-
Scan #41
Page 36
-
Scan #42
Page 37
-
Scan #43
Page 38
-
Scan #44
Page 39
-
Scan #45
Page 40
-
Scan #46
Page 41
-
Scan #47
Page 42
-
Scan #48
Page 43
-
Scan #49
Page 44
-
Scan #50
Page 45
-
Scan #51
Page 46
-
Scan #52
Page 47
-
Scan #53
Page 48
-
Scan #54
Page 49
-
Scan #55
Page 50
-
Scan #56
Page 51
-
Scan #57
Page 52
-
Scan #58
Page 53
-
Scan #59
Page 54
-
Scan #60
Page 55
-
Scan #61
Page 56
-
Scan #62
Page 57
-
Scan #63
Page 58
-
Scan #64
Page 59
-
Scan #65
Page 60
-
Scan #66
Page 61
-
Scan #67
Page 62
-
Scan #68
Page 63
-
Scan #69
Page 64
-
Scan #70
Page 65
-
Scan #71
Page 66
-
Scan #72
Page 67
-
Scan #73
Page 68
-
Scan #74
Page 69
-
Scan #75
Page 70
-
Scan #76
Page 71
-
Scan #77
Page 72
-
Scan #78
Page 73
-
Scan #79
Page 74
-
Scan #80
Page 75
-
Scan #81
Page 76
-
Scan #82
Page 77
-
Scan #83
Page 78
-
Scan #84
Page 79
-
Scan #85
Page 80
-
Scan #86
Page 81
-
Scan #87
Page 82
-
Scan #88
Page 83
-
Scan #89
Page 84
-
Scan #90
Page 85
-
Scan #91
Page 86
-
Scan #92
Page 87
-
Scan #93
Page 88
-
Scan #94
Page 89
-
Scan #95
Page 90
-
Scan #96
Page 91
-
Scan #97
Page 92
-
Scan #98
Page 93
-
Scan #99
Page 94
-
Scan #100
Page 95
-
Scan #101
Page 96
-
Scan #102
Page 97
-
Scan #103
Page 98
-
Scan #104
Page 99
-
Scan #105
Page 100
-
Scan #106
Page 101
-
Scan #107
Page 102
-
Scan #108
Page 103
-
Scan #109
Page 104
-
Scan #110
Page 105 - Table of Contents
-
Scan #111
Page 106 - Table of Contents
-
Scan #112
Page #112
-
Scan #113
Page #113
-
Scan #114
Page #114
-
Scan #115
Page #115
-
Scan #116
Page #116
-
Scan #117
Page #117
Actions
About this Item
- Title
- La logique déductive dans sa dernière phase de développement, par Alessandro Padoa. Avec une préface de Giuseppe Peano.
- Author
- Padoa, Alessandro, 1868-
- Canvas
- Page 36
- Publication
- Paris,: Gauthier-Villars,
- 1912.
- Subject terms
- Logic, Symbolic and mathematical
Technical Details
- Link to this Item
-
https://name.umdl.umich.edu/aat0671.0001.001
- Link to this scan
-
https://quod.lib.umich.edu/u/umhistmath/aat0671.0001.001/42
Rights and Permissions
The University of Michigan Library provides access to these materials for educational and research purposes. These materials are in the public domain in the United States. If you have questions about the collection, please contact Historical Mathematics Digital Collection Help at [email protected]. If you have concerns about the inclusion of an item in this collection, please contact Library Information Technology at [email protected].
DPLA Rights Statement: No Copyright - United States
Related Links
IIIF
- Manifest
-
https://quod.lib.umich.edu/cgi/t/text/api/manifest/umhistmath:aat0671.0001.001
Cite this Item
- Full citation
-
"La logique déductive dans sa dernière phase de développement, par Alessandro Padoa. Avec une préface de Giuseppe Peano." In the digital collection University of Michigan Historical Math Collection. https://name.umdl.umich.edu/aat0671.0001.001. University of Michigan Library Digital Collections. Accessed June 24, 2025.