We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...) a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)
We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.
The “New Biology” that arose in the Eastern Block during Stalinist times was based on the idea of the heritability of acquired characteristics. In rejecting the paradigm of Mendelian chromosome genetics as well as science-based farming, the New Biology led to a deterioration of scientific life and the free exchange of ideas. In imposing Lysenko’s ideas onto zoology, the New Biology adopted the totalitarian language of Newspeak, which dominated public discourse in communist countries. Newspeak had several defining elements: a limited (...) dictionary, strong valuations, binary oppositions, the magical function of language, militarization, and ritualization of language. In this study, the concept of Newspeak is used to analyze primary sources in Polish zoology in the period between 1948 and 1956. Once the practice of Newspeak began to wane, so did the New Biology that had been founded on this specific ritualistic language. (shrink)
Supply chains are an indispensable element of any global economy. At the same time such supply chains create a societal and environmental burden. Drastic actions are required to mitigate these effects. Supply chains should become responsible and sustainable addressing economic, political, societal, legal, human rights, ethical and environmental concerns. This research shifts from the question of why companies should implement responsibility and sustainability into supply chains, to how they should do so effectively. Illustrated by a case study of Sedex, a (...) collaborative platform for buyers and suppliers, this paper proposes three solutions for responsible and sustainable supply chain management. Firstly, supply chains have to be supported by research and innovation. Secondly, supply chains should be based on multi-stakeholder efforts of industry, governmental and non-governmental organisations. Thirdly, the responsibility should lie not only with an individual company and its employees, but also with organisations of companies. As a result, responsible and sustainable supply chains require technological, political and ethical solutions involving the development of sound, multi-stakeholder business and governance models. These models should be based on the equal consideration of all three dimensions of sustainability, the cooperation of the partners in the chain, strengthening long-term relationships and legitimate requirements of the stakeholders of a supply chain. (shrink)
What explains followers’ attraction to tyrannical leaders? They systematically coerce, belittle, and manipulate, often at the expense of subordinates’ mental and physical well-being and their organization’s long-term interests. To help address the question, we examine the tendencies of people who view the tyrannical leader prototype as a component of effective leadership. Specifically, we apply moral and evolutionary psychology to propose and empirically test a mediation model in which belief in a dangerous world links positively with endorsement of the tyrannical leader (...) traits, as mediated through the binding components of moral foundations theory. Regarding gender, our model proposes that the link between the binding foundations and tyrannical leadership endorsement is stronger among males than females. Our overall model was supported across two independent samples of working adults; we also anticipated and found a direct negative association between the individualizing moral foundations and endorsement of the tyrannical prototype. These findings provide insights into the circumstances under which tyrannical traits are viewed as part of effective leadership. (shrink)
This paper presents an overview of the methods of hypersequents and display sequents in the proof theory of non-classical logics. In contrast with existing surveys dedicated to hypersequent calculi or to display calculi, our aim is to provide a unified perspective on these two formalisms highlighting their differences and similarities and discussing applications and recent results connecting and comparing them.
There is a longstanding discussion whether wide-scope indefinites denote choice functions that are existentially bound or remain free. Data from Ga, an under-researched language spoken in Ghana, show that there are wide-scope indefinites denoting existentially bound skolemized choice functions whose parameter is bound by a higher quantificational NP, free skolemized choice functions with the speaker or a higher quantificational NP as a parameter, and narrow scope quantificational indefinites. Thus the data show that both existentially bound and free skolemized choice functions (...) are attested in natural language shedding new light on the semantics of indefinites. (shrink)
Agata Żaroń An Attitude as a Three-Determinant Model Defining the Essence of GoodPeople have always been trying to find a principle that could define the essence of good. The present paper propounds a model, based on moral attitudes, which takes into account three determinants: emotional, cognitive and behavioral ones. The first is connected with feelings, especially with moral emotions and sensibility, the second is based primarily on intellectual reflection, which creates appropriate beliefs. They both motivate people to good or (...) evil, and determine their more or less suitable reactions. The last determinant, behavior, is an act that constitutes a condition of existence in interpersonal space and determines whether good or evil are possible to be taken into account. These three determinants are dependent upon each other and they all make a composition which in fact is an attitude. The good in this model is then achievable thanks to manifesting an appropriate attitude. Keywords: essence of good, behavior, feelings, moral emotions. (shrink)
We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced by Takeuti and Titani to formulate an intuitionistic set theory and an intuitionistic fuzzy set theory together with their metatheories. Here we define analytic Gentzen style calculi for GI and GIF. Among other things, these calculi allows one to prove Herbrand’s theorem for suitable fragments of GI and GIF.
Introduction Dans le cadre d’une convention de collaboration scientifique, l’Università degli Studi di Milano et l’ISIT de Paris ont organisé une journée d’étude internationale sur la clarté rédactionnelle en droit. L’objectif de cette manifestation était de favoriser les échanges pluridisciplinaires visant une meilleure compréhension du droit dans un contexte multilingue, international et multiprofessionnel. Le langage juridique est un vocabulaire technique, souvent difficile à comprendre su...
Recent years have brought enormous growth in the number of women-only art exhibitions. These exhibitions are accompanied by discussions that concentrate on curatorial feminist activism. In this text, I propose a different perspective by taking into consideration all exhibitions where the participants were determined by social category and which were organized in one country during one year. This perspective not only allows us to remark on and analyse activities that otherwise remain unnoticed but also encourages us to extend our understanding (...) of politics behind women-only initiatives. These exhibitions are generally intended to increase the capital of women artists, and to shift forces within the art and social fields in favour of women. However, as my analysis demonstrates, the organizers of different exhibitions occupy different places both in the art field and in the social field, and it is their position that determines, to a large extent, what changes they envision, what objectives they – in consequence – have and how they formulate their politics. This text also offers a reflection on whether the objectives behind organizing women-only shows has been constant or if they are a result of the current situation of women. (shrink)
Tony Harrison’s poetry is rooted in the experience of a man who came out of the working class of Leeds and who, avowedly, became a poet and a stranger to his own community. As Harrison duly noted in one interview, from the moment he began his formal education at Leeds Grammar School, he has never felt fully at home in either the world of literature or the world of his working class background, preferring to continually transgress their boundaries and be (...) subject to perpetual change. The paper examines the relation between poetic identity, whose ongoing construction remains one of the most persistently reoccurring themes of Harrison’s work, and the liminal position occupied by the speaker of Harrison’s verse. In the context of the sociological thought of such scholars as Zygmunt Bauman and Stuart Hall, the following paper discusses the way in which the idea of being in-between operates in “On Not Being Milton,” an initial poem from Harrison’s widely acclaimed sonnet sequence The School of Eloquence, whose unique character stems partly from the fact that it constitutes an ongoing poetic project which has continued from 1978 onwards, reflecting the social and cultural changes of contemporary Britain. (shrink)
The playwright Edward Bond has recalled the impact of seeing photographs of Nazi atrocities at the end of World War Two: “It was the ground zero of the human soul.” He argues we need a different kind of drama, based in “a new interpretation of what it means to be human.” He has developed an extensive body of theoretical writings to set alongside his plays. Arguably, his own reflections on “what it means to be human” are based in his reaction (...) to the Holocaust, and his attempt to confront “the totality of evil.” Bond argues we are born “radically innocent.” There is a “pre-psychological” state of being. The neonate does not “read” ideology; it has to use its own imagination to make sense of the world. To enter society, however, the child must be corrupted; its imagination is “ideologized.” Bond claims that “radical innocence” can never wholly be lost. Through drama, we can escape “ideology” and recover our “autonomy.” It leads us to confront extreme situations, and to define for ourselves “what it means to be human.” The terms of Bond’s theory are Manichean. His arguments are based in the assumption that there is a fundamental “humanity” that exists prior to socialization. In fact, the process of socialization begins at birth. As an account of child development, “radical innocence” does not stand up to close scrutiny. Arguably, however, Bond’s work escapes the confines of his own theory. It can be read, not in terms of the “ideologized” vs. the “autonomous” mind, but rather, in terms of “conscious” and “unconscious.” In Coffee, Bond takes character of Nold on a journey into the Dantean hell of his own unconscious. He does not recover his “innocence,” but, rather, he has to face the darkness of both history and the psyche. (shrink)
The study was aimed at validating the Polish version of the Trait Emotional Intelligence Questionnaire-Short Form. Our findings confirm the reliability and validity of the scale. With respect to reliability, internal consistency coefficients of the TEIQue-SF were comparable to those obtained using the original English version. The evidence of the validity of the TEIQue-SF came from the pattern of relations with the other self-report measure of EI, personality measures, as well as affective and social correlates. We demonstrated that the TEIQue-SF (...) score correlated positively with scores on the Emotional Intelligence Questionnaire. The TEIQue- SF score correlated negatively with Neuroticism and positively with Extraversion, Openness, Agreeableness, and Conscientiousness. In addition, scores on the TEIQue-SF were related to dispositional affect, i.e., correlated positively with positive affectivity and negatively with negative affectivity. The TEIQue-SF score correlated positively with social competencies as measured with the Social Competencies Questionnaire. We also found that trait EI, as measured with the TEIQue-SF, was positively related to the richness of one’s supportive social network and this relationship remained statistically significant even after controlling for Big Five variance. We also demonstrated that scoring on the TEIQue-SF was positively related to satisfaction with life and negatively related to perceived stress and these relationships remained significant, even after controlling for positive and negative affectivity. Taken together, these findings suggest that the Polish version of the TEIQue-SF is a reliable and valid measure that inherits the network of associations both from the original version of the TEIQue-SF and the full form of the Polish TEIQue. (shrink)
. Health Care Centres are institutions which, because of their specificity and character, are particularly exposed to various kinds of risk. One of the most important and most frequently used methods of risk management is the black spots method. The research material collected for the study comes from one of the hospitals in Wrocław. All hospital stays of the C22 and H05 settlement groups were analysed - a total of 178 hospitalisations. The black spots method was used in the study, (...) which consisted of risk identification, the ordering of threats and proposals for remedial actions. Using the black spots method, it was possible to identify adverse events that occurred during the hospitalisation of patients with H05 and C22 DRGs in the Injury and Orthopaedics Surgery Ward and Facial and Jaw Surgery Ward. In both cases, the treatment costs for patients with complications were higher than for the stays without complications. (shrink)
Traditionally, ekphrasis has been defined as the description and analysis of works of art in poetry, and so it has been understood as the verbalization of visual images. The article examines the concept in the light of contemporary definitions that include non-verbal media as targets in order to analyze its applicability to music videos. It concentrates in particular on “Apesh-t,” a video for a track by Beyoncé and Jay-Z from the album Everything Is Love. The video is filmed in different (...) interiors of the Louvre, where the singers appear, together with an ensemble of dancers, in front of selected artworks. The discussion focuses on an analysis of a single shot which presents an ekphrastic re-configuration of one particular work of European art, Jacques-Louis David’s Portrait of Madame Récamier. The author argues that the use of ekphrasis in the video—through elaboration and repurposing of the source material —plays an important role in the construction of the theme of “absence”: invoking not only what is represented, but what is not represented in David’s painting. It also foregrounds the potential of ekphrasis as a tool of political and cultural resistance, in the way it intervenes in the representation of the “other” in art and in the museum space. (shrink)
Whereas much has been written about migrants’ visibility, the multiple and complex layers of migrants’ invisibility invite further exploration. Migrants’ in/visibility is not clear-cut: it differs across various locations and, as such, demands a comparative, intersectional analysis. This paper seeks to explore it by investigating how recent migrants make sense of their own appearance, as well as those of others they encounter in their new places of residence. Specifically, I inquire into the notion of femininity as it is performed and (...) perceived by Polish migrant mothers living in German and British cities. I discuss whose performances of femininity are visible and whose femininity is rendered invisible in the eyes of my research participants, and what implications this may carry for urban and migration research. Strikingly, the women I interviewed only seem to recognise white British and German women's performances of femininity for what they are. Non-white and Muslim femininities remain, at best, invisible or, in the not infrequent cases of racism and Islamophobia, are stripped not only of their unique gendered features, but of humanity altogether. As seemingly peaceful interactions in urban space do not exclude privately harboured racial, ethnic, religious and class prejudice, a feminist revision of encounters with diversity provides valuable insight into the structure of such metropolitan paradoxes, yielding new understandings of how racism, classism and sexism persist alongside ostensibly inclusive urban cultures. (shrink)
In 2003, Martin Rees referred to the present as “mankind’s final century.” A few years later, Slavoj Žižek wrote that humankind is heading towards “apocalyptic zero-point,” when the ecological crisis will most probably lead to our complete destruction. In his 2017 collection, Diary of the Last Man, Welsh poet Robert Minhinnick offers readers a meditation upon Earth at a liminal moment—on the brink of becoming completely unpopulated. Imagining a solitary human being, living in the midst of environmental collapse, Minhinnick yet (...) entwines different voices—human and non-human—operating across vast spans of time. The speaker of the poems moves freely through different geographies and cultural contexts, but the voice that starts and ends the journey, seems to be the voice of the poet himself: he is the last man on earth, a survivor of ecological disaster. The paper discusses Minhinnick’s collection as a projection of the world we now inhabit into a future where it will exist only in the form of nostalgic memories. The analysis focuses on the role of objects in the construction of the world-within-the poem, where the fragments of human civilization are being claimed by forces of the environment—engulfing sand, progressive erosion—forming a retrospective vision of our “now” which will inevitably become our “past.”. (shrink)
Prior research has showed that the subjective perception of objective wealth might be affected by various individual difference variables, such as one’s love of money, level of desires, or materialistic inclinations. This paper examines an impact of attitudes towards money on the relation between personal net income and household income, and its subjective evaluation, measured as financial satisfaction and subjective economic well-being. The results of two studies revealed that the affective dimension of money attitudes partially mediated the relationship between income (...) and financial satisfaction. Moreover, the instrumental dimension of attitude towards money moderated this relationship: The relationship between the two was stronger for individuals highly concentrated on money management than for those with low scores on this factor. (shrink)
Ce compte rendu a déjà paru dans la revue Perspectives médiévales, 35 | 2014. Nous remercions Agata Sobczyk de nous avoir autorisé à le reproduire ici. F. Pomel (dir.), Cloches et horloges dans les textes médiévaux, Rennes, Presses Universitaires de Rennes, 2012. Le recueil fait suite à trois autres, consacrés à des objets que l'on peut considérer comme emblématiques pour un certain nombre de textes médiévaux, tous parus sous la direction de Fabienne Pomel aux Presses Universitaires de Rennes : (...) (...) - Recensions. (shrink)
1 — 50 / 210
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it: