Friedrich Ueberweg's System of Logic and History of Logical Doctrines (Ueberweg 1871) also figures in Cook Wilson's intellectual background, according to Farquharson, as an early 'realist' influence (SI, 880).
He continued, "When one engages with the language, it has its own system of logic".
His major work, unfinished, was to have been entitled A System of Logic, Considered as Semiotic.
The rule of modus ponens is incorporated into virtually every formal system of logic.
He believed he had shown that mathematics has a robust reality that transcends any system of logic.
Lacking this restraint, Leibnitz went on to create a system of logic based on 0s and 1s.
A System of Logic, in two volumes, was published in 1843 (3rd 8th editions, introducing many changes, 1851 72).
[13] The above quotes are from an online edition of Mill's "A System of Logic," available on Google books.
As George Boole put it, "The respective interpretation of the symbols 0 and 1 in the system of logic are Nothing and Universe".
In logic, Lewis criticized contemporary formal systems using material implication and proposed an alternative system of logic based upon strict implication.
But the most significant section of A System of Logic was its conclusion, Book VI, On the Logic of the Moral Sciences.
