Switch to: References

Add citations

You must login to add citations.
  1. Tractability and the computational mind.Rineke Verbrugge & Jakub Szymanik - 2018 - In Mark Sprevak & Matteo Colombo (eds.), The Routledge Handbook of the Computational Mind. Routledge. pp. 339-353.
    We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need too much computational resource, e.g., time or memory, to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic.Iris van de Pol, Iris van Rooij & Jakub Szymanik - 2018 - Journal of Logic, Language and Information 27 (3):255-294.
    Theory of mind refers to the human capacity for reasoning about others’ mental states based on observations of their actions and unfolding events. This type of reasoning is notorious in the cognitive science literature for its presumed computational intractability. A possible reason could be that it may involve higher-order thinking. To investigate this we formalize theory of mind reasoning as updating of beliefs about beliefs using dynamic epistemic logic, as this formalism allows to parameterize ‘order of thinking.’ We prove that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Conjoining Meanings: Semantics without Truth Values.Jakub Szymanik - 2021 - Philosophical Review 130 (1):171-175.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • An Explanation of the Veridical Uniformity Universal.Shane Steinert-Threlkeld - forthcoming - Journal of Semantics.
    A semantic universal, which we here dub the Veridical Uniformity Universal, has recently been argued to hold of responsive verbs (those that take both declarative and interrogative complements). This paper offers a preliminary explanation of this universal: verbs satisfying it are easier to learn than those that do not. This claim is supported by a computational experiment using artificial neural networks, mirroring a recent proposal for explaining semantic universals of quantifiers. This preliminary study opens up many avenues for future work (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Advances in Experimental Philosophy of Logic and Mathematics: A. Aberdein and M. Inglis, editors, London: Bloomsbury Academic, 2019. 291 pp. $28.76. ISBN 978-1-3500-3902-5.Yuri Sato - 2021 - History and Philosophy of Logic 43 (3):305-307.
    This book is a collection of articles on research that attempts to connect logic and mathematics with empirical and cognition. There have been various such a...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Interpreting plural predication: homogeneity and non-maximality.Manuel Križ & Benjamin Spector - 2020 - Linguistics and Philosophy 44 (5):1131-1178.
    Plural definite descriptions across many languages display two well-known properties. First, they can give rise to so-called non-maximal readings, in the sense that they ‘allow for exceptions’. Second, while they tend to have a quasi-universal quantificational force in affirmative sentences, they tend to be interpreted existentially in the scope of negation. Building on previous works, we offer a theory in which sentences containing plural definite expressions trigger a family of possible interpretations, and where general principles of language use account for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Semantics of the Barwise sentence: insights from expressiveness, complexity and inference.Dariusz Kalociński & Michał Tomasz Godziszewski - 2018 - Linguistics and Philosophy 41 (4):423-455.
    In this paper, we study natural language constructions which were first examined by Barwise: The richer the country, the more powerful some of its officials. Guided by Barwise’s observations, we suggest that conceivable interpretations of such constructions express the existence of various similarities between partial orders such as homomorphism or embedding. Semantically, we interpret the constructions as polyadic generalized quantifiers restricted to finite models. We extend the results obtained by Barwise by showing that similarity quantifiers are not expressible in elementary (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Interactive Semantic Alignment Model: Social Influence and Local Transmission Bottleneck.Dariusz Kalociński, Marcin Mostowski & Nina Gierasimczuk - 2018 - Journal of Logic, Language and Information 27 (3):225-253.
    We provide a computational model of semantic alignment among communicating agents constrained by social and cognitive pressures. We use our model to analyze the effects of social stratification and a local transmission bottleneck on the coordination of meaning in isolated dyads. The analysis suggests that the traditional approach to learning—understood as inferring prescribed meaning from observations—can be viewed as a special case of semantic alignment, manifesting itself in the behaviour of socially imbalanced dyads put under mild pressure of a local (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Generalized Update Semantics.Simon Goldstein - 2019 - Mind 128 (511):795-835.
    This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • A fresh look at research strategies in computational cognitive science: The case of enculturated mathematical problem solving.Regina E. Fabry & Markus Pantsar - 2019 - Synthese 198 (4):3221-3263.
    Marr’s seminal distinction between computational, algorithmic, and implementational levels of analysis has inspired research in cognitive science for more than 30 years. According to a widely-used paradigm, the modelling of cognitive processes should mainly operate on the computational level and be targeted at the idealised competence, rather than the actual performance of cognisers in a specific domain. In this paper, we explore how this paradigm can be adopted and revised to understand mathematical problem solving. The computational-level approach applies methods from (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Ignorance Implicatures and Non-doxastic Attitude Verbs.Kyle H. Blumberg - 2017 - Proceedings of the 21st Amsterdam Colloquium.
    This paper is about conjunctions and disjunctions in the scope of non-doxastic atti- tude verbs. These constructions generate a certain type of ignorance implicature. I argue that the best way to account for these implicatures is by appealing to a notion of contex- tual redundancy (Schlenker, 2008; Fox, 2008; Mayr and Romoli, 2016). This pragmatic approach to ignorance implicatures is contrasted with a semantic account of disjunctions under `wonder' that appeals to exhausti cation (Roelofsen and Uegaki, 2016). I argue that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Learnability and Semantic Universals.Shane Steinert-Threlkeld & Jakub Szymanik - forthcoming - Semantics and Pragmatics.
    One of the great successes of the application of generalized quantifiers to natural language has been the ability to formulate robust semantic universals. When such a universal is attested, the question arises as to the source of the universal. In this paper, we explore the hypothesis that many semantic universals arise because expressions satisfying the universal are easier to learn than those that do not. While the idea that learnability explains universals is not new, explicit accounts of learning that can (...)
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations