We explore the formal foundations of recent studies comparing aural pattern recognition capabilities of populations of human and non-human animals. To date, these experiments have focused on the boundary between the Regular and Context-Free stringsets. We argue that experiments directed at distinguishing capabilities with respect to the Subregular Hierarchy, which subdivides the class of Regular stringsets, are likely to provide better evidence about the distinctions between the cognitive mechanisms of humans and those of other species. Moreover, the classes (...) of the Subregular Hierarchy have the advantage of fully abstract descriptive (model-theoretic) characterizations in addition to characterizations in more familiar grammar- and automata-theoretic terms. Because the descriptive characterizations make no assumptions about implementation, they provide a sound basis for drawing conclusions about potential cognitive mechanisms from the experimental results. We review the Subregular Hierarchy and provide a concrete set of principles for the design and interpretation of these experiments. (shrink)

The square of a language L is the set of all words pp where p ∈ L. The square of a regular language may be regular too or context-free or none of both. We give characterizations for each of these cases and show that it is decidable whether a regular language has one of these properties.

Temporal propositions are mapped to sets of strings that witness (in a precise sense) the propositions over discrete linear Kripke frames. The strings are collected into regular languages to ensure the decidability of entailments given by inclusions between languages. (Various notions of bounded entailment are shown to be expressible as language inclusions.) The languages unwind computations implicit in the logical (and temporal) connectives via a system of finite-state constraints adapted from finite-state morphology. Applications to Hybrid Logic (...) and non-monotonic inertial reasoning are briefly considered. (shrink)

Each of our theories of mental representation provides some insight into how the mind works. However, these insights often seem incompatible, as the debates between symbolic, dynamical, emergentist, sub-symbolic, and grounded approaches to cognition attest. Mental representations—whatever they are—must share many features with each of our theories of representation, and yet there are few hypotheses about how a synthesis could be possible. Here, I develop a theory of the underpinnings of symbolic cognition that shows how sub-symbolic dynamics may give rise (...) to higher-level cognitive representations of structures, systems of knowledge, and algorithmic processes. This theory implements a version of conceptual role semantics by positing an internal universal representation language in which learners may create mental models to capture dynamics they observe in the world. The theory formalizes one account of how truly novel conceptual content may arise, allowing us to explain how even elementary logical and computational operations may be learned from a more primitive basis. I provide an implementation that learns to represent a variety of structures, including logic, number, kinship trees, regular languages, context-free languages, domains of theories like magnetism, dominance hierarchies, list structures, quantification, and computational primitives like repetition, reversal, and recursion. This account is based on simple discrete dynamical processes that could be implemented in a variety of different physical or biological systems. In particular, I describe how the required dynamics can be directly implemented in a connectionist framework. The resulting theory provides an “assembly language” for cognition, where high-level theories of symbolic computation can be implemented in simple dynamics that themselves could be encoded in biologically plausible systems. (shrink)

The underlying structures that are common to the world's languages bear an intriguing connection with early emerging forms of “core knowledge”, which are frequently studied by infant researchers. In particular, grammatical systems often incorporate distinctions that reflect those made in core knowledge. Here, I argue that this connection occurs because non-verbal core knowledge systematically biases processes of language evolution. This account potentially explains a wide range of cross-linguistic grammatical phenomena that currently lack an adequate explanation. Second, I suggest that (...) developmental researchers and cognitive scientists interested in knowledge representation can exploit this connection to language by using observations about cross-linguistic grammatical tendencies to inspire hypotheses about core knowledge. (shrink)

The underlying structures that are common to the world's languages bear an intriguing connection with early emerging forms of “core knowledge” (Spelke & Kinzler, 2007), which are frequently studied by infant researchers. In particular, grammatical systems often incorporate distinctions (e.g., the mass/count distinction) that reflect those made in core knowledge (e.g., the non-verbal distinction between an object and a substance). Here, I argue that this connection occurs because non-verbal core knowledge systematically biases processes of language evolution. This account potentially (...) explains a wide range of cross-linguistic grammatical phenomena that currently lack an adequate explanation. Second, I suggest that developmental researchers and cognitive scientists interested in (non-verbal) knowledge representation can exploit this connection to language by using observations about cross-linguistic grammatical tendencies to inspire hypotheses about core knowledge. (shrink)

The thesis focuses on a quite recent research field lying in between Descriptive Set Theory and Automata Theory (for infinite objects). In both areas, one is often concerned with subsets of the Cantor space or of its homeomorphic copies. In Descriptive Set Theory, such subsets are usually stratified in topological hierarchies, like the Borel hierarchy, the Wadge hierarchy and the difference hierarchy; in Automata Theory, such sets are studied in terms of regularity, that is, the property of being recognised by (...) an automaton or, equivalently, of being expressible in Monadic Second-Order Logic. This double point of view leads to many interesting questions about the interplay and relationship between topological complexity and regularity. While we have a complete picture of what happens in the case of automata on words, the case of automata on trees is still a terra incognita. Some results have already been obtained for particular classes of languages, like Buchi languages, deterministic languages, ¨ and unambiguous languages. In this thesis we instead drop any restriction and prove some new results concerning arbitrary regular tree languages which belong to low levels of the Borel hierarchy and of the Wadge hierarchy. (shrink)

This new and important study of semantic change examines how new meanings arise through language use, especially the various ways in which speakers and writers experiment with uses of words and constructions in the flow of strategic interaction with addressees. In the last few decades there has been growing interest in exploring systemicities in semantic change from a number of perspectives including theories of metaphor, pragmatic inferencing, and grammaticalization. Like earlier studies, these have for the most part been based on (...) data taken out of context. This book is the first detailed examination of semantic change from the perspective of historical pragmatics and discourse analysis. Drawing on extensive corpus data from over a thousand years of English and Japanese textual history, Traugott and Dasher show that most changes in meaning originate in and are motivated by the associative flow of speech and conceptual metonymy. (shrink)

In language learning, learners engage with their environment, incorporating cues from different sources. However, in lab‐based experiments, using artificial languages, many of the cues and features that are part of real‐world language learning are stripped away. In three experiments, we investigated the role of positive, negative, and mixed feedback on the gradual learning of language‐like statistical regularities within an active guessing game paradigm. In Experiment 1, participants received deterministic feedback (100%), whereas probabilistic feedback (i.e., 75% or 50%) was introduced (...) in Experiment 2. Finally, Experiment 3 explored the impact of mixed probabilistic feedback (33% positive, 33% negative, 33% no feedback). The results showed that cross‐situational learning of words was observed without feedback, but participants were able to learn structural regularities of the miniature language only when feedback was provided. Interestingly, the presence of positive feedback was particularly helpful for the learner, promoting more in‐depth learning of the artificial language. (shrink)

The functional approach to natural language (FANL) emerged in the late 1960s. It focused on the use and the sub-use of language expressions, taking into account role of the language context and the extra-linguistic situation of a given statements. This approach referred, both conceptually and methodologically, to the tradition of British analytical philosophy of language on the one hand, and to the achievements of the Lvov-Warsaw School on the other. It seems that despite the passage of more than half a (...) century since its inception, this approach has lost nothing of its relevance and its cognitive value, and may even provide inspiration for the exploration new research areas concerning the formulation of language utterances. The aim of this article is to show the potential applications of the FANL as a specific semiotic concept in the field of the philosophy of social sciences. The paper points out how the functional conception can be successfully used in methodological analyses of the logical methodology of social sciences. The case studies presented in the article refer to the research practice of social sciences. Examples of the use and sub-uses of terms are discussed in the light of the polyparadigmatic structure of social sciences and the differences in research patterns accepted by given scientific collectives. (shrink)

The system called F is essentially a sub-theory of Frege Arithmetic without the ad infinitum assumption that there is always a next number. In a series of papers (Systems for a Foundation of Arithmetic, True” Arithmetic Can Prove Its Own Consistency and Proving Quadratic Reciprocity) it was shown that F proves a large number of basic arithmetic truths, such as the Euclidean Algorithm, Unique Prime Factorization (i.e. the Fundamental Law of Arithmetic), and Quadratic Reciprocity, indeed a sizable amount of arithmetic. (...) In particular, F proves some (but not all) of the Peano Axioms; that is, F proves the axioms of a sub-theory - call it FPA - of second-order Peano-Arithmetic. This short technical note will demonstrate that the converse also holds, in the following sense. F has the same language as second-order Peano Arithmetic except that, in addition, it has a two-place predicate symbol “Μ”. Then it is possible to provide a definition, indeed a reasonable definition, for “Μ” such that FPA proves all the axioms of F. So F and FPA effectively have the same proof-theoretic strength. In particular FPA, which lacks the Successor Axiom stating that every natural number has a successor, is able to prove the Euclidean Algorithm, Unique Prime Factorization, and Quadratic Reciprocity, indeed (again) a sizable amount of arithmetic. (shrink)

Jacob Viner introduced the term ‘sub-rational’ to characterize the faculties – human instinct, sentiment and intuition – that fall between animal instinct and full-blown reason. The Scots considered sympathy both an affective and a physiological link between mind and body, and by natural history, they traced the most foundational societal institutions – language and law, money and property – to a sub-rational origin. Their ‘social evolutionism’ anticipated Darwin's ‘dangerous idea’ that humans differ from the lower animals only in degree, not (...) in kind. Darwin had the ability to ‘trade places in the imagination’, as Adam Smith would say, with plants and animals, and ‘think’ as they do. The trend today is to ‘positivize,’ ‘behaviorize’ and otherwise reduce the sub-rational to the purely biological. My suggestion is that we trade places in the imagination with the Scottish moral scientists and Darwin, and try thinking as they did. (shrink)

Like all typologies, the following study is a generalisation of forces inherent in the making of a situation — here the treatment of multilingualism by the colonial and post-colonial powers and their African successors, and the explanation given for the dichotomy. Whilst the expression ‘Afro-Saxons’ was used by Ali Mazrui of the followers of the Westminster pattern, the term is here employed in a wider sense to cover the colonial nations of Teutonic/Germanic descent — whereas the term ‘Afro-Romans’ has been (...) coined to counter-balance the Afro-Saxons, as the heirs to the Roman Empire, i.e. the Romance-speaking peoples on African soil. (shrink)

Extracting the regularities of our environment is one of our core cognitive abilities. To study the fine-grained dynamics of the extraction of embedded regularities, a method combining the advantages of the artificial language paradigm and the serial response time task was used with a group of Guinea baboons in a new automatic experimental device. After a series of random trials, monkeys were exposed to language-like patterns. We found that the extraction of embedded patterns positioned at the end of larger patterns (...) was faster than the extraction of initial embedded patterns. This result suggests that there is a learning advantage for the final element of a sequence that benefits from the contextual information provided by previous elements. (shrink)

This second companion paper to a logico-mathematic, structural methodology and its findings address theoretical issues underlying sub-literal phenomena. The concept of a “cognitive psycho-dynamics” is introduced. In addition, research on masked priming and automatic activation of “chronic goals and motives” schemata are presented as initial and partial explanatory theoretical bases. Corroborating findings from fMRI and other neurological research suggest that some of the cognitive operations are biologically based. A biological evolutionary framework is then presented to explain the origin and development (...) of SubLit cognition and lexical referents. Implications are discussed throughout. (shrink)

In this first of three papers, a novel cognitive and psycho-linguistic non metric or non quantitative methodology developed for the analysis and validation of unconscious cognition and meaning in ostensibly literal verbal narratives is presented. Unconscious referents are reconceptualized as sub-literal referents. An integrally systemic, structural, and internally consistent set of operations is delineated and instantiated. The method is related to aspects of two models. The first is logico-mathematic structure; the second is linguistic syntax. After initially framing the problem that (...) the method addresses, along with some theoretical implications, historical precursors are briefly outlined. The method presents novel cognitive and linguistic operations. Though the method raises a number of issues of theory, research, and methodology, and makes a contribution to these areas, it stands independently, qua method. (shrink)

We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar (...) logics with converse. The class of regular grammar logics includes numerous logics from various application domains. A consequence of the translation is that the general satisfiability problem for every regular grammar logics with converse is in EXPTIME. This extends a previous result of the first author for grammar logics without converse. Other logics that can be translated into GF2 include nominal tense logics and intuitionistic logic. In our view, the results in this paper show that the natural first-order fragment corresponding to regular grammar logics is simply GF2 without extra machinery such as fixed-point operators. (shrink)

We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar (...) logics with converse. The class of regular grammar logics includes numerous logics from various application domains. A consequence of the translation is that the general satisfiability problem for every regular grammar logics with converse is in EXPTIME. This extends a previous result of the first author for grammar logics without converse. Other logics that can be translated into GF2 include nominal tense logics and intuitionistic logic. In our view, the results in this paper show that the natural first-order fragment corresponding to regular grammar logics is simply GF2 without extra machinery such as fixed-point operators. (shrink)

BackgroundEthical and regulatory guidance on the collection and use of human biospecimens for research forms an essential component of national health systems in Sub-Saharan Africa, where rapid advances in genetic- and genomic-based technologies are fueling clinical trials involving HBS and the establishment of large-scale biobanks.MethodsAn extensive multi-level search for publicly available ethics regulatory guidance was conducted for each SSA country. A second review documented active trials listed in the WHO International Clinical Trials Registry Platform as of January 2015 in which (...) HBS collection was specified in the protocol. Findings were combined to determine the extent to which countries that are study sites for HBS-related research are supported by regulatory guidance language on the collection, use, ownership and storage of biospecimens.ResultsOf the 49 SSA countries, 29 had some form of national ethics guidance, yet only 17 provided language relating to HBS-related research, with specific guidance on consent, ownership, reuse, storage, and export/import/transfer. Ten countries accounted for 84 % of the active clinical trials involving the collection of HBS in SSA. All except one of these countries were found to have some national guidance in the form of regulations, codes of ethics, and/or standard operating procedures; however, only seven of the ten offered any language specific to HBS.ConclusionsDespite the fact that the bulk of registered clinical trials in SSA involving HBS, as well as existing and proposed sites for biorepositories under the H3Africa Initiative, are currently situated in countries with the most complete ethics and regulatory guidance, variability in the regulations themselves may create challenges for planned and future pan-African collaborations and may require legislative action at the national level to revise. Countries in SSA that still lack regulatory guidance on HBS will require extensive health system strengthening in ethics governance before they can be full participants in the modern research enterprise. (shrink)

It is proved that the following conditions are equivalent: (a) there exists a complete, atomless, σ-centered Boolean algebra, which does not contain any regular, atomless, countable subalgebra, (b) there exists a nowhere dense ultrafilter on ω. Therefore, the existence of such algebras is undecidable in ZFC. In "forcing language" condition (a) says that there exists a non-trivial σ-centered forcing not adding Cohen reals.

Fodor and Pylyshyn's critique of connectionism has posed a challenge to connectionists: Adequately explain such nomological regularities as systematicity and productivity without postulating a "language of thought" (LOT). Some connectionists like Smolensky took the challenge very seriously, and attempted to meet it by developing models that were supposed to be non-classical. At the core of these attempts lies the claim that connectionist models can provide a representational system with a combinatorial syntax and processes sensitive to syntactic structure. They are not (...) implementation models because, it is claimed, the way they obtain syntax and structure sensitivity is not "concatenative," hence "radically different" from the way classicists handle them. In this paper, I offer an analysis of what it is to physically satisfy/realize a formal system. In this context, I examine the minimal truth-conditions of LOT Hypothesis. From my analysis it will follow that concatenative realization of formal systems is irrelevant to LOTH since the very notion of LOT is indifferent to such an implementation level issue as concatenation. I will conclude that to the extent to which they can explain the law-like cognitive regularities, a certain class of connectionist models proposed as radical alternatives to the classical LOT paradigm will in fact turn out to be LOT models, even though new and potentially very exciting ones. (shrink)

The Newtonian universe is usually understood to contain two classes of causal factors: universal regularitiesand initial conditions. I demonstrate that,in fact, the Newtonian universe contains no causal factors other thanuniversal regularities: the initial conditions ofany physical system are merely theconsequence of universal regularities acting on previoussystems. It follows that aNewtonian universe lacks the degree of contingency that is usually attributed to it. This is a necessary precondition for maintaining that the Newtonian universe is a block universe that exhibits no temporal (...) development. It follows also that Newtonian physics is inconsistent, since a Newtonian universe as a whole exhibits some properties – such as the total mass of the universe – that are not determined by the laws of Newtonian physics, and that must therefore be considered contingent. (shrink)

Assume $\langle \aleph_0, \aleph_1 \rangle \rightarrow \langle \lambda, \lambda^+ \rangle$ . Assume M is a model of a first order theory T of cardinality at most λ+ in a language L(T) of cardinality $\leq \lambda$ . Let N be a model with the same language. Let Δ be a set of first order formulas in L(T) and let D be a regular filter on λ. Then M is $\Delta-embeddable$ into the reduced power $N^\lambda/D$ , provided that every $\Delta-existential$ formula (...) true in M is true also in N. We obtain the following corollary: for M as above and D a regular ultrafilter over $\lambda, M^\lambda/D$ is $\lambda^{++}-universal$ . Our second result is as follows: For $i < \mu$ let Mi and Ni be elementarily equivalent models of a language which has cardinality $\leq \lambda$ . Suppose D is a regular filter on λ and $\langle \aleph_0, \aleph_1 \rangle \rightarrow \langle \lambda, \lambda^+ \rangle$ holds. We show that then the second player has a winning strategy in the $Ehrenfeucht-Fra\ddot{i}ss\acute{e}$ game of length λ+ on $\prod_i M_i/D$ and $\prod_i N_i/D$ . This yields the following corollary: Assume GCH and λ regular (or just $\langle \aleph_0, \aleph_1 \rangle \rightarrow \langle \lambda, \lambda^+ \rangle$ and 2λ = λ+). For L, Mi and Ni be as above, if D is a regular filter on λ, then $\prod_i M_i/D \cong \prod_i N_i/D$. (shrink)

This paper concerns regret, where regretting is to be understood, roughly, as mourning the loss of a forgone good. My ultimate aim is to add a new dimension to existing debate concerning the internal logic of regret by revealing the significance of certain sorts of cases—including, most interestingly, certain down-to-earth cases involving vague goals—in relation to the possibility of regret in continued endorsement cases. Intuitively, it might seem like, in continued endorsement cases, an agent’s regret must be tied to the (...) idea that the forgone good is no better than the achieved good but is also not fully made up for by the achieved good because the goods are different in kind. But this view is controversial. After describing a challenge to the view, as well as the main features of the debate regarding regret in which it figures, I appeal first to a fanciful case involving a set of ever-better options, and then to a more down-to-earth case involving a vague goal, to develop a defense of the opposing view that, even in continued endorsement cases, mourning the loss of a forgone good need not be tied to the idea that the loss of the good is not fully made up for by the gain of a preferred or incomparable good of a different kind. (shrink)

Relations computed by finite-state transducers are applied to interpret temporal propositions in terms of strings representing finite contexts or situations. Carnap–Montague intensions mapping indices to extensions are reformulated as relations between strings that can serve as indices and extensions alike. Strings are related according to information content, temporal span and granularity, the bounds on which reflect the partiality of natural language statements. That partiality shapes not only strings-as-extensions (indicating what statements are about) but also strings-as-indices (underlying truth conditions).

Language comes so naturally to us that we are apt to forget what a strange and miraculous gift it is. Over the next hour you will sit in your chairs listening to a man make noise as he exhales. Why would you do such a thing? Not because the sounds are particularly melodious, but because the sounds convey information in the exact sequence of hisses and hums and squeaks and pops. As you recover the information, you think the thoughts that (...) I want you to think. Right now I am conveying ideas about language itself, but with a slightly different sequence of hisses and pops I could be talking about anything from theories of the origin of the universe to the latest plot twists in your favorite daytime drama. The fundamental scientific problem raised by language is to explain this vast expressive power. What is the trick behind our ability to fill each other’s heads with so many kinds of thoughts? (shrink)

MVi is actively engaged with the Bounorng, Kouy, Stieng, Kreung, Prov, Laak, and Kavet communities in the provinces of Mondulkiri, Stung Treng, and Kratie. Over the years, MVi has implemented three strategic plans since 2006, focusing on supporting indigenous and rural communities in these three provinces. The strategic plan for the period 2023–2027 is designed to enhance the livelihoods and economic conditions of indigenous and vulnerable communities. This plan prioritizes four key areas: climate change, natural resource management, modern agriculture production (...) and market, and social accountability. Supporting the establishment and functionality of sub-national networks is not only a core value of MVi but also a strategic approach. MVi actively facilitates the formation of sub-national networks, including the indigenous youth network, indigenous women's network on NRM, and youth/child network on CEFM. These networks are crucial in promoting self-reliance and addressing specific issues. The performances of indigenous youths and women are evaluated based on their understanding of roles and responsibilities, dissemination of youth's roles in natural resource management, participation in trainings and seminars, organization of regular meetings, coordination with community leaders for various meetings and events, mobilization of youth members to address NRM issues, implementation of plans to protect natural resources, integration of NRM plans into commune investment plans, advocacy for NRM issues with networks and decision-makers, and collaboration with other communities for NRM discussions and actions. This paper aims to guide NGO staff on how to assess the performance of sub-national community networks focusing on natural resource management. (shrink)

Ruth Millikan is well known for having developed a strikingly original way for philosophers to seek understanding of mind and language, which she sees as biological phenomena. She now draws together a series of groundbreaking essays which set out her approach to language. Guiding the work of most linguists and philosophers of language today is the assumption that language is governed by prescriptive normative rules. Millikan offers a fundamentally different way of viewing the partial regularities that language displays, comparing them (...) to biological norms that emerge from natural selection. This yields novel and quite radical consequences for our understanding of the nature of public linguistic meaning, the process of language understanding, how children learn language, and the semantics/pragmatics distinction. (shrink)

My task here is the first one. I do present a consistent formal system and claim that it provides a perfect model of natural languages such as English, but this system involves no surprises. It is none other than the standard framework of classical logic and model theory. The real weight of the argument lies in the claim that the classical framework—without alteration or addition—contains the resources to model what happens when we say in English ‘This sentence is not (...) true’. (shrink)