George Boole: Selected Manuscripts on Logic and its Philosophy

Cover
Ivor Grattan-Guinness, Gerard Bornet
Springer Science & Business Media, 01.04.1997 - 236 Seiten
George Boole (1815-1864) is well known to mathematicians for his research and textbooks on the calculus, but his name has spread world-wide for his innovations in symbolic logic and the development and applications made since his day. The utility of "Boolean algebra" in computing has greatly increased curiosity in the nature and extent of his achievements. His work is most accessible in his two books on logic, "A mathematical analysis of logic" (1947) and "An investigation of the laws of thought" (1954). But at various times he wrote manuscript essays, especially after the publication of the second book; several were intended for a non-technical work, "The Philosophy of logic", which he was not able to complete. This volume contains an edited selection which not only relates them to Boole's publications and the historical context of his time, but also describes their strange history of family, followers and scholars have treid to confect an edition. The book will appeal to logicians, mathematicians and philosophers, and those interested in the histories of the corresponding subjects; and also students of the early Victorian Britain in which they were written.
 

Was andere dazu sagen - Rezension schreiben

Es wurden keine Rezensionen gefunden.

Inhalt

I
xiii
III
xiv
IV
xviii
V
xxv
VI
xxvi
VII
xxvii
VIII
xxxii
IX
xxxv
LXVIII
86
LXIX
88
LXX
95
LXXI
105
LXXII
106
LXXIII
112
LXXIV
119
LXXV
121

X
xxxvii
XI
xl
XII
xliii
XIII
xlv
XIV
xlvii
XV
xlviii
XVI
l
XVII
li
XVIII
liii
XIX
lv
XX
lvii
XXI
lviii
XXII
lix
XXIV
lx
XXV
lxii
XXVI
1
XXVII
2
XXVIII
3
XXIX
4
XXXI
5
XXXII
7
XXXIII
10
XXXV
13
XXXVI
14
XXXVIII
15
XXXIX
16
XL
17
XLI
18
XLII
20
XLIII
21
XLIV
25
XLV
29
XLVII
32
XLVIII
36
XLIX
38
L
41
LI
42
LII
45
LIII
46
LIV
47
LV
51
LVI
54
LVII
63
LVIII
74
LXI
76
LXII
77
LXIII
78
LXIV
79
LXV
80
LXVI
81
LXVII
83
LXXVI
123
LXXVII
126
LXXVIII
129
LXXIX
132
LXXX
133
LXXXI
136
LXXXII
138
LXXXIII
141
LXXXIV
143
LXXXV
144
LXXXVI
148
LXXXVII
150
LXXXVIII
157
LXXXIX
162
XC
164
XCI
167
XCII
171
XCIII
179
XCIV
180
XCV
183
XCVI
184
XCVII
185
XCVIII
187
XCIX
188
C
189
CI
191
CII
192
CIII
193
CIV
194
CV
195
CVI
196
CVII
197
CVIII
198
CIX
200
CX
203
CXI
204
CXII
206
CXIII
208
CXIV
209
CXVI
210
CXVII
211
CXVIII
212
CXX
213
CXXIII
215
CXXV
216
CXXVII
217
CXXVIII
222
CXXIX
229
CXXX
231
Urheberrecht

Andere Ausgaben - Alle anzeigen

Häufige Begriffe und Wortgruppen

Über den Autor (1997)

Born in Lincolnshire, England, George Boole was a mathematician and logician at Queens College in Cork, Ireland, where he taught and developed his theory of logic. Well respected by his friends and associates, he had a reputation of being a kind of naive saint, who thought nothing of inviting a stranger to his home to continue a conversation that the two of them had begun on a train or in a shop. Boole's development of symbolic logic had three major emphases. First, Boole believed that mathematicians of his day unnecessarily restricted themselves to the study of quantities and did not pay enough attention to abstract symbols. Second, he concerned himself with the relation between logic and language. Third, he studied the proper representation of mental operations. Thus, Boole moved from quantity to symbols to language and finally to the rules of the thinking mind itself. In 1847 Boole expressed his ideas in a pamphlet titled The Mathematical Analysis of Logic. Boole is remembered for using familiar symbols of algebra and arithmetic to help represent ideas of logic. The system he used is now known as Boolean algebra. In creating his algebra of logic, Boole followed in the footsteps of the classical algebraists. Through careful analysis and resourcefulness, he developed a practical language for representing and solving a broad class of mathematical problems. Boole's contributions can be seen today in the design of the modern digital computer. Boole died in 1864.

Bibliografische Informationen