Phil@Scale: Computational methods within philosophy

In this paper we report the results of Phil@Scale, a project directed at the development of computational methods for (the history of) philosophy.¹ In this project, philosophers and computer scientists together created SalVe, a tool that helps philosophers answering text-based questions. SalVe has been tested successfully on the Wissenschaftslehre (1837), an extensive work by the Bohemian polymath Bernard Bolzano (1781-1848). Bolzano was a philosopher, mathematician and theologian whose work has been of fundamental importance for the development of Western logic and the foundation of sciences such as mathematics and computer science. The testing of SalVe on the Wissenschaftslehre reveals that with respect to certain questions within philosophy valuable contributions are obtained by applying even rather simple, well-known computational techniques. We conclude that there is definitely a future for computational methods within text-based philosophical research. We explain how SalVe can be used within philosophical research that relies on textual sources. We will start out with an explanation of our aims in developing SalVe and give a short description of SalVe's functionalities, followed by a technical description of the tool. Then we will give a concrete example of how SalVe aids philosophical research. We conclude the paper with an evaluation of the potential of Digital Humanities tools for philosophy, and the challenges that face us if we wish to continue this development further.