What would be a good example of explicit deductive reasoning that doesn't seem to be possibly interpreted correctly as a conditional (If A, then B)?
It would be worthwhile distinguishing between a conditional sentence in the object language and a conditional in the metalanguage. Some deductive arguments have a conditional in the object language, e.g. those of the form modus ponens or modus tollens. Some arguments do not, e.g. those of the form conjunction elimination, disjunction elimination, etc.
But what is always possible (and I think this is what your question is asking) is that a deductive argument can be expressed as a kind of modal conditional at the meta level. A valid argument is one such that necessarily if all the premises are true then the conclusion is true.
The modal term 'necessarily' can be replaced by some other modality or generality, depending on what account of validity you find most congenial. Some common ones are: under all interpretations, under all substitutions of the non-logical constants, under all permutations of the domain of quantification, in all possible worlds, it is a priori knowable that, it is provable that, it is conceptually certain that, or whatever.
Perhaps you're looking for objections to characterizing natural language conditionals with the material conditional ("->"). If so, two examples come to mind.
First, from Van McGee:
(1) If that creature is a ﬁsh, then if it has lungs, it is a lungﬁsh
(2) That creature is a ﬁsh
(3) Hence, if it has lungs, it is a lungﬁsh
If we treat "if...then" in natural language as the material conditional, then we have:
(1*) A -> (B -> C)
(3*) B -> C
Van McGee claimed, however, that while (1*) and (2*) might be stipulated to entail (3*), one can construct scenarios in which (1) and (2) are true, but (3) false.
Second, natural language counterfactuals raise similar problems for material conditionals:
(4) If Hoover had been born in Russia, he would've been a communist
(5) If Hoover were a communist, he would've been a traitor
(6) Hence, if Hoover had been born in Russia, he would've been a traitor
Which - if using the material conditional to model - results in:
(4*) A -> B
(5*) B -> C
(6*) A -> C
But while (4*) and (5*) entail (6*), many believe (4) and (5) can be true while (6) false.
Given your other comments on this page, you identify the conditional with the consequence relation (at least in this context of deductive reasoning). This is fine in classical logic because it has a/the deduction theorem and is also structurally complete (meaning every admissible rule is also derivable in classical logic). So, sure in classical logic
A, B |- C iff
A |- B->C iff
|- (A /\ B) -> C (and even) iff
|- A -> (B->C)
A->B, A |- B iff
|- ((A->B) /\ A) -> B iff
Because classical logic can be axiomatized just based on the material conditional (and modus ponens), one can claim there's no need for any connective besides the [material] conditional (and either negation or a false element) in classical logic. (More precisely the implication-negation fragment is functionally complete in propositional classical logic.)
In general though, in other logics, it's not safe to make this identification of the conditional with the consequence relation. Even intuitionistic logic admits rules that are not derivable in the logic itself. So if your "explicit deductive reasoning" allows any logic besides the classical one, you cannot make this claim that the conditional and the consequence relation are one and the same notion.
If (on the other hand) your "explicit deductive reasoning" refers to some natural language statement encoding a modus ponens (for instance), I don't see how it's possible to intelligibly express it just using consequential conditionals and not sound gibberish in natural language. For instance, what is your proposed re-encoding of this explicit reasoning:
If it rains, [then] the soil gets wet. It rains. Therefore the soil gets wet.
using just if-thens? Are you claiming that one can be easily understood if instead of the above one says:
If if it rains then the soil gets wet and it rains, then the soil gets wet.
I'm fairly sure you don't mean that. You're perhaps thinking that just "If it rains, then the soil gets wet" is the whole act of "explicit deductive reasoning", but the latter shortened version is actually not explicit about the fact that it rains.
Sure you can sound less gibberish by using something else than "if-then" for the inner conditional here
Assuming (or knowing) that whenever it rains the soil gets wet, then if it rains, then [surely] the soil gets wet.
While more comprehensible (because I've avoided repeating "ifs" by substituting a "whenever" for one of them), this latter form sounds like we're just repeating a hypothetical than concluding anything about what's going on right now. But in the "double if" sentence, this doesn't help much with getting a comprehensible form:
If whenever it rains the soil gets wet and it rains [right now], then the soil gets wet [right now].
... unless you add some helper words (like "right now") to hint at the distinction between stating a consequence (as a conditional) and applying it to some facts. (And even then it's barely comprehensible.) Which gets exactly to the point that there's a need to disambiguate the level/kinds of these two "ifs" in an "explicit deductive reasoning" like MP.
To make this last part a bit more precise (and perhaps more clear/intuitive), if you consider the Curry Howard correspondence, in which MP corresponds to function application, you're basically confusing a function with an application of it. (Before you protest that the Curry Howard correspondence only deals with intuitionistic logic--that is true, but not relevant for your confusion. In order to deal with classical logic under the Curry Howard correspondence, you need to additionally consider multi-conclusion sequents like A |- B, C which are intuitionistically impermissible, but in classical logic they are interpreted as A |- B \/ C. This requires an extended lambda calculus (e.g. the lambda-mu-mu calculus) in which a "co-term" can non-deterministically output "whatever it wants" from a disjunctive sequent.)
Given that in your comments you reject "nesting issues" like those discussed in two of the above answers as being relevant to your question (although you didn't not mention this in your initial question), I suppose your whole point is what is sometimes observed in intro classes to logic, e.g. by Dona Warren:
Conditionals are important to logic because logic doesn’t give us any particular facts about the world. It doesn’t tell us whether or not a certain animal is a poodle, for example, or whether or not a certain person is a bachelor. What logic tells us is the relationships that would obtain between these facts if they were true. It tells us, for example (and very roughly), that if an animals is a poodle then that animal is a dog, and that if a person is a bachelor then that person is unmarried. We might go so far as to say that conditionals are the very heart of logic.
However, the same kind of intro-level material would also note that:
because there are many different ways to express conditionals besides the straightforward “If...then...,” we need to know how to recognize and symbolize conditionals when they’re communicated through a variety of sentences.
The point to this is that when you say that any deduction can be expressed as a conditional it is true in this sense that logic roughly deals with the notion of logical consequence.
However, the "standard objection" to your approach of expressing logic in terms of language features like conditionals is that language is more vague. E.g., van Dijk:
'From a logical point of view' one of the notorious properties of natural language is its vagueness and ambiguity. Connectives are no exception. That is, we may in `surface structure' express a certain connection, e.g. some type of implication, with a connective, e.g. and, normally used to express another connection:
(1) John was not well prepared and failed his exam.
Similarly, an "underlying" connection need not be expressed by a connective at all:
(2) Peter won't come; he is angry.
From such examples it may be concluded that natural connection should be studied at a sufficiently abstract level, viz. at the level of "deep structure" or "logical form" of sentences.
not all conditionals have implicational strength. Weak conditionals have semantic properties analogous to those of natural conjunction. [E.g.]
(40) If you go to the store, please buy me some cigarettes.
So, in summary, simply saying that logical consequence can be expressed by (natural language) conditional isn't a great opener about insights into logic or logical consequence because (i) there are other ways to phrase it in natural language besides if-then and (ii) 'ifs' serve other purposes in natural language.
Although in your comments you reject mathematical logic, it's not too clear to me what you're rejecting... because any attempt to reason about logic in a less nebulous fashion than resorting to analysis of natural language sentence (all the time) requires some formalization, be it merely the fixing of the meanings of words like "if" and "and" to narrower purposes than generally permissible in natural language. And once you do that, you are just doing math/symbolic logic in disguise, if you're not explicitly using formulas.
To explain this point a bit better, it's worth going back to (40) and explain it a little more, although I won't be citing van Dijk's own account (which uses "possible worlds") but rather resort to one in the style of Rescher in speaking (more broadly) of an enthymematic basis for a conditional, i.e. one with unstated but implied (extra) premises:
Sentence (40) is not merely expressing the entailment "Assume you go to the store. Therefore I want [you to buy me] some cigarettes." But rather the sentence (40) means "I want some cigarettes. (And) if you go to the store, you can fullfill my need by buying some cigarettes." Fully "conditionalized" that would be "If I want some cigarettes and you go to the store, then you can fullfill my need [by buying some]." But there's clearly a semantic difference between the latter which is just expressing a hypothetical and (40)--the latter also expresses an actual need of the speaker. But while (40) is perfectly comprehensible, one clearly can't formalize "Assume x=1 and y=1. Therefore x+y=2." as "If x=1, then x+y=2." as the latter is not true except for specific values of y. (For those who like the "possible worlds" style of explanation, it means that's true in the world/model where y=1.) So, the conclusion of a natural language "if" sometimes carries additional hints/implicature as to what the (full) antecedent actually is. This is sometimes called a "weak conditional" (van Dijk) or more generally an "enthymematic [basis for a] conditional" (by Rescher). Before moving on, I should note that from a pragmatics perspective the main point of (40) seems to be to assert the speaker's need/want of cigarettes, rather than the more obvious fact that they can be bought at a/the store if one happens to go there.
Rescher's point (in his book Conditionals) is actually somewhat like your in that he opens (chapter 3) by saying:
Deducibility is clearly a route to conditionals. Whenever q is derivable from p by logico-conceptual means—that is, when p |- q obtains—then the claim ‘‘If p, then q’’ is clearly in order.
However after discussing that one needs to settle for a specific logical consequence (e.g. the classical one) before such an account is well defined, and after discussing some examples of enthymematic [basis for] conditionals, some more obvious like:
If that spoon is made of silver [and we don’t know this one way or the other], then it will conduct electricity
is validated by the fact that the conjunction of the antecedent (‘‘That spoon is made of silver’’) together with some suitable item of background information (‘‘Silver conducts electricity’’) makes it possible to deduce the conclusion by logic alone.
Rescher goes on to note that
Seen from [a certain] point of view, a conditional effectively summarizes an enthymematic argument. On this approach an if-then statement of the format:
if antecedent then consequent
is, in effect, the abbreviated report of a deductive argument of the form:
(antecedent + enthymematic premisses) |- consequent
[endnote:] Mackie (1973) calls this the ‘‘condensed argument account’’ of conditionals. It goes back to F. P. Ramsey’s studies of the 1920s, but only gradually found exponents later on.
Factual, speculative, and counterfactual conditionals can all rest on the same enthymematic basis. [...]
It is worth noting that our enthymematic-deductive account of conditionals does not constitute an explicatory analysis of conditionals that ‘‘reduces’’ them to nonconditional statements. After all, |- itself represents a conditional of sorts. Instead, what it accomplishes from an explanatory point of view is to ‘‘reduce’’ conditionals in general—a category that includes many obscure and problematic cases—to a particular form of conditionality that is (at least comparatively) clear and well understood.
So if this is your point that a specific kind of "clear" conditional is what "explicit deductive reasoning" is all about, you likely won't get any counter-arguments (modulo trying to thus reason about conditionals themselves, without some form of disambiguation, which you think it's a non-issue). But even then, there's the issue that you're either trying to explain/reduce a clearer notion of "explicit deductive reasoning" to a more nebulous one (conditionals in natural language in general), or that you're being idiosyncratic by assuming "conditional" refers only to the "clear" ones. The vast majority of published philosophical efforts around conditionals try to explain [natural language] conditionals in terms of some kind of logic, rather than the other way around. In fact, I can't recall a work that tries to do the opposite.
A more striking every-day example of "if" not used to express the logical entailment one might judge from form alone is given by Elder & Jaszczolt
If you’re thirsty, there’s some beer in the fridge.
(This is based on "Austin’s (1961) famous ‘biscuit conditional’"; the original was: "There are biscuits on the sideboard if you want them".) One reading here is "There's beer in the fridge. [And] If you’re thirsty, you may drink it." Unlike the (enthymematic) case of missing/incomplete premises, "biscuit conditionals" are actually missing their true conclusion from the natural language statement... and the conclusion seemingly presented is actually a premise (and it's not even a hypothetical one, but also a statement of fact). This seems to be a fairly favored way of reading such statements Elder (p. 72 in their 2019 book) and also Fogelin (1972); however Sweetser (1990) though that this reading isn't exactly satisfactory either, because the offer [of beer] isn't really contingent on the hearer being thirsty, i.e. the actual meaning is more like "There's beer in the fridge that you may drink anytime [you want]" so there's no conditional in the offer whatsoever. In this view, the only "conditionality" is for the hearer to accept of reject the offer of beer in the sense of actually drinking it or not. But Elder disagrees: "If, however, it transpires that you weren’t really [thirsty] (and that you just really wanted a [beer]), I won’t be happy: my permission for you to have a [beer] was conditional on your [thirst]." I suppose the crux of the dispute is that such conditionality like "if you want it" and perhaps even "if you're thirsty" are difficult for the speaker to assess if they really hold true of the hearer. In any case, suffice to say that while such "biscuit conditionals" have somewhat disputed interpretations, they clearly are not to be read at face value in terms their actual conclusion (and possibly their premises shouldn't be interpreted at face value either).
You again might argue that none of this is relevant to your point. (As you like to say it--"[the] problems of language are [not the] problems of logic".) But your point seems rather trivial to me: that one can express a (more) precise thing ("explicit deductive reasoning") by a more vague one--a conditional (in the natural language meaning of that term). The only way for this to be a deeper observation is [for you] to narrow what you mean by conditional.