The calculus of logic

In a work lately published[1], I have exhibited the application of a new and peculiar form of Mathematics to the expression of the operations of the mind in reasoning. In the present essay I design to offer such an account of a portion of this treatise as may furnish a correct view of the nature of the system developed. I shall endeavour to state distinctly those positions in which its characteristic distinctions consist, and shall offer a more particular illustration of some features which are less prominently displayed in the (p. 184)[2] original work. The part of the system to which I shall confine my observations is that which treats of categorical propositions, and the positions which, under this limitation, I design to illustrate, are the following:

(1) That the business of Logic is with the relations of classes, and with the modes in which the mind contemplates those relations.

(2) That antecedently to our recognition of the existence of propositions, there are laws to which the conception of a class is subject,—laws which are dependent upon the constitution of the intellect, and which determine the character and form of the reasoning process.

(3) That those laws are capable of mathematical expression, and that they thus constitute the basis of an interpretable calculus.

(4) That those laws are, furthermore, such, that all equations which are formed in subjection to them, even though expressed under functional signs, admit of perfect solution, so that every problem in logic can be solved by reference to a general theorem.

(5) That the forms under which propositions are actually exhibited, in accordance with the principles of this calculus, are analogous with those of a philosophical language.

(6) That although the symbols of the calculus do not depend for their interpretation upon the idea of quantity, they nevertheless, in their particular application to syllogism, conduct us to the quantitative conditions of inference.

It is specially of the two last of these positions that I here desire to offer illustration, they having been but partially exemplified in the work referred to. Other points will, however, be made the subjects of incidental discussion. It will be necessary to premise the following notation.

The universe of conceivable objects is represented by 1 or unity. This I assume as the primary and subject conception. All subordinate conceptions of class are understood to be formed from it by limitation, according to the following scheme.

Suppose that we have the conception of any group of objects consisting of $\mathrm X$ s $\mathrm Y$ s, and others, and that $x$ , which we shall call an elective symbol, represents the mental operation of selecting from that group all the $\mathrm X$ s which it contains, or of fixing the attention upon the $\mathrm X$ s to the exclusion of all which are not $\mathrm X$ s, $y$ the mental operation of selecting the $\mathrm Y$ s, and so on; then, 1 or the universe being the subject conception, we shall have

Furthermore, from consideration of the nature of the mental operation involved, it will appear that the following laws are satisfied.

From the first of these it is seen that elective symbols are distributive in their operation; from the second that they are commutative. The third I have termed the index law; it is peculiar to elective symbols.

The truth of these laws does not at all depend upon the nature, or the number, or the mutual relations, of the individuals included in the different classes. There may be but one individual in a class, or there may be a thousand. There may be individuals common to different classes, or the classes may be mutually exclusive. All elective symbols are distributive, and commutative, and all elective symbols satisfy the law expressed by (3).

These laws are in fact embodied in every spoken or written language. The equivalence of the expressions "good wise man" and "wise good man," is not a mere truism, but an assertion of the law of commutation exhibited in (2). And there are similar illustrations of the other laws.

With these laws there is connected a general axiom. We have seen that algebraic operations performed with elective symbols represent mental processes. Thus the connexion of two symbols by the sign + represents the aggregation of two classes into a single class, the connexion of two symbols $xy$ as in multiplication, represents the mental operation of selecting from a class $\mathrm Y$ those members which belong also to another class $\mathrm X$ , and so on. By such operations the conception of a class is modified. But beside this the mind has the power of perceiving relations of equality among classes. The axiom in question, then, is that if a relation of equality is perceived between two classes, that relation remains unaffected when both subjects are equally modified by the operations above described. (A). This axiom, and not "Aristotle's dictum," is the real foundation of all reasoning, the form and character of the process being, however, determined by the three laws already stated.

It is not only true that every elective symbol representing a class satisfies the index law (3), but it may be rigorously demonstrated that any combination of elective symbols $\phi$ ( $xyz$ ..), which satisfies the law $\phi$ ( $xyz$ ..)ⁿ = $\phi$ ( $xyz$ ..), represents an intelligible conception,—a group or class defined by a greater or less number of properties and consisting of a greater or less number of parts.

The four categorical propositions upon which the doctrine of ordinary syllogism is founded, are

We shall consider these with reference to the classes among which relation is expressed.

A. The expression All $\mathrm Y$ s represents the class $\mathrm Y$ and will therefore be expressed by $y$ , the copula are by the sign =, the indefinite term, $\mathrm X$ s, is equivalent to Some $\mathrm X$ s. It is a convention of language, that the word Some is expressed in the subject, but not in the predicate of a proposition. The term Some $\mathrm X$ s will be expressed by $vx$ , in which $v$ is an elective symbol appropriate to a class $\mathrm V$ , some members of which are $\mathrm X$ s, but which is in other respects arbitrary. Thus the proposition $\mathrm A$ will be expressed by the equation

E. In the proposition, No $\mathrm Y$ s are $\mathrm X$ s, the negative particle appears to be attached to the subject instead of to the predicate to which it manifestly belongs.[3] We do not intend to say that those things which are not- $\mathrm Y$ s are $\mathrm X$ s, but that things which are $\mathrm Y$ s are not- $\mathrm X$ s. Now the class not- $\mathrm X$ s is expressed by 1 - $x$ ; hence the proposition No $\mathrm Y$ s are $\mathrm X$ s, or rather All $\mathrm Y$ s are not- $\mathrm X$ s, will be expressed by

I. In the proposition Some $\mathrm Y$ s are $\mathrm X$ s, or Some $\mathrm Y$ s are Some $\mathrm X$ s, we might regard the Some in the subject and the Some in the predicate as having reference to the same arbitrary class $\mathrm V$ , and so write

but it is less of an assumption to refrain from doing this. Thus we should write

O. Similarly, the proposition Some $\mathrm Y$ s are not- $\mathrm X$ s, will be expressed by the equation

It will be seen from the above that the forms under which the four categorical propositions A, E, I, O are exhibited in the notation of elective symbols are analogous with those of pure language, i.e. with the forms which human speech would assume, were its rules entirely constructed upon a scientific basis. In a vast majority of the propositions which can be conceived by the mind, the laws of expression have not been modified by usage, and the analogy becomes more apparent, e.g. the interpretation of the equation

is, the class $\mathrm Z$ consists of all $\mathrm X$ s which are not- $\mathrm Y$ s and of all $\mathrm Y$ s which are not-Xs.

[3]There are two ways in which the proposition, No Xs are Ys, can be understood. 1st, In the sense of All Xs are not-Y, In the sense of It is not true that any Xs are Ys, i.e. the proposition "Some Xs are Ys". The former of these are categorical proposition. The latter is an assertion respecting a proposition, and its expression belongs to a distinct part of the elective system. It appears to me that it is the latter sense, which is really adopted by those who refer the negative, not, to the copula. To refer it to the predicate is not a useless refinement, but a necessary step, in order to make the proposition truly a relation between classes. I believe it will be found that this step is really taken in the attempts to demonstrate the Aristotelian rules of distribution.

The transposition of the negative is a very common feature of language. Habit renders us almost insensible to it in our own language, but when in another language the same principle is differently exhibited, as in the Greek, οὺ φημὶ for φημὶ οὺ, it claims attention.

General Theorems relating to Elective Functions.

We have now arrived at this step,—that we are in possession of a class of symbols $x$ , $y$ , $z$ , &c. satisfying certain laws, and applicable to the rigorous expression of any categorical proposition whatever. It will be our next business to exhibit a few of the general theorems of the calculus which rest upon the basis of those laws, and these theorems we shall afterwards apply to the discussion of particular examples.

Of the general theorems I shall only exhibit two sets: those which relate to the development of functions, and those which relate to the solution of equations.

Theorems of Development.

the coefficients $\phi$ (1), $\phi$ (0), which are quantitative or common algebraic functions, are called the moduli, and $x$ and 1 - $x$ the constituents.

in which $\phi$ (11), $\phi$ (10), &c. are quantitative, and are called the moduli, and $xy$ , $x$ (1 - $y$ ), &c. the constituents.

in which $\phi$ (111), $\phi$ (110), &c. are the moduli, and $xyz$ , $xy$ (1 - $z$ ), &c. the constituents.

From these examples the general law of development is obvious. And I desire it to be noted that this law is a mere consequence of the primary laws which have been expressed in (1), (2), (3).

THEOREM. If we have any equation $\phi$ ( $xyz$ ..) = 0, and fully expand the first member, then every constituent whose modulus does not vanish may be equated to 0.

RULE. Bring all the terms to the first side, expand this in terms of all the elective symbols involved in it, and equate to 0 every constituent whose modulus does not vanish.

For the demonstration of these and many other results, I must refer to the original work. It must be noted that on p. 66[4], z has been, through mistake, substituted for $w$ , and that the reference on p. 80[5] should be to Prop. 2.

Here $\phi$ ( $xy$ ) = $x$ + 2 $y$ - 3 $xy$ , whence the values of the moduli are

the former implies that there are no Xs which are not-Ys, the latter that there are no Ys which are not-Xs, these together expressing the full significance of the original equation.

We can, however, often recombine the constituents with a gain of simplicity. In the present instance, subtracting (12) from (11b), we have

that is, the class $\mathrm X$ is identical with the class $\mathrm Y$ . This proposition is equivalent to the two former ones.

All equations are thus of equal significance which give, on expansion, the same series of constituent equations, and all are interpretable.

General Solution of Elective Equations.

(1) The general solution of the equation $\phi$ ( $xy$ ) = 0, in which two elective symbols only are involved, $y$ being the one whose value is sought, is

(2) The general solution of the equation $\phi$ ( $xyz$ ) = 0, $z$ being the symbol whose value is to be determined, is

the coefficients of which we shall still term the moduli. The law of their formation will readily be seen, so that the general theorems which have been given for the solution of elective equations of two and three symbols, may be regarded as examples of a more general theorem applicable to all elective equations whatever. In applying these results it is to be observed, that if a modulus assume the form 0/0 it is to be replaced by an arbitrary elective symbol $w$ , and that if a modulus assume any numerical value except 0 or 1, the constituent of which it is a factor must be separately equated to 0. Although these conditions are deduced solely from the laws to which the symbols are obedient, and without any reference to interpretation, they nevertheless render the solution of every equation interpretable in logic. To such formulae also every question upon the relations of classes may be referred. One or two very simple illustrations may suffice[6].

The $\mathrm Y$ s which are $\mathrm X$ s consist of the $\mathrm Y$ s which are $\mathrm Z$ s and the $\mathrm X$ s which are not- $\mathrm Z$ s. Required the class $\mathrm Z$ .

Hence the class $\mathrm Z$ includes all $\mathrm X$ s which are not- $\mathrm Y$ s, an indefinite number of $\mathrm X$ s which are $\mathrm Y$ s, and an indefinite number of individuals which are neither $\mathrm X$ s nor $\mathrm Y$ s. The classes $\rm w$ and $\rm w$ ' being quite arbitrary, the indefinite remainder is equally so; it may vanish or not.[7]

Since 1 - $z$ represents a class, not- $\mathrm Z$ , and satisfies the index law

as is evident on trial, we may, if we choose, determine the value of this element just as we should determine that of $z$ .

Let us take, in illustration of this principle, the equation $y$ = $vx$ , (All $\mathrm Y$ s are $\mathrm X$ s), and seek the value of 1 - $x$ , the class not- $\mathrm X$ .

Put 1 - $x$ = $z$ then $y$ = $v$ (1 - $z$ ), and if we write this in the form $y$ - $v$ (1 - $z$ ) = 0 and represent the first member by $\phi$ ( $vyz$ ), $v$ here taking the place of $x$ , in (14), we shall have

The infinite coefficient of the second term in the second member permits us to write

the coefficient 0/0 being then replaced by $w$ , an arbitrary elective symbol, we have

We may remark upon this result that the coefficient $v$ + $w$ (1 - $v$ ) in the second member satisfies the condition

as is evident on squaring it. It therefore represents a class. We may replace it by an elective symbol $u$ , we have then

This is a known transformation in logic, and is called conversion by contraposition, or negative conversion. But it is far from exhausting the solution we have obtained. Logicians have overlooked the fact, that when we convert the proposition All $\mathrm Y$ s are (some) $\mathrm X$ s into All not- $\mathrm X$ s are (some) not- $\mathrm Y$ s there is a relation between the two (somes), understood in the predicates. The equation (18) shews that whatever may be that condition which limits the $\mathrm X$ s in the original proposition,—the not-Ys in the converted proposition consist of all which are subject to the same condition, and of an arbitrary remainder which are not subject to that condition. The equation (17) further shews that there are no $\mathrm Y$ s which are not subject to that condition.

We can similarly reduce the equation $y$ = $v$ (1 - $x$ ), No $\mathrm Y$ s are $\mathrm X$ s, to the form $x$ = $v$ '(1 - $y$ ) No $\mathrm X$ s are $\mathrm Y$ s, with a like relation between $v$ and $v$ '. If we solve the equation $y$ = $vx$ All $\mathrm Y$ s are $\mathrm X$ s, with reference to $v$ , we obtain the subsidiary relation $y$ (1 - $x$ ) = 0 No $\mathrm Y$ s are not- $\mathrm X$ s, and similarly from the equation $y$ = $v$ (1 - $x$ ) (No $\mathrm Y$ s are $\mathrm X$ s) we get $xy$ = 0. These equations, which may also be obtained in other ways, I have employed in the original treatise. All equations whose interpretations are connected are similarly connected themselves, by solution or development.

[7]This conclusion may be illustrated and verified by considering an example such as the following.

Let $x$ denote all steamers, or steam-vessels,
$y$ denote all steamers, or armed vessels,
$z$ denote all vessels of the Mediterranean.

Equation(a) would then express that armed steamers consist of the armed vessels of the Mediterranean and the steam-vessels not of the Mediterranean. From this it follows—

(1) That there are no armed vessels except steamers in the Mediterranean.

(2) That all unarmed steamers are in the Mediterranean (since the steam-vessels not of the Mediterranean are armed). Hence we infer that the vessels of the Mediterranean consist of all unarmed steamers; any number of armed steamers; and any number of unarmed vessels without steam. This, expressed symbolically, is equation (15).

On Syllogism.

whereof the two first give, by solution, 1 - $x$ = $v$ '(1 - $y$ ). All not- $\mathrm X$ s are not- $\mathrm Y$ s, $x$ = $v$ '(1 - $y$ ), No $\mathrm X$ s are $\mathrm Y$ s. To the above scheme, which is that of Aristotle, we might annex the four categorical propositions

If now the two premises of any syllogism are expressed by equations of the above forms, the elimination of the common symbol $y$ will lead us to an equation expressive of the conclusion.

the form of the coefficient $vv$ ' indicates that the predicate of the conclusion is limited by both the conditions which separately limit the predicates of the premises.

which is interpretable into Some $\mathrm Z$ s are $\mathrm X$ s. It is always necessary that one term of the conclusion should be interpretable by means of the equations of the premises. In the above case both are so.

Instead of directly eliminating $y$ let either equation be transformed by solution as in (19). The first gives

$u$ being equivalent to $v$ + $w$ (1 - $v$ ), in which $w$ is arbitrary. Eliminating 1 - $y$ between this and the second equation of the system, we get

in which $w$ is an arbitrary elective symbol. This exactly agrees with the former result.

These examples may suffice to illustrate the employment of the method in particular instances. But its applicability to the demonstration of general theorems is here, as in other cases, a more important feature. I subjoin the results of a recent investigation of the Laws of Syllogism. While those results are characterized by great simplicity and bear, indeed, little trace of their mathematical origin, it would, I conceive, have been very difficult to arrive at them by the examination and comparison of particular cases.

Laws of Syllogism deduced from the Elective Calculus.

We shall take into account all propositions which can be made out of the classes $\mathrm X$ , $\mathrm Y$ , $\mathrm Z$ , and referred to any of the forms embraced in the following system,

It is necessary to recapitulate that quantity (universal and particular) and quality (affirmative and negative) are understood to belong to the terms of propositions which is indeed the correct view.[8]

Thus, in the proposition All $\mathrm X$ s are $\mathrm Y$ s, the subject All $\mathrm X$ s is universal-affirmative, the predicate (some) $\mathrm Y$ s particular-affirmative.

In the proposition, Some $\mathrm X$ s are $\mathrm Z$ s, both terms are particular-affirmative.

The proposition No $\mathrm X$ s are $\mathrm Z$ s would in philosophical language be written in the form All $\mathrm X$ s are not- $\mathrm Z$ s. The subject is universal-affirmative, the predicate particular-negative.

In the proposition Some $\mathrm X$ s are not- $\mathrm Z$ s, the subject is particular-affirmative, the predicate particular-negative. In the proposition All not- $\mathrm X$ s are $\mathrm Y$ s the subject is universal-negative, the predicate particular-affirmative, and so on.

In a pair of premises there are four terms, viz. two subjects and two predicates; two of these terms, viz. those involving the $\mathrm Y$ or not- $\mathrm Y$ may be called the middle terms, the two others the extremes, one of these involving X or not- $\mathrm X$ , the other $\mathrm Z$ or not- $\mathrm Z$ .

Rule. Change the quantity and quality of that extreme, and equate the result to the other extreme.

Rule. Change the quantity and quality of either extreme, and equate the result to the other extreme.

This belongs to Case 1. All $\mathrm Y$ s is the universal middle term. The extremes equated give All $\mathrm Z$ s are $\mathrm X$ s, the stronger term becoming the subject.

This belongs to Case 2, and satisfies the first condition. The middle term is particular-affirmative in the first premise, particular-negative in the second. Taking All $\mathrm Z$ s as the universal extreme, we have, on changing its quantity and quality, Some not- $\mathrm Z$ s, and this equated to the other extreme gives

This also belongs to Case 2, and satisfies the first condition. The universal extreme All $\mathrm X$ s becomes, some not- $\mathrm X$ s, whence

This belongs to Case 2, and satisfies the second condition. The extreme Some $\mathrm X$ s becomes All not- $\mathrm X$ s,

If we confine ourselves to the Aristotelian premises A, E, I, O, the second condition of inference in Case 2 is not needed. The conclusion will not necessarily be confined to the Aristotelian system.

These appear to me to be the ultimate laws of syllogistic inference. They apply to every case, and they completely abolish the distinction of figure, the necessity of conversion, the arbitrary and partial[9] rules of distribution, &c. If all logic were reducible to the syllogism these might claim to be regarded as the rules of logic. But logic, considered as the science of the relations of classes has been shewn to be of far greater extent. Syllogistic inference, in the elective system, corresponds to elimination. But this is not the highest in the order of its processes. All questions of elimination may in that system be regarded as subsidiary to the more general problem of the solution of elective equations. To this problem all questions of logic and of reasoning, without exception, may be referred. For the fuller illustrations of this principle I must however refer to the original work. The theory of hypothetical propositions, the analysis of the positive and negative elements, into which all propositions are ultimately resolvable, and other similar topics are also there discussed.

Undoubtedly the final aim of speculative logic is to assign the conditions which render reasoning possible, and the laws which determine its character and expression. The general axiom (A) and the laws (1), (2), (3), appear to convey the most definite solution that can at present be given to this question. When we pass to the consideration of hypothetical propositions, the same laws and the same general axiom which ought perhaps also to be regarded as a law, continue to prevail; the only difference being that the subjects of thought are no longer classes of objects, but cases of the coexistent truth or falsehood of propositions. Those relations which logicians designate by the terms conditional, disjunctive, &c., are referred by Kant to distinct conditions of thought. But it is a very remarkable fact, that the expressions of such relations can be deduced the one from the other by mere analytical process. From the equation $y$ = $vx$ , which expresses the conditional proposition, "If the proposition $\mathrm Y$ is true the proposition $\mathrm X$ is true," we can deduce

which expresses the disjunctive proposition, "Either $\mathrm Y$ and $\mathrm X$ are together true, or $\mathrm X$ is true and $\mathrm Y$ is false, or they are both false," and again the equation $y$ (1 - $x$ ) = 0, which expresses a relation of coexistence, viz. that the truth of $\mathrm Y$ and the falsehood of $\mathrm X$ do not coexist. The distinction in the mental regard, which has the best title to be regarded as fundamental, is, I conceive, that of the affirmative and the negative. From this we deduce the direct and the inverse in operations, the true and the false in propositions, and the opposition of qualities in their terms.

The view which these enquiries present of the nature of language is a very interesting one. They exhibit it not as a mere collection of signs, but as a system of expression, the elements of which are subject to the laws of the thought which they represent. That those laws are as rigorously mathematical as are the laws which govern the purely quantitative conceptions of space and time, of number and magnitude, is a conclusion which I do not hesitate to submit to the exactest scrutiny.

TRANSCRIBER'S NOTES

The transcription of this work was made by David Wilkins from School of Mathematics Trinity College, Dublin who kindly authorized its use by Project Gutenberg.

Revision of this work was made by Prof. Stanley Burris from University of Waterloo.

Equation {11} was numbered twice by the author. They were renumbered as {11a} and {11b} respectively.

Footnotes [2], [3] and [5] have been added by this Transcriber for the sake of clarity in the text. The cover image was created by the Transcriber and placed in the public domain.

*** END OF THE PROJECT GUTENBERG EBOOK THE CALCULUS OF LOGIC ***

Updated editions will replace the previous one—the old editions will be renamed.

Creating the works from print editions not protected by U.S. copyright law means that no one owns a United States copyright in these works, so the Foundation (and you!) can copy and distribute it in the United States without permission and without paying copyright royalties. Special rules, set forth in the General Terms of Use part of this license, apply to copying and distributing Project Gutenberg™ electronic works to protect the PROJECT GUTENBERG™ concept and trademark. Project Gutenberg is a registered trademark, and may not be used if you charge for an eBook, except by following the terms of the trademark license, including paying royalties for use of the Project Gutenberg trademark. If you do not charge anything for copies of this eBook, complying with the trademark license is very easy. You may use this eBook for nearly any purpose such as creation of derivative works, reports, performances and research. Project Gutenberg eBooks may be modified and printed and given away—you may do practically ANYTHING in the United States with eBooks not protected by U.S. copyright law. Redistribution is subject to the trademark license, especially commercial redistribution.

START: FULL LICENSE

PLEASE READ THIS BEFORE YOU DISTRIBUTE OR USE THIS WORK

To protect the Project Gutenberg™ mission of promoting the free distribution of electronic works, by using or distributing this work (or any other work associated in any way with the phrase “Project Gutenberg”), you agree to comply with all the terms of the Full Project Gutenberg™ License available with this file or online at www.gutenberg.org/license.

Section 1. General Terms of Use and Redistributing Project Gutenberg™ electronic works

1.A. By reading or using any part of this Project Gutenberg™ electronic work, you indicate that you have read, understand, agree to and accept all the terms of this license and intellectual property (trademark/copyright) agreement. If you do not agree to abide by all the terms of this agreement, you must cease using and return or destroy all copies of Project Gutenberg™ electronic works in your possession. If you paid a fee for obtaining a copy of or access to a Project Gutenberg™ electronic work and you do not agree to be bound by the terms of this agreement, you may obtain a refund from the person or entity to whom you paid the fee as set forth in paragraph 1.E.8.

1.B. “Project Gutenberg” is a registered trademark. It may only be used on or associated in any way with an electronic work by people who agree to be bound by the terms of this agreement. There are a few things that you can do with most Project Gutenberg™ electronic works even without complying with the full terms of this agreement. See paragraph 1.C below. There are a lot of things you can do with Project Gutenberg™ electronic works if you follow the terms of this agreement and help preserve free future access to Project Gutenberg™ electronic works. See paragraph 1.E below.

1.C. The Project Gutenberg Literary Archive Foundation (“the Foundation” or PGLAF), owns a compilation copyright in the collection of Project Gutenberg™ electronic works. Nearly all the individual works in the collection are in the public domain in the United States. If an individual work is unprotected by copyright law in the United States and you are located in the United States, we do not claim a right to prevent you from copying, distributing, performing, displaying or creating derivative works based on the work as long as all references to Project Gutenberg are removed. Of course, we hope that you will support the Project Gutenberg™ mission of promoting free access to electronic works by freely sharing Project Gutenberg™ works in compliance with the terms of this agreement for keeping the Project Gutenberg™ name associated with the work. You can easily comply with the terms of this agreement by keeping this work in the same format with its attached full Project Gutenberg™ License when you share it without charge with others.

1.D. The copyright laws of the place where you are located also govern what you can do with this work. Copyright laws in most countries are in a constant state of change. If you are outside the United States, check the laws of your country in addition to the terms of this agreement before downloading, copying, displaying, performing, distributing or creating derivative works based on this work or any other Project Gutenberg™ work. The Foundation makes no representations concerning the copyright status of any work in any country other than the United States.

1.E. Unless you have removed all references to Project Gutenberg:

1.E.1. The following sentence, with active links to, or other immediate access to, the full Project Gutenberg™ License must appear prominently whenever any copy of a Project Gutenberg™ work (any work on which the phrase “Project Gutenberg” appears, or with which the phrase “Project Gutenberg” is associated) is accessed, displayed, performed, viewed, copied or distributed:

This eBook is for the use of anyone anywhere in the United States and most other parts of the world at no cost and with almost no restrictions whatsoever. You may copy it, give it away or re-use it under the terms of the Project Gutenberg License included with this eBook or online at www.gutenberg.org. If you are not located in the United States, you will have to check the laws of the country where you are located before using this eBook.

1.E.2. If an individual Project Gutenberg™ electronic work is derived from texts not protected by U.S. copyright law (does not contain a notice indicating that it is posted with permission of the copyright holder), the work can be copied and distributed to anyone in the United States without paying any fees or charges. If you are redistributing or providing access to a work with the phrase “Project Gutenberg” associated with or appearing on the work, you must comply either with the requirements of paragraphs 1.E.1 through 1.E.7 or obtain permission for the use of the work and the Project Gutenberg™ trademark as set forth in paragraphs 1.E.8 or 1.E.9.

1.E.3. If an individual Project Gutenberg™ electronic work is posted with the permission of the copyright holder, your use and distribution must comply with both paragraphs 1.E.1 through 1.E.7 and any additional terms imposed by the copyright holder. Additional terms will be linked to the Project Gutenberg™ License for all works posted with the permission of the copyright holder found at the beginning of this work.

1.E.4. Do not unlink or detach or remove the full Project Gutenberg™ License terms from this work, or any files containing a part of this work or any other work associated with Project Gutenberg™.

1.E.5. Do not copy, display, perform, distribute or redistribute this electronic work, or any part of this electronic work, without prominently displaying the sentence set forth in paragraph 1.E.1 with active links or immediate access to the full terms of the Project Gutenberg™ License.

1.E.6. You may convert to and distribute this work in any binary, compressed, marked up, nonproprietary or proprietary form, including any word processing or hypertext form. However, if you provide access to or distribute copies of a Project Gutenberg™ work in a format other than “Plain Vanilla ASCII” or other format used in the official version posted on the official Project Gutenberg™ website (www.gutenberg.org), you must, at no additional cost, fee or expense to the user, provide a copy, a means of exporting a copy, or a means of obtaining a copy upon request, of the work in its original “Plain Vanilla ASCII” or other form. Any alternate format must include the full Project Gutenberg™ License as specified in paragraph 1.E.1.

1.E.7. Do not charge a fee for access to, viewing, displaying, performing, copying or distributing any Project Gutenberg™ works unless you comply with paragraph 1.E.8 or 1.E.9.

1.E.8. You may charge a reasonable fee for copies of or providing access to or distributing Project Gutenberg™ electronic works provided that:

• You pay a royalty fee of 20% of the gross profits you derive from the use of Project Gutenberg™ works calculated using the method you already use to calculate your applicable taxes. The fee is owed to the owner of the Project Gutenberg™ trademark, but he has agreed to donate royalties under this paragraph to the Project Gutenberg Literary Archive Foundation. Royalty payments must be paid within 60 days following each date on which you prepare (or are legally required to prepare) your periodic tax returns. Royalty payments should be clearly marked as such and sent to the Project Gutenberg Literary Archive Foundation at the address specified in Section 4, “Information about donations to the Project Gutenberg Literary Archive Foundation.”
• You provide a full refund of any money paid by a user who notifies you in writing (or by e-mail) within 30 days of receipt that s/he does not agree to the terms of the full Project Gutenberg™ License. You must require such a user to return or destroy all copies of the works possessed in a physical medium and discontinue all use of and all access to other copies of Project Gutenberg™ works.
• You provide, in accordance with paragraph 1.F.3, a full refund of any money paid for a work or a replacement copy, if a defect in the electronic work is discovered and reported to you within 90 days of receipt of the work.
• You comply with all other terms of this agreement for free distribution of Project Gutenberg™ works.

1.E.9. If you wish to charge a fee or distribute a Project Gutenberg™ electronic work or group of works on different terms than are set forth in this agreement, you must obtain permission in writing from the Project Gutenberg Literary Archive Foundation, the manager of the Project Gutenberg™ trademark. Contact the Foundation as set forth in Section 3 below.

1.F.

1.F.1. Project Gutenberg volunteers and employees expend considerable effort to identify, do copyright research on, transcribe and proofread works not protected by U.S. copyright law in creating the Project Gutenberg™ collection. Despite these efforts, Project Gutenberg™ electronic works, and the medium on which they may be stored, may contain “Defects,” such as, but not limited to, incomplete, inaccurate or corrupt data, transcription errors, a copyright or other intellectual property infringement, a defective or damaged disk or other medium, a computer virus, or computer codes that damage or cannot be read by your equipment.

1.F.2. LIMITED WARRANTY, DISCLAIMER OF DAMAGES - Except for the “Right of Replacement or Refund” described in paragraph 1.F.3, the Project Gutenberg Literary Archive Foundation, the owner of the Project Gutenberg™ trademark, and any other party distributing a Project Gutenberg™ electronic work under this agreement, disclaim all liability to you for damages, costs and expenses, including legal fees. YOU AGREE THAT YOU HAVE NO REMEDIES FOR NEGLIGENCE, STRICT LIABILITY, BREACH OF WARRANTY OR BREACH OF CONTRACT EXCEPT THOSE PROVIDED IN PARAGRAPH 1.F.3. YOU AGREE THAT THE FOUNDATION, THE TRADEMARK OWNER, AND ANY DISTRIBUTOR UNDER THIS AGREEMENT WILL NOT BE LIABLE TO YOU FOR ACTUAL, DIRECT, INDIRECT, CONSEQUENTIAL, PUNITIVE OR INCIDENTAL DAMAGES EVEN IF YOU GIVE NOTICE OF THE POSSIBILITY OF SUCH DAMAGE.

1.F.3. LIMITED RIGHT OF REPLACEMENT OR REFUND - If you discover a defect in this electronic work within 90 days of receiving it, you can receive a refund of the money (if any) you paid for it by sending a written explanation to the person you received the work from. If you received the work on a physical medium, you must return the medium with your written explanation. The person or entity that provided you with the defective work may elect to provide a replacement copy in lieu of a refund. If you received the work electronically, the person or entity providing it to you may choose to give you a second opportunity to receive the work electronically in lieu of a refund. If the second copy is also defective, you may demand a refund in writing without further opportunities to fix the problem.

1.F.4. Except for the limited right of replacement or refund set forth in paragraph 1.F.3, this work is provided to you ‘AS-IS’, WITH NO OTHER WARRANTIES OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO WARRANTIES OF MERCHANTABILITY OR FITNESS FOR ANY PURPOSE.

1.F.5. Some states do not allow disclaimers of certain implied warranties or the exclusion or limitation of certain types of damages. If any disclaimer or limitation set forth in this agreement violates the law of the state applicable to this agreement, the agreement shall be interpreted to make the maximum disclaimer or limitation permitted by the applicable state law. The invalidity or unenforceability of any provision of this agreement shall not void the remaining provisions.

1.F.6. INDEMNITY - You agree to indemnify and hold the Foundation, the trademark owner, any agent or employee of the Foundation, anyone providing copies of Project Gutenberg™ electronic works in accordance with this agreement, and any volunteers associated with the production, promotion and distribution of Project Gutenberg™ electronic works, harmless from all liability, costs and expenses, including legal fees, that arise directly or indirectly from any of the following which you do or cause to occur: (a) distribution of this or any Project Gutenberg™ work, (b) alteration, modification, or additions or deletions to any Project Gutenberg™ work, and (c) any Defect you cause.

Section 2. Information about the Mission of Project Gutenberg™

Project Gutenberg™ is synonymous with the free distribution of electronic works in formats readable by the widest variety of computers including obsolete, old, middle-aged and new computers. It exists because of the efforts of hundreds of volunteers and donations from people in all walks of life.

Volunteers and financial support to provide volunteers with the assistance they need are critical to reaching Project Gutenberg™’s goals and ensuring that the Project Gutenberg™ collection will remain freely available for generations to come. In 2001, the Project Gutenberg Literary Archive Foundation was created to provide a secure and permanent future for Project Gutenberg™ and future generations. To learn more about the Project Gutenberg Literary Archive Foundation and how your efforts and donations can help, see Sections 3 and 4 and the Foundation information page at www.gutenberg.org.

Section 3. Information about the Project Gutenberg Literary Archive Foundation

The Project Gutenberg Literary Archive Foundation is a non-profit 501(c)(3) educational corporation organized under the laws of the state of Mississippi and granted tax exempt status by the Internal Revenue Service. The Foundation’s EIN or federal tax identification number is 64-6221541. Contributions to the Project Gutenberg Literary Archive Foundation are tax deductible to the full extent permitted by U.S. federal laws and your state’s laws.

The Foundation’s business office is located at 809 North 1500 West, Salt Lake City, UT 84116, (801) 596-1887. Email contact links and up to date contact information can be found at the Foundation’s website and official page at www.gutenberg.org/contact

Section 4. Information about Donations to the Project Gutenberg Literary Archive Foundation

Project Gutenberg™ depends upon and cannot survive without widespread public support and donations to carry out its mission of increasing the number of public domain and licensed works that can be freely distributed in machine-readable form accessible by the widest array of equipment including outdated equipment. Many small donations ($1 to $5,000) are particularly important to maintaining tax exempt status with the IRS.

The Foundation is committed to complying with the laws regulating charities and charitable donations in all 50 states of the United States. Compliance requirements are not uniform and it takes a considerable effort, much paperwork and many fees to meet and keep up with these requirements. We do not solicit donations in locations where we have not received written confirmation of compliance. To SEND DONATIONS or determine the status of compliance for any particular state visit www.gutenberg.org/donate.

While we cannot and do not solicit contributions from states where we have not met the solicitation requirements, we know of no prohibition against accepting unsolicited donations from donors in such states who approach us with offers to donate.

International donations are gratefully accepted, but we cannot make any statements concerning tax treatment of donations received from outside the United States. U.S. laws alone swamp our small staff.

Please check the Project Gutenberg web pages for current donation methods and addresses. Donations are accepted in a number of other ways including checks, online payments and credit card donations. To donate, please visit: www.gutenberg.org/donate.

Section 5. General Information About Project Gutenberg™ electronic works

Professor Michael S. Hart was the originator of the Project Gutenberg™ concept of a library of electronic works that could be freely shared with anyone. For forty years, he produced and distributed Project Gutenberg™ eBooks with only a loose network of volunteer support.

Project Gutenberg™ eBooks are often created from several printed editions, all of which are confirmed as not protected by copyright in the U.S. unless a copyright notice is included. Thus, we do not necessarily keep eBooks in compliance with any particular paper edition.

Most people start at our website which has the main PG search facility: www.gutenberg.org.

This website includes information about Project Gutenberg™, including how to make donations to the Project Gutenberg Literary Archive Foundation, how to help produce our new eBooks, and how to subscribe to our email newsletter to hear about new eBooks.

y = vx,	All Ys are Xs,
y = v(1 - x),	No Ys are Xs,
vy = v`'`x,	Some Ys are Xs,
vy = v`'`(1 - x),	Some Ys are not-Xs,

1 - y = vx,	All not-Ys are Xs,
1 - y = v(1 - x),	All not-Ys are not-Xs,
v(1 - y) = v`'`x,	Some not-Ys are Xs,
v(1 - y) = v`'`(1 - x),	Some not-Ys are not-Xs,

1 - x = v`'`y,	All not-Xs are Ys,
x = v`'`y,	All Xs are Ys,
	or No not-Xs are Ys,

Ex. 1.	All Ys are Xs,	y = vx,
	All Zs are Ys,	z = v`'`y,

Ex. 2.	All Ys are Xs,	y = vx,
	All Ys are Zs,	y = v`'`z.

The Project Gutenberg eBook of The calculus of logic

THE CALCULUS OF LOGIC

General Theorems relating to Elective Functions.

Theorems of Development.

General Solution of Elective Equations.

On Syllogism.

Laws of Syllogism deduced from the Elective Calculus.

THE FULL PROJECT GUTENBERG LICENSE

All Ys are Xs.	A,
No Ys are Xs.	E,
Some Ys are Xs.	I,
Some Ys are not Xs.	O.

A,	All Xs are Zs.	A`'`,	All not-Xs are Zs.
E,	No Xs are Zs.	E`'`,	{No not-Xs are Zs, or
			{(All not-Xs are not-Zs.)
I,	Some Xs are Zs.	I`'`	Some not-Xs are Zs.
O,	Some Xs are not-Zs.	O`'`,	Some not-Xs are not-Zs.