If so, how is premise 2 different from premise 1, other being more specific in highlighting a particular revelation?
I’m not sure what your objection is here, but for one thing premise (2) doesn’t say anything about appealing to God’s revelation.
What is the unstated assumption regarding the papacy? IOW why this aspect instead of say, the Incarnation?
If they are in fact the same, then the argument is no longer in valid form.
I’m not sure what you’re getting at here, I guess. I can arbitrarily designate any belief I wanted to. But, yes if the premises are the same, it’s no longer modus ponens. However, this argument is definitely Modus Ponens.
I’ve interpreted the premises in the second post of this thread. So, if we substitute my interpretation of the premises with the premises themselves, we can clearly see that the argument is valid, and the premises are true. [for a Catholic]:
(1) If the Catholic identifies (x) as a member of the Deposit of Faith, then s/he presupposes that the RCC is responsible for producing [albeit instrumentally], protecting and proliferating the Deposit of Faith, and the RCC had(s) the authority to do so. [Premise]
(2) If the Catholic presupposes that the RCC is responsible for producing [albeit instrumentally], protecting and proliferating the Deposit of Faith, and the RCC had(s) the authority to do so, then s/he presupposes that the papacy is an essential aspect of the ‘blue-print’ of the Church, without which, there wouldn’t be a Catholic Church to have any authority to presuppose. [Premise]
(3) Therefore, if the Catholic identifies (x) as a member of the Deposit of Faith, then s/he presupposes that the papacy is an essential aspect of the ‘blue-print’ of the Church, without which, there wouldn’t be a Catholic Church to have any authority to presuppose. [From (2), (3) Modus Ponens]
Remember these conditionals are ‘material’ so the
only implication they’re claiming between the antecedents and the consequents is the following: It is not the case that the antecedent is true and the consequent is false.