Brogaard and Salerno 2005 have argued that antirealism resting on a counterfactual analysis of truth is flawed because it commits a conditional fallacy by entailing the absurdity that there is necessarily an epistemic agent. Brogaard and Salerno's argument relies on a formal proof built upon the criticism of two parallel proofs given by Plantinga 1982 andRea 2000. If this argument were conclusive, antirealism resting on a counterfactual analysis of truth should probably be abandoned. I argue however that the antirealist is not committed to a controversial reading of counterfactuals presupposed in Brogaard and Salerno's proof, and that the antirealist can in principle adopt an alternative reading that makes this proof invalid. My conclusion is that no reductio of antirealism resting on a counterfactual analysis of truth has yet been provided.
Alethic antirealism and the conditional fallacy: the state of playGlobal alethic antirealists analyse the notion of truth in terms of the biconditionals instantiated by the following schema:(AR) (T[P] ↔ (Q(P) → R(P))).Where P is a placeholder for statements, T [P] means that it is true that P, Q(P) means that epistemic conditions are ideal (or sufficiently good) for determining whether P, R(P) means that it is rationally believed that P. Furthermore, is the necessity operator, ↔ is the material biconditional and → is the counterfactual conditional. AR says that, necessarily, it is true that P if and only if, if 2 epistemic conditions were ideal (or sufficiently good) for determining whether P, it would rationally be believed that P.Brogaard and Salerno 2005 argue that antirealism resting on AR is flawed because it commits a conditional fallacy by entailing the absurdity that, necessarily, epistemic conditions are ideal for determining whether some statement is true, which implies that there is necessarily an epistemic agent. Brogaard and Salerno's argument relies on a formal proof built upon the criticism of two parallel proofs given by Plantinga 1982 and Rea 2000. 1 Precisely, both demonstrations are argued to be questionable because appealing to principles valid only in classical logic that the antirealist may reject in favour of intuitionistic principles (cf. Brogaard and Salerno 2005: 126 and 130).Additionally, Plantinga's original proof and an intuitionistically respectable reformulation of it are found to lack in generality (cf.: 124-126). For they can successfully apply only to Peircean versions of antirealism, which require a commitment to the existence of one single epistemic situation (e.g. "the end of inquiry") appropriate to establish the truth of any statements. Such positions are argued to be unattractive and implausible on their own (cf.: 128-129).By contrast, Brogaard and Salerno's novel argument against antirealism is quite general, as it targets both Peircean antirealism and non-Peircean antirealism, which allows statements to have individual truth conditions (cf.: 135-136). Brogaard and Salerno also emphasize that their proof relies on only '...