Switch to: References

Add citations

You must login to add citations.
  1. Computer verification for historians of philosophy.Landon D. C. Elkind - 2022 - Synthese 200 (3):1-28.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Digital hermeneutics: from interpreting with machines to interpretational machines.Alberto Romele, Marta Severo & Paolo Furia - 2020 - AI and Society 35 (1):73-86.
    Today, there is an emerging interest for the potential role of hermeneutics in reflecting on the practices related to digital technologies and their consequences. Nonetheless, such an interest has neither given rise to a unitary approach nor to a shared debate. The primary goal of this paper is to map and synthetize the different existing perspectives to pave the way for an open discussion on the topic. The article is developed in two steps. In the first section, the authors analyze (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Algorithms as organizational figuration: The sociotechnical arrangements of a fintech start-up.Sine N. Just, Ib T. Gulbrandsen & Sara Dahlman - 2021 - Big Data and Society 8 (1).
    Building on critical approaches that understand algorithms in terms of communication, culture and organization, this paper offers the supplementary conceptualization of algorithms as organizational figuration, defined as material and meaningful sociotechnical arrangements that develop in spatiotemporal processes and are shaped by multiple enactments of affordance–agency relations. We develop this conceptualization through a case study of a Danish fintech start-up that uses machine learning to create opportunities for sustainable pensions investments. By way of ethnographic and literary methodology, we provide an in-depth (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation