George Boole: Selected Manuscripts on Logic and Its PhilosophyBirkhäuser Verlag, 1997 - 236 σελίδες |
Αναζήτηση στο βιβλίο
Αποτελέσματα 1 - 3 από τα 66.
Σελίδα 31
... true X is not true . [ C26.15 ] The proposition Sometimes if X is true , Y is true might be termed a particular hypothetical proposition , and like the particular [ A89.35 ] propositions already discussed , it may be converted without ...
... true X is not true . [ C26.15 ] The proposition Sometimes if X is true , Y is true might be termed a particular hypothetical proposition , and like the particular [ A89.35 ] propositions already discussed , it may be converted without ...
Σελίδα 32
... true Y is true Sometimes if Z is true Y is not true Here the middle terms are unlike and one extreme is universal . Condition 2nd . Case 1. Changing the quantity and quality of that extreme and connecting it with the other extreme , we ...
... true Y is true Sometimes if Z is true Y is not true Here the middle terms are unlike and one extreme is universal . Condition 2nd . Case 1. Changing the quantity and quality of that extreme and connecting it with the other extreme , we ...
Σελίδα 41
... true when n is a given whole number , it will be true if n is the next greater integer . Hence the theorem is true universally . For according to the second principle established , if it is true when n is 1 it will be true when n is 2 ...
... true when n is a given whole number , it will be true if n is the next greater integer . Hence the theorem is true universally . For according to the second principle established , if it is true when n is 1 it will be true when n is 2 ...
Περιεχόμενα
Booles quest for the foundations of his logic | xiii |
2 Life and career | xiv |
3 The fate of Booles Nachlass | xviii |
Πνευματικά δικαιώματα | |
34 άλλες ενότητες δεν εμφανίζονται
Άλλες εκδόσεις - Προβολή όλων
George Boole: Selected Manuscripts on Logic and its Philosophy Ivor Grattan-Guinness,Gerard Bornet Περιορισμένη προεπισκόπηση - 2013 |
George Boole: Selected Manuscripts on Logic and its Philosophy Ivor Grattan-Guinness,Gerard 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