George Boole: Selected Manuscripts on Logic and its Philosophy

Εξώφυλλο
Ivor Grattan-Guinness, Gerard Bornet
Springer Science & Business Media, 1 Απρ 1997 - 236 σελίδες
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.

Αναζήτηση στο βιβλίο

Περιεχόμενα

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
CV
192
CVI
193
CVII
194
CVIII
195
CIX
196
CX
197
CXI
198
CXII
200
CXIII
203
CXIV
204
CXV
206
CXVI
208
CXVII
209
CXIX
210
CXX
211
CXXI
212
CXXIII
213
CXXVI
215
CXXVIII
216
CXXX
217
CXXXI
222
CXXXII
229
CXXXIII
231
Πνευματικά δικαιώματα

Άλλες εκδόσεις - Προβολή όλων

Συχνά εμφανιζόμενοι όροι και φράσεις

Σχετικά με τον συγγραφέα (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.

Πληροφορίες βιβλιογραφίας