Modern Logic: The Boolean Period: Jevons
MODERN LOGIC: THE BOOLEAN PERIOD: JEVONS
It was the aim of William Stanley Jevons (1835–1882), himself a pupil of De Morgan, to render Boole's calculus more simple and "logical" by removing those of its features that he found "mysterious" and by reducing its operations to mechanical routine. He also professed, officially, to reject the extensional standpoint in favor of a "pure logic" of terms, or "qualities," though the result in practice was still effectively a class or propositional logic, conceived rather in the manner of De Morgan's "onymatic" system. These views are set forth in two pamphlets, Pure Logic (London and New York, 1864) and The Substitution of Similars (London, 1869; both reprinted in Pure Logic and Other Minor Works, London, 1890), and at greater length in The Principles of Science (2nd ed., London, 1887) and Studies and Exercises in Deductive Logic (London, 1884).
Jevons takes over the Boolean notations for conjunction and identity (AB, A = B ) and admits negative classes, which he symbolizes, like De Morgan, by a small a, but makes no use of 1, the universal class, and dismisses as uninterpretable both the operations of subtraction and division and the various ill-favored symbols—(1 − x ), x /y, 0/0, 1/0, etc.—that result from their use. In the case of disjunction (written + or, more generally, ·|·)Jevons follows the minority view of De Morgan and a few others in proposing to read it inclusively, so that A + B is permitted to have common members, and A + A = A (law of unity). The importance of this reform, almost universally accepted since, is that it abolishes the need for numerical coefficients, establishes the symmetry between conjunction and disjunction exhibited, for example, in De Morgan's laws, ĀB̄ = a + b and Ā +̄ B̄ = ab, and makes possible such other useful rules of simplification as the "law of absorption," A + AB = A.
Jevons conceives of classes as groups of individuals, and of propositions about such classes, or about qualities, as equations asserting a complete or partial identity between them. Thus, "All A is B " identifies all A 's with those that are B —that is, A = AB —and the corresponding E-proposition is A = Ab. He symbolizes particular propositions, on occasion, by an arbitrary prefix, but pays little attention to them—or, indeed, to the problems of quantification in general. Inference consists merely of what he calls the "substitution of similars"—that is, the replacement of any term by another, stated in a premise to be identical to it. Thus, A = AB and B = BC yield, by substitution, A = ABC = AC, the conclusion.
Of more interest is the Jevonian method of indirect inference, based on what he calls the "logical alphabet." This alphabet, which amounts to no more than a Boolean expansion of 1, is constructed by listing all the possible combinations of the terms A, B, C, etc., together with their negatives, thus:
Any given premise, say A = BC, on being combined with each line in turn will be found inconsistent with some—that is, will yield an expression equal to 0. These lines being struck out, the remainder give the conclusion, though it still remains to consider the "inverse problem" (which Jevons saw but did not solve) of expressing the results in a single concise formula. Particular propositions are somewhat troublesome to handle on this scheme, which actually works better for propositions than for classes. But with many terms the process soon becomes tedious in either case, and it was to remedy this that Jevons invented his "logical abacus" and "logical piano," contrivances which operate mechanically on the same principle, namely the employment of the premises to eliminate inconsistent combinations from a matrix already set up on the machine. The development of the modern computer has revived interest in Jevons's pioneer device and in his very able description of its workings. For the rest, Jevons's "equational logic," though famous in its day, is now remembered chiefly for the technical improvements on Boole's procedure that it helped to bring into use.
See also Logic Machines.
P. L. Heath (1967)
"Modern Logic: The Boolean Period: Jevons." Encyclopedia of Philosophy. . Encyclopedia.com. (October 15, 2018). http://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/modern-logic-boolean-period-jevons
"Modern Logic: The Boolean Period: Jevons." Encyclopedia of Philosophy. . Retrieved October 15, 2018 from Encyclopedia.com: http://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/modern-logic-boolean-period-jevons
Encyclopedia.com gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).
Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.
Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, Encyclopedia.com cannot guarantee each citation it generates. Therefore, it’s best to use Encyclopedia.com citations as a starting point before checking the style against your school or publication’s requirements and the most-recent information available at these sites:
Modern Language Association
The Chicago Manual of Style
American Psychological Association
- Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most Encyclopedia.com content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
- In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.