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.

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.

This article argues that Pulcinella, a figure of classical Italian commedia dell’arte, could also be considered as emblematic for the reordering of politics in the early-modern and modern periods. By placing emphasis on the common underlying theatrical aspects of ‘representation’, it effectively connects the absolutist and democratic periods and helps us to understand why actors and acting came to play such a prominent role in contemporary politics, whether as politicians imitating actors, or as actors actually becoming politicians. The article also (...) shows that this sublimation of theatre into politics is not even a contemporary phenomenon but can be traced back to the ancient mime, following the origins of Pulcinella, and the first crisis of democracy, in classical Athens, in the footsteps of Plato. (shrink)

Arisztotelész korai etikái.--Hobbes Leviatánja.--Mandeville és a Méhek meséje.--Spinoza Etikája.--Rousseau és az Új Héloïse.--Kant etikái.--A szerencsétlen tudat fenomenológiája.--Ludwig Feuerbach redivivus.--Az istenek szomjaznak.--Lukács György és Seidler Irma.--A lelki szegénységről.

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.

My reply to the comments of Parkinson (2010) and Kuppens (2010) is organized in three parts. The first part deals with Parkinson’s claim that the scope of our research is limited because no real emotions were elicited. I suggest that the outcomes in our studies are structurally similar to real emotions but that they lack intensity. In the second part, I try to correct three potential misunderstandings regarding the nature of the comparison process that I proposed. In the third part, (...) I respond to Kuppens’ suggestion that we also need to consider the transition of appraisal values into the other components of emotion (actions tendencies, responses, and subjective experience). (shrink)

Critics of appraisal theory have difficulty accepting appraisal (with its constructive flavor) as an automatic process, and hence as a potential cause of most emotions. In response, some appraisal theorists have argued that appraisal was never meant as a causal process but as a constituent of emotional experience. Others have argued that appraisal is a causal process, but that it can be either rule-based or associative, and that the associative variant can be automatic. This article first proposes empirically investigating whether (...) rule-based appraisal can also be automatic and then proposes investigating the automatic nature of constructive (instead of rule-based) appraisal because the distinction between rule-based and associative is problematic. Finally, it discusses experiments that support the view that constructive appraisal can be automatic. (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.

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)

Mitchell & Gronenborn propose that we account for the presence of multiple models of protein structure, each produced in different contexts, through the framework of integrative pluralism. I argue that two interpretations of this framework are available, neither of which captures the relationship between a model and the protein structure it represents or between multiple models of protein structure. Further, it inclines us toward concluding prematurely that models of protein structure are right in their contexts and makes extrapolation of findings (...) from one context to another seem unwarranted. Instead, protein structure determination ought to be understood as modestly monistic. There is one model for every protein in each physicochemical context, and models of the same protein produced in different contexts are compatible with one another. ‘Integrating’ multiple models amounts to extrapolating from one context to another; this is possible because the effect of context on protein folding is relatively weak and predictable. Modest monism better describes the practice of protein structure determination than integrative pluralism and enables greater attention to how context affects protein folding. (shrink)

Mitchell & Gronenborn ( 2017 ) propose that we account for the presence of multiple models of protein structure, each produced in different contexts, through the framework of integrative pluralism. I argue that two interpretations of this framework are available, neither of which captures the relationship between a model and the protein structure it represents or between multiple models of protein structure. Further, it inclines us toward concluding prematurely that models of protein structure are right in their contexts and makes (...) extrapolation of findings from one context to another seem unwarranted. Instead, protein structure determination ought to be understood as _modestly monistic_. There is one model for every protein in each physicochemical context, and models of the same protein produced in different contexts are compatible with one another. ‘Integrating’ multiple models amounts to extrapolating from one context to another; this is possible because the effect of context on protein folding is relatively weak and predictable. Modest monism better describes the practice of protein structure determination than integrative pluralism and enables greater attention to how context affects protein folding. (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)

Among emotions, surprise has been extensively studied in psychology. In linguistics, surprise, like other emotions, has mainly been studied through the syntactic patterns involving surprise lexemes. However, little has been done so far to correlate the reaction of surprise investigated in psychological approaches and the effects of surprise on language. This cross-disciplinary volume aims to bridge the gap between emotion, cognition and language by bringing together nine contributions on surprise from different backgrounds - psychology, human-agent interaction, linguistics. Using different methods (...) at different levels of analysis, all contributors concur in defining surprise as a cognitive operation and as a component of emotion rather than as a pure emotion. Surprise results from expectations not being met and is therefore related to epistemicity. Linguistically, there does not exist an unequivocal marker of surprise. Surprise may be either described by surprise lexemes, which are often associated with figurative language, or it may be expressed by grammatical and syntactic constructions. Originally published as a special issue of Review of Cognitive Linguistics 13:2 (2015). (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)

Practical reason is the means by which beliefs and desires come together to produce actions. Practical rationality is difficult because we have many beliefs and many desires, and they often pull us in conflicting directions. The theory of practical reason must explain the fact that desires can conflict with one another, and the fact that we can act against our all‐things‐considered judgment (weakness of will, akrasia, and incontinence). The standard explanation of these facts invokes some form of partitioning among desires. (...) Davidson's view creates, by contrast, a partition within practical reason itself. He distinguishes between forms of rationality that are constitutive of action, and forms of rationality that are normative standard from which action can fall short. Davidson's “principle of continence,” a rule against weakness of will, is such a principle: it is required for acting well, but not for acting. (shrink)

Réunies en collectif de recherche et d'écriture, cinq femmes psychanalystes se penchent sur la question très actuelle de l'affirmation de la femme, portée par la figure inconsciente de l'Animus. Elles revendiquent une remise en cause des théories de CG Jung sur l'Animus, et des points de vue passéistes qui irriguent la littérature traitant de ce sujet à la suite du "maître". Elles témoignent ici en toute liberté de leurs expériences psychiques et de leur relation avec cette âme masculine inconsciente. Plusieurs (...) sujets sont abordés : la femme et sa créativité, le corps de la femme, l'épreuve du manque de père, l'expression de la femme et celle de la mère, la femme et la violence, la femme entre archaïsme et modernité. Un livre dont la forme fait une large part aux illustrations et au graphisme pour offrir un ensemble accessible même aux non-spécialistes. (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)

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)

Based on the Duffy Lectures, this book will be of interest to all theologians interested in doing vernacular, liberation, and postcolonial theologies. Brazal fills several gaps in theological research and ethics, such as the absence of postcolonial theological ethics in the Philippine context and the lack of attention in liberation-postcolonial discourse to structural and systemic dimensions of power.

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)

This article critically assesses contemporary empirical educational research, directing attention toward overlooked facets of pedagogical practice. Here, Agnes Pfrang and Daniel Castner raise questions about predominant psychological approaches to empirical educational research, instead advocating for a holistic viewpoint that encompasses the subtleties of educational situations and experiences. They highlight the learning atmosphere and pedagogical relationships as crucial dimensions often neglected by researchers. By delving into the historical evolution of the relationship between educational research and empirical pedagogy, the article underscores the (...) ramifications of an increasing emphasis on evidence-based approaches. It contends that conventional control measures, focused on performance metrics and rankings, inadequately encapsulate the essence of pedagogy. Pfrang and Castner call for a paradigm shift, urging a more comprehensive and context-sensitive framework in both educational research and practice. This article serves as a rallying cry for a nuanced understanding that embraces the multifaceted nature of educational interactions, advocating for a move away from traditional metrics and toward more inclusive perspectives. (shrink)

We prove that the two-variable fragment of first-order intuitionistic logic is undecidable, even without constants and equality. We also show that the two-variable fragment of a quantified modal logic L with expanding first-order domains is undecidable whenever there is a Kripke frame for L with a point having infinitely many successors (such are, in particular, the first-order extensions of practically all standard modal logics like K, K4, GL, S4, S5, K4.1, S4.2, GL.3, etc.). For many quantified modal logics, including those (...) in the standard nomenclature above, even the monadic two-variable fragments turn out to be undecidable. (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)

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.

We prove that everyn-modal logic betweenKnandS5nis undecidable, whenever n ≥ 3. We also show that each of these logics is non-finitely axiomatizable, lacks the product finite model property, and there is no algorithm deciding whether a finite frame validates the logic. These results answer several questions of Gabbay and Shehtman. The proofs combine the modal logic technique of Yankov–Fine frame formulas with algebraic logic results of Halmos, Johnson and Monk, and give a reduction of the representation problem of finite relation (...) algebras. (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)