The Russell Logic
Project Gutenberg EPUB3 edition
Poincaré, Henri and Halsted, George Bruce
To justify its pretensions, logic had to change. We have seen new logics arise of which the most interesting is that of Russell. It seems he has nothing new to write about formal logic, as if Aristotle there had touched bottom. But the domain Russell attributes to logic is infinitely more extended than that of the classic logic, and he has put forth on the subject views which are original and at times well warranted.
First, Russell subordinates the logic of classes to that of propositions, while the logic of Aristotle was above all the logic of classes and took as its point of departure the relation of subject to predicate. The classic syllogism, "Socrates is a man," etc., gives place to the hypothetical syllogism: "If A is true, B is true; now if B is true, C is true," etc. And this is, I think, a most happy idea, because the classic syllogism is easy to carry back to the hypothetical syllogism, while the inverse transformation is not without difficulty.
And then this is not all. Russell's logic of propositions is the study of the laws of combination of the conjunctions if, and, or, and the negation not.
In adding here two other conjunctions, and and or, Russell opens to logic a new field. The symbols and, or follow the same laws as the two signs × and +, that is to say the commutative associative and distributive laws. Thus and represents logical multiplication, while or represents logical addition. This also is very interesting.
Russell reaches the conclusion that any false proposition implies all other propositions true or false. M. Couturat says this conclusion will at first seem paradoxical. It is sufficient however to have corrected a bad thesis in mathematics to recognize how right Russell is. The candidate often is at great pains to get the first false equation; but that once obtained, it is only sport then for him to accumulate the most surprising results, some of which even may be true.