Classification of formal methods use, type, sophistication, and subdiscipline in the journal Philosophical Studies, 1999, 2005, 2007, 2009, 2015, 2017, 2019

This data set contains bibliographic entries for articles published in the journal Philosophical Studies in the years 1999, 2005, 2007, 2009, 2015, 2017, and 2019, with classifications of which articles used formal methods. Those that did were further classified by what formal methods they used, the level of sophistication of those methods, and the subdiscipline(s) of philosophy to which they belong. The purpose of the data collection was to explore any trends in the use of formal methods over the time period indicated. The potential value of the data set for meeting this purpose lies in its potential to be representative of analytic Anglophone philosophy during the time period indicated. The data is now released because the study for which is was collected has concluded.