Maverick Philosopher

Is Mariology a Part of the Presuppositionalist 'Package Deal'? A Question for Flood

Full disclosure: I am not a theologian. I am a philosopher of religion who, as part of his task, thinks about theologoumena which, on a broad interpretation of the term, are simply things said about God, a term which therefore includes not only official, dogmatic pronunciamenti of, say, the RCC's magisterium, but also includes conjectures, speculations, and opinions about God that are not officially promulgated.

.............................

Anthony Flood writes,

The Christian worldview, expressed on the pages of the Bible, is a revelatory “package deal,” if you will, not a buffet of optional metaphysical theses. The organic connectedness (within the divine decree) of creation, trinity, and incarnation—even the so-called “contingencies of history,” e.g., Joshua’s impaling the King of Ai on a pole after slaughtering all of his subjects (Joshua 8)—await clarification in God’s good time, if He sees fit to provide it, but are put before us for our assent today.

Flood is a presuppositionalist who believes that "intelligible predication" presupposes the truth of the Christian worldview.  Thus, "The Christian does not avail himself of his birthright (Christian theistic) worldview because it confers omniscience on him, but rather because (a) it saves intelligible predication and (b) no competing worldview does."

We are being told that the Christian worldview, as Flood understands it, offers the best and indeed the only explanation of the fact of intelligible predication.  That intelligible predication is indeed a fact I do not question. But I do have some questions about Flood's explanation of the fact. One of them concerns what he includes in his explanation.  It is clear that he includes more than the existence of God where 'God' refers to a purely spiritual being, of a personal nature, endowed with the standard omni-attributes, who exists of metaphysical necessity, and who created out of nothing everything distinct from himself, or at least everything concrete distinct from himself. One reason for this 'more' is because Flood's God is not just personal, but tri-personal: one God in three divine persons. This is not intended as tri-theism, of course, but as monotheism: one God in three divine persons. 

Furthermore, in the Christian worldview as Flood understands it, the second person of the Trinity, variously known as the Logos, the Word, God the Son, became man in a particular man, Jesus of Nazareth, at a particular time in a particular place. One and the same person, the Son, without ceasing to be fully divine, became fully human, with a human body and a human soul, by being born of a virgin named 'Mary' in a stable in Bethlehem.  So it seems that the 'package deal' must include, in addition to Trinity and Incarnation, some version of Mariology.  Why must it? Because Jesus Christ, the God-Man, had to have gotten his human nature from somewhere. He inherited his human nature from his human mother.

Let's think about this.  God the Son is not a creature. Is Jesus a creature? His earthly mother is a creature. Jesus had no heavenly mother, at least not until the Assumption of Mary, body and soul, into heaven.  But that was long after the Incarnation event; I won't say anything more about the Assumption here. And Jesus had no earthly father. Joseph was his step-father, and a step-father is not a father in the earthly or biological sense of the term. The father of Jesus is a purely spiritual being.  So Jesus Christ, the God-Man, at the moment of Incarnation, has a heavenly father but no earthly father, and an earthly mother but no heavenly mother.

Mary became pregnant.  What was the nature of the inseminating seed? It had to be purely spiritual. Why? Because it came from God who is purely spiritual. What about the inseminated egg? It had to be physical. Why? Because it was the ovum of an earthly woman. It was a miraculous pregnancy by supernatural agency.

Now the God-Man had to be free of original sin to be able to do his redemptive work and restore right relations between man and God. So he could not have 'contracted' original sin from his earthly mother. Hence the logic of the soteriological narrative required that Mary be conceived without original sin. Hence the doctrine of the Immaculate Conception.

It therefore seems that Mariology must be part of Flood's 'package deal,' and indeed a Mariology that includes Immaculate Conception.  So my first question to Flood is this:

Do you hold that the only possible explanation of  intelligible predication must be in terms of a Christian worldview that includes not only Trinity and Incarnation but also Immaculate Conception?

This is not a rhetorical question. It is a genuine question raised so that I might understand what exactly Flood's position is.  Tony is making a mistake if he thinks I am being polemical here. I am not. I honestly find presuppositionalism puzzling and I am trying to understand it.

My second question to Flood which I cannot develop and defend in this installment is this:

Given the well-known logical conundra that arise when we try to render intelligible to ourselves such doctrines as Trinity and Incarnation, conundra that seem to threaten the intelligibility of these doctrines, and therefore seem to threaten the intelligibility of any explanation of intelligible predication in terms of a worldview committed to them, how do you respond?  Do you maintain that the supposed logical puzzles are easily solved and that Trinity and Incarnation in their orthodox formulations are logically and epistemically unobjectionable? If that is not the tack you take, what tack do you take?

God, Doubt, Denial, and Truth: A Note on Van Til

Cornelius Van Til, The Defense of the Faith, 4th ed., P&R Publishing, 2008, p. 294: "To doubt God is to deny him."

I take that to mean that to doubt that God exists is to deny that God exists. The obvious objection to this is that doubt and denial are very different propositional attitudes. In most cases, one can doubt that p without denying that p.  I can doubt that Biden will get a second term without denying that he will. 

In almost all cases. But in every case?  Suppose we replace 'p' with 'truth exists.'  Can we doubt that truth exists without denying that truth exists.  No! In the case of truth, the distinction between doubt and denial collapses. 

To doubt that truth exists is to presuppose that truth exists. For if you doubt that truth exists, you are doubting whether it is true that truth exists.  The same goes for denial. If you deny that truth exists, you affirm that it is true that truth does not exist. 

Whether you doubt or deny that truth exists, you presuppose that truth exists. Truth is such that doubt and denial are the same. Truth cannot be doubted and it cannot be denied. The existence of truth is the ultimate transcendental condition of all our intellectual operations, doubt, denial, affirmation, predication, reasoning, and so on. So we may say:

To doubt truth is to deny her.

Of course, it remains that case that doubt and denial are different propositional attitudes. But in the case of truth, doubt becomes denial.

Therefore,  if God is identical to truth, then Van Til is right: "To doubt God is to deny him." If God is identical to truth, then God is the ultimate transcendental condition of all our intellectual operations, including giving arguments for God's nonexistence! If so, then Van Til and his followers are not begging the question against atheists and agnostics by simply assuming what they need to prove; they are giving a noncircular transcendental argument for the existence of God.

But is God identical to truth? Is it true that God is identical to truth? These remain open questions. I grant that if God is identical to truth, then God exists as the necessary condition of all affirmation, denial, and argument, including atheistic argument.  But how do we know that the antecedent of this conditional is true?

It may be that in reality apart from us, God and truth are the same. But from our point of view, the only POV available to us, God and truth are not the same. To see this, note that it is conceivable (thinkable without contradiction) that God not exist, but not conceivable that truth not exist. So it might be true that God exists and it might be true that God does not exist.  The 'might' in the preceding sentence in both of its occurrences is epistemically modal. It is epistemically possible that God exist and epistemically possible that God not exist.  For all we know, either could be the case. But it is epistemically necessary that truth exist: we cannot help presupposing it.  Given that we know anything at all, truth must exist. So the argument could be put like this:

a) That truth exists is epistemically necessary: we cannot help presupposing that it exists.

b) That God exists is not epistemically necessary: we can conceive the nonexistence of God.

Therefore

c) God cannot be proven to exist by proving that truth exists.

Therefore

d) The Transcendental Argument for God fails as a proof.

The Transcendental Argument for the Existence of God: A First Response to Flood

I thank Anthony G. Flood for his The Transcendental Argument for the Existence of God Revisited: Toward a Response to Bill Vallicella.  Herewith, a first installment by way of rejoinder. Convergence upon agreement is not to be expected, but clarification of differences is an attainable goal. In any case, philosophy is a joy to its true acolytes, and in dark times a great consolation as well. Now let's get to work.

Tony introduces the theme skillfully:

Preamble: if the God of the Bible, who created human beings in his image to know and love him and to know, value, and rule the rest of creation under him (hereafter, “God”), exists, then we know one way that the conditions of intelligible predication (IP) can be met. The preceding sentence includes key aspects of the Christian worldview (CW)—the Theos-anthropos-kosmos relationship—expressed on the pages of the Bible.

If no alternative explanation for IP is possible, then Biblical theism is necessarily true (which is what the CW predicts).

[. . .]

If no worldview other than the Christian (CW) can account for IP, if (as I now hold) an alternative to the CW when it comes to accounting for IP cannot even be conceived, then to hold out for an alternative, as though doing so were an expression of rational exigency (“demandingness”)—that to reserve judgment somehow accords with epistemic duty—models only dogmatic stubbornness, not tolerant liberality.

Given the actual fact of intelligible predication, which is not in dispute, and assuming, as we must, the modal axiom ab esse ad posse valet illatio, it follows that intelligible predication (IP) is possible. Necessarily, whatever is actual is possible. So we ask the transcendental question: under what conditions is IP possible? What condition or conditions would have to obtain for it to be possible that there be actual cases of intelligible predication?  An example of an intelligible predication is any true or false statement, such as 'The Moon is presently uninhabited' which happens to be true, or its negation which happens to be false. 

Now I agree with Flood that if the God of the Christian Bible (hereafter 'God') exists, then the condition or conditions of the possibility of IP are satisfied. The existence of God suffices for the possibility of intelligible predication. But here we need to remind ourselves of a couple or three simple points of logic.

The first is  that if X is sufficient for Y, it does not follow that X is necessary for Y. So if the existence of God is not only a sufficient but also a necessary condition of IP, this will require further argumentation. The second point is that to assert a conditional is not to assert either its antecedent/protasis or its consequent/apodosis.  To assert or affirm a conditional is to assert or affirm a connection between antecedent and consequent, the nature of the connection depending on the type of conditional it is, whether logical or nomological or whatever. The third point is that some conditionals are true despite having a false antecedent and a false consequent.

And although it is not self-evident, I also agree with Flood that there is and must be some condition or set of conditions that make IP possible. Let 'TC' stand for this transcendental condition or set of conditions. We agree then that the TC necessarily exists.

We seem to have found some common -- dare I say 'neutral'? -- ground: (a) there are actual cases of IP; (b) given that they are actual, they are possible; (c) it is legitimate to launch a regressive (transcendental) inquiry into the condition or conditions of the possibility of these actual cases; (d) there must be such a transcendental condition; (e) the existence of God suffices for the possibility of IP. 

This leaves us with the question whether the God of the Christian Bible  = TC. Is God's existence not only sufficient but also both necessary for the possibility of IP? Flood will answer with alacrity in the affirmative: yes, God and God alone is (numerically) identical to the ultimate transcendental condition of all intelligible predication. This of course implies that it is not possible that anything distinct from God be the TC. God necessarily exists, and is necessarily identical to the ultimate transcendental condition of intelligible predication.  

But wait, there's more! Flood tells us that  "an alternative to the CW [the Christian worldview] when it comes to accounting for IP cannot even be conceived." So it is not just impossible that anything other than God be identical to the TC; this is inconceivable as well. 

Here is one of the places where Flood blunders: he confuses the epistemic modality inconceivability with the ontic modality impossibility. Conceivability and inconceivability are tied to the thinking powers of such  finite and limited intellects as ours. By contrast, what is possible and impossible in reality are independent of what we frail reeds are able to think and unable to think.  I will have more to say about this in subsequent posts since it appears to be a trademark mistake of presuppositionalists to conflate epistemic and ontic modality.

In any case, it is very easy to conceive of alternatives  to Flood's candidate for TC status. Here is a partial catalog of candidates in which (B), (C), and (D) are alternatives to Flood's candidate, (A).

A. Intelligible predication  presupposes the truth of the Christian worldview  (Van Til & Co.) as the transcendental condition of IP's very possibility.

B. Intelligible predication presupposes the existence of God, but not the Christian worldview as the Calvinist Van Til and his followers calvinistically understand it, the essential commitments of which include such specifically Christian doctrines as Trinity, Incarnation, etc. as well as the specifically Calvinist TULIP doctrines. Some who call themselves Christians are unitarians and deniers of the divinity of Christ. Our friend Dale Tuggy is such a one.  And those the presuppositionalists refer to as 'Romanists' who do accept Trinity and Incarnation don't accept the specifically Calvinist add-ons.

C. Intelligible predication presupposes the truth of Kant's transcendental idealism according to which "The understanding is the law-giver of nature," and space and time are a priori forms of our sensibility.  For Kant the ultimate transcendental condition of the objective validity of every judgment, and thus of every intelligible predication, is located in the transcendental unity of apperception which is assuredly not God, whatever exactly it is. 

D. Intelligible predication presupposes, not the God of the Christian Bible, but  an immanent order and teleology in nature along the lines of Thomas Nagel's Mind and Cosmos (Oxford 2012). On Nagel's view, the rational order of nature is self-explanatory, a necessary feature of anything that could count as a cosmos. Nagel views the intelligibility of the world as "itself part of the deepest explanation why things are as they are." (17).  Now part of the way things are is that they are understandable by us.  Given that the way things are is intelligible, it follows that the intelligibility of the world is self-explanatory or self-grounding. "The intelligibility of the world is no accident." (17) But neither is it due to theistic intervention or imposition. "Nature is such as to give rise to conscious beings with minds; and it is such as to be comprehensible to such beings." (17) See my overview of Nagel's book for details.

I am not endorsing any of the above-listed alternatives to (A). They all have their problems as does (A). My point is that they are conceivable alternatives to (A). This being the case, Flood's asseveration, "an alternative to the CW [the Christian worldview] when it comes to accounting for IP cannot even be conceived" is false.

It is quite clear that what Van Til & Co. want is a rationally compelling, 'knock-down,' argument for the existence of the God of the Christian Bible calvininstically interpreted.  But they know (deep down even as they suppress the knowledge) that no circular argument is probative.  So they essay the above transcendental argument.

What I have shown, however, is that the transcendental argument is not probative.  It fails to establish that the God of the Christian Bible is both sufficient and necessary for the possibility of intelligible predication. At most, it renders rationally acceptable the conclusion that the God of the Christian Bible exists.

I am not denying that the God of the Christian Bible exists. Nor am I denying that if said God exists, then he flawlessly executes all the transcendental functions that need executing.  How could he fail to? In particular, how could he fail to be the ultimate ungrounded transcendental-ontological ground of intelligible predication?  My point is that the presuppositionalists have not proven, i.e., established with objective certainty, that God alone could play the transcendental role.

 

Argumentative Circles and their Diameters: More on Presuppositionalism

The day before yesterday, re: presuppositionalism, I wrote:

We need to bear in mind  that arguments have premises and that no argument can prove its own premises. An argument of the form p therefore p is an argument valid in point of logical form in which premise and conclusion are identical, but no one will take an argument of this form as proving that p. Every circular argument of the above form is valid, and some are sound; but none are probative. By that I mean that no such argument constitutes a proof.  That ought to be perfectly obvious.

'Circularity' in respect of arguments is of course a metaphor: no argument is literally a geometrical circle. But it is a useful metaphor and I propose we extend it by speaking of the 'diameter' of a circular argument.  The logical form italicized above -- p therefore p -- has a 'diameter' than which no shorter can be conceived.  Its 'diameter' is zero. If a geometrical circle has a diameter of zero, then it is not a circle but a point.  The diameter of a circular argument of the above form is also a 'point,' figuratively speaking, the point being the one proposition that serves as both premise and conclusion.

A circular argument of zero diameter is said to be 'vicious.' Are there then 'virtuous' or if not positively virtuous then  'non-vicious' circular arguments?  Can one argue in a way that is circular but logically acceptable? Brian Bosse brought up this issue over lunch Sunday as we were discussing my longish entry on presuppositionalism. He may have had John M. Frame in mind.

Presuppositionalists such as Frame take the Word of God as set forth in the Protestant Christian Bible as their "ultimate presupposition." (Five Views on Apologetics, Zondervan 2000, 209) It is their "ultimate criterion of truth." (209)  This commitment of theirs is faith-based:

. . . for Christians, faith governs reasoning just as it governs all other human activities. Reasoning is not in some realm that is neutral between faith and unbelief. There is no such realm, since God's standards apply to all of life. (209)

What causes faith? ". . . God causes faith by his own free grace." (209) What is the rational basis of faith? ". . . the answer is that faith is based on reality, on truth. It is in accord with all the facts of God's universe and all the laws of thought that God has ordained. . . . The faith he gives us agrees with God's own perfect rationality." (209-210)

We want to know what rationally justifies faith in God and in his Word as found in the Bible. We are told that this faith is justified because it is true, agreeing as it does with all of the laws of thought that God has ordained. God himself, as the ultimate source of all things, including rationality, is the ultimate rational justification of our faith in him and his Word.  The reasoning here is plainly circular as Frame admits:

There is a kind of circularity here, but the circularity is not vicious. It sounds circular to say that faith governs reasoning and also that it is based on rationality. It is therefore important to remember that the rationality that serves as the rational basis for faith is God's own rationality. The sequence is: God's rationality -->human faith -->human reasoning. The arrows may be read "is the rational basis for." That sequence is linear, not circular. (210)

Frame's fancy footwork here is unavailing, an exercise in sophistry. He is obviously reasoning in a circle by presupposing the very thing whose existence he wants to prove. But he is loathe to admit that this is what he is doing. So he introduces a bogus distinction between vicious circles and linear circles.  But just as 'linear circle' in geometry is a contradictio in adjecto , so too is 'linear circle' in logic. 

You are either arguing in a circle or you are not. You are either presupposing what you are trying to prove or you are not. You are either begging the question or you are not. You are either committing the formal fallacy of petitio principii (hysteron proteron) or you are not. That is the long and the short of it. One or the other and no weaseling out via some bogus distinction between vicious and non-vicious circular arguments.

What Frame wants is a 'knock-down' (rationally compelling or rationally coercive) argument for the existence of the God of the Protestant Christian Bible interpreted along Calvinist lines.  He thinks he can get what wants by way of a transcendental argument,  one that issues in God "not merely as the conclusion of an argument, but as the one who makes argument possible." (220)  He wants God to play a transcendental role as the ultimate and unconditioned condition of the possibility of all our intellectual operations including reasoning, whether valid or invalid, sound or unsound. (If his God does play the transcendental role, then Frame can say that the arguments of atheists, just insofar as they are arguments, prove the existence of God!) 

Now it must be granted, as I granted to Brian over lunch, that if Frame's God exists, then he does play the transcendental role. The question, however, is whether it can be proven that nothing other than Frame's God could play the transcendental role. It can be proven that there is a transcendental condition of all our intellectual operations. (See my earlier entry.) Where Frame goes wrong is in thinking that from the fact that there is a rationally compelling argument for the existence of a transcendental condition of the possibility of all our intellectual operations (forming concepts, defining terms, making judgments, giving arguments, replying to objections offering hypotheses, etc.) it follows immediately that his God exists beyond the shadow of a rational doubt.  How does he know that his God alone could play the transcendental role? Frame may be taxed with  giving the following invalid argument:

a) If the God of the Protestant Christian Bible exists, then he plays the transcendental role;

b) It is objectively certain that something plays the transcendental role;

ergo

c) It is objectively certain that the God of the Protestant Christian Bible  plays the transcendental role. 

The premises are true, but the conclusion does not follow from them. For it is not objectively certain that nothing other than the God of the Christian Bible could play the transcendental role. This is because no non-transcendental argument -- Frame mentions the "causal argument" -- for the existence of God is rationally compelling. Hence no non-transcendental God argument can assure us that the existence of God is objectively certain. 

Here is another way to see the matter. It is rationally demonstrable that there is a total and unique way things are. (For if you assert that there is no way things are, then you are asserting that the way things are is that there is no way things are.) Now if Frame's God exists, then he is the concrete and personal metaphysical ground of the way things are. But how do we know that Frame's God exists? We cannot simply assume that the transcendental proof of the existence of the way things are is also a proof of Frame's God.  So non-transcendental arguments must be brought into to take us to Frame's God, Frame's "causal argument" for example. But these arguments are none of them rationally compelling. They do not generate objective certainty. So how do we know that something else is not the metaphysical ground of the way things are?

Van Til on an Absolutely Certain Proof of Christianity

Cornelius Van Til, The Defense of the Faith, 4th ed., p. 381:

The best, the only, the absolutely certain proof of the truth of Christianity is that unless its truth be presupposed,there is no proof of anything.

Van Til's  claim, to employ some Kantian jargon, is that the truth of Christianity is a condition of the possibility of proving anything. That's quite a claim. Let's put it to the test.

One can prove that the null set is unique by reductio ad absurdum. We begin the reductio by assuming that the null set is not unique, that there are two or more null sets. By the Axiom of Extensionality, two sets differ numerically only if one has a member the other doesn't have, or vice versa. But the null set, by definition, has no members. So the assumption leads to a contradiction. Therefore there cannot be two or more null sets. Hence the null set is unique. 

The proof presupposes the Law of Non-Contradiction (LNC), and I am willing to grant that LNC and the other laws of logic can be argued to presuppose in their turn the existence of an omniscient necessary being. One argument to this conclusion is the Anderson-Welty argument which I critically examine here. I conclude that, while the argument is not rationally compelling, it does contribute to the rationality of belief in God.  In other words, the Anderson-Welty argument is a good reason to believe in the existence of God. It does not, however, establish the existence of God in a definitive manner. It does not show that the existence of God is absolutely certain.

At the very most, then, one can plausibly argue to, but not prove, the existence of an omniscient necessary being whose existence is a presupposition of our rational operations in accordance with the laws of logic.  But this is a far cry from what Van Til asserts above, namely, that the truth of Christianity with all its very specific claims is a condition of the possibility of proving anything. Trinity and Incarnation are among these specific claims. How are these doctrines supposed to bear upon the laws of logic?  Perhaps the Van Tilians have an answer to this. If they do, I would like to know what it is. But not only is Van Til's conception of God Christian, it is also Calvinist so that all the characteristic claims of Calvinism are also packed into the conception of a God that is supposed to be a condition of the possibility of all  proof.  How does predestination, for example, bear upon the laws of logic?

A Transcendental Argument from Assertion to Truth

We start with a fact: we make assertions. The fact is actual, so it must be possible. What are the conditions of its possibility? What has to be the case for assertion to be possible?  I will argue that there has to be truth for assertion to be possible.

We proceed by unpacking the concept of assertion.

By 'assertion' I mean the speech act of asserting a proposition, not the proposition asserted taken in abstraction from the act of assertion.  Clearly, the asserting and the proposition asserted -- the content of the assertion -- must be distinguished despite the fact that there is no act of assertion without a content.  To assert is to assert something.

If one asserts that p, then one asserts it to be true that p. There is a conceptual link between assertion and truth.  Whatever is asserted is presented as true by the one who makes the assertion. And it doesn't matter whether the proposition asserted is true or false.  Suppose that, unbeknownst to me, the proposition I assert is false; it is still the case that I assert it to be true. 

Assertion is the overt verbal  expression of belief, and believing a proposition to be true is logically consistent with the proposition's being false. To believe a proposition is to believe it to be true, and to assert a proposition is to assert it to be true.

To further unpack the concept of assertion, we note that whatever is asserted is asserted to be true independently of one's asserting it.  Of course, it does not follow from one's asserting that p that p is true independently of one's asserting it.  That's a further question. The point is rather that the act of assertion purports to get at reality as it is in itself.  This is a matter of conceptual necessity: the act of assertion would not be what it is if it did have a built-in nisus or directedness toward truth.

We take a step further by noting that to assert a proposition is to affirm it as true independently of anyone's asserting of it. This follows because a proposition such as The Moon is a natural satellite of Earth can be asserted by anyone. If so, then to assert a proposition is to assert it as intersubjectively true, true for all assertors. But if a proposition is asserted to be true independently of anyone's asserting it, then it is asserted to be true not just intersubjectively, but absolutely (non-relatively). But there is no need to speak, pleonastically, of absolute truth; it suffices to speak of truth. Truth is absolute by its very nature.

The main point here is that when one makes an assertion one purports to state what is true in itself independently of any of us.  The presupposition of truth is built into the concept of assertion.  Now could this presupposition fail in every case of assertion?  Granted, it fails in some cases. There are false assertions. Could every assertion be false? Well, if every assertion is false, then it is true that every assertion is false, and if I assert that this is so, then I make a true assertion, one that is true independently of my assertion.  Therefore, it cannot be that every assertion is false. So some assertions are true,  absolutely true.

Therefore, for assertion to be possible, there must be some (absolute) truths even if we do not know which propositions are the true ones.

In sum: assertion is actual, hence possible. But it cannot be possible unless there are truths that are true independently of anyone's assertions.  This is because, as a matter of conceptual necessity, assertion is linked to truth.  Therefore, given that assertions are made as a matter of fact,  there are truths. 

I have just argued from the fact that we make assertions to the existence of truth (truths) as a transcendental presupposition of assertion.

But the following question disturbs me: Is truth merely a transcendental presupposition, or is it also an absolute presupposition?

A Merely Transcendental Presupposition?

Have I really proven the existence of truths that subsist independently of our acts of assertion (and independently of all our other discursive operations), truths that would subsist even if if we did not exist; or have I merely proven that we cannot make assertions  without presupposing truth?

I have argued that the fact of assertion presupposes the existence of truths: if there are true assertions, then there is truth. But also: if there are false assertions, then there is truth. But it doesn't follow that necessarily there are truths. For the fact of assertion entails the existence of assertors who are the agents of the various acts of assertion.  But these agents are contingent beings. We who assert might not have existed. It follows that the fact of assertion, the starting point of my transcendental argument, is a contingent fact.

What this seems to entail is that the necessity that there be truths is a conditional, as opposed to an absolute, necessity. I would like to be able to conclude that it is is absolutely necessary that there be truth. But the contingency of my starting point seems to spread to my conclusion, relativizing it.