Among the areas of knowledge that the method of reflective equilibrium (RE) has been applied to is that of logical validity. According to RE in logic, we come to be justified in believing a (deductive) logical theory in virtue of establishing some state of equilibrium between our initial judgements over the validity of specific (natural language) arguments and the logical principles which constitute our logical theory. Unfortunately, however, while relatively popular, RE with regards to logical theorizing is underspecified. In particular, it's unclear what constitute: (1) the relevant logical "data", (2) logical theories, so that they can be suitably tested, and (3) the mechanisms under which such theories are tested. Considering the various options for how to interpret the position, we argue that in order to be workable the advocate of RE about logic must embrace what we call an operationalised, wide and communal version of RE with a rich understanding of logical theories. Fortunately for the advocate of RE, there is an available account of logic's epistemology which possesses just these properties, logical predictivism. However, equally unfortunately, logical predictivism commits the advocate of RE to certain further claims that they have historically been weary of holding. Consequently, it is unclear whether RE about logic itself is a viable proposal, or rather a similar but distinct epistemology of logic.

Reflective equilibrium in logic

Martin, Ben
2024

Abstract

Among the areas of knowledge that the method of reflective equilibrium (RE) has been applied to is that of logical validity. According to RE in logic, we come to be justified in believing a (deductive) logical theory in virtue of establishing some state of equilibrium between our initial judgements over the validity of specific (natural language) arguments and the logical principles which constitute our logical theory. Unfortunately, however, while relatively popular, RE with regards to logical theorizing is underspecified. In particular, it's unclear what constitute: (1) the relevant logical "data", (2) logical theories, so that they can be suitably tested, and (3) the mechanisms under which such theories are tested. Considering the various options for how to interpret the position, we argue that in order to be workable the advocate of RE about logic must embrace what we call an operationalised, wide and communal version of RE with a rich understanding of logical theories. Fortunately for the advocate of RE, there is an available account of logic's epistemology which possesses just these properties, logical predictivism. However, equally unfortunately, logical predictivism commits the advocate of RE to certain further claims that they have historically been weary of holding. Consequently, it is unclear whether RE about logic itself is a viable proposal, or rather a similar but distinct epistemology of logic.
2024
File in questo prodotto:
File Dimensione Formato  
ReflectiveEquilibriumLogic_Preprint.pdf

accesso aperto

Tipologia: Preprint (submitted version)
Licenza: Creative commons
Dimensione 446.83 kB
Formato Adobe PDF
446.83 kB Adobe PDF Visualizza/Apri
s11229-023-04480-0.pdf

accesso aperto

Tipologia: Published (publisher's version)
Licenza: Creative commons
Dimensione 482.53 kB
Formato Adobe PDF
482.53 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3511825
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
  • OpenAlex ND
social impact