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
Nearly all the particles that make up the definition of the verb given in the text have already been explained from the definition of the name. It remains, however, to explain what it is to signify with time, and how the verb is said to abstract from time.
Articulus I: WHAT IT IS TO SIGNIFY WITH TIME AND TO BE FREED FROM TIME
TWO THINGS MUST BE PRESUPPOSED: The first is that a verb, not only an adjectival verb but also a substantive verb, has a concept distinct from its extremes. Everyone grants this of an adjectival verb, but some recent authors deny it of the substantive verb, saying that the verb “is,” when posited as a connection in propositions, has no special concept in the mind, but merely explains the agreement of its extremes.
St. Thomas holds the contrary. For at the end of On Interpretation I, lect. 5,1 he says that Aristotle said that the verb “is” consignifies composition because it does not signify composition principally, but consequently; for it signifies what first falls under the intellect in the mode of absolute actuality. For is, stated simply, signifies actual being. But because the actuality principally signified by the verb “is” is the actuality common to every form, whether substantial or accidental, it follows that when we wish to signify that any form inheres in a subject, we signify this by the verb “is,” and so it signifies composition consequently. And in Sentences I, d. 8, q. 2, a. 3, ad 3,2 he says “that was and will be signify essence in the mode of act and consignify time.” Thomas therefore assigns the verb “is” its own concept, while saying that it signifies union or composition consequently; for this belongs to the verb’s mode of signifying, not to the thing signified. And certainly it is impossible for the participle of the verb is, namely being, to have its own concept by which it signifies being as such, while the verb is, from which it is derived, has no concept of its own.
Second, I presuppose, from Thomas, On Interpretation I, lect. 4,3 that it is one thing to signify time, another to signify with time, and another to signify the relation of time as measure, or to connote time. To signify time itself as the thing signified is done by a noun, not by a verb: thus the noun time, day, year, and so on signifies time, and is not a verb. To signify with time is to signify something insofar as it is subject to time. And because substance, in itself and by its mode as substance, is not measured by time, but only insofar as it is subject to motion and change—since motion is what is measured by time first and in itself, and by reason of which other things are measured by time—it follows that a verb signifies with time because it signifies in the mode of flux and motion, whereas a noun signifies without time because it signifies in the mode of substance and of what stands in itself. Finally, to signify a relation to time or to connote time is to signify the relation of one time to another, or some thing with the determination of a particular time. For example, yesterday, today, and tomorrow signify a relation to past or future time; likewise lunch, dinner, and similar words connote a determinate part of time in which those actions are usually performed.
WITH THESE POINTS ESTABLISHED, I SAY: Signifying with time is so intrinsic and essential to a verb that it can never be separated from it. Yet verbs are said to be separated from time in certain propositions, not from signifying with time, because they unite the extremes independently of time, while signifying this very thing in the mode of time.
That a verb is separated from time is therefore the common opinion of authors, indeed the common conception of all, when they form necessary propositions that they call eternally true—not because objective truth has positive eternity and duration, but because, if necessary, it does not depend on time, is not grounded in it, and is not changed by it. “For truth that endures does not perish,” as Thomas says, citing Augustine,4 in Sentences I, d. 19, q. 5, a. 3.5 Therefore, for a verb to be separated from time means nothing other than for truth itself to be separated from time; for truth is signified by a verb insofar as it unites the extremes in a proposition. Hence if truth is independent of time, the union of the extremes is also independent of time; consequently, insofar as the verb unites them, it does not depend on time. This is to be separated from time with respect to the exercise of uniting and joining extremes that have an intrinsic connection, not a contingent and temporal one that would depend on time. Yet signifying with time belongs to a verb even outside a proposition by virtue of its proper signification, just as signifying without time belongs to a noun.
Therefore, it is the union of a verb, not its signification, that is separated from time. Hence it is clear that being separated from time does not mean changing the measure of time on the part of the mode of signifying, nor uniting with respect to every time or duration, nor not uniting at all in the mode of time, as some have variously thought. Rather, while retaining its mode of signifying with time, which is intrinsic to it, the verb does not express the union of the extremes as dependent on time.
As for what it is to signify with time, the first part of the conclusion, the answer from Thomas, On Interpretation I, lect. 4,6 is that it is nothing other than signifying under the aspect and in the mode by which something is subject to time. It is subject to time by reason of motion or change; every action, however, is signified in the mode of motion. This is what signifying with time means in a verb: it signifies a thing under an actual tendency, application, or communication, and thus is said to signify in the mode of action or flux, and hence under the measure of time. And because we also understand things that are eternal and independent of time in the mode of time, even when a verb’s union or joining is separated from time on the part of the extremes over which it falls, we still understand it in the mode of time; it is therefore signified with time as regards its mode of signifying, although it is separated from time as regards the union and relation of the extremes.
OBJECTIONS ARE RESOLVED.
First objection: Many verbs do not signify in the mode of motion and flux; therefore, they do not signify with time.
The antecedent is proved as follows: The verb “is” does not signify an action, but being, according to an analogous concept common to essential and accidental being, like being itself, which is its participle. Likewise, the verbs “have,” “possess,” “rest,” and similar verbs signify no motion or action, but the opposite of action and motion; therefore, they do not signify in the mode of motion and action.
I ANSWER: signifying motion or action is one thing, and signifying in the mode of motion another. Not all verbs signify motion and action on the side of the thing signified, but all signify in the mode of motion—that is, in the mode of what passes and according to the relation of present, past, or future—and thus they signify a thing as subject to presence, which is understood to pass into past and future. Hence the verb “is” signifies the act of being, not of acting, and signifies it as subject to the present and passing into the past. For in creatures existence is the term of an action, and therefore can take on the mode of action and of what passes in signifying. The same holds of resting, possessing, and so on. These can be signified in the mode of what passes because they are acquired through motion, and hence as measured by time.
Second objection: The signification of a verb never changes, even when it is separated from time; rather, it signifies the copula and union itself. Therefore, the union never changes: it either always depends on time, or, if it does not, the signification changes.
It is confirmed because by virtue of a verb’s signification the verb necessarily unites by means of some difference of time, whether present, past, and so forth. Therefore, the extremes, insofar as they subsist and are united by the verb, cannot fail to be measured by time itself and restricted to that difference of time, since they are united only through it and according to its requirement.
It is confirmed a second time because, if the verb abstracts from time, it follows that the extremes do not supposit; and consequently, if an affirmative proposition is formed, it will be about a subject that does not supposit, which is false. The consequence is proved because supposition must be verified in relation to the copula. For example, if you say “a human being is an animal,” this must be verified of a human being by saying “this is a human being,” with a human being indicated. But if the verb abstracts from all time, it cannot be indicated that this is a human being, as is clear from the time before a human being was created; therefore, the supposition is not verified.
I ANSWER: a copula or union is not signified immediately and directly by a verb, but consequently, as we said above from Thomas, On Interpretation I, lect. 5, at the end.7 A verb directly signifies an action or actuality in the mode of what flows and passes. Since this mode is applicative, by virtue of it a union or application of the extremes results and follows. And because, as Thomas says there, composition cannot be understood without the composing extremes, the resulting union or copula depends on the extremes, and results according to their connection, either as dependent on time or as separated from time.
To the first confirmation, the response is that when a verb is separated from time, it still unites by means of some difference of time on the part of its mode of signifying, but independently of time on the part of the union that follows in the extremes and on the part of the thing itself that is united.
To the second confirmation, it is said that in those propositions the extremes supposit naturally; and the verification of such supposition takes place according to the requirement of the verb, not by indicating a subject existing in time, but as it is in itself in the intellect. Thus, when I say “this is a human being,” this does not indicate an individual existing in time, but the essence of a human being insofar as it can be found in all individuals; for this is natural supposition.
Finally, one argues: The verbs “was” and “will be” signify the same as the verb “is,” since they are oblique cases of it, and yet they cannot be separated from time; otherwise, the proposition “Adam was a human being” would be eternally true, although it would be false for the time before Adam was created. Therefore, the verb “is” also signifies dependently on time and cannot signify two actualities, since otherwise it would be an equivocal verb, not signifying one actuality alone.
I ANSWER: precisely because was and will be are cases of the verb and fall away from the signification of the present verb, they are incapable of abstracting from time: they restrict their signification to the aspect of the past or future alone, which cannot abstract from time as the aspect of the present can. For what is present can be signified as not passing away, but as always present, as is the case with things that do not depend on time. But the past, on the side of the thing signified, essentially includes passing and temporal succession; hence the union that follows from it is always dependent on time. There are many verbs that cannot be separated from time, such as to exist, to move, and so on; was and will be are likewise such verbs.
Or, second, one can say that was and will be are also separated from time, as Thomas discusses in Sentences I, d. 8, q. 2, a. 3,8 since they are sometimes attributed to God, as when it is said that he was from the beginning: “The Word was with God,” “God will be forever,” and so on. Then one must say that the proposition “Adam was a human being” was also true before Adam was created, taking was not to mean that he existed, but that those two extremes had been connected. The verb “is,” however, does not signify two actualities, but the actuality of being in general, like its participle, namely being. Hence, from the extremes joined to it, that common and indifferent signification of actuality is determined and restricted to the union of essential or accidental actuality, as is taken from Thomas, On Interpretation I, lect. 5, at the end.9
We omit here other arguments that could be made about the eternity of a necessary proposition, because they pertain to metaphysics. Nor do we now discuss how such propositions are eternally true; we presuppose that point and instead discuss how a verb in them is separated from time.
Articulus II: WHETHER A VERB CAN BE MADE INFINITE WITHIN A PROPOSITION
THE SENSE OF THE DIFFICULTY does not concern a verb when it is taken with the force of a noun; then it is clear that it can be made infinite even within a proposition, like other nouns, as when I say, “To run is not to rest.” Rather, the question concerns the verb itself when it exercises the role of copula. Nor is there a difficulty about negation itself when it is attached to the verb in such a way that it applies not only to the being signified but also to the very role of copula. For then it is clear that the negation is taken negatively and not infinitively: it makes the proposition negative precisely because it applies to the union, since it is impossible to deny the copula without the extremes remaining removed and disjoined. How, once the union has been denied, can the extremes remain united? Precisely because negation passes to disjoining and removing the extremes, the proposition becomes negative and negation is not taken infinitively. For an infinitizing negation consumes all its force within the term to which it is attached, without passing to another term. This is clear in propositions with an infinite subject, as when I say, “A non-man is non-rational,” where the first negation does not pass beyond its term; otherwise it would deny the verb and the proposition would not be affirmative.
The whole difficulty therefore consists in this point: can negation be attached so subtly to a verb inside a proposition that it makes the verb’s signification infinite without affecting or denying the copula?
ON THIS DIFFICULTY, some recent authors hold the affirmative side. St. Thomas clearly holds the opposite in On Interpretation II, lect. 1,1 where he says: “A negation affecting a verb within a proposition removes the verb from something and thus makes the enunciation negative. This does not happen on the side of the noun; for an enunciation becomes negative only by denying the composition conveyed in the verb. Therefore an infinite verb placed in an enunciation becomes a negative verb.”
THIS REASON can be explained further as follows: Precisely because negation is added to a verb exercising the role of copula within a proposition, it cannot fail to affect the union itself and to pass to the extremes that are united. But that is to be taken not infinitively but negatively. Therefore.
The major premise is clear. If negation attached to a verb makes it infinite with respect to its signification but does not touch it as copula, either it makes the signification infinite while denying the copula, or it makes the verb infinite in signification without denying the copula, leaving the copula affirmed. The first is impossible, because one negation cannot at once be taken negatively with respect to the copula and infinitively with respect to the signification. To make a term infinite, it forms one simple, incomplex concept with the term made infinite; to negate, it must have a distinct, complex concept with the thing negated, as was shown in the preceding question.2 But one negation cannot at once belong to a complex and an incomplex concept with respect to the same thing. The second is also impossible, because once the signification of the verb is made infinite, the resulting union cannot be positive and affirmative: an infinite verb does not convey an affirmed mode of action, but one denied and removed. The action signified by the verb is changed by the infinitizing negation into its denied opposite; therefore an affirmative copula cannot follow from a denied vital action. Although negation can be signified and united positively, as in verbs signifying negation, infinitizing negation does not permit this. It does not signify negation by reason of itself and as a form applicable to another, but as removing and indetermining a positive form. Therefore, if it is applied to something, it signifies by removing from it, not by applying negation, because it signifies by removing it. St. Thomas’s reasoning therefore holds: because in a proposition negation removes one thing from another, the verb cannot be made infinite. Outside a proposition, however, since the verb is not taken with the force of connecting, it can be made infinite. St. Thomas also teaches this in On Interpretation I, lect. 5, § “It excludes certain things.”3
OBJECTIONS ARE RESOLVED.
First you will object: Infinite verbs signify with tense even within a proposition; therefore they signify by uniting.
The consequent is clear because the union of the verb is grounded in its very mode of signifying with tense. The antecedent is asserted by the Philosopher in the chapter on the Verb4 and is proved because infinite verbs are declined in past and future tenses. Just as “does not run” is made infinite in the present, so are “did not avail” and “will not avail” in the past and future.
This is confirmed because the following inference is valid: “Peter has not-to-run (taken infinitively); therefore Peter does not run.” But if in this inference the term is taken negatively and not infinitively, the inference is invalid, since we argue from an undistributed to a distributed term. Consider the case in which Peter runs and disputes: the antecedent, “He has not-to-run,” that is, to dispute, is then true, but the consequent, “Therefore he does not run,” is false if not is taken negatively, because its contradictory is true, namely, “Peter runs.” Therefore not must be taken infinitively in the consequent, and thus the verb is made infinite in the proposition.
THE REPLY is to distinguish the antecedent of the principal argument: If it signifies with tense by removing and eliminating the form it makes denied and indeterminate, I concede it; if it posits some determinate form, I deny it. To the consequence we say that it does not unite positively but removively, which makes the proposition negative. For an affirmative proposition requires that it unite determinately, or apply something; it cannot remove and eliminate the signification of the verb, since in that way it will also remove it from the subject, if applied to it, which is to negate, not to make infinite. When the Philosopher said in the chapter on the Verb that an infinite verb consignifies tense and is always of something, that is, as St. Thomas explains there,5 that it is a mark of things predicated, the meaning is not that it signifies tense or is a mark of predicated things by applying and uniting positively and determinately, but by indetermining and removing. This can be done through all its inflections outside a proposition, but within a proposition only by negating.
To the confirmation we reply that the inference is invalid, as the argument shows, and so proves nothing against us. If “not-to-run” in the antecedent is taken negatively, the inference is valid, but proves nothing, because the verb is not made infinite.
Second you will object: In Posterior Analytics I,6 lect. 23 in St. Thomas,7 the Philosopher makes this inference: “Non-twinkling stars are near us; but the planets do not twinkle; therefore they are near us.” But the minor premise cannot contain a negated verb; therefore it contains an infinite verb.
The minor premise is clear: if the verb were taken negatively, the premise would be negative and consequently would yield a negative conclusion, not an affirmative one.
THE REPLY is that the Philosopher does not formulate that syllogism in this way, but as St. Thomas explains there: “Let the syllogism be formed as follows: Every non-twinkling thing is near; the planets are non-twinkling; therefore they are near.” In both premises “not twinkling” is taken infinitively. Thus when the argument says, “The planets do not twinkle,” it is understood equivalently: they are stars that do not twinkle, or they are non-twinkling.
Finally, it is argued: An oblique verb, even with the force of a verb, and an infinite noun are found within a proposition; therefore an infinite verb is too.
The consequence is proved both from parity of reasoning and because an infinite verb composes a proposition: it truly is a term, and not in the mode of a noun, because it signifies with tense; therefore it is in the mode of a verb.
THE REPLY is that there is a great difference between an oblique and an infinite verb, as St. Thomas says in On Interpretation II, lect. 1,8 because an oblique verb departs from a verb only with respect to signification of present time, which is simply time, but not with respect to indetermination of action, as an infinite verb does. Thus an oblique verb can serve as a copula at least in the past and future, but an infinite verb cannot. For although infinitization is directly applied to the verb’s signification, it consequently prevents a positive and determinate copulation, which is grounded in the signification of a determinate action, as was said. An infinite noun, however, enters a proposition as predicate or subject; for that reason an infinite verb too can enter and compose a proposition with the force of a noun, but not by connecting positively or negatively. It is understood to have the force of a noun not because it changes its signification by no longer signifying with tense, but because it changes its acceptance, being taken as predicate or subject. This also occurs with a verb that is not infinite, as when we say, “To run is to move.”