Cursus Philosophicus Thomisticus, Secunda Pars Artis Logicae
John of St. Thomas (1589–1644)
Secunda pars artis Logicae 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 secunda.
Praefatio I: Author's preface to the fourth edition of the second part of the art of Logic
Prooemium I: PROEM
Quaestio I: ON LOGIC: WHAT IT IS AND HOW FAR IT EXTENDS
Articulus I: WHETHER THE ART OF LOGIC IS ABSOLUTELY NECESSARY FOR ACQUIRING THE OTHER SCIENCES
Articulus II: WHETHER LOGIC IS A TRUE SCIENCE AND ART
Articulus III: WHETHER THE FORMAL AND ADEQUATE OBJECT OF LOGIC IS A BEING OF REASON, WHICH IS A SECOND INTENTION
Articulus IV: WHETHER LOGIC IS A SPECULATIVE OR PRACTICAL SCIENCE
Articulus V: HOW LOGIC AS A DOCTRINE IS DISTINGUISHED FROM LOGIC IN USE
Quaestio II: ON LOGICAL BEING OF REASON, WHICH IS A SECOND INTENTION
Articulus I: WHAT A BEING OF REASON IN GENERAL IS, AND HOW MANY KINDS THERE ARE
Articulus II: WHAT A SECOND INTENTION AND A LOGICAL RELATION OF REASON ARE, AND HOW MANY KINDS THERE ARE
Articulus III: WHAT THE DISTINCTION AND UNITY OF REASONED REASON AND REASONING REASON ARE
Articulus IV: BY WHAT POWER AND THROUGH WHICH ACTS BEINGS OF REASON ARE MADE
Articulus V: WHETHER GOD FORMS BEINGS OF REASON
Quaestio III: ON THE UNIVERSAL IN ITSELF
Articulus I: THE VARIOUS MEANINGS OF ‘UNIVERSAL’ AND ITS DEFINITION EXPLAINED
Articulus II: WHETHER THE UNIVERSAL TAKEN MATERIALLY AND AS SUBJECT IS FOUND ON THE SIDE OF THE THING
Articulus III: WHETHER FORMAL UNITY, AS DISTINCT FROM THE SINGULAR, BELONGS TO A NATURE BEFORE THE OPERATION OF THE INTELLECT
Articulus IV: WHETHER APTITUDE AND INDIFFERENCE TO MANY BELONG TO THINGS OUTSIDE THE OPERATION OF THE INTELLECT
Articulus V: WHETHER UNIVERSALITY CONSISTS ESSENTIALLY IN A RELATION
Articulus VI: WHETHER METAPHYSICAL DEGREES IN ANY THING ARE DISTINGUISHED BY A MERE DISTINCTION OF REASON OR BY THE NATURE OF THE THING
Quaestio IV: ON THE CAUSE OF THE UNIVERSAL
Articulus I: WHETHER, BY THE BENEFIT OF THE AGENT INTELLECT, THE METAPHYSICAL UNIVERSAL IS REPRESENTED IN THE SPECIES PRODUCED BY THAT INTELLECT
Articulus II: WHETHER THE METAPHYSICAL UNIVERSAL BECOMES ACTUALLY KNOWN THROUGH AN ABSOLUTE ACT OF THE INTELLECT, AND THE LOGICAL UNIVERSAL THROUGH A COMPARATIVE ACT
Quaestio V: ON THE ACT OF THE UNIVERSAL, WHICH IS TO BE PREDICATED OF MANY
Articulus I: WHAT ‘BEING IN MANY’ AND ‘BEING PREDICATED OF MANY’ MEAN IN UNIVERSAL NATURE
Articulus II: WHAT PREDICATION IS AND WHAT IS REQUIRED FOR ITS VERIFICATION
Articulus III: HOW MANY THINGS ARE REQUIRED FOR SOMETHING TO BE CALLED UNIVERSAL OR COMMON
Articulus IV: HOW PREDICATIONS ARE VERIFIED IN SUBSTANTIAL CONCRETE AND ABSTRACT TERMS
Articulus V: HOW PREDICATIONS ARE VERIFIED IN ACCIDENTAL CONCRETE AND ABSTRACT TERMS
Quaestio VI: ON THE DIVISION OF THE UNIVERSAL INTO THE FIVE PREDICABLES
Articulus I: WHETHER THIS DIVISION IS GOOD AND ADEQUATE
Articulus II: WHETHER THIS DIVISION IS A DIVISION OF A GENUS INTO SPECIES AND IS IMMEDIATE
Quaestio VII: ON THE GENUS
Articulus I: WHETHER THE DEFINITION OF GENUS GIVEN BY PORPHYRY IS GOOD
Articulus II: WHAT IS DEFINED IN THE DEFINITION OF GENUS: THE INTENTION ITSELF, THE SUBJECT, OR A COMPOSITE OF BOTH
Articulus III: HOW GENUS IS CALLED A POTENTIAL WHOLE AND IS DERIVED FROM MATTER
Quaestio VIII: ON PREDICABLE AND SUBJECTABLE SPECIES
Articulus I: WHETHER SPECIES IS CONSTITUTED AS SPECIES BY THE CHARACTER OF BEING SUBJECTABLE OR PREDICABLE
Articulus II: THE DEFINITIONS OF SPECIES EXPLAINED
Articulus III: WHETHER THERE CAN BE A SUBJECTABLE SPECIES THAT IS NOT PREDICABLE OF MANY BUT HAS ONLY ONE INDIVIDUAL
Articulus IV: WHETHER SPECIES CAN BE PRESERVED IN ONLY ONE INDIVIDUAL AND GENUS IN ONLY ONE SPECIES
Quaestio IX: ON THE INDIVIDUAL
Articulus I: WHETHER THE DEFINITIONS OF THE INDIVIDUAL ARE RIGHTLY EXPLAINED
Articulus II: WHAT AN INDIVIDUAL IN GENERAL, OR A VAGUE INDIVIDUAL, IS
Quaestio X: ON DIFFERENCE, TAKEN IN GENERAL AND AS THE THIRD PREDICABLE
Articulus I: WHETHER DIFFERENCE IS RIGHTLY DIVIDED INTO COMMON, PROPER, AND MOST PROPER
Articulus II: WHETHER THE DEFINITIONS OF DIFFERENCE AS THE THIRD PREDICABLE ARE GOOD
Articulus III: WHETHER DIFFERENCE IS CALLED UNIVERSAL IN RELATION TO ITS SPECIES OR IN RELATION TO THE INFERIORS OF THAT SPECIES
Articulus IV: WHETHER SUPERIOR AND GENERIC DIFFERENCES ARE INCLUDED IN ATOMIC DIFFERENCES AND PREDICATED OF THEM
Quaestio XI: ON THE PROPER
Articulus I: THE NATURE OF THE PROPER IS EXPLAINED, AND ITS DIVISIONS ARE EXAMINED
Articulus II: WHAT THE FOURTH PREDICABLE PROPER IS AND WITH RESPECT TO WHICH THINGS IT IS TAKEN
Quaestio XII: ON THE FIFTH PREDICABLE, ACCIDENT
Articulus I: WHETHER THE DEFINITIONS AND DIVISIONS OF ACCIDENT WERE RIGHTLY GIVEN BY PORPHYRY
Articulus II: HOW ACCIDENT IS CALLED THE FIFTH PREDICABLE AND WITH RESPECT TO WHICH INFERIORS
Liber I: BOOK OF THE CATEGORIES
Quaestio XIII: ON THE PRE-PREDICAMENTS AND ANALOGUES
Articulus I: WHAT THE PRE-PREDICAMENTS ARE AND WHY ARISTOTLE TREATED THEM HERE
Articulus II: ON THE DEFINITION AND DIVISION OF EQUIVOCALS
Articulus III: WHAT ANALOGY IS AND HOW MANY KINDS THERE ARE
Articulus IV: THE CONDITIONS OF THESE ANALOGUES ARE EXPLAINED
Articulus V: WHETHER IN ANALOGUES THERE IS ONE CONCEPT ABSTRACTED FROM THE INFERIORS
Quaestio XIV: ON PREDICAMENTAL BEING AND ITS DIVISION INTO TEN CATEGORIES
Articulus I: WHAT A CATEGORY IS AND WHAT IS REQUIRED FOR SOMETHING TO BE IN A CATEGORY
Articulus II: WHETHER BEING IS UNIVOCAL OR ANALOGOUS WITH RESPECT TO THE TEN CATEGORIES
Articulus III: BY WHAT ANALOGY BEING IS ANALOGOUS
Articulus IV: WHETHER ACCIDENT IS UNIVOCAL WITH RESPECT TO THE NINE GENERA
Articulus V: WHETHER THE DIVISION INTO TEN CATEGORIES IS ADEQUATE AND GOOD
Quaestio XV: ON PREDICAMENTAL SUBSTANCE
Articulus I: WHAT THE FORMAL CONSTITUTIVE ACCOUNT OF PREDICAMENTAL SUBSTANCE IS
Articulus II: WHETHER SUBSTANCE IS RIGHTLY DIVIDED INTO FIRST AND SECOND
Articulus III: HOW THE DEFINITIONS OF FIRST AND SECOND SUBSTANCE ARE TO BE EXPLAINED
Articulus IV: WHICH THINGS ARE REJECTED AND INCLUDED IN THIS CATEGORY
Articulus V: WHETHER RECEIVING CONTRARIES IS PROPER TO SUBSTANCE IN THE FOURTH MODE
Quaestio XVI: ON QUANTITY
Articulus I: WHAT THE PROPER AND FORMAL ACCOUNT OF QUANTITY IS
Articulus II: WHETHER DISCRETE QUANTITY IS A TRUE SPECIES OF QUANTITY
Articulus III: WHETHER TIME AND MOTION, PLACE AND SPEECH ARE EXCLUDED FROM THE SPECIES OF QUANTITY
Articulus IV: WHETHER LINE, SURFACE, AND BODY ARE TRUE SPECIES OF QUANTITY
Quaestio XVII: ON THE CATEGORY OF RELATION
Articulus I: WHETHER THERE ARE, ON THE PART OF THE THING, RELATIONS THAT ARE INTRINSIC FORMS
Articulus II: WHAT IS REQUIRED FOR A RELATION TO BE PREDICAMENTAL
Articulus III: WHAT THE DIVISIONS OF PREDICAMENTAL RELATION AND ITS SPECIES ARE
Articulus IV: WHETHER RELATION IS DISTINGUISHED FROM ITS FOUNDATION ON THE PART OF THE THING
Articulus V: WHETHER RELATION IS FORMALLY TERMINATED AT THE ABSOLUTE OR THE RELATIVE
Articulus VI: FROM WHAT THE SPECIFIC AND NUMERICAL DISTINCTION OF RELATION IS DERIVED
Articulus VII: HOW THE PROPERTIES OF RELATIVES ARE TO BE EXPLAINED: THAT THEY ARE SIMULTANEOUS BY NATURE AND BY KNOWLEDGE
Quaestio XVIII: ON QUALITY
Articulus I: THE FORMAL ACCOUNT OF QUALITY AND ITS DEFINITION ARE EXPLAINED
Articulus II: THE DIVISION OF QUALITY INTO FOUR SPECIES IS EXPLAINED
Articulus III: HOW EACH OF THE SPECIES IS TO BE EXPLAINED
Quaestio XIX: ON THE SIX LAST CATEGORIES
Articulus I: WHETHER THESE CATEGORIES ARE ABSOLUTE FORMS, RELATIVE FORMS, OR EXTRINSIC DENOMINATIONS
Articulus II: WHAT PREDICAMENTAL ACTION AND PASSION ARE
Articulus III: WHAT THE CATEGORY OF WHERE AND POSITION IS
Articulus IV: WHAT THE CATEGORY OF WHEN AND HAVING IS
Textus I: TEXT FOLLOWING THE CATEGORIES
Quaestio XX: ON THE POST-PREDICAMENTS
Articulus I: OPPOSITIONS ARE EXPLAINED
Articulus II: WHAT SHOULD BE NOTED CONCERNING THE REMAINING POSTPREDICAMENTS
Liber II: ON THE BOOKS ON INTERPRETATION
Quaestio XXI: ON THE SIGN IN ITSELF
Articulus I: WHETHER A SIGN IS IN THE CATEGORY OF RELATION
Articulus II: WHETHER THE RELATION IN A NATURAL SIGN IS REAL OR OF REASON
Articulus III: WHETHER THE RELATION OF A SIGN TO WHAT IT SIGNIFIES AND TO A POWER IS THE SAME
Articulus IV: HOW THE OBJECT IS DIVIDED INTO MOTIVE AND TERMINATIVE
Articulus V: WHETHER TO SIGNIFY IS FORMALLY TO CAUSE SOMETHING IN THE CATEGORY OF EFFICIENT CAUSATION
Articulus VI: WHETHER THERE IS A TRUE CHARACTER OF SIGN IN BRUTES AND EXTERNAL SENSES
Quaestio XXII: ON THE DIVISIONS OF THE SIGN
Articulus I: WHETHER THE DIVISION OF SIGN INTO FORMAL AND INSTRUMENTAL IS UNIVOCAL AND GOOD
Articulus II: WHETHER A CONCEPT IS A FORMAL SIGN
Articulus III: WHETHER AN IMPRESSED SPECIES IS A FORMAL SIGN
Articulus IV: WHETHER AN ACT OF KNOWING IS A FORMAL SIGN
Articulus V: WHETHER THE DIVISION INTO NATURAL, CONVENTIONAL, AND CUSTOMARY SIGNS IS GOOD
Articulus VI: WHETHER A SIGN BY CUSTOM IS TRULY A SIGN
Quaestio XXIII: ON NOTIONS AND CONCEPTS
Articulus I: WHETHER INTUITIVE AND ABSTRACTIVE NOTIONS DIFFER ESSENTIALLY IN THE CHARACTER OF COGNITION
Articulus II: WHETHER THERE CAN BE INTUITIVE COGNITION OF A THING PHYSICALLY ABSENT, EITHER IN THE INTELLECT OR IN EXTERNAL SENSE
Articulus III: HOW A REFLEX CONCEPT DIFFERS FROM A DIRECT ONE
Articulus IV: WHAT SORT OF DISTINCTION THERE IS BETWEEN A ULTIMATE AND A NONULTIMATE CONCEPT
Liber III: ON THE BOOKS OF THE POSTERIOR ANALYTICS
Quaestio XXIV: ON PRECOGNITIONS AND PREMISES
Articulus I: WHAT PRECOGNITIONS AND PRENOTIONS ARE
Articulus II: WHETHER PREMISES EXERT AN EFFICIENT INFLUENCE ON THE CONCLUSION OR IN SOME OTHER KIND OF CAUSATION
Premises can be taken either formally or objectively. Formally, they are the acts of assent of the intellect itself by which we judge the propositions; objectively, they are the things themselves attained by assent and proposition. Logic arranges the objects themselves with respect to the connection they have, either as predicate and subject or as inferent and inferred, and presents them to the intellect, because it deals with things already known. The whole difficulty lies in arranging and attaining those things, not in really producing and ordering the cognitions themselves. Speaking in this sense, the Philosopher said in Physics II,1 lecture 5 in St. Thomas,2 that the premises contribute materially to the conclusion—that is, they provide the matter out of which it is made, because the terms of which the conclusion consists must already be had in the premises.
Now, therefore, THE ENTIRE DIFFICULTY concerns the formal premises themselves, that is, the assents to the premises: do they contribute in some kind of cause to the assent and inference of the conclusion? A similar difficulty often arises about how one act of the will is the cause of another, as intention is of choice; see I-II, qq. 9 and 12.
It is agreed by all that there is some dependence and connection between assent to the premises and assent to the conclusion, since the Philosopher says that all teaching and learning arise from pre-existing cognition—that is, a conclusion proved from a cognition that proves it. The intellect is moved from assent to the premises to assent to the conclusion, just as it moves from willing the end to willing the means.
It is also clear that final and material causes have no place in these assents. For even if the object or truth about which assent to the premises is concerned were the end, or provided matter, for the object of the conclusion, the act that concerns the object of the premises is neither the end nor the matter of the act or formal assent that concerns the conclusion, just as the act of intending is not the end of the act of choosing.
As for formal and efficient causation, some hold that the premises contribute as an extrinsic formal cause, as though specifying the conclusion, because the entire specification of assent to the conclusion is taken from the middle term of the demonstration; and when the intellect presents the premises, it properly acts only by specifying and determining. The foundation of this opinion is that it is not clear how one act of the intellect could cause another unless it left behind some determination by which the power proceeds to another act. On this view, the act itself does not contribute efficiently; rather, it is the power determined and applied by the act that does so.
HOWEVER, THE COMMON OPINION assigns efficient causation to the acts of the premises with respect to the act of the conclusion.
This is drawn from St. Thomas. In Posterior Analytics I, lecture 3,3 he says that the premises have the character of an efficient and active cause with respect to the conclusion. In Physics II, lecture 5,4 and Metaphysics V, lecture 3,5 he says that “as regards the power of inference, the premises have the character of an efficient cause.” Finally, in Summa theologiae I, q. 14, a. 7, he teaches that the reasoning by which we arrive at conclusions through principles is reasoning according to causality.
The FOUNDATION of this opinion follows from this: if the principles are related to the conclusion through reasoning according to causality, they must influence assent to the conclusion, insofar as the light of the premises so affects and determines the intellect that it manifests the conclusion to it and makes it assent by illuminating it. External light, present in a luminous body and diffused through a medium, causes the illumination of an object and efficiently determines us to its cognition. Therefore the premises, which cause the conclusion through reasoning by illuminating it as an external medium to the conclusion, efficiently influence assent to the conclusion.
Nor can one say that reasoning resembles motion, in which we pass from one thing to another, though one part of the motion does not produce another; so too, we pass from premises to conclusions as from one part of a motion to another, not as from an efficient cause to its effect. Some have thus said that assent to the premises stands as a starting point with respect to the conclusions. But this fails to distinguish reasoning according to succession from reasoning according to causality. Reasoning according to causality does not signify merely the succession of one cognition after another, as the parts of a motion are related; it also signifies the character of what illuminates, insofar as one proceeds from what is better known to what is less known. Consequently the premises determine the intellect by illuminating for it the manifestation of the inferred conclusion. They therefore cannot stand like a part of a motion that is left behind so that another part can be acquired, as a starting point stands in relation to an endpoint. Rather, this reasoning posits an inferential and manifestative power of the conclusion. Thus, insofar as they infer, the premises are not left behind by the intellect so that it may acquire the conclusion, as a starting point is left behind so that another may be reached. The premises themselves give the intellect a power—that is, a light—to acquire the conclusion; a place that is left behind does not give the motive power for reaching another place.
Nor can one say that assent to the premises influences the conclusions as a formal cause—not as their intrinsic form, but as an extrinsic form determining the intellect to the conclusions. Against this, an extrinsic form is either an object or an exemplary idea. Assent to the premises is not an idea of the conclusion, since the conclusion is not formed after their likeness, even though it is deduced from them through an intrinsic connection. Rather, assent to one premise leads the intellect to assent to another by manifesting it, not through imitation. Moreover, an idea needs the efficacy of a will that moves it in order to carry out its formation, since it causes in a practical mode. The premises, however, influence the conclusion in a purely speculative mode, without the influence of the will; the intellect is said to be moved to conclusions by the force of the premises, not by the will. But the intellect moves itself efficiently from one thing to another; therefore that moving force is efficient as well. Much less is assent to the premises an objective cause of the conclusions, since the conclusion has its own object, distinct from the premises and their assent, by which it is specified—namely, the truth that is inferred.
Whether the premises must actually exist together when the conclusion is inferred will be discussed in the following article. There, from St. Thomas, Posterior Analytics I, lecture 2,6 we shall show that in a demonstration the minor premise exists at the same instant as the conclusion, while assent to the major premise may precede it in time.
THE ARGUMENTS ARE ANSWERED.
First, it is argued: The whole efficient power of any cognition belongs only to the faculty, a habit added to it, or a species. One act is not operative of another act, although it can determine the faculty to another act. But assent to the premises is neither a faculty nor a habit nor a species, but an act of the intellect. Therefore it does not give the intellect efficient power to influence the conclusion.
It is confirmed as follows: the principles have the character of an extrinsic formal cause from which the specification of a science is taken. A different formal character of science is taken from a different middle term that proves or demonstrates, as St. Thomas affirms in II-II, q. 1, a. 1. Therefore the premises, which determine the intellect by means of the middle term that proves and illuminates the conclusions, function as their extrinsic formal account.
THE REPLY is that, although the intellect is the principal, universal efficient cause of assent to the conclusion, because the intellect proceeds inferentially from one thing to another it derives this inferential power from assent to the premises, in which the conclusion is virtually contained as something manifestable in what manifests it. When it is said that one act is not operative of another, a distinction must be made. If one act virtually contains another, it can produce that act by determining the faculty and giving it the power to move itself from one thing to another; but it cannot do so if it does not virtually contain the other act. We see this in the will: an act of intention causes an act of choice, and an act of command has the commanded act as its effect. St. Thomas also lists peace and joy among the effects of charity, in II-II, qq. 28 and 29, and joy as an effect of devotion, in II-II, q. 82, a. 4. For this reason an act of a virtue is distinguished from its effect: the act is elicited immediately, while the effect is commanded through another act. One act is said to determine and move to another insofar as the prior act concerns an object under which the object of the other act is virtually contained. Thus, by the very fact that the power is ordered by such an act to an object, the act has within itself the power to determine the faculty to an object contained under that one. And through this ordering or determination left by such an act—whether it is left by some impressed mode or by some species representing the past act—the faculty is moved and determined to proceed to another act.
In reply to the confirmation, the premises provide the specifying middle term if they are taken on the side of the object known, since the object specifies and formalizes the act. But on the side of the assent by which that object is known, there is no contradiction in its efficiently influencing the faculty by ordering it to the eliciting of another act and, as an interior light, formally illuminating it—that is, by inhering within it, not objectively.
Second, it is argued: If the premises efficiently influence the conclusion, it follows that assent to the premises must exist at the same time as assent to the conclusion is elicited, since an efficient cause influences only while existing. But this is false, because cognition of the premises passes away when the conclusion arrives: through reasoning and movement we pass from one thing to another, and the intellect cannot understand many things at once, as St. Thomas teaches in Summa theologiae I, q. 85, a. 4. It further follows that the minor cannot be known at the same time as the conclusion, contrary to what the Philosopher teaches in Posterior Analytics I, chapter 1,7 and St. Thomas there, lecture 2,8 since two cognitions cannot occur together, for we cannot understand many things as many. But if there is not a double cognition, neither is one efficient in another. Then at least one premise, namely the minor, does not influence the conclusion efficiently. The major alone, without the minor, cannot efficiently influence the conclusion, because the arrangement of the premises is not present in the major alone.
The second difficulty is that if the principles are the efficient cause of the conclusion, they cannot be its univocal cause, since assent to principles is of a different species from assent to conclusions, as arising from habits of different species. Therefore they will be an equivocal cause with respect to the conclusion. This cannot stand, because an equivocal cause is not proximate and immediate but universal; yet nothing intervenes between the premises and the conclusions.
Finally, if the premises are an efficient cause, God could supply their efficiency in producing the conclusion, and thus a conclusion would be inferred without the premises, which is impossible.
THE REPLY to the first difficulty is that the influencing cause exists when the conclusion is inferred, because the minor and the conclusion are known at the same time, although the minor is prior by nature, as St. Thomas teaches from the Philosopher in Posterior Analytics I, lecture 2,9 This is understood of the minor insofar as it virtually contains within itself the major, which it determines; this will be discussed in the following article. Nor does reasoning require that one act pass after another in temporal succession, but rather in the succession or causality of cognitions and objects, although both cognitions endure at the same time. If, however, the inferring cognition does not remain in act, it will remain virtually, in the determination by which it determines the intellect to infer the conclusion. Nor does St. Thomas deny that many things can be known at once with temporal simultaneity; he denies that they can be known with simultaneity of cognition and representation when they are not ordered or united under some aspect, but are disjoined and separate from one another. Thus, although the minor and conclusion are known at the same time, the minor can nevertheless be the efficient cause of the conclusion, because it is prior by nature though simultaneous in time, and is a distinct act.
To the second difficulty it is said that the premises are the efficient cause of the conclusion by way of a power and an instrument. An equivocal instrumental power can be immediate and proximate with respect to its effect, just as heat in an animal generates flesh, and light generates heat, immediately and proximately. As for how these assents or acts attain the conclusion by some action, about which some have doubts, the reply is that they do not attain it by any transient action, but by the very immanent action through which the conclusion proceeds from the intellect. It also proceeds efficiently from the habit as assisting, and from the actual assent to the premises as from a light that presently illuminates and provides the faculty with efficient and determining power.
To the final difficulty it is said that not every efficiency can be supplied by God in every mode—namely, when the efficiency imports or connotes some special mode or dependence under which God cannot act. Thus God can produce a human being, but cannot generate bodily as a father; and he can concur in reasoning, but cannot reason. Similarly, he cannot produce a conclusion as inferred without the premises.