Elkind, Landon (2022) Computer Verification for Historians of Philosophy. [Preprint]
|
Text
CVHPpreprint.pdf Download (576kB) | Preview |
Abstract
Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing.
| Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
| Social Networking: |
| Item Type: | Preprint | ||||||
|---|---|---|---|---|---|---|---|
| Creators: |
|
||||||
| Additional Information: | Forthcoming in Synthese, Topical Collection: Metaphilosophy of Formal Methods | ||||||
| Keywords: | Formal methods; Formalization; History of philosophy; Interactive theorem provers; Metaphilosophy | ||||||
| Subjects: | Specific Sciences > Mathematics > History of Philosophy Specific Sciences > Mathematics > Methodology Specific Sciences > Mathematics > Practice |
||||||
| Depositing User: | Dr. Landon Elkind | ||||||
| Date Deposited: | 27 Mar 2022 19:03 | ||||||
| Last Modified: | 27 Mar 2022 19:03 | ||||||
| Item ID: | 20398 | ||||||
| Subjects: | Specific Sciences > Mathematics > History of Philosophy Specific Sciences > Mathematics > Methodology Specific Sciences > Mathematics > Practice |
||||||
| Date: | 25 March 2022 | ||||||
| URI: | https://philsci-archive.pitt.edu/id/eprint/20398 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
 |
View Item |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}