We consider arrow logics (i.e., propositional multi-modal logics having three -- a dyadic, a monadic, and a constant -- modal operators) augmented with various kinds of infinite counting modalities, such as 'much more', 'of good quantity', 'many times'. It is shown that the addition of these modal operators to weakly associative arrow logic results in finitely axiomatizable and decidable logics, which fail to have the finite base property.

It is shown that the many-dimensional modal logic K n , determined by products of n-many Kripke frames, is not finitely axiomatisable in the n-modal language, for any $n > 2$ . On the other hand, K n is determined by a class of frames satisfying a single first-order sentence.

We give an overview of decidability results for modal logics having a binary modality. We put an emphasis on the demonstration of proof-techniques, and hope that this will also help in finding the borderlines between decidable and undecidable fragments of usual first-order logic.

Appraisal theories of emotion have two fundamental assumptions: (a) that there are regularities to be discovered between situations and components of emotional episodes, and (b) that the influence of these situations on these components is causally mediated by a mental process called appraisal. Appraisal theories come in different flavors, proposing different to-be-explained phenomena and different underlying mechanisms for the influence of appraisal on the other components.

Straipsnyje nagrinėjama klimato kaitos suvokimo problematika. Remiantis „Šešių Amerikų“ (angl. Six Americas) tyrimo metodologija analizuojami 2022 m. atliktos reprezentatyvios Lietuvos gyventojų apklausos duomenys. Gauti rezultatai leidžia identifikuoti šalies gyventojų auditorijų segmentus bei jų požiūrių į klimato kaitą skirtumus. Atlikus tyrimą nustatyta, kad Lietuvoje egzistuoja visų tipų auditorijos, tarp kurių dominuoja „susirūpinusiųjų“ ir „atsargiųjų“ segmentai, o šių segmentų turimos nuostatos klimato kaitos atžvilgiu reikšmingai skiriasi.

Aspiration by Agnes Callard locates standing assumptions in the theory of rationality, moral psychology and autonomy that preclude the possibility of working to acquire new values. The book also explains what changes need to be made if we are to make room for this form of agency, which I call aspiration.

The debate about the nature of modernity and postmodernity has become central to intellectual culture today. In this work, two distinguished social theorists make a distinctive contribution to this continuing discussion.

There are two known general results on the finite model property of commutators [L0,L1]. If L is finitely axiomatizable by modal formulas having universal Horn first-order correspondents, then both [L,K] and [L,S5] are determined by classes of frames that admit filtration, and so they have the fmp. On the negative side, if both L0 and L1 are determined by transitive frames and have frames of arbitrarily large depth, then [L0,L1] does not have the fmp. In this paper we show that (...) commutators with a “weakly connected” component often lack the fmp. Our results imply that the above positive result does not generalize to universally axiomatizable component logics, and even commutators without “transitive” components such as [K3,K] can lack the fmp. We also generalize the above negative result to cases where one of the component logics has frames of depth one only, such as [S4.3,S5] and the decidable product logic S4.3×S5. We also show cases when already half of commutativity is enough to force infinite frames. (shrink)

Objections to the use of historical case studies for philosophical ends fall into two categories. Methodological objections claim that historical accounts and their uses by philosophers are subject to various biases. We argue that these challenges are not special; they also apply to other epistemic practices. Metaphysical objections, on the other hand, claim that historical case studies are intrinsically unsuited to serve as evidence for philosophical claims, even when carefully constructed and used, and so constitute a distinct class of challenge. (...) We show that attention to what makes for a canonical case can address these problems. A case study is canonical with respect to a particular philosophical aim when the features relevant to that aim provide a reasonably complete causal account of the results of the historical process under investigation. We show how to establish canonicity by evaluating relevant contingencies using two prominent examples from the history of science: Eddington’s confirmation of Einstein’s theory of general relativity using his data from the 1919 eclipse and Watson and Crick’s determination of the structure of DNA. (shrink)

In this paper, I take scientific models to be epistemic representations of their target systems. I define an epistemic representation to be a tool for gaining information about its target system and argue that a vehicle’s capacity to provide specific information about its target system—its informativeness—is an essential feature of this kind of representation. I draw an analogy to our ordinary notion of interpretation to show that a user’s aim of faithfully representing the target system is necessary for securing this (...) feature. (shrink)

The practice of relational leadership is essential for dealing with the increasingly urgent and complex social, economic and environmental issues that characterize sustainability. Despite growing attention to both relational leadership and leadership for sustainability, an ethical understanding of both is limited. This is problematic as both sustainability and relational leadership are rife with moral implications. This paper conceptually explores how the moral theory of ‘ethics of care’ can help to illuminate the ethical dimensions of relational leadership for sustainability. In doing (...) so, the implications of ethics of care more broadly for the practice of relational leadership development are elaborated. From a caring perspective, a ‘relational stance’ or logic of effectiveness can be fostered through engaging in a reflective process of moral education through conversation. In starting this dialogue, we can begin to build capacity for relational leadership for sustainability and, thus, support the development of individual well-being and organizational and societal flourishing. (shrink)

We solve a major open problem concerning algorithmic properties of products of ‘transitive’ modal logics by showing that products and commutators of such standard logics as K4, S4, S4.1, K4.3, GL, or Grz are undecidable and do not have the finite model property. More generally, we prove that no Kripke complete extension of the commutator [K4,K4] with product frames of arbitrary finite or infinite depth (with respect to both accessibility relations) can be decidable. In particular, if.

In this paper, I characterize visual epistemic representations as concrete two- or three-dimensional tools for conveying information about aspects of their target systems or phenomena of interest. I outline two features of successful visual epistemic representation: that the vehicle of representation contain sufficiently accurate information about the phenomenon of interest for the user’s purpose, and that it convey this information to the user in a manner that makes it readily available to her. I argue that actual epistemic representation may involve (...) tradeoffs between these and is successful to the extent that they are present. (shrink)

INTRODUCTION Is there a * Renaissance ideal of man'? The consciousness that man is a historical being is a product of bourgeois development ; the condition ...

On doit sans doute admettre que le discours de l’évaluation vient de l’intérêt de quelques hommes pour la production et son contrôle. Ce sont eux qui ont facilité l’implantation du discours de la science dans l’industrie un peu avant et un peu après la Seconde Guerre mondiale.C’est aux États-Unis, dans les années 1930, que Walter Shewhart2 et trois autres scientifiques américains3..

Standard dual-process models in the action domain postulate that stimulus-driven processes are responsible for suboptimal behavior because they take them to be rigid and automatic and therefore the default. We propose an alternative dual-process model in which goal-directed processes are the default instead. We then transfer the dual- process logic from the action domain to the emotion domain. This reveals that emotional behavior is often attributed to stimulus-driven processes. Our alternative model submits that goal-directed processes could be the primary determinant (...) of emotional behavior instead. We evaluate the type of empirical evidence required for validating our model and we consider implications of our model for behavior change, encouraging strategies focused on the expectancies and values of action outcomes. (shrink)

Many appraisal theories claim that appraisal causes emotion. Critics have rejected this claim because they believe (a) it is incompatible with the claim that appraisal is a part of emotion, (b) it is not empirically supported, (c) it is circular and hence nonempirical, and (d) there are alternative causes. I reply that (a) the causal claim is incompatible with the part claim on some but not all interpretations of the causal claim and the part claim, (b) the lack of empirical (...) support can be remedied, (c) there may even be ways to cope with the circularity problem, and (d) it is unclear to what extent the alternative causes differ from appraisal. (shrink)

A lively debate in the literature on moral progress concerns the role of practical reasoning: Does it enable or subvert moral progress? Rationalists believe that moral reasoning enables moral progress, because it helps enhance objectivity in thinking, overcome unruly sentiments, and open our minds to new possibilities. By contrast, skeptics argue that moral reasoning subverts moral progress. Citing growing empirical research on bias, they show that objectivity is an illusion and that moral reasoning merely rationalizes pre-existing biased moral norms. In (...) this article, I argue that both the rationalists and the skeptics fail to understand fully the role of practical reasoning by focusing exclusively on moral reasoning to the neglect of social reasoning. In the first half of the article, I argue against the skeptics by vindicating moral reasoning. I identify a Democratic Model of moral reasoning which is reliable and effective in overcoming bias. In the second part of the article, I argue against the rationalists. Drawing on a paradigmatic case of moral progress, i.e., the British abolition of the slave trade, I illustrate that moral reasoning, even when sound, is insufficient to motivate progressive action. The explanation for this puzzling phenomenon is not that the moral norm against cruelty is inert, as skeptics might suggest. Rather, it is that the moral norm against cruelty was overridden by the social norm of slavery which was tied to the British joint commitments to freedom and national honour. The debate between rationalists and skeptics centers around the moral rationality of human action, failing to recognize that human action is in fact primarily about social rationality. I defend a joint commitment account of social rationality, and offer a novel Communitarian Model of social reasoning which follows the logic of social rationality to revise social norms. I defend the reliability and efficacy of the Communitarian Model of social reasoning by applying it to the abolitionist social movement to show how Britons gave fellow Britons social reasons grounded in their joint commitments to freedom and national honour to end slavery. (shrink)

I present an overview of emotion theories, organised around the question of emotion causation. I argue that theories of emotion causation should ideally address the problems of elicitation, intensity, and differentiation. Each of these problems can be divided into a subquestion that asks about the relation between stimuli and emotions (i.e., the functional level of process description, cf. Marr, 1982) and a subquestion that asks about the mechanism and representations that intervene (i.e., the algorithmic level of process description). The overview (...) reveals that theories of emotion causation sometimes differ with regard to the kind of process that they hold responsible for emotion causation. More precisely, they hold different assumptions regarding the conditions under which the process is supposed to operate (optimal versus suboptimal), the format of the representations involved (propositional versus perceptual), and the object or input of the central process (stimulus versus responses/experience). Further, the overview reveals that theories of emotion causation sometimes differ with regard to the level of process description that they focus on. Finally, the overview brings to light several similarities among the theories discussed. (shrink)

There is a widely recognized dilemma of political epistemic trust. While the public needs to rely on the testimonies of epistemic authorities (e.g. politicians, policymakers, and scientists), it is risky to do so. One source of risk is self-interest. Epistemic authorities are prone to abuse the trust placed in them by misinforming the public for material and social gain. To reap the benefits of trust and mitigate the risk of abuse, liberal political theorists adopt the strategy of cultivating vigilant trust. (...) By enhancing epistemic vigilance and epistemic autonomy, trust is both constrained and intellectualized. This chapter rejects this strategy for two reasons. First, it is undesirable. By over-intellectualizing trust, such an approach deprives trust of its important epistemic and social benefits. Second, it is unnecessary. The risk of abuse is exaggerated. The strategy fails to appreciate that epistemic authorities in virtue of their social roles are typically governed by the social norm of epistemic trustworthiness, not self-interest. The chapter concludes by suggesting an alternative strategy of cultivating trustworthiness. It seeks to strengthen epistemic authorities’ responsiveness to the social norm of epistemic trustworthiness, thereby improving epistemic trust without over-intellectualizing it. It is further outlined how liberal-democratic institutions can implement it. (shrink)

The ecological approach to object pretend play, developed from the ecological perspective, suggests an action- and affordance based perspective to account for pretend object play. Theoretical, as well as empirical reasons, support the view that children in pretense incorporate objects into their play in a resourceful and functionally appropriate way based on the perception of affordances. Therefore, in pretense children are not distorting reality but rather, they are perceiving and acting upon action possibilities. In this paper, we argue for the (...) viability of an ecological theoretical framework to pretend object play which has been traditionally understood as a representational and metarepresentational ability. We discuss the origins and basic assumptions of the ecological approach to pretense. We layout details by presenting a qualitative analysis of a pretend play episode and discuss the results of an experimental study inspired by the ecological assumptions. We discuss pretend object play in the context of ecological work on tool use. We address the relationship between the enactive and the ecological approaches to pretend play, pointing out similarities as well as differences. We conclude that ecological and enactive approaches have shown that it is possible to challenge accepted interpretations and seek explanatory frameworks that could move the field in new directions. (shrink)

The association of celebrity worship with mental health concerns has been extensively studied in the past two decades. However, there is a lack of research on basic demographic characteristics that can potentially alter the link between celebrity admiration and different aspects of mental health. The present study investigates the possible moderating role of gender, age, and opposite/same-gender celebrity selection on the association of celebrity worship with general well-being, self-esteem and perceived daytime sleepiness. A total of 1763 Hungarian adults completed an (...) online survey focusing on attitudes and behaviors relating to celebrities and mental well-being. The moderation analysis showed that the negative association between celebrity worship and self-esteem was slightly stronger for women than for men, and the association between celebrity worship and perceived daytime sleepiness was slightly stronger for younger individuals than for older ones. Although both gender and age were particularly weak moderators, these results draw the attention to some potential individual differences when interpreting links between celebrity worship and different aspects of mental health. (shrink)

Humans seem to readily track their conspecifics’ mental states, such as their goals and beliefs from early infancy. However, the underlying cognitive architecture that enables such powerful abilities remains unclear. Here I will propose that a basic representational structure, the belief file, could provide the foundation for efficiently encoding, and updating information about, others’ beliefs in online social interactions. I will discuss the representational possibilities offered by the belief file and the ways in which the repertoire of mental state reasoning (...) is shaped by the characteristics of its constituents. A series of questions will be outlined concerning the representational skeleton of the belief file, sketching a possible structure that supports the rapid encoding and re-identification of belief related information. After analyzing the possible limitations of the belief attribution system, I will examine some of its characteristics that might enable a flexibility that is often neglected. I will suggest that operations involving belief files are not impeded by the absence of precise first-person information regarding their contents. In fact, the system permits manipulations with “empty” belief files, allowing humans to ascribe beliefs to conspecifics based on little or no direct information regarding the content of the mental state. Such an analysis aims to advance our understanding of how spontaneous belief attribution may be performed, and to provide an insight into the possible mechanisms that allow humans to successfully navigate the social world. (shrink)

Agnes Arber's international reputation is due in part to her exceptional ability to interpret the German tradition of scholarship for the English-speaking world. The Mind and the Eye is an erudite book, revealing its author's familiarity with philosophy from Plato and Aristotle through Aquinas to Kant and Hegel; but it is not dull, because the quiet enthusiasm of the author shines through. In this book she turns from the work of a specialist in one science to those wider questions which (...) any scientist must ask at intervals. What, in short, is the relationship between the eye that sees and the mind that weighs and pronounces? An important feature of this Cambridge Science Classics reissue is the introduction provided by Professor P. R. Bell, who as a Cambridge botany student at the time that Agnes Arber was writing The Natural Philosopby of Plant Form, is uniquely able to set The Mind and the Eye in the context of contemporary biological research. (shrink)

Pop -- Anti-pop -- No synthesis: the broken form of pop -- The hillbilly paradox: uprooted authenticity -- The pop subject: democratised genius -- Hits and hooks: rationalised magic -- Pop and progress: historicised innocence.

BackgroundInformed consent as stipulated in regulatory human research guidelines requires that a volunteer is well-informed about what will happen to them in a trial. However researchers are faced with a challenge of how to ensure that a volunteer agreeing to take part in a clinical trial is truly informed. We conducted a qualitative study among volunteers taking part in two HIV clinical trials in Uganda to find out how they defined informed consent and their perceptions of the trial procedures, study (...) information and interactions with the research team.MethodsBetween January and December 2012, 23 volunteers who had been in the two trials for over 6 months, consented to be interviewed about their experience in the trial three times over a period of nine months. They also took part in focus group discussions. Themes informed by study research questions and emerging findings were used for content analysis.ResultsVolunteers defined the informed consent process in terms of their individual welfare. Only two of the volunteers reported having referred during the trial to the participant information sheets given at the start of the trial. Volunteers remembered the information they had been given at the start of the trial on procedures that involved drawing blood and urine samples but not information about study design and randomisation. Volunteers said that they had understood the purpose of the trial. They said that signing a consent form showed that they had consented to take part in the trial but they also described it as being done to protect the researcher in case a volunteer later experienced side effects.ConclusionVolunteers pay more attention during the consent process to procedures requiring biological tests than to study design issues. Trust built between volunteers and the research team could enhance the successful conduct of clinical trials by allowing for informal discussions to identify and review volunteers’ perceptions. These results point to the need for researchers to view informed consent as a process rather than an event. (shrink)

Freud, Psychoanalysis and Symbolism offers an innovative general theory of symbolism, derived from Freud's psychoanalytic theory and relocated within mainstream scientific psychology. It is the first systematic investigation of the development of Freud's treatment of symbolism throughout his published works, and discovers in those writings a broad theory which is far superior to the widely accepted, narrow, 'official' view. Agnes Petocz argues that the treatment of symbolism must begin with the identification and clarification of a set of logical constraints and (...) psychological requirements which any general theory of symbolism must respect, and that these requirements have been neglected by existing accounts across a number of disciplines. Her newly proposed 'Freudian broad' theory of symbolism, by contrast, does meet these requirements, but only after it has been rehabilitated within a revised psychoanalytic context, encompassing major changes to our understanding of the concepts of unconscious and repression and the role of language. (shrink)

Our concern is the axiomatisation problem for modal and algebraic logics that correspond to various fragments of two-variable first-order logic with counting quantifiers. In particular, we consider modal products with Diff, the propositional unimodal logic of the difference operator. We show that the two-dimensional product logic $Diff \times Diff$ is non-finitely axiomatisable, but can be axiomatised by infinitely many Sahlqvist axioms. We also show that its ‘square’ version (the modal counterpart of the substitution and equality free fragment of two-variable first-order (...) logic with counting to two) is non-finitely axiomatisable over $Diff \times Diff$ , but can be axiomatised by adding infinitely many Sahlqvist axioms. These are the first examples of products of finitely axiomatisable modal logics that are not finitely axiomatisable, but axiomatisable by explicit infinite sets of canonical axioms. (shrink)

Scientific research is constrained by limited resources, so it is imperative that it be conducted efficiently. This paper introduces the notion of epistemic expression, a kind of representation that expedites the solution of research problems. Epistemic expressions are representations that (i) contain information in a way that enables more reliable information to place the most stringent constraints on possible solutions and (ii) make new information readily extractible by biasing the search through that space. I illustrate these conditions using historical and (...) contemporary examples of biomolecular structure determination. Then, I argue that the notion of epistemic expression parts ways with pragmatic accounts of scientific representation and an understanding of models as artifacts, neither of which require models to accurately represent. Explicating epistemic expression thus fills a gap in our understanding of scientific practice, extending Morrison and Morgan's (1999) conception of models as investigative instruments. (shrink)

Summary This article examines the life and thought of Thomas Balogh and Nicholas Kaldor, two Hungarian-born British economists, to suggest how the personal background and émigré status of these economists changed their view of the British economy and the economic policy recommendations they put forward as high-profile government advisers in the post-1945 period. This article combines research on inter-war intellectual migration and the history of British economics and economic policy making after the Second World War. It shows how the large (...) scale migration of Central European intellectuals to the English-speaking countries affected the academic, intellectual and cultural lives of the host countries; it also suggests how economics, a relatively young social science discipline, has been crucially enriched by the contributions of exiles from old Europe, and how the mainstream paradigm of modern economics, the so-called neoclassical synthesis, was the result of the cross-fertilisation of ideas facilitated by the physical movement of academics and thinkers. (shrink)

Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal diamond operators. Originated in logic, algebra and computer science, spi-logics have two natural semantics: meet-semilattices with monotone operators providing Birkhoff-style calculi and first-order relational structures (aka Kripke frames) often used as the intended structures in applications. Here we lay foundations for a completeness theory that aims to answer the question whether the two semantics define the same (...) consequence relations for a given spi-logic. (shrink)

Sometimes we engage in a pursuit before we can fully access its value. When we embark upon, for example, the project of coming to appreciate classical music, we make a foray into a new domain of value. The chapter introduces a new kind of reason—a proleptic reason—to rationalize such large-scale transformative pursuits. The proleptic reasoner is aware of the defect in her appreciation of some value, and feels the need to improve. It is explained that the work done by proleptic (...) reasons cannot be done by more familiar kinds of reasons. The implications of proleptic rationality for reasons-internalism are considered. Internalists hold that what I have reason to do can be arrived at by a procedurally rational extrapolation from my current desires. However, because the act of learning some new form of valuation cannot be analyzed as satisfying the values one already has, proleptic reasons are not internal. (shrink)

The general methodology of "algebraizing" logics is used here for combining different logics. The combination of logics is represented as taking the colimit of the constituent logics in the category of algebraizable logics. The cocompleteness of this category as well as its isomorphism to the corresponding category of certain first-order theories are proved.

Background The involvement of pregnant women in vaccine clinical trials presents unique challenges for the informed consent process. We explored the expectations and experiences of the pregnant women, spouses/partners, health workers and stakeholders of the consent process during a Group B Streptococcus maternal vaccine trial. Methods We interviewed 56 participants including pregnant women taking part in the trial, women not in the trial, health workers handling the trial procedures, spouses, and community stakeholders. We conducted 13 in-depth interviews and focus group (...) discussions with 23 women in the trial, in-depth interviews with 5 spouses, and 5 women not in the trial, key informant interviews with 5 health workers and 5 other stakeholders were undertaken. Results Decision-making by a pregnant woman to join a trial was done in consultation with spouse, parents, siblings, or trusted health workers. Written study information was appreciated by all but they suggested the use of audio and visual presentation to enhance understanding. Women stressed the need to ensure that their male partners received study information before their pregnant partners joined a clinical trial. Confidentiality in research was emphasised differently by individual participants; while some emphasised it for self, others were keen to protect their family members from being exposed, for allowing them to be involved in research. However, others wanted their community participation to be acknowledged. Conclusion We found that pregnant women make decisions to join a clinical trial after consulting with close family. Our findings suggest the need for an information strategy which informs not only the pregnant woman, but also her family about the research she is invited to engage in. (shrink)