Cursus Philosophicus Thomisticus, Prima Pars Artis Logicae
John of St. Thomas (1589–1644)
First published 1930
Prima pars artis Logicae (formal logic) of the Cursus Philosophicus Thomisticus of John of St. Thomas (Joannes a Sancto Thoma), from the Reiser edition (Marietti, Turin, 1930), Reiser tomus I, pars prima.
Praefatio I: Preface
Praeludium I: IN WHICH THE EXERCISE AND PRACTICE OF DIALECTICAL DISPUTATION ARE PROPOSED
Praeludium II: DIVISION, ORDER, AND NECESSITY OF THE ART OF LOGIC
Liber I: ON THE MATTERS PERTAINING TO THE FIRST OPERATION OF THE INTELLECT
Caput I: DEFINITION OF THE TERM
Caput II: DEFINITION AND DIVISION OF THE SIGN
Caput III: ON CERTAIN DIVISIONS OF TERMS
Caput IV: ON OTHER DIVISIONS OF TERMS
Caput V: ON THE NAME
Caput VI: ON THE VERB
Liber II: ON THE MATTERS PERTAINING TO THE SECOND OPERATION OF THE INTELLECT
Caput I: ON EXPRESSION IN GENERAL AND ITS DIVISION
Caput II: ON THE MODE OF KNOWING
Caput III: ON DEFINITION
Caput IV: ON DIVISION
Caput V: ON ARGUMENTATION
Caput VI: ON THE PROPOSITION OR ENUNCIATION
Caput VII: ON THE DIVISIONS OF THE PROPOSITION
Caput VIII: ON THE MATTER OF PROPOSITIONS
Caput IX: ON THE PROPERTIES OF THE PROPOSITION AND THE ORDER IN WHICH THEY ARE TO BE TREATED
Caput X: ON SUPPOSITION
Caput XI: ON THE DIVISIONS OF SUPPOSITION
Caput XII: RULES OF SUPPOSITION
Caput XIII: ON RELATIVES
Caput XIV: ON AMPLIFICATION, RESTRICTION, AND ALIENATION
Caput XV: ON APPELLATION
Caput XVI: ON OPPOSITION
Caput XVII: ON THE CONDITIONS REQUIRED FOR THE SPECIES OF OPPOSED PROPOSITIONS AND THE RULES FOR RECOGNIZING THE SPECIAL OPPOSITIONS THEMSELVES
Caput XVIII: ON THE EQUIVALENCE OF PROPOSITIONS
Caput XIX: ON THE CONVERSION OF PROPOSITIONS
Caput XX: ON MODALS
Caput XXI: ON THE QUANTITY, QUALITY, OPPOSITION, AND EQUIVALENCE OF MODALS
Rotuli I: TABLES OF COMPOUND MODALS
Rotuli II: TABLES OF DIVIDED MODAL PROPOSITIONS WHOSE DICTUM CONCERNS A COMMON TERM
Caput XXII: ON THE REDUCTION OF MODALS TO THEIR DE INESSE PROPOSITIONS
Caput XXIII: ON HYPOTHETICAL PROPOSITIONS
Caput XXIV: ON EXPONIBLES
Liber III: ON THE THIRD OPERATION OF THE INTELLECT
Caput I: ON CONSEQUENCE AND ITS DIVISION
Caput II: ON INDUCTION
Caput III: ON THE ORDER AND MODE OF RESOLVING TERMS BY ASCENT AND DESCENT
Caput IV: ON THE SYLLOGISM AND ITS MATTER AND FORM
Caput V: ON THE DIVISION OF THE SYLLOGISM ACCORDING TO MATTER AND FORM
Caput VI: ALL THREE FIGURES AND MODES OF SYLLOGISMS ARE EXPLAINED
Caput VII: ON THE REDUCTION OF IMPERFECT SYLLOGISMS TO PERFECT ONES
Caput VIII: ON THE EXPOSITORY SYLLOGISM
Caput IX: ON THE MODE OF FINDING THE MIDDLE TERM
Caput X: ON THE PRINCIPLES ON WHICH THE WHOLE ART OF SYLLOGIZING RESTS
Caput XI: ON THE PRINCIPLES ON WHICH THE GOODNESS OF CONSEQUENCE RESTS UNIVERSALLY
Caput XII: ON THE PRINCIPLES OF THE DEFECTS OF A BAD CONSEQUENCE
Caput XIII: ON PARTICULAR DEFECTS
Circa I: CONCERNING THE SYLLOGISM.
Defectus I: COMMON DEFECTS.
Caput XIV: ON FALLACIES
Liber IV: THE FOLLOWING QUESTIONS ARE TO BE DISPUTED TO ILLUSTRATE CERTAIN DIFFICULTIES OF THIS TEXT
Quaestio I: ON THE TERM
Articulus I: WHETHER DIALECTIC BEGINS WITH THE TERM IN THE RIGHT ORDER OF DOCTRINE
Articulus II: WHETHER THE DEFINITION OF THE ENUNCIATIVE TERM IS GOOD, AND IN WHAT ITS FORMALITY CONSISTS
Articulus III: WHETHER THE DEFINITION OF THE SYLLOGISTIC TERM IS GOOD, AND WHAT ITS FORMALITY IS
Articulus IV: WHAT THE DEFINED THING OF A TERM IS, AND FOR WHAT IT SUPPOSITS
Articulus V: WHETHER WORDS SIGNIFY CONCEPTS OR THINGS FIRST
Articulus VI: WHETHER THE TERM HAS ANY ESSENTIAL DIVISION
Quaestio II: ON THE NAME
Articulus I: HOW THAT CLAUSE IS TO BE UNDERSTOOD: „NO PART OF WHICH SIGNIFIES SEPARATELY”
Articulus II: WHETHER THE INFINITE NAME IS RIGHTLY EXCLUDED FROM THE ACCOUNT OF A NAME
Articulus III: WHETHER THE OBLIQUE CASES ARE RIGHTLY EXCLUDED FROM THE ACCOUNT OF A NAME
Quaestio III: ON THE VERB
Articulus I: WHAT IT IS TO SIGNIFY WITH TIME AND TO BE FREED FROM TIME
Articulus II: WHETHER A VERB CAN BE MADE INFINITE WITHIN A PROPOSITION
Quaestio IV: ON EXPRESSION AND THE MODE OF KNOWING
Articulus I: WHETHER THE DEFINITION OF EXPRESSION IS GOOD AND WHAT ITS DEFINED THING IS
Articulus II: WHETHER THE DEFINITION OF DEFINITION IS RIGHTLY GIVEN
Articulus III: WHETHER THE DEFINITION OF DIVISION AND WHAT PERTAINS TO DIVISION ARE RIGHTLY GIVEN
Quaestio V: ON ENUNCIATION
Articulus I: WHEREIN THE NOTION OF ENUNCIATION CONSISTS, AS IT ABSTRACTS FROM CATEGORICAL AND HYPOTHETICAL ENUNCIATION
Articulus II: WHETHER A CATEGORICAL ENUNCIATION IS SOME SIMPLE QUALITY AND CONCEPT IN THE MIND, OR FORMALLY COMPOSITE
Articulus III: WHETHER THE DIVISION INTO HYPOTHETICAL AND CATEGORICAL IS ESSENTIAL AND UNIVOCAL
Articulus IV: WHETHER THE DIVISIONS INTO AFFIRMATIVE AND NEGATIVE, UNIVERSAL AND PARTICULAR, ARE GOOD AND ESSENTIAL
Quaestio VI: ON SUPPOSITION AND THE OTHER PROPERTIES OF THE PARTS OF AN ENUNCIATION
Articulus I: WHETHER THE DEFINITION OF SUPPOSITION IS GOOD
Articulus II: WHETHER IMPROPER SUPPOSITION IS FOUND IN THE ULTIMATE CONCEPT OF THE MIND
Articulus III: WHAT IS TO BE NOTED CONCERNING THE OTHER SPECIES OF SUPPOSITION AND LOGICAL PROPERTIES
Articulus IV: WHETHER THE RULES OF APPELLATION GIVEN IN THE TEXT ARE TRUE
Quaestio VII: ON THE OPPOSITION AND CONVERSION OF PROPOSITIONS
Articulus I: WHETHER CONTRADICTORY OPPOSITION IS THE GREATEST OF ALL OPPOSITIONS
Articulus II: WHETHER THERE CAN BE CONTRADICTORIES THAT ARE SIMULTANEOUSLY TRUE OR FALSE
Articulus III: WHETHER THE RULES OF CONVERSION ARE RIGHTLY ASSIGNED
Quaestio VIII: ON CONSEQUENCE AND THE SYLLOGISM
Articulus I: WHETHER THE DIFFERENCE BETWEEN GOOD AND BAD CONSEQUENCE IS RIGHTLY ASSIGNED
Articulus II: WHETHER INDUCTION IS A FORMAL CONSEQUENCE
Articulus III: WHETHER THE CONCLUSION BELONGS TO THE ESSENCE OF THE SYLLOGISM, OR ONLY THE PREMISES
Articulus IV: WHETHER THE SYLLOGISM IS RIGHTLY DIVIDED INTO PERFECT AND IMPERFECT
Appendix I: TO THE SECOND PART OF THE SUMMULAE
Quaestio I: ON THE TERM
Articulus I: WHETHER DIALECTIC BEGINS WITH THE TERM IN THE RIGHT ORDER OF DOCTRINE
Articulus II: WHETHER THE DEFINITION OF THE ENUNCIATIVE TERM IS GOOD AND IN WHAT ITS FORMALITY CONSISTS
In the disputes … etc. See above, p. 89 b 32.
I SAY FIRST: It belongs to the essential notion of a logical or artificial term that it signify by convention, if it is spoken or written, but not if it is a concept.
This conclusion is common among dialecticians, who follow Aristotle in defining all the logical instruments—the syllogism, speech, noun, verb, and so on—by significant words. St. Thomas follows this view in On Interpretation I, lect. 1,1 treating the definition of the noun, and at the end of lect. 62 treating the definition of speech. He excludes words that signify naturally, although Plato thought otherwise in the Cratylus,3 because speech and its parts are not natural things but certain artificial effects; hence they must signify artificially, or by convention, just as all artificial things are caused by human will and reason. Words lacking signification, however, represent only naturally and not by convention, and so do not of themselves belong to the construction of speech.
The REASON for the conclusion follows: a non-signifying word, such as “blitiri,” can represent nothing to the mind that needs the direction of art and contributes to reasoning. Therefore, of itself it does not belong to a logical instrument.
The consequence is clear, because every logical instrument must serve some direction and art of reason, since, as was said, the formal notion of Logic is to concern the direction of reason so that the intellect may proceed without error. Whether a non-signifying word can be taken by Logic per accidens to compose speech, we will say in the arguments.
That a term must signify by convention and not naturally is proved first as follows. Here the term is defined in general, so as to include every part of speech, even the copula or verb; this is what we understand by the name “term.” But no word naturally represents the copula of other things (if you deny this, identify one). Therefore, at least as regards the copula, a term requires signification by convention. Further, the copula signifies by convention; therefore, it cannot of itself join extremes that represent naturally. For how could the verb “is” join two sights or two groans? Thus, for there to be logical art, signification by convention is required both in the verb and in the extremes joined by the verb, and consequently in the term, which is common to them all. For if non-signifying writing—for example, a line drawn with a pen—does not compose logically, neither will a non-signifying word.
I SAY SECOND: The ultimate formality of an enunciative term is that it be a part of an enunciation, from which a simple proposition is made—not only as subject and predicate, but according to a more common notion that includes the verb and other parts, such as pronouns, adverbs, prepositions, and the like.
This conclusion is common among the Thomists, Peter of Spain, Soto, Báñez, and others. It is proved first from the authority of Aristotle and St. Thomas in On Interpretation I, ch. “On Enunciation,”4 where Aristotle, explaining how noun and verb are excluded from speech, says: “Noun and verb, then, are only an expression, since it is not to say that someone enunciates something by a voice signifying in this way.” Explaining these words there in lect. 8, § He excludes it from unity,5 St. Thomas says: “Noun and verb, then, are only an expression: an expression, that is, not an enunciation; and it seems from his manner of speaking that he himself imposed the name ‘expression’ to signify the parts of an enunciation.” Therefore, the Philosopher gave noun and verb a common name, namely, that they are only “expressions”; and, St. Thomas says, he imposed this name “to signify the parts of an enunciation.” Therefore, according to Aristotle and St. Thomas, “expression,” or “term,” signifies the character of a part of an enunciation, common to noun and verb, in which they agree and by which they pertain to the present inquiry. The holy Doctor explicitly says this in On Interpretation I, lect. 1,6 where he says that “simple expressions are considered insofar as they are parts of an enunciation, and thus they are treated in this book, etc.” A term or expression is therefore very well defined as a part of an enunciation, or “that from which a simple proposition is made”; for if the logician considers a term as a part, he must define it generally by its being a part. This is rightly its constitutive formality, since, when every other formality is set aside, a term or expression is understood to remain if it is conceived under the character of a part of an enunciation.
If you ask whether this consideration of a part includes all parts of an enunciation or only the principal ones, we answer that “term” or “expression” can be taken in two ways: in a general, broad, common sense, or in a restricted, more determinate sense. In the first way, “term” includes every kind of part insofar as it is a part, including adverbs, pronouns, and other syncategorematic terms. These are more connections among the parts of speech than parts of speech themselves, just as nails and similar things are not parts of a ship but connections among its parts, although they are commonly called parts of the ship, since they help compose it in one way or another. But if “term” is taken in the second way, in a strict sense, it includes only the principal parts of speech, noun and verb, to which the others are reduced: pronouns are included under nouns, and participles under verbs. Observe, however, that although the verb joins the extremes of a proposition like a union or bond, while syncategorematic terms are called connections among parts, they do so in different ways. The verb connects by signifying something after the manner of an action or motion, and can function as the predicate in a proposition, as when I say, “Peter runs” or “Peter is.” Syncategorematic terms connect by signifying in some way and not something; hence, strictly speaking, they cannot function as predicate and subject as noun and verb can, which are called the principal parts of speech. For this reason Aristotle treated only those, as St. Thomas says in the cited place; this whole doctrine is his, since he intended to treat simple speech, which necessarily requires a noun and a verb.
THE ARGUMENTS ARE ANSWERED.
First, it is argued against the first conclusion: “Blitiri” is a term, but it is not a significant word; therefore, the term is wrongly defined this way.
The antecedent is proved: It has the ultimate and essential difference of a term, namely, being part of a simple proposition; for it is part of “Blitiri is not scindapsus” and “Blitiri is trisyllabic.” It also supposits in the proposition by material supposition. Therefore, it is a term.
WE ANSWER: The antecedent is denied. In the proof, the antecedent is distinguished: that it is a part or composes a proposition materially is granted; formally and significantly is denied.
A term and the other logical instruments can be taken in two ways: objectively, for the things signified themselves, and this is materially; or formally, for the signs we use because we cannot bring the things themselves into the schools, and this is significantly. When, then, a proposition or speech is made from non-signifying words, that word stands materially for itself, as in material supposition, for example, when I say, “Man is a noun,” or “man is a word.” These words stand for themselves because they represent themselves to the senses; hence they do not need signification, but self-representation (for then we have brought the thing into the schools), which supplies the place of signification. For signification is not of itself but of another: a sign represents something other than itself, not itself. Strictly speaking, therefore, signification is required for the artificial composition of Logic; accidentally, however, it can use representation when it forms speech not about the things signified but about the words themselves, as in the argument. In that case the words compose materially, not formally.
OBJECTION: Speech composed from “blitiri” is formally speech; therefore, “blitiri” formally composes it.
The consequence is clear, since a whole that is formally a whole requires parts that are formally parts. The antecedent is proved: That is formally speech which produces the sense of speech in the hearer’s mind. Such is “Blitiri is not scindapsus.” Therefore. Moreover, Aristotle formed his demonstrations from the letters A, B, C alone, which signify nothing as an expression or term. Nor did he require all the parts of speech to be significant; he said that speech is “that some of whose parts signifies separately.” Therefore, non-signifying words formally compose speech and syllogism, and speech does not require all its parts to be significant.
WE ANSWER the first proof as follows. First, in keeping with what was said, the formality of speech, since it is a whole, consists in composition. Thus, for it to be formal speech, it is enough that composition be formally present, even if it is supplied not by the signification of the extremes but by their representation. It is supplied by the verb “is,” by which the very composition of speech is signified formally. Thus speech is formal by the formality of composition, which is taken from the verb, not by the formality of the extremes, since these compose only materially and representatively. But if all the parts were non-signifying words, it would not be speech either formally or at all.
We answer second that non-signifying words do not by themselves compose speech formally and artificially; they do so by reason of a significant word understood there, as when I say, “Blitiri is not scindapsus,” with the understood meaning, “The word ‘blitiri’ is not the word ‘scindapsus.’” Here “word” is the term that composes formally, while “blitiri” stands only objectively and materially. This is simply the true and certain solution.
The answer to the remaining proofs is clear from this. Regarding the first, about the letters A, B, C, we say that they either function materially there, or that “the word A” and “the word B” are understood, or that A and B naturally signify those first elements and letters, as is clear from the preposition “a” or “ab.” Regarding the definition of speech, St. Thomas answers in On Interpretation I, lect. 6,7 that the Philosopher did not intend non-signifying words to compose speech formally together with the verb, but that at least some part of speech must signify something, that is, as a categorematic term, even if the rest signify only in some way as syncategorematic terms.
Second, it is argued against the second conclusion: The formality of a part differs from that of an extreme. But a term is an extreme of a proposition, as Aristotle says in Prior Analytics I, ch. 1, defining a term as “that into which a proposition is resolved.”8 Therefore, the ultimate formality of a term is wrongly said to consist in its character as a part.
The major premise is proved: The notion of a part is more universal than that of an extreme. A part is preserved in that which composes a whole; an extreme, however, is that which contains and closes off the whole, so that the whole does not extend beyond it and it functions as a principal part. Therefore, the major premise is true.
WE ANSWER by explaining the minor premise: Aristotle there spoke of the syllogistic term, not the enunciative term with which we are concerned here. The former consists in being an extreme; the latter consists in being a part and includes all parts of speech, even the less principal ones. The reason is that an enunciative term is ordered only to constructing truth in an enunciation, whereas a syllogism, or syllogistic term, is ordered to inference. Truth is composed not only from the extremes but also from the joining verb, adverbs, or negations, on which the truth of a proposition often depends. Since, then, we are treating the term as ordered to composing an enunciation, we take it generally, to include every part of an enunciation. But syllogistic inference is not considered as true, but as inferring; it therefore requires only three terms: two that are extremes in the conclusion to be inferred, and a third that serves as a middle, proving and inferring and joining by inference. This can belong only to subject and predicate. Hence only the extremes of a proposition are syllogistic terms. The Philosopher spoke of these in the cited passage, whereas we do not; we use the term in a broader sense.
Finally, it is argued: Being a part of a proposition belongs to things other than a term; therefore, a term is not well defined by the notion of a part.
The consequence is clear, because a definition cannot belong to things other than what is defined. The antecedent is proved: This belongs to a proposition and to speech, since a proposition composes a syllogism and another hypothetical proposition, which essentially consists of categorical propositions.
If you say that a term composes a simple proposition, whereas a categorical proposition composing a hypothetical one composes a composite proposition, namely, a hypothetical one, the objection is: A categorical proposition also composes another simple proposition. The proof: “Man is an animal and true” is a certain simple categorical proposition and is composed from “Man is an animal.” Therefore, a categorical proposition too is a part composing a simple proposition.
If you say that a proposition composes another not as a part in itself, primarily, and essentially, as a term does, but accidentally and secondarily, the objection is: A syllogism and a hypothetical proposition are composed of propositions in themselves; therefore, propositions are parts composing and constituting them in themselves.
WE ANSWER all these points with this distinction: A proposition can compose another proposition, simple or composite; distinguish: in itself—denied; accidentally—granted. Therefore, that being a part, which is the notion of a term, belongs to a proposition—the consequence is denied, because a term composes a simple proposition in itself, not accidentally.
This is explained as follows: Some things are parts in themselves and are ordered in themselves to the composition of a whole; others have in themselves the character of a whole, and if they are ever ordered to compose another whole, this is not in itself but accidentally. For example, a person’s bones and flesh are parts of that person in themselves and are ordered in themselves to composing the person. But a human being, because in himself he has the character of a whole, is not ordered in himself but accidentally to composing another whole, such as an army. The same is true of a house: it is a whole in itself, and if it composes a city, it does so accidentally. In the same way, in logical artifacts, terms are parts in themselves and are ordered in themselves to composing a simple proposition, because they do not have another essence already constituted (for this is how we understand “from which a simple proposition is made,” the difference of a term). But because a proposition is a whole in itself, if it sometimes composes another proposition, it is not ordered to this in itself but accidentally, since this does not constitute it in its essence.
To the final reply, we answer that according to Aristotle, in the chapter on enunciation,9 a hypothetical proposition and a syllogism have unity of conjunction or order, not unity simply, as a categorical proposition does. Composites or wholes composed only by conjunction and order can be composed of parts that are not parts in themselves and primarily, but accidentally and materially, as an army is composed of many people and a city of many houses.
YOU WILL ASK: As was said above from St. Thomas, a term can be considered in three ways: as belonging to the categories, as a part of a proposition, and as a part of a syllogism. Why, then, is it not defined according to a common notion covering all these formalities and considerations?
We answer that a term, insofar as it belongs to the categories, is taken for the things signified themselves, as they are ordered in a category according to higher and lower degrees. Insofar as it belongs to a proposition or syllogism, it is taken for a sign or significant voice. Thus it cannot be defined by one definition, since a sign and a thing are not one and the same. Or, even if it could be defined this way, that is not relevant here, where we treat only the term insofar as it precisely belongs to logical form and prioristic resolution.
YOU WILL ASK FINALLY: Why is a term defined more specifically and only as a part of a proposition rather than of a syllogism, since it also composes a syllogism most formally? For without the verb, at least, no conclusion would be inferred and no syllogism would exist.
We answer that the verb composes and is required for a syllogism presuppositively, by reason of the enunciation, not by reason of inference. For it is not required to join the extremes by way of inference and proof, but by way of enunciation. Since an enunciation is presupposed to a syllogism, the verb is presupposed as well, but not formally.