Classification of formal methods use, type, sophistication, and subdiscipline in the journal Philosophical Studies, 1999, 2005, 2007, 2009, 2015, 2017, 2019
Loading...
Persistent link to this item
Statistics
View StatisticsCollection period
2020-09-09
2021-07-20
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
Author Contact
Type
Dataset
Bibliographic Data
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/
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
Collections
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.
View/Download File
File View/Open
Description
Size
phil_studies_7y_july_foranalysis_master.csv
Master Data Set
(177.31 KB)
phil_studies_7y_july_interrater_reliability.csv
interrater reliability data
(70.3 KB)
formal_methods_interrater_reliability.ipynb
Python notebook for generating interrater reliability data from master data
(129.92 KB)
formal_methods_interrater_reliability.html
HTML version of Python notebook for generating interrater reliability
(738.68 KB)
Formal methods.Rmd
R notebook with statistical analyses using the data sets
(21.86 KB)
Formal-methods.html
HTML version of R notebook with statistical analyses
(1.22 MB)
Stages in the Formal Methods Project.pdf
elaboration of the data and code generation stages, with process and code files
(53.34 KB)
readme_formal_methods_2021.txt
README
(17.46 KB)
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.