The concept of culture is an integral part of contemporary psychology. However, a mindless use of the concepts and practices traditionally prevalent in academic psychology may lead us into theoretical quandaries borne out of the age old controversy about the nature of psychology as a natural or cultural science. This paper attempts to resolve the quandaries by clarifying a conceptual distinction and relation between interpretive and explanatory psychological theories under a neo-diffusionist metatheory of culture, the view of culture as interpersonally (...) and intrapersonally distributed non-genetically transmitted information. We then outline and advocate both interpretive and explanatory research programs in psychological studies of culture, arguing for 'experimental semiotics' as an interpretive research program in the methodological tradition of experimentation. 2012 APA, all rights reserved). (shrink)

Parochial altruism is manifested in the most violent of conflicts. Although it makes evolutionary sense for kin, many non-kin groups also behave parochially altruistically in response to threat from out-groups. It is possible that such non-kin groups share a sense of “fictive” kinship which encourages them to behave parochially altruistically for each other’s benefit. Our findings show that individuals not directly involved in a conflict approved of parochial altruism enacted by an in-group against an out-group more when the out-group posed (...) a threat to the in-group; however, this effect wasgreaterwhen the in-group members expressed fictive kinship by addressing each other using kinship metaphors such as “brothers.” Furthermore, although males approved of parochial altruism more than females, as the male warrior hypothesis would suggest, the effects of threat and kinship metaphor on approval of parochial altruism applied to both genders. These findings were replicated in an honour and non-honour culture. (shrink)

Emotion is critical for cultural dynamics, that is, for the formation, maintenance, and transformation of culture over time. We outline the component micro- and macro-level processes of cultural dynamics, and argue that emotion not only facilitates the transmission and retention of cultural information, but also is shaped and crafted by cultural dynamics. Central to this argument is our understanding of emotion as a complete information package that signals the adaptive significance of the information that the agent is processing. It captures (...) an agent’s appraisal about the relationship between themself and the object of emotional focus, as well as action orientation and allostasis in context. We discuss implications of this perspective in the context of the changing natural and geopolitical environment, and future cultural dynamics into the 21st century. (shrink)

Projecting essence onto a social category means to think, talk, and act as if the category were a discrete natural kind and as if its members were all endowed with the same immutable attributes determined by the category's essence. Essentializing may happen implicitly or on purpose in representing ingroups and outgroups. We argue that essentializing is a versatile representational tool that is used to create identity in groups with chosen membership in order to make the group appear as a unitary (...) entity, that outsiders often draw on a group's essentialist self-construal in their judgements about the groups, that judgements about members of forced social categories are often informed by essentialist thinking that easily switches to discrimination and racism, and that under certain historical and political conditions members of social categories and groups may contest their essentialized identity, such as parts of the feminist movement, or that they may attempt to reconstruct an essentialized identity, such as parts of the homosexual movement or the largely defunct European nobility. Besides explicit political and power interests, we see communication processes and language use as a tacit force driving essentialization of social categories. (shrink)

The third author gave a natural deduction style proof system called the \-calculus for implicational fragment of classical logic in. In -calculus, 2015, Post-proceedings of the RIMS Workshop “Proof Theory, Computability Theory and Related Issues”, to appear), the fourth author gave a natural subsystem “intuitionistic \-calculus” of the \-calculus, and showed the system corresponds to intuitionistic logic. The proof is given with tree sequent calculus, but is complicated. In this paper, we introduce some reduction rules for the \-calculus, and give (...) a simple and purely syntactical proof to the theorem by use of the reduction. In addition, we show that we can give a computation model with rich expressive power with our system. (shrink)

Regarding strictly monadic second‐order logic (SMSOL), which is the fragment of monadic second‐order logic in which all predicate constants are unary and there are no function symbols, we show that a standard deductive system with full comprehension is sound and complete with respect to standard semantics. This result is achieved by showing that in the case of SMSOL, the truth value of any formula in a faithful identity‐standard Henkin structure is preserved when the structure is “standardized”; that is, the predicate (...) domain is expanded into the set of all unary relations. In addition, we obtain a simpler proof of the decidability of SMSOL. (shrink)

The logic CD is an intermediate logic which exactly corresponds to the Kripke models with constant domains. It is known that the logic CD has a Gentzen-type formulation called LD and rules are replaced by the corresponding intuitionistic rules) and that the cut-elimination theorem does not hold for LD. In this paper we present a modification of LD and prove the cut-elimination theorem for it. Moreover we prove a “weak” version of cut-elimination theorem for LD, saying that all “cuts” except (...) some special forms can be eliminated from a proof in LD. From these cut-elimination theorems we obtain some corollaries on syntactical properties of CD: fragments collapsing into intuitionistic logic. Harrop disjunction and existence properties, and a fact on the number of logical symbols in the axiom of CD. (shrink)

We introduce several restricted versions of the structural rules in the implicational fragment of Gentzen's sequent calculus LJ. For example, we permit the applications of a structural rule only if its principal formula is an implication. We investigate cut-eliminability and theorem-equivalence among various combinations of them. The results include new cut-elimination theorems for the implicational fragments of the following logics: relevant logic E, strict implication S4, and their neighbors (e.g., E-W and S4-W); BCI-logic, BCK-logic, relevant logic R, and the intuitionistic (...) logic. (shrink)

The semilattice relevant logics ∪R, ∪T, ∪RW, and ∪TW are defined by semilattice models in which conjunction and disjunction are interpreted in a natural way. For each of them, there is a cut-free labelled sequent calculus with plural succedents . We prove that these systems are equivalent, with respect to provable formulas, to the restricted systems with single succedents . Moreover, using this equivalence, we give a new Hilbert-style axiomatizations for ∪R and ∪T and prove equivalence between two semantics for (...) the contractionless logics ∪RW and ∪TW. (shrink)

We establish the “contraction-elimination theorem” which means that if a sequent Γ A is provable in the implicational fragment of the Gentzen's sequent calculus LK and if it satisfies a certain condition on the number of the occurrences of propositional variables, then it is provable without the right contraction rule. By this theorem, we get the following.1. If an implicational formula A is a theorem of classical logic and is not a theorem of intuitionistic logic, then there is a propositional (...) variable which occurs at least once positively and at least twice negatively in A → a) → a).2. If an implicational formula A is a theorem of intuitionistic logic and is not a theorem of BCK-logic, then there is a propositional variable which occurs at least twice positively and at least once negatively in A → a → b).We prove the contraction-elimination theorem by a fully syntactical method, which has some analogy with Gentzen's cut-elimination. (shrink)

Although applauding Pickering & Garrod's (P&G's) attempt to ground language use in the ideomotor perception-action link, which provides an of embodied social interaction, we suggest that it needs to be complemented by an additional control mechanism that modulates its operation in the service of the language users' communicative intentions. Implications for intergroup relationships and intercultural communication are discussed.

Let ℸ be the set of Gödel numbers Gn of function symbols f such that PRA ⊢ and let γ be the function such that equation imageWe prove: The r. e. set ℸ is m-complete; the function γ is not primitive recursive in any class of functions {f1, f2, ⃛} so long as each fi has a recursive upper bound. This implies that γ is not primitive recursive in ℸ although it is recursive in ℸ.

Barendregt gave a sound semantics of the simple type assignment system λ → by generalizing Tait’s proof of the strong normalization theorem. In this paper, we aim to extend the semantics so that the completeness theorem holds.

Cultural evolutionary theory has identified a range of cognitive biases that guide human social learning. Naturalistic and experimental studies indicate transmission biases favoring negative and positive information. To address these conflicting findings, the present study takes a socially situated view of information transmission, which predicts that bias expression will depend on the social context. We report a large‐scale experiment (N = 425) that manipulated the social context and examined its effect on the transmission of the positive and negative information contained (...) in a narrative text. In each social context, information was progressively lost as it was transmitted from person to person, but negative information survived better than positive information, supporting a negative transmission bias. Importantly, the negative transmission bias was moderated by the social context: Higher social connectivity weakened the bias to transmit negative information, supporting a socially situated account of information transmission. Our findings indicate that our evolved cognitive preferences can be moderated by our social goals. (shrink)

This paper introduces sequent systems for Visser's two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.

The Komori–Kashima problem, that asks whether the implicational intermediate logics axiomatizable by formulas minimal in classical logic are only intuitionistic logic and classical logic, has stood for over a decade. In this paper, we give a counter-example to this problem. Additionally, we also give some open problems derived from this result.

In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb as a logic for hyperintensional contexts. On the one hand we introduce a simple \-system employing rules of contraposition. On the other hand we present a \-system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, we expand the (...) calculus by connections as introduced in Kashima and Shimura. (shrink)

In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb as a logic for hyperintensional contexts. On the one hand we introduce a simple \-system employing rules of contraposition. On the other hand we present a \-system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, we expand the (...) calculus by connections as introduced in Kashima and Shimura. (shrink)