Skip to main page content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation
. 2023 Mar;47(3):e13267.
doi: 10.1111/cogs.13267.

Formal Models at the Core

Affiliations

Formal Models at the Core

Emmanuel Chemla et al. Cogn Sci. 2023 Mar.

Abstract

The grammatical paradigm used to be a model for entire areas of cognitive science. Its primary tenet was that theories are axiomatic-like systems. A secondary tenet was that their predictions should be tested quickly and in great detail with introspective judgments. While the grammatical paradigm now often seems passé, we argue that in fact it continues to be as efficient as ever. Formal models are essential because they are explicit, highly predictive, and typically modular. They make numerous critical predictions, which must be tested efficiently; introspective judgments do just this. We further argue that the grammatical paradigm continues to be fruitful. Within linguistics, implicature theory is a recent example, with a combination of formal explicitness, modularity, and interaction with experimental work. Beyond traditional linguistics, the grammatical paradigm has proven fruitful in the study of gestures and emojis; literature ("Free Indirect Discourse"); picture semantics and comics; music and dance cognition; and even reasoning and concepts. We argue, however, that the grammatical paradigm must be adapted to contemporary cognitive science. Computational methods are essential to derive quantitative predictions from formal models (Bayesian pragmatics is an example). And data collection techniques offer an ever richer continuum of options, from introspective judgments to large-scale experiments, which makes it possible to optimize the cost/benefit ratio of the empirical methods that are chosen to test theories.

Keywords: Formal models; High-order cognition; Introspective judgments; Methods; Theories.

PubMed Disclaimer

References

    1. Abusch, D. (2020). Possible worlds semantics for pictures. In D. Gutzmann, L. Matthewson, C. Meier, H. Rullmann, & T. Zimmermann (Eds.), The Wiley Blackwell companion to semantics. Wiley.
    1. Banfield, A. (1982). Unspeakable sentences (narration and representation in the language of fiction). Boston, MA: Routledge & Kegan Paul.
    1. Bar-Hillel, Y. (1971). Out of the pragmatic wastebasket. Linguistic Inquiry, 2(3), 401-407.
    1. Büring, D. (2005). Binding theory. Cambridge Textbooks in Linguistics. Cambridge University Press.
    1. Charnavel, I. (to appear). Moving to the rhythm of spring: A case study of the rhythmic structure of dance. Linguistics and Philosophy.

Publication types

LinkOut - more resources