Computer verification for historians of philosophy.
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 theo...
| Publicado en: | Synthese Vol. 200; no. 3; pp. 1 - 26 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Jun2022
|
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=156757976&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 156757976 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Jun2022 vid: 200 iid: 3 pid: 237 pub: Springer Nature artinfo: ui: 156757976 10.1007/s11229-022-03678-y ppf: 1 ppct: 25 formats: fmt: – @attributes: type: T – @attributes: type: P size: 447KB tig: atl: Computer verification for historians of philosophy. aug: au: Elkind, Landon D. C. affil: Department of Political Science, Western Kentucky University, Cherry Hall 306, 1906 College Heights Blvd, 42101-1086, Bowling Green, KY, USA sug: keyword: Formal methods Formalization History of philosophy Interactive theorem provers Metaphilosophy ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2022. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2022 holdings: @attributes: islocal: N |
|---|