Abstract
Mathematical models and their modeling frameworks developed to advance knowledge in one discipline are sometimes sourced to answer questions or solve problems in another discipline. Studying this aspect of cross-disciplinary transfer of knowledge objects, philosophers of science have weighed in on the question of whether knowledge about how a mathematical model is previously applied in one discipline is necessary for the success of reapplying said model in a different discipline. However, not much has been said about whether the answer to that epistemological question applies to the reapplication of a modeling framework. More generally, regarding the nature of the production of knowledge in science, a metaphysical question remains to be explored whether historical contingencies associated with a mathematical construct have a genuine impact on the nature—as opposed to sociological practices or individual psychology—of advancing scientific knowledge with said construct. Focusing on this metaphysical question, this paper analyzes the use of mathematical logic in the development of the Chomsky hierarchy and subsequent reapplications of said hierarchy; with these examples, this paper develops the notion of “spillovers” as a way to detect cross-disciplinary justifications for better understanding the relations between reapplications of the same mathematical construct across disciplines.
Similar content being viewed by others
Notes
In this paper, “knowledge transfer” refers to applying objects of knowledge in this sense.
Another implication may be that philosophers of science should prefer analyzing knowledge transfer as such, but Humphreys’ (2019) text does not decisively exclude either interpretation.
In formal language theory, a formal language is defined as a set of strings, whereas a grammar of a formal language is the set of rules that describe the language.
By Chomskyan linguistics, I refer to his early work in the 1950s.
This review is based on Levelt (2008, 10); c.f., Partee, Meulen, and Wall (1990).
Unlike in computer science, in linguistics the process time required for producing such an answer was not an issue.
For example, context-free grammars and the linguistic derivation system have been used in molecular biology to investigate biological sequences comprised of nucleotide bases (see Searls, 2002 for a review). A similar approach to biological sequences is seen in synthetic biology where context-free grammars are used to help identify and engineer DNA sequences with certain desired biological functions (e.g., Czar et al., 2009).
References
Backus, J. W., Bauer, F. L., Green, J., Katz, C., McCarthy, J., Naur, P., Perlis, A. J., Rutishauser, H., Samelson, K., & Vauquois, B. (1960). Report on the algorithmic language ALGOL 60. Numerische Mathematik, 2(1), 106–136.
Bowling, D. (2014). Cognitive Theory and Brain Fact: Insights for the Future of Cognitive Neuroscience. Comment on ‘Toward a Computational Framework for Cognitive Biology: Unifying Approaches from Cognitive Neuroscience and Comparative Cognition’ by W. Tecumseh Fitch. Physics of Life Reviews. Elsevier. https://doi.org/10.1016/j.plrev.2014.07.007
Bradley, S., & Thébault, K. P. Y. (2019). Models on the move: Migration and imperialism. Studies in History and Philosophy of Science Part A, 77, 81–92. https://doi.org/10.1016/j.shpsa.2017.11.008
Burgess, J.P. (1992). Proofs about Proofs: A Defense of Classical Logic: Part I: The Aims of Classical Logic. In Proof, Logic and Formalization, edited by Michael Detlefsen, 8–23. Routledge. https://doi.org/10.4324/9780203980255
Chomsky, N. (1956). Three models for the description of language. IRE Transactions on Information Theory, 2. https://doi.org/10.1109/TIT.1956.1056813
Chomsky, N. (1959). On certain formal properties of grammars. Information and Control, 2, 137–167. https://doi.org/10.1075/bjl.1.08mil
Chomsky, N., & Miller, G. A. (1958). Finite state languages. Information and Control, 1(2), 91–112. https://doi.org/10.1016/S0019-9958(58)90082-2
Chomsky, N., & Schützenberger, M. P. (1963). The algebraic theory of context-free languages. Studies in Logic and the Foundations of Mathematics, 35, 118–161. https://doi.org/10.1016/S0049-237X(08)72023-8
Shannon, C. E. (1948). A mathematical theory of communication. Bell System Technical Journal, 27(April 1924), 623–656. https://doi.org/10.2307/3611062
Czar, M.J, Cai, Y., and Peccoud, J. (2009). Writing DNA with GenoCAD™. Nucleic Acids Research 37 (suppl_2): W40–47.
Evey, R. J. (1963). The Theory and Application of Pushdown Machines. Cambridge, MA: Rep. No. NSF-10, Harvard Comput. Laboratory.
Fitch, W. T. (2014). Toward a computational framework for cognitive biology: Unifying approaches from cognitive neuroscience and comparative cognition. Physics of Life Reviews, 11(3), 329–364. https://doi.org/10.1016/j.plrev.2014.04.005
Fitch, W. T., & Hauser, M.D. (2004). Computational Constraints on Syntactic Processing in a Nonhuman Primate. Science (New York, N.Y.) 303 (January): 377–80. https://doi.org/10.1126/science.1089401
Fitch, W. T., & Friederici, A. D. (2012). Artificial grammar learning meets formal language theory: An overview. Philosophical Transactions of the Royal Society B: Biological Sciences, 367(1598), 1933–1955. https://doi.org/10.1098/rstb.2012.0103
Ginsburg, S., and Rice, H. G. (1962). Two Families of Languages Related to ALGOL. Journal of the ACM (JACM), 350–71. https://doi.org/10.1145/321127.321132
Ginsburg, S. (1980). Methods for specifying families of formal languages - past-present-future. In formal language theory, 1–22. Academic Press. https://doi.org/10.1016/B978-0-12-115350-2.50006-3
Greibach, S. A. (1981). Formal languages: Origins and directions. Annals of the History of Computing, 3(1).
Grüne-Yanoff, T. (2011). Models as products of interdisciplinary exchange: Evidence from evolutionary game theory. Studies in History and Philosophy of Science Part A, 42(2), 386–397. https://doi.org/10.1016/j.shpsa.2010.12.004
Herfeld, C., & Doehne, M. (2019). The diffusion of scientific innovations: A role typology. Studies in History and Philosophy of Science Part A, 77, 64–80. https://doi.org/10.1016/j.shpsa.2017.12.001
Herfeld, C., & Lisciandra, C. (2019). Knowledge transfer and its contexts. Studies in History and Philosophy of Science Part A, 77, 1–10. https://doi.org/10.1016/j.shpsa.2019.06.002
Hesse, M. (1964). Analogy and confirmation theory. Philosophy of Science, 31(4), 319–327.
Hesse, M. B. (1966). Models and analogies in science. University of Notre Dame Press.
Houkes, W., & Zwart, S. D. (2019). Transfer and templates in scientific modelling. Studies in History and Philosophy of Science Part A, 77, 93–100. https://doi.org/10.1016/j.shpsa.2017.11.003
Humphreys, P. (2002). Computational Models. Philosophy of Science, 69(September), 1–27. https://doi.org/10.1093/oxfordhb/9780199675111.013.026
Humphreys, P. (2004). Extending ourselves: Computational science, empiricism, and scientific method. Oxford University Press.
Humphreys, P. (2019). Knowledge transfer across scientific disciplines. Studies in History and Philosophy of Science Part A, 77(February), 112–119. https://doi.org/10.1016/J.SHPSA.2017.11.001
Hyman, M. D. (2010). Chomsky between revolutions. Chomskyan (R)Evolutions, 265–98. https://doi.org/10.1075/z.154.09hym
Kleene, S. C. (1951). Representation of events in nerve nets and finite automata. U.S. Air Force Project RAND, Research Memorandum.
Kleene, S. C. (1956). Representation of events in nerve nets and finite automata. Automata Studies, 34. https://doi.org/10.1515/9781400882618-002
Knuuttila, T., & Loettgers, A. (2020). Magnetized memories: Analogies and templates in model transfer. In S. Holm & M. Serban (Eds.), Living machines? Philosophical perspectives on the engineering approach in biology (pp. 123–40). Routledge.
Knuuttila, T., & Loettgers, A. (2014). Magnets, spins, and neurons: The dissemination of model templates across disciplines. The Monist, 97(3), 280–300.
Knuuttila, T., & Loettgers, A. (2016). Model templates within and between disciplines: From magnets to gases–and socio-economic systems. European Journal for Philosophy of Science, 6(3), 377–400.
Knuuttila, T., & Morgan, M. S. (2019). Deidealization: No easy reversals. Philosophy of Science, 86, 641–661.
Kuhn, T. S. (1970). The structure of scientific revolution (2nd ed.). University of Chicago Press.
Kuhn, T. S. (1974). Second thoughts on paradigms. The Structure of Scientific Theories, 2, 459–482.
Levelt, W. J. M. (2008). An introduction to the theory of formal languages and automata. John Benjamins Publishing.
Levelt, W. J. M. (2019). On empirical methodology, constraints, and hierarchy in artificial grammar learning. Topics in Cognitive Science. https://doi.org/10.1111/tops.12441
Moll, R. N., Arbib, M.A., & Kfoury, A. J. (1988). An introduction to formal language theory.
Morgan, M. S. (2014). Resituating knowledge: Generic strategies and case studies. Philosophy of Science, 81(5), 1012–1024.
Parkes, A. (2002). Introduction to languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic.
Partee, B.H., Meulen, A. G., and Wall, R. (1990). Mathematical methods in linguistics. Studies in Linguistics and Philosophy. Kluwer Academic Publishers Group.
Price, J. (2019). The landing zone – Ground for model transfer in chemistry. Studies in History and Philosophy of Science Part A, 77, 21–28. https://doi.org/10.1016/j.shpsa.2018.06.010
Saffran, J. R., Aslin, R. N., Newport, E. L., Saffran, J. R., Aslin, R. N., & Newport, E. L. (1996). Statistical learning by 8-month-old infants. Science, 274(5294), 1926–1928.
Searls, D. B. (2002). The language of genes. Nature, 420, 211. https://doi.org/10.1038/nature01255.
Shagrir, O. (2016). Advertisement for the Philosophy of the Computational Sciences. Edited by Paul Humphreys. The Oxford Handbook of Philosophy of Science, 15. https://doi.org/10.1093/oxfordhb/9780199368815.013.3
Sider, T. (2010). Logic for philosophy. Oxford University Press.
Turing, A. M. (1936). On Computable Numbers, with an Application to the Entscheidungsproblem. In Proceedings of the London Mathematical Society, 2, 230–65. https://doi.org/10.2307/2268810
Zuchowski, L. (2019). Modelling and knowledge transfer in complexity science. Studies in History and Philosophy of Science Part A, 77, 120–129. https://doi.org/10.1016/j.shpsa.2017.10.003
Acknowledgements
The author would like to thank Paul Humphreys, Tarja Knuuttila, Mary Morgan, Colin Allen, Tecumseh Fitch, and Michael Dickson for their helpful discussions and/or comments on earlier drafts; thanks also the participants of several meetings for their feedback, including the workshop on “Transdisciplinary Model Transfer and its Interfaces,” at the University of Vienna, the graduate seminar on “Scientific Ontology and the Epistemology of Science,” at the University of Virginia, and NeuroTech: An Interdisciplinary Early Career Workshop on Tools and Technology in Neuroscience at the Center for Philosophy of Science, University of Pittsburgh. A special thanks goes to the two anonymous reviewers whose insightful comments and constructive criticisms helped improve and clarify this manuscript. Finally, this material is based upon work supported by the Konrad Lorenz Institute for Evolution and Cognition Research (Austria) and the National Science Foundation (United States) under grant no. 1922143. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author and do not necessarily reflect the views of either funding agency.
Funding
This study was funded by National Science Foundation (grant number 1922143).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Ethical approval
This paper does not contain any studies with human participants or animals performed by the author.
Informed consent
N/A
Conflict of interest
The author states that there is no conflict of interest.
Additional information
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Lin, CH. Knowledge transfer, templates, and the spillovers. Euro Jnl Phil Sci 12, 6 (2022). https://doi.org/10.1007/s13194-021-00426-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13194-021-00426-w