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

Loading...
Thumbnail Image
Statistics
View Statistics

Collection period

2020-09-09
2021-07-20

Date completed

2021-09-06

Date updated

Time period coverage

Geographic coverage

Source information

Journal Title

Journal ISSN

Volume Title

Title

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

Published Date

2021-11-08

Group

Type

Dataset
Bibliographic Data

Abstract

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.

Description

The two primary data CSV files are the anonymized, master data set for analysis, and another deriving from it used for the calculation of interrater reliabilities. There is also a Python notebook file, with an html version, used to create the latter from the former. Finally, there is an R notebook with all the statistical analyses using the data sets, and a PDF describing in detail the procedure by which all these were generated, including the generation of various intermediate files (which are not included here). More details can be found in the README file.

Referenced by

Fletcher, S.C., Knobe, J., Wheeler, G., & Woodcock, B.A. (2021). Changing use of formal methods in philosophy: late 2000s vs. late 2010s. Synthese.
https://doi.org/10.1007/s11229-021-03433-9
Fletcher, S.C., Knobe, J., Wheeler, G., & Woodcock, B.A. (2021 Sep 24). Evidence for a Probabilistic Turn in Philosophy. Daily Nous.
https://dailynous.com/2021/09/24/evidence-for-a-probabilistic-turn-in-philosophy-guest-post/

Related to

Replaces

item.page.isreplacedby

Publisher

Funding information

Office of the Vice President for Research, University of Minnesota

item.page.sponsorshipfunderid

item.page.sponsorshipfundingagency

item.page.sponsorshipgrant

Previously Published Citation

Other identifiers

Suggested citation

Fletcher, Samuel C; Knobe, Joshua; Wheeler, Gregory; Woodcock, Brian A. (2021). Classification of formal methods use, type, sophistication, and subdiscipline in the journal Philosophical Studies, 1999, 2005, 2007, 2009, 2015, 2017, 2019. Retrieved from the Data Repository for the University of Minnesota (DRUM), https://doi.org/10.13020/ywpr-r202.

Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.