The origin of human language is one of the most fascinating and most difficult problems of evolution. Here I argue that pre-hunt communication was the starting context of the evolution of human language. Hunting of big game created a shared interest; animals and hunting actions are easy to imitate; the need to plan created a pressure for increasing complexity; and finally, cultural inheritance of hunting tools and know-how made the transition unique. I further argue that this “first step” was actually (...) a two-stage process where first indexical and iconic signs evolved to coordinate recruitment for the hunt; then later, in the second stage, the complexity of this communication system increased as a response to the increased demand to coordinate group-hunting effort (including division of labor). I provide a review of the fossil record and show that the available evidence is fully compatible with the theory. (shrink)

The class $$\mathsf{TPA}$$ TPA of t rue p airing a lgebras is defined to be the class of relation algebras expanded with concrete set theoretical projection functions. The main results of the present paper is that neither the equational theory of $$\mathsf{TPA}$$ TPA nor the first order theory of $$\mathsf{TPA}$$ TPA are decidable. Moreover, we show that the set of all equations valid in $$\mathsf{TPA}$$ TPA is exactly on the $$\Pi ^1_1$$ Π 1 1 level. We consider the class $$\mathsf{TPA}^-$$ (...) TPA - of the relation algebra reducts of $$\mathsf{TPA}$$ TPA ’s, as well. We prove that the equational theory of $$\mathsf{TPA}^-$$ TPA - is much simpler, namely, it is recursively enumerable. We also give motivation for our results and some connections to related work. (shrink)

The honesty of animal communication is in the spot lights in the last 30 years. During most of this time the field was dominated by one explanation: Zahavi’s handicap principle (Zahavi, J Theor Biol 67:603–605, 1975 ; Grafen, J Theor Biol 144:517–546, 1990 ). Grose (Biol Philos 2011 ) embarks to explain both the success of the theory and the empirical difficulties that exist despite this success. While I wholeheartedly agree with the criticism offered by Grose and with almost all (...) the claims he makes, the treatment of the issue is far from complete and it still leaves much to be explained. Accordingly, my commentary consist of six sections: in the first section I clear up some technical issues left unexposed, most importantly the role of strategic cost in handicap signalling; in the second section I relate this to empirical testing; in the next section I comment on the historical development of the handicap principle; in the fourth section I review the biological models that came up with conclusions that contradict the handicap principle; in the fifth section I discuss the reasons behind the success of the handicap theory; finally, in the last section I discuss the application of the handicap theory to anthropology and human sciences. (shrink)

The class \ of t rue p airing a lgebras is defined to be the class of relation algebras expanded with concrete set theoretical projection functions. The main results of the present paper is that neither the equational theory of \ nor the first order theory of \ are decidable. Moreover, we show that the set of all equations valid in \ is exactly on the \ level. We consider the class \ of the relation algebra reducts of \ ’s, (...) as well. We prove that the equational theory of \ is much simpler, namely, it is recursively enumerable. We also give motivation for our results and some connections to related work. (shrink)

In this paper we define computationally well-behaved versions of classical first-order logic and prove that the validity problem is decidable.

Weather imagery plays a major role in Hosea. Hosea 2 recalls the image of an unfaithful wife; Hosea 4:2-3 describes the withering of the land; in 6:3; 10:12; 14:6, the several types of precipitation draw attention to the utterance of YHWH or the requested righteousness; in 9:10.13.16; 10:1; 13:5; 14:6.8, Israel is symbolised by different plants that blossom and wither, depending on their relation to Yhwh. In all of these instances, weather phenomena contribute to these images. In this article, I (...) try to catalogue and evaluate the metaphors and concepts to look at how meteorological images convey theological and historical messages, and vice versa how historical events or sociological procedures demonstrate their consequences in nature, especially in the weather. It seems that weather imagery is used to describe the consequences of idolatry, injustice and false politics. These cause drought and famine in a concrete sense, but the withering of Israel figuratively, the last word of the book is a call for repentance that could ensure Israel's well-being once again. With these metaphors, Hosea explicitly delivers a plea for monolatry and righteousness, as well as for equality, in an implicit way. These pieces of evidence can provide a basis for further interpretation from the hermeneutical perspective of the notion called 'interconnectedness'. CONTRIBUTION: This article analyses the weather imagery of the Book of Hosea and contributes to a better understanding of the use of these metaphors in prophetic discourses. (shrink)

Traces of thoughts. The place of a theology of the Septuagint in biblical scholarship: In the past decades, research has raised the idea of a theology of the Septuagint (LXX) on various occasions. Important works were recently published on this topic in the Handbuch zur Septuaginta and the Septuagint and Cognate Studies series. The general theological tendencies of the LXX are identified by scholars in eschatology, messianism, anti-anthropomorphism and angelology. These tend to all be regarded as further developments of the (...) theology of the Hebrew Bible (HB). However, one can trace the evolution of these and other main topics of the LXX in the New Testament (NT) and in the later apostolic writings as well. Based on three concise case studies, I point out the evolution of theological ideas from the HB through the LXX up to the NT in this paper. First, I will discuss the importance of the ‘Name of God’-theology which is increasingly present in the LXX and has a key role in the messianic passages of the NT. Then in two points it will be argued that addressing Jesus as κύριος implies theological accents which can be detected in the LXX. These observations aim to show that the development of the religious ideologies of the HB can be followed not only in the LXX but in the NT and beyond as well. The importance of a theology of the LXX goes beyond the HB research, having significant implications for the NT as well. In fact, such theology could build the bridge between the HB and the NT, and should not only be written from the viewpoint of the HB but also considering the NT. Contribution: This contribution traces the routes of three theological concepts originating in the Hebrew Bible developed further in the LXX and finally adopted by the New Testament. Based on these three examples, it is suggested here as a novel idea that a theology of the LXX should not be written only with the Hebrew Bible in mind but also considering the New Testament. (shrink)

In the past decades, research has raised the idea of a theology of the Septuagint on various occasions. Important works were recently published on this topic in the Handbuch zur Septuaginta and the Septuagint and Cognate Studies series. The general theological tendencies of the LXX are identified by scholars in eschatology, messianism, anti-anthropomorphism and angelology. These tend to all be regarded as further developments of the theology of the Hebrew Bible. However, one can trace the evolution of these and other (...) main topics of the LXX in the New Testament and in the later apostolic writings as well. Based on three concise case studies, I point out the evolution of theological ideas from the HB through the LXX up to the NT in this paper. First, I will discuss the importance of the 'Name of God'-theology which is increasingly present in the LXX and has a key role in the messianic passages of the NT. Then in two points it will be argued that addressing Jesus as κύριος implies theological accents which can be detected in the LXX. These observations aim to show that the development of the religious ideologies of the HB can be followed not only in the LXX but in the NT and beyond as well. The importance of a theology of the LXX goes beyond the HB research, having significant implications for the NT as well. In fact, such theology could build the bridge between the HB and the NT, and should not only be written from the viewpoint of the HB but also considering the NT. CONTRIBUTION: This contribution traces the routes of three theological concepts originating in the Hebrew Bible developed further in the LXX and finally adopted by the New Testament. Based on these three examples, it is suggested here as a novel idea that a theology of the LXX should not be written only with the Hebrew Bible in mind but also considering the New Testament. (shrink)

We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of substructural logics.

In this commentary I argue that the notion of incommensurability can be extended to the child's developing theories of mind. I use Carey's concept of Quinian bootstrapping and show that this learning process can account for the acquisition of the semantics of mental terms. I suggest a distinction among three stages of acquisition and adopt the theory–theory of conceptual development.

Glossolalia (“speaking in tongues”) is a rhythmic utterance of word‐like strings of sounds, regularly occurring in religious mass gatherings or various forms of private religious practices (e.g., prayer and meditation). Although specific verbal learning capacities may characterize glossolalists, empirical evidence is lacking. We administered three statistical learning tasks (artificial grammar, phoneme sequence, and visual‐response sequence) to 30 glossolalists and 30 matched control volunteers. In artificial grammar, participants decide whether pseudowords and sentences follow previously acquired implicit rules or not. In sequence (...) learning, they gradually draw out rules from repeating regularities in sequences of speech sounds or motor responses. Results revealed enhanced artificial grammar and phoneme sequence learning performances in glossolalists compared to control volunteers. There were significant positive correlations between daily glossolalia activity and artificial grammar learning. These results indicate that glossolalists exhibit enhanced abilities to extract the statistical regularities of verbal information, which may be related to their unusual language abilities. (shrink)

Cognitive Science, Volume 46, Issue 7, July 2022.

An increasing number of Muslim asylum seekers and refugees convert to Christianity in Europe. The conversion motifs in these individuals are unknown. In this study, we applied biographical interviews in 124 converts. There were two dominant patterns: intellectual —intellectual plus experimental motifs, and mystical —mystical plus affectional motifs. Pure experimental and affectional motifs were rare, and there were no revivalist and coercive motifs. Demographic parameters did not predict conversion motifs. We found no evidence for social pressure. These results indicate that (...) finding meaning and consolation in Christian religious teachings and mystical experiences with a high emotional content are the two leading religious conversion motifs. (shrink)

Human language and human music are both unique communication systems that evolved in the human lineage. Here, I propose that they share the same root, they evolved from an ancestral communication system yet to be described in detail. I suggest that pre-hunt charade was this shared root, which helped organize and coordinate the hunt of early hominins.

We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results.

In this paper we show that relativized versions of relation set algebras and cylindric set algebras have undecidable equational theories if we include coordinatewise versions of the counting operations into the similarity type. We apply these results to the guarded fragment of first-order logic.

We look at lower semilattice-ordered residuated semigroups and, in particular, the representable ones, i.e., those that are isomorphic to algebras of binary relations. We will evaluate expressions in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural logics.

In this paper we show that relativized versions of relation set algebras and cylindric set algebras have undecidable equational theories if we include coordinatewise versions of the counting operations into the similarity type. We apply these results to the guarded fragment of first-order logic.

We consider the problem of the product finite model property for binary products of modal logics. First we give a new proof for the product finite model property of the logic of products of Kripke frames, a result due to Shehtman. Then we modify the proof to obtain the same result for logics of products of Kripke frames satisfying any combination of seriality, reflexivity and symmetry. We do not consider the transitivity condition in isolation because it leads to infinity axioms (...) when taking products. (shrink)

The problem of whether Lambek Calculus is complete with respect to (w.r.t.) relational semantics, has been raised several times, cf. van Benthem (1989a) and van Benthem (1991). In this paper, we show that the answer is in the affirmative. More precisely, we will prove that that version of the Lambek Calculus which does not use the empty sequence is strongly complete w.r.t. those relational Kripke-models where the set of possible worlds,W, is a transitive binary relation, while that version of the (...) Lambek Calculus where we admit the empty sequence as the antecedent of a sequent is strongly complete w.r.t. those relational models whereW=U×U for some setU. We will also look into extendability of this completeness result to various fragments of Girard's Linear Logic as suggested in van Benthem (1991), p. 235, and investigate the connection between the Lambek Calculus and language models. (shrink)

We prove that algebras of binary relations whose similarity type includes intersection, union, and one of the residuals of relation composition form a nonfinitely axiomatizable quasivariety and that the equational theory is not finitely based. We apply this result to the problem of the completeness of the positive fragment of relevance logic with respect to binary relations.

The aim of this paper is to give a new proof for the decidability and finite model property of first-order logic with two variables (without function symbols), using a combinatorial theorem due to Herwig. The results are proved in the framework of polyadic equality set algebras of dimension two (Pse 2 ). The new proof also shows the known results that the universal theory of Pse 2 is decidable and that every finite Pse 2 can be represented on a finite (...) base. Since the class Cs 2 of cylindric set algebras of dimension 2 forms a reduct of Pse 2 , these results extend to Cs 2 as well. (shrink)

It is generally assumed that the developmental program of embryogenesis relies on epigenetic mechanisms. However, a mechanistic link between epigenetic marks and cell fate decisions had not been established so far. In a recent article, Torres‐Padilla and colleagues1 show that epigenetic information and, more precisely, histone arginine methylation mediated by CARM1 could contribute to cell fate decisions in the mouse 4‐cell‐stage embryo. It provides the first indications that global epigenetic information influences allocation of pluripotent cells toward the first cell lineages. (...) BioEssays 29:520–524, 2007. © 2007 Wiley Periodicals, Inc. (shrink)

Demonic composition, demonic refinement and demonic union are alternatives to the usual ‘angelic’ composition, angelic refinement (inclusion) and angelic (usual) union defined on binary relations. We first motivate both the angelic and the demonic via an analysis of the behaviour of non-deterministic programs, with the angelic associated with partial correctness and demonic with total correctness, both cases emerging from a richer algebraic model of non-deterministic programs incorporating both aspects. Zareckiĭ has shown that the isomorphism class of algebras of binary relations (...) under angelic composition and inclusion is finitely axiomatized as the class of ordered semigroups. The proof can be used to establish that the same axiomatization applies to binary relations under demonic composition and refinement, and a further modification of the proof can be used to incorporate a zero element representing the empty relation in the angelic case and the full relation in the demonic case. For the signature of angelic composition and union, it is known that no finite axiomatization exists, and we show the analogous result for demonic composition and demonic union by showing that the same axiomatization holds for both. We show that the isomorphism class of algebras of binary relations with the ‘mixed’ signature of demonic composition and angelic inclusion has no finite axiomatization. As a contrast, we show that the isomorphism class of partial algebras of binary relations with the partial operation of constellation product and inclusion (also a ‘mixed’ signature) is finitely axiomatizable. (shrink)

We show that the variety of weakly representable relation algebras is neither canonical nor closed under Monk completions.

The aim of this paper is to give a new proof for the decidability and finite model property of first-order logic with two variables, using a combinatorial theorem due to Herwig. The results are proved in the framework of polyadic equality set algebras of dimension two. The new proof also shows the known results that the universal theory of Pse$_2$ is decidable and that every finite Pse$_2$ can be represented on a finite base. Since the class Cs$_2$ of cylindric set (...) algebras of dimension 2 forms a reduct of Pse$_2$, these results extend to Cs$_2$ as well. (shrink)

In this paper, we introduce a general technology, calledtaming, for finding well-behaved versions of well-investigated logics. Further, we state completeness, decidability, definability and interpolation results for a multimodal logic, calledarrow logic, with additional operators such as thedifference operator, andgraded modalities. Finally, we give a completeness proof for a strong version of arrow logic.

Henkin and Tarski proved that an atomic cylindric algebra in which every atom is a rectangle must be representable . This theorem and its analogues for quasi-polyadic algebras with and without equality are formulated in Henkin, Monk and Tarski [13]. We introduce a natural and more general notion of rectangular density that can be applied to arbitrary cylindric and quasi-polyadic algebras, not just atomic ones. We then show that every rectangularly dense cylindric algebra is representable, and we extend this result (...) to other classes of algebras of logic, for example quasi-polyadic algebras and substitution-cylindrification algebras with and without equality, relation algebras, and special Boolean monoids. The results of op. cit. mentioned above are special cases of our general theorems. We point out an error in the proof of the Henkin-Monk-Tarski representation theorem for atomic, equality-free, quasi-polyadic algebras with rectangular atoms. The error consists in the implicit assumption of a property that does not, in general, hold. We then give a correct proof of their theorem. Henkin and Tarski also introduced the notion of a rich cylindric algebra and proved in op. cit. that every rich cylindric algebra of finite dimension satisfying certain special identities is representable. We introduce a modification of the notion of a rich algebra that, in our opinion, renders it more natural. In particular, under this modification richness becomes a density notion. Moreover, our notion of richness applies not only to algebras with equality, such as cylindric algebras, but also to algebras without equality. We show that a finite dimensional algebra is rich iff it is rectangularly dense and quasi-atomic; moreover, each of these conditions is also equivalent to a very natural condition of point density . As a consequence, every finite dimensional rich algebra of logic is representable. We do not have to assume the validity of any special identities to establish this representability. Not only does this give an improvement of the Henkin-Tarski representation theorem for rich cylindric algebras, it solves positively an open problem in op. cit. concerning the representability of finite dimensional rich quasi-polyadic algebras without equality. (shrink)

Research in various disciplines has highlighted that humans are uniquely able to solve the problem of cooperation through the informal mechanisms of reputation and gossip. Reputation coordinates the evaluative judgments of individuals about one another. Direct observation of actions and communication are the essential routes that are used to establish and update reputations. In large groups, where opportunities for direct observation are limited, gossip becomes an important channel to share individual perceptions and evaluations of others that can be used to (...) condition cooperative action. Although reputation and gossip might consequently support large-scale human cooperation, four puzzles need to be resolved to understand the operation of reputation-based mechanisms. First, we need empirical evidence of the processes and content that form reputations and how this may vary cross-culturally. Second, we lack an understanding of how reputation is determined from the muddle of imperfect, biased inputs people receive. Third, coordination between individuals is only possible if reputation sharing and signaling is to a large extent reliable and valid. Communication, however, is not necessarily honest and reliable, so theoretical and empirical work is needed to understand how gossip and reputation can effectively promote cooperation despite the circulation of dishonest gossip. Fourth, reputation is not constructed in a social vacuum; hence we need a better understanding of the way in which the structure of interactions affects the efficiency of gossip for establishing reputations and fostering cooperation. (shrink)

IntroductionMentalizing is a key aspect of social cognition. Several researchers assume that mentalization has two systems, an explicit one and an implicit one. In schizophrenia, several studies have confirmed the deficit of explicit mentalizing, but little data are available on non-explicit mentalizing. However, increasing research activity can be detected recently in implicit mentalizing. The aim of this systematic review and meta-analysis is to summarize the existing results of implicit mentalizing in schizophreniaMethodsA systematic search was performed in four major databases: MEDLINE, (...) EMBASE, Cochrane Central Register of Controlled Trials, Web of Science. Eleven publications were selected. Five studies were found to be eligible for quantitative synthesis, and 9 studies were included in qualitative synthesis.ResultsThe meta-analysis revealed significantly lower accuracy, slower reaction time during implicit mentalizing in patients with schizophrenia. The systematic review found different brain activation pattern, further alterations in visual scanning, cue fixation, face looking time, and difficulties in perspective taking.DiscussionOverall, in addition to the deficit of explicit mentalization, implicit mentalization performance is also affected in schizophrenia, if not to the same extent. It seems likely that some elements of implicit mentalization might be relatively unaffected, but the effectiveness is limited by certain neurocognitive deficits. These alterations in implicit mentalizing can also have potential therapeutic consequences.Systematic Review Registration:https://www.crd.york.ac.uk/prospero/, identifier: CRD42021231312. (shrink)

Recently M. Szabolcs [12] has shown that many substructural logics including Lambek CalculusL are complete with respect to relativized Relational Semantics. The current paper proves that it is sufficient forL to consider a relativization to the relation x dividesy in some fixed semigroupG.