George Boole: Selected Manuscripts on Logic and its Philosophy

Εξώφυλλο
Ivor Grattan-Guinness, Gerard Bornet
Springer Science & Business Media, 1 Απρ 1997 - 236 σελίδες
0 Κριτικές
Οι αξιολογήσεις δεν επαληθεύονται, αλλά η Google ελέγχει και καταργεί ψευδές περιεχόμενο όταν το εντοπίζει
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
LXXIV
112
LXXV
119
LXXVI
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
LXXVII
123
LXXVIII
126
LXXIX
129
LXXX
132
LXXXI
133
LXXXII
136
LXXXIII
138
LXXXIV
141
LXXXV
143
LXXXVI
144
LXXXVII
148
LXXXVIII
150
LXXXIX
157
XC
162
XCI
164
XCII
167
XCIII
171
XCIV
179
XCV
180
XCVI
183
XCVII
184
XCVIII
185
XCIX
187
C
188
CI
189
CII
191
CIII
192
CIV
193
CV
194
CVI
195
CVII
196
CVIII
197
CIX
198
CX
200
CXI
203
CXII
204
CXIII
206
CXIV
208
CXV
209
CXVII
210
CXVIII
211
CXIX
212
CXXI
213
CXXIV
215
CXXVI
216
CXXVIII
217
CXXIX
222
CXXX
229
CXXXI
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.

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