I am glad you agree that he would not be an ontological pope. However, I have a problem with the bolded statement. We are back to the issue again of formal (pertinacious) vs. material heresy (not pertinacious). I do not agree with you that material heresy would cause Canon 188.4 to take effect.
Ok. Then please explain the process, as you see it, for establishing what you are calling "pertinacious" heresy. How does your conception of that process align with an
ipso facto and
ipso jure "loss of office" described in Canon 188.
And please try to use the terminology used in Canon Law itself. You are using the word "formal." But in Canon 2217, the word "formal" [
ferendae sententiae] is technically defined in opposition to "automatic"
[latae sententiae]. We must use precise language so we are not talking past one another.
Can 2217 §1. Poena dicitur:
1º Determinata, si in ipsa lege vel praecepto taxative statuta sit; indeterminata, si prudenti arbitrio iudicis vel Superioris relicta sit sive praeceptivis sive facultativis verbis;
2º Latae sententiae, si poena determinata ita sit addita legi vel praecepto ut incurratur ipso facto commissi delicti; ferendae sententiae, si a iudice vel Superiore infligi debeat; 3º A iure, si poena determinata in ipsa lege statuatur, sive latae sententiae sit sive ferendae; ab homine, si feratur per modum praecepti peculiaris vel per sententiam iudicialem condemnatoriam, etsi in iure statuta; quare poena ferendae sententiae, legi addita, ante sententiam condemnatoriam est a iure tantum, postea a iure simul et ab homine, sed consideratur tanquam ab homine.
§2. Poena intelligitur semper
ferendae sententiae, nisi expresse dicatur eam esse
latae sententiae vel
ipso facto seu
ipso iure contrahi, vel nisi alia similia verba adhibeantur.
Canon 2217 (1983 CIC 1314–15)
§ 1. A penalty is called:
1.° Determinate if it is taxatively established in the law itself or a precept; indeterminate
if it is left to the prudent judgment of the judge or of the Superior, whether [it is
expressed in] preceptive or facultative words;
2.° Automatic if a determinate penalty is added to the law or precept such that it isincurred upon the fact of the delict being committed; formal if it must be inflicted bya judge or Superior;3.° Of law if a determinate penalty is established in the law itself, whether automatic or
formal; of man if it is imposed by means of a special precept or by condemnatory
judicial sentence, even though it is established in the law; wherefore a formal
penalty added to the law before a condemnatory sentence is only of law, afterward
[it is] both of law and of man, but it is considered only of man.
§ 2. A penalty is always considered
formal, unless it is expressly said to be
automaticallycontracted or
upon the fact or
by the law, or unless other similar words are used.