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.

How (Not) to Be Secular is what Jamie Smith calls "your hitchhiker's guide to the present" -- it is both a reading guide to Charles Taylor's monumental work A Secular Age and philosophical guidance on how we might learn to live in our times. Taylor's landmark book A Secular Age (2007) provides a monumental, incisive analysis of what it means to live in the post-Christian present -- a pluralist world of competing beliefs and growing unbelief. Jamie Smith's book is a (...) compact field guide to Taylor's insightful study of the secular, making that very significant but daunting work accessible to a wide array of readers. Even more, though, Smith's How (Not) to Be Secular is a practical philosophical guidebook, a kind of how-to manual on how to live in our secular age. It ultimately offers us an adventure in self-understanding and maps out a way to get our bearings in today's secular culture, no matter who "we" are -- whether believers or skeptics, devout or doubting, self-assured or puzzled and confused. This is a book for any thinking person to chew on. (shrink)

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)

Practical deliberation often involves conditional judgements about what will (likely) happen if certain alternatives are pursued. It is widely assumed that the conditionals useful in deliberation are counterfactual or subjunctive conditionals. Against this, I argue that the conditionals of deliberation are indicatives. Key to the argument is an account of the relation between 'straightforward' future-directed conditionals like ' If the house is not painted, it will soon look quite shabby' and * "w e r e ' ' e d F (...) D C s like ' If the house were not to be painted, it would soon look quite shabby': an account on which both of these types of FDCs are grouped with the indicatives for semantic treatment and on which, while conditionals of both types are properly used in means/ends deliberations, those of the ' were'ed-up variety are especially well suited for that purpose. (shrink)

'Pataphysics: The Poetics of an Imaginary Science is a survey that attempts to describe a hypothetic philosophy--the avant-garde pseudo-science imagined by Alfred Jarry. 'Pataphysics is a supplement to metaphysics, accenting it, then replacing it, in order to create a philosophic alternative, whose discipline can study cases, not of conception, but of exception: variance , alliance , and deviance . 'Pataphysics synthesizes the romantic schism between a literal, scientized discourse and a figural, poeticized discourse, and my thesis suggests that this revision (...) of the signifier "science" by 'pataphysics is symptomatic of a postmodern transition in science from a paradigm of absolutism to a paralogy of relativism. Structured as a descriptive explication, which emphasizes a theoretical perspective, this survey is divided into five chapters: the first chapter recounts the history of the conflict between science and poetry ; the second chapter examines the avant-garde pseudo-science of 'pataphysics itself ; and finally, the last three chapters discuss the influence of 'pataphysics upon the poetics of its subsequent successors . While my thesis focuses upon theories of textual poetics rather than poetry itself , my thesis does nevertheless strive to be as conceptually encyclopedic as 'pataphysics itself: instead of normalizing 'pataphysics within one theoretical perspective, this survey alludes intermittently to 'pataphysical enterprises that constitute exceptions to such a genealogy of Jarryites. What is at stake is the status of poetry in a world of science. How might poetry reclaim its own viable truth? How might science benefit from its own poetic irony? For the postmodern condition, such questions have already opened up a novel space for speculative imagination; hence, this survey presents itself as a kind of primer for a future of possible research. (shrink)

This article explores the enduring mysteries of consciousness and the afterlife, two enigmatic topics that have fascinated humanity for ages. Despite extensive scientific efforts, the existence of an afterlife remains unproven, and understanding consciousness remains a significant challenge. The research introduces innovative hypotheses through simple thought experiments with empirical evidence and robust theoretical foundations. It delves into the complexities of consciousness, its relationship with the brain, and the need for interdisciplinary approaches encompassing physics, psychology, and philosophy. Boldly contemplating the probability (...) of a continuous consciousness after death, the study argues that existing evidence strongly supports this idea. Beyond theoretical implications, it envisions practical outcomes, suggesting that insights into these mysteries could enhance human well-being and contribute to a more harmonious world. In summary, this article embarks on a quest to shed light on age-old questions about consciousness and the afterlife. Through fresh methodologies, it aims to provide new perspectives that could reshape our understanding of existence and inspire intellectuals to positive individual and societal advancements. -/- . (shrink)

are ambiguous. In the mouth of someone who cannot remember whether it was Michael, or rather someone else, who was top scorer, can express the epistemic possibility that Michael led the league in scoring. But from someone who knows that Michael did not even play last season, but is wondering what would have happened if he had, means something quite different. Now where it has this quite different meaning, may still turn out to be the expression of some epistemic possibility. (...) Perhaps where does not express the epistemic possibility of ‘Michael led the league in scoring’, it expresses the epistemic possibility of ‘Michael would have led the league in scoring’. Analysis of this ‘would have’ statement, together with an exploration of the suspicion that the ‘might have’ statement is ambiguous between these two epistemic possibilities, will have to await another occasion. The important point for present purposes is that is ambiguous between an expression of the epistemic possibility of ‘Michael led the league in scoring’ and some quite different reading. (shrink)

What are the criteria for reasonable clinical judgements? The reasonableness of macro-level decision-making has been much discussed, but little attention has been paid to the reasonableness of applying guidelines generated at a macro-level to individual cases. This paper considers a framework for reasonable clinical decision-making that will capture cases where relevant guidelines cannot reasonably be followed. There are three main sections. (1) Individual claims on healthcare from the point of view of concerns about equity are analysed. (2) The demands of (...) responsibility and equity on professional clinical performance are discussed, and how the combination of these demands emerges into seven requirements that constitute the framework is explored. Since this framework is developed to assist in reasonable clinical decision-making, practical implications of all these requirements are also suggested. (3) Challenges concerning the framework are discussed. First, a crucial presumption that the framework relies upon is considered—namely, clinicians’ willingness to justify their decisions as requested. Then how public deliberation may influence clinical decision-making is discussed. Next is a consideration of how clinicians’ need to have confidence in their own judgements in order to perform in a manner worthy of trust would be compatible with adherence to the framework supported by public deliberation. It is concluded that fair distribution in the interplay between macro- and micro-level considerations can be secured by legitimising procedures on each level, by ensuring well-organised and continuing public debate and by basing individual clinical judgements upon well-justified and principled normative bases. (shrink)

It is only when mixing two or more pure substances along a reversible path that the entropy of the mixing can be made physically manifest. It is not, in this case, a mere mathematical artifact. This mixing requires a process of successive stages. In any finite number of stages, the external manifestation of the entropy change, as a definite and measurable quantity of heat, isa fully continuous function of the relevant variables. It is only at an infinite and unattainable limit (...) thata non-uniform convergence occurs. And this occurs when considered in terms of the number of stages together with a distinguishability parameter appropriate to the particular device which is used to achieve reversibility. These considerations, which are of technological interest to chemical engineers, resolve a paradox derived in chemical theory called Gibbs'' Paradox. (shrink)