George Boole: Selected Manuscripts on Logic and its PhilosophyIvor 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. |
Αναζήτηση στο βιβλίο
Αποτελέσματα 1 - 5 από τα 86.
Σελίδα vi
... reasoning Of what does reasoning consist ? General Considerations Of our Conception of Things On the relations of individuals and classes Of the mode in which the mind combines and modifies its own conceptions Of the nature of ...
... reasoning Of what does reasoning consist ? General Considerations Of our Conception of Things On the relations of individuals and classes Of the mode in which the mind combines and modifies its own conceptions Of the nature of ...
Σελίδα viii
... Reasoning as Exercised within the Sphere of Formal Logic On Systems of Notation Symbolical expression of the formal laws of Logic Analysis of Reasoning resumed Chapter VI [ Preparatory Notes ] ....... Of the nature and scope of Logic as ...
... Reasoning as Exercised within the Sphere of Formal Logic On Systems of Notation Symbolical expression of the formal laws of Logic Analysis of Reasoning resumed Chapter VI [ Preparatory Notes ] ....... Of the nature and scope of Logic as ...
Σελίδα x
... Reasoning 213 Chapter XI : Logic 213 Chapter XII : On Belief in Its Relation to the Understanding 215 Chapter XIII : The Philosophical Idea of Freedom 215 Chapter XIV : Note [ to Aristotle ] 216 Chapter XV : Philosophy of Mathematics ...
... Reasoning 213 Chapter XI : Logic 213 Chapter XII : On Belief in Its Relation to the Understanding 215 Chapter XIII : The Philosophical Idea of Freedom 215 Chapter XIV : Note [ to Aristotle ] 216 Chapter XV : Philosophy of Mathematics ...
Σελίδα xxvi
Λυπούμαστε, το περιεχόμενο αυτής της σελίδας είναι περιορισμένο.
Λυπούμαστε, το περιεχόμενο αυτής της σελίδας είναι περιορισμένο.
Σελίδα xxxii
Λυπούμαστε, το περιεχόμενο αυτής της σελίδας είναι περιορισμένο.
Λυπούμαστε, το περιεχόμενο αυτής της σελίδας είναι περιορισμένο.
Περιεχόμενα
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 |
222 | |
229 | |
231 | |
Άλλες εκδόσεις - Προβολή όλων
George Boole: Selected Manuscripts on Logic and its Philosophy Ivor Grattan-Guinness,Gerard Bornet Περιορισμένη προεπισκόπηση - 2013 |
George Boole: Selected Manuscripts on Logic and Its Philosophy George Boole,I. Grattan-Guinness,Gérard Bornet Προβολή αποσπασμάτων - 1997 |
George Boole: Selected Manuscripts on Logic and Its Philosophy George Boole,I. Grattan-Guinness,Gérard Bornet Προβολή αποσπασμάτων - 1997 |
Συχνά εμφανιζόμενοι όροι και φράσεις
2ndly abstraction affirmative analysis animals application arbitrary Arthur Cayley axioms Boole Boole's Boole/Falk calculus Chapter class of things combination composition conceive conclusion connection constitution copula definition denote determine distinct dual Algebra elective symbols elements employed equal equation example excluded middle existence expression faculties form the concept formal laws Geometry George Boole given identity individuals inference intellectual operations inverse operation involved Judgment language laws of Conception laws of thought Leibniz letters manuscript mathematical meaning men are mortal mental method middle terms mind Morgan mortal nature necessary proposition non-existence not-Xs notion object operation of addition particular philosophy philosophy of mathematics possible predicate premises principle principles of identity quantity question rational reasoning reference relations represent result Science of Logic sense signs subtraction syllogism syllogistic term Logic theory true truth Universe Universe of Discourse words Xs are Ys Zs are Xs