The inconsistent relation between word frequency and free recall performance and the non-monotonic relation found between the two cannot all be explained by current theories. We propose a theoretical framework that can explain all extant results. Based on an ecological psychology analysis of the free recall situation in terms of environmental and informational resources available to the participants, we propose that because participants’ cognitive system has been shaped by their native language, free recall performance is best understood (...) as the end result of relational properties that preexist the experimental situation and of the way the words from the experimental list interact with those. In addition to this, we borrow from predictive coding theory the idea that the brain constantly predicts “what is coming next” so that it is mainly prediction errors that will propagate information forward. Our ecological psychology analysis indicates there will be “prediction errors” because the word frequency distribution in an experimental word list is inevitably different from the particular Zipf’s law distribution of the words in the language that shaped participants’ brains. We further propose the particular distributional discrepancies inherent to a given word list will trigger, as a function of the words that are included in the list, their order, and of the words that are absent from the list, a surprisal signal in the brain, something that is isomorphic to the concept of Bayesian surprise. The precise moment when Bayesian surprise is triggered will determine to what word of the list that Bayesian surprise will be associated with, and the word the Bayesian surprise will be associated with will benefit from it and become more memorable as a direct function of the magnitude of the surprisal. Two experiments are presented that show a proxy of Bayesian surprise explains the free recall performance and that no effect of word frequency is found above and beyond the effect of that proxy variable. We then discuss how our view can account for all data extant in the literature on the effect of word frequency on free recall. (shrink)

We present the paradigm of categories-as-syntax. We briefly recall the even stronger paradigm categories-as-machine-language which led from -calculus to categorical combinators viewed as basic instructions of the Categorical Abstract Machine. We extend the categorical combinators so as to describe the proof theory of first order logic and higher order logic. We do not prove new results: the use of indexed categories and the description of quantifiers as adjoints goes back to Lawvere and has been developed in detail (...) in works of R. Seely. We rather propose a syntactic, equational presentation of those ideas. We sketch the (quasi-equational) categorical structures for dependent types, following ideas of J. Cartmell (contextual categories). All these theories of categorical combinators, together with the translations from -calculi into them, are introduced smoothly, thanks to the systematic use of– - an abstract variable-free notation for -calculus, going back to N. De Bruijn, – - a sequent formulation of the natural deduction. (shrink)

Supraspan verbal list-learning tests, such as the Rey Auditory Verbal Learning Test (RAVLT), are classic neuropsychological tests for assessing verbal memory. In this study, we investigated the impact of the meaning of the words to be learned on 3 memory stages (short-term recall, learning, and delayed recall) in a cohort of 447 healthy adults. First, we compared scores obtained from the RAVLT (word condition) to those of an alternative version of this test using phonologically similar but meaningless items (pseudoword (...) condition) and observed how each score varied as a function of age and sex. Then, we collected the participants’ self-reported strategies to retain the word and pseudoword lists and examined if these strategies mediated the age and sex effects on memory scores. The word condition resulted in higher memory scores than pseudoword condition at each memory stage and even canceled out, for the learning stage, the detrimental effect of age that was observed for the short-term and delayed recall. When taking sex into account, the word advantage was observed only in women for short-term recall. The self-reported strategies, which were similar for words and pseudowords, were based on the position of the item on the list (word: 53 %, pseudoword: 37%) or the meaning of the item (word: 64%, pseudoword: 58%) and were used alone or in combination. The best memory performance was associated with the meaning strategy in the word condition and with the combination of the meaning and position strategies in the pseudoword condition. Finally, we found that the word advantage observed in women for short-term recall was mediated by the use of the meaning strategy. The RAVLT scores were thus highly dependent on word meaning, notably because it allowed efficient semantic knowledge-based strategies. Within the framework of Tulving’s declarative memory model, these results are at odds with the depiction of the RAVLT as a verbal episodic memory test as it is increasingly referred to in the literature. (shrink)

How many words—and which ones—are sufficient to define all other words? When dictionaries are analyzed as directed graphs with links from defining words to defined words, they reveal a latent structure. Recursively removing all words that are reachable by definition but that do not define any further words reduces the dictionary to a Kernel of about 10% of its size. This is still not the smallest number of words that can define (...) all the rest. About 75% of the Kernel turns out to be its Core, a “Strongly Connected Subset” of words with a definitional path to and from any pair of its words and no word's definition depending on a word outside the set. But the Core cannot define all the rest of the dictionary. The 25% of the Kernel surrounding the Core consists of small strongly connected subsets of words: the Satellites. The size of the smallest set of words that can define all the rest—the graph's “minimum feedback vertex set” or MinSet—is about 1% of the dictionary, about 15% of the Kernel, and part-Core/part-Satellite. But every dictionary has a huge number of MinSets. The Core words are learned earlier, more frequent, and less concrete than the Satellites, which are in turn learned earlier, more frequent, but more concrete than the rest of the Dictionary. In principle, only one MinSet's words would need to be grounded through the sensorimotor capacity to recognize and categorize their referents. In a dual-code sensorimotor/symbolic model of the mental lexicon, the symbolic code could do all the rest through recombinatory definition. (shrink)

There is substantial variation in language experience, yet there is surprising similarity in the language structure acquired. Constraints on language structure may be external modulators that result in this canalization of language structure, or else they may derive from the broader, communicative environment in which language is acquired. In this paper, the latter perspective is tested for its adequacy in explaining robustness of language learning to environmental variation. A computational model of word learning from cross-situational, multimodal information (...) was constructed and tested. Key to the model's robustness was the presence of multiple, individually unreliable information sources to support learning. This “degeneracy” in the language system has a detrimental effect on learning, compared to a noise-free environment, but has a critically important effect on acquisition of a canalized system that is resistant to environmental noise in communication. (shrink)

The VIA Classification of Strengths and Virtues is the most commonly used model of positive personality. In this study, we used two methods of model modification to develop models for two measures of the character strengths, the VIA Inventory of Strengths-Revised and the Global Assessment of Character Strengths. The first method consisted of freeing residual covariances based on modification indices until good fit was achieved. The second was residual network modeling (RNM), which frees residual partial correlations while minimizing a function (...) that penalizes more complex models. Models based on both strategies were developed for the two questionnaires. The resulting structural models were then applied to four other samples. Though both modification procedures achieved good fit in the sample used to develop the models, only RNM resulted in adequate model fit for both measures in all cross-validation samples. This finding suggests RNM is more robust against overfitting than traditional practices. Moreover, the result supports the validity of the three-factor model of character strengths with replicability. (shrink)

Wittgenstein’s philosophy of mathematics is often devalued due to its peculiar features, especially its radical departure from any of standard positions in foundations of mathematics, such as logicism, intuitionism, and formalism. We first contrast Wittgenstein’s finitism with Hilbert’s finitism, arguing that Wittgenstein’s is perspicuous or surveyable finitism whereas Hilbert’s is transcendental finitism. We then further elucidate Wittgenstein’s philosophy by explicating his natural history view of logic and mathematics, which is tightly linked with the so-called rule-following problem and Kripkenstein’s paradox, yielding (...) vital implications to the nature of mathematical understanding, and to the nature of the certainty and objectivity of mathematical truth. Since the incompleteness theorems, foundations of mathematics have mostly lost their philosophical driving force, and anti-foundationalism has become prevalent and pervasive. Yet new foundations have nevertheless emerged and come into the scene, namely categorical foundations. We articulate the foundational significance of category theory by explicating three forms of foundations, i.e., global foundations, local foundations, and conceptual foundations. And we explore the possibility of categorical unified science qua pluralistic unified science, arguing for the categorical unity of science on both mathematical and philosophical grounds. We then turn to an issue in conceptual foundations of mathematics, namely the nature of the concept of space. We elucidate Wittgenstein’s intensional conception of space in relation to Brouwer’s theory of space continua and to the modern conception of space as point-free structure in category theory and algebraic geometry. We finally give a bird’s-eye view of mathematical philosophy from a Wittgensteinian perspective, and further sheds new light on Wittgenstein’s constructive structuralism and his view of incompleteness and contradictions in mathematics. (shrink)

Appraisal theories of emotion, and particularly the Component Process Model, claim that the different components of the emotion process (action tendencies, physiological reactions, expressions, and feeling experiences) are essentially driven by the results of cognitive appraisals and that the feeling component constitutes a central integration and representation of these processes. Given the complexity of the proposed architecture, comprehensive experimental tests of these predictions are difficult to perform and to date are lacking. Encouraged by the “lexical sedimentation” hypothesis, here we propose (...) an indirect examination of the compatibility of the theoretical assumptions with the semantic structure of a set of major emotion words as measured in a cross-language and cross-cultural study. Specifically, we performed a secondary analysis of the large-scale data set with ratings of affective features covering all components of the emotion process for 24 emotion words in 27 countries, constituting profiles of emotion-specific appraisals, action tendencies, physiological reactions, expressions, and feeling experiences. The results of a series of hierarchical regression analyses to examine the prediction of the theoretical model are highly consistent with the claim that appraisal patterns determine the structure of the response components, which in turn predict central dimensions of the feeling component. (shrink)

A substantial body of experimental evidence has demonstrated that labels have an impact on infant categorization processes. Yet little is known regarding the nature of the mechanisms by which this effect is achieved. We distinguish between two competing accounts: supervised name‐based categorization and unsupervised feature‐based categorization. We describe a neurocomputational model of infant visual categorization, based on self‐organizing maps, that implements the unsupervised feature‐based approach. The model successfully reproduces experiments demonstrating the impact of labeling on infant visual categorization reported in (...) Plunkett, Hu, and Cohen (2008). It mimics infant behavior in both the familiarization and testing phases of the procedure, using a training regime that involves only single presentations of each stimulus and using just 24 participant networks per experiment. The model predicts that the observed behavior in infants is due to a transient form of learning that might lead to the emergence of hierarchically organized categorical structure and that the impact of labels on categorization is influenced by the perceived similarity and the sequence in which the objects are presented. The results suggest that early in development, say before 12 months old, labels need not act as invitations to form categories nor highlight the commonalities between objects, but they may play a more mundane but nevertheless powerful role as additional features that are processed in the same fashion as other features that characterize objects and object categories. (shrink)

Lattice-ordered abelian groups, or abelian$$\ell $$ ℓ -groups in what follows, are categorically equivalent to two classes of 0-bounded hoops that are relevant in the realm of the equivalent algebraic semantics of many-valued logics: liftings of cancellative hoops and perfect MV-algebras. The former generate the variety of product algebras, and the latter the subvariety of MV-algebras generated by perfect MV-algebras, that we shall call $$\textsf{DLMV}$$ DLMV. In this work we focus on these two varieties and their relation to the structures (...) obtained by forgetting the falsum constant 0, i.e., product hoops and DLW-hoops. As main results, we first show a characterization of the free algebras in these two varieties as particular weak Boolean products; then, we show a construction that freely generates a product algebra from a product hoop and a DLMV-algebra from a DLW-hoop. In other words, we exhibit the free functor from the two algebraic categories of hoops to the corresponding categories of 0-bounded algebras. Finally, we use the results obtained to study projective algebras and unification problems in the two varieties (and the corresponding logics); both varieties are shown to have (strong) unitary unification type, and as a consequence they are structurally and universally complete. (shrink)

Regular polysemes are sets of ambiguous words that all share the same relationship between their meanings, such as CHICKEN and LOBSTER both referring to an animal or its meat. To probe how a distributional semantic model, here exemplified by bidirectional encoder representations from transformers (BERT), represents regular polysemy, we analyzed whether its embeddings support answering sense analogy questions similar to “is the mapping between CHICKEN (as an animal) and CHICKEN (as a meat) similar to that which maps between LOBSTER (...) (as an animal) to LOBSTER (as a meat)?” We did so using the LRcos model, which combines a logistic regression classifier of different categories (e.g., animal vs. meat) with a measure of cosine similarity. We found that (a) the model was sensitive to the shared structure within a given regular relationship; (b) the shared structure varies across different regular relationships (e.g., animal/meat vs. location/organization), potentially reflective of a “regularity continuum;” (c) some high-order latent structure is shared across different regular relationships, suggestive of a similar latent structure across different types of relationships; and (d) there is a lack of evidence for the aforementioned effects being explained by meaning overlap. Lastly, we found that both components of the LRcos model made important contributions to accurate responding and that a variation of this method could yield an accuracy boost of 10% in answering sense analogy questions. These findings enrich previous theoretical work on regular polysemy with a computationally explicit theory and methods, and provide evidence for an important organizational principle for the mental lexicon and the broader conceptual knowledge system. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 62.2 (2001) 301-312 [Access article in PDF] Kant on Property: The Problem of Permissive Law Brian Tierney In a pathbreaking article published in 1982 Reinhold Brandt called attention to the significance of the concept of permissive natural law in Kant's political philosophy. Brandt noted that Kant's "rightful concept of practical reason" or "permissive law of practical reason" was of fundamental importance for understanding (...) the whole theory of the Rechtslehre, and he complained that the issue had been virtually ignored in the recent secondary literature. 1 Since then others have taken up the theme, but it remains relatively neglected in the vast modern literature on Kant. In the work of Brandt and in some other recent explorations of this question a primary concern has been to relate Kant's doctrine to other aspects of his critical theory. Brandt himself, for instance, compared the "provisional" and "peremptory" rights mentioned in the Doctrine of Right with the "problematic" and "assertoric" judgments of the Critique of Pure Reason. The problem that I want to consider is rather different. In the following study I want to consider primarily the internal structure of the Doctrine of Right and specifically to ask whether Kant's appeal to permissive natural law served a constructive purpose in the theory of property that he presented in that work or whether it was perhaps subversive of the argument that he developed. 2 This will require [End Page 301] some discussion of the other usages of the idea of permissive law that we find scattered in Kant's later writings. In pursuing such an inquiry we encounter various difficulties and apparent anomalies in Kant's teaching. I want finally to suggest that we might understand those difficulties better if we were to situate Kant's work in a broader historical context than those that have previously been considered, bearing in mind that the concept of permissive natural law had been discussed by jurists and political philosophers for several centuries before Kant took up the argument. Kant on Property When approaching Kant's Doctrine of Right it may be salutary to recall a remark of Mary Gregor, the translator of the work and a sympathetic reader of it. "Kant has never been accused of underestimating his readers," Gregor wrote, "but he seldom treats them so harshly." 3 The difficulty of the work is compounded by the fact that the text as we have it is apparently in a mutilated condition, with some passages transposed from their original contexts. Any reading of such a text will be open to dispute; but it seems necessary to attempt at least an outline of Kant's doctrine and to mention some of its complexities if we are to understand the function of permissive natural law in the argument presented.Kant's purpose was to formulate a doctrine of property based on reason alone, a doctrine in which "abstraction is made from all spatial and temporal conditions." 4 The principles he deduced were intended to apply to anyone "merely because and insofar as he is free and has practical reason." 5 The whole subsequent argument revolved around these concepts of practical reason and human freedom. Kant began by presenting some basic propositions and definitions. Obligation, he wrote, was "the necessity of a free action under a categorical imperative of reason." And an action was permitted or licit when it was not contrary to obligation. This freedom of action was called a moral faculty (facultas moralis). 6 According to Kant, the only innate right inhering in all persons was a right to freedom (defined as "independence from being coerced by another's [End Page 302] choice") insofar as this freedom could coexist with the freedom of all others. 7 A corresponding universal law of Right established the rule: "[S]o act externally that the free use of your choice can coexist with the freedom of everyone in accordance with a universal law." 8External laws imposed by another evidently did hinder one's freedom. Kant therefore held that a person was... (shrink)