This paper deals with the problem of verification of game-like structures by means of symbolic model checking. Alternating-time Temporal Epistemic Logic (ATEL) is used for expressing properties of multi-agent systems represented by alternating epistemic temporal systems as well as concurrent epistemic game structures. Unbounded model checking (a SAT based technique) is applied for the first time to verification of ATEL. An example is given to show an application of the technique.

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

This paper presents a dialogue system called Lorenzen–Hamblin Natural Dialogue (LHND), in which participants can commit formal fallacies and have a method of both identifying and withdrawing formal fallacies. It therefore provides a tool for the dialectical evaluation of force of argument when players advance reasons which are deductively incorrect. The system is inspired by Hamblin’s formal dialectic and Lorenzen’s dialogical logic. It offers uniform protocols for Hamblin’s and Lorenzen’s dialogues and adds a protocol for embedding them. This unification required (...) a reformulation of the original description of Lorenzen’s system to distinguish “between different stances that a person might take in the discussion”, as suggested by Hodges. The LHND system is compared to Walton and Krabbe’s Complex Persuasion Dialogue using an example of a dialogue. (shrink)

This paper is an update of the documents we have concerning the Acts of the Christian martyrs, focused on three main aspects: 1) the kind of acts we know of and their classification from the point of view of their historic value; 2) the versions or editions of the texts that are most accepted by scholars; 3) the relevance of the different parts that make up these documents in order to discern the original text from passages that were rewritten or (...) underwent later variations. In this way, the article offers an exhaustive list of the documents for use in researching Christian martyrs in the Roman period. (shrink)

Is theology able to communicate anything to the economy at all? Would not it be an invasion to an autonomous field of knowledge capable to organize economic activity of man according to its internal rules? However, when asking the economic question of how to satisfy material needs, one cannot ultimately avoid another question – an ethical one – of what the purpose of satisfying those needs is. What is man really looking for? Theology, on the plane of faith and reason, (...) tries to find answers to these fundamental, ultimate questions asked by human beings, who are nowadays often tired of searching for happiness in satisfying the short-term and often artificially created new and new needs. A theologian in his research listens first of all to the word that God pronounces to man. This word, contained in the Bible, sets out the basic lines of the dignity of man, his tasks and the ultimate goal of his existence, which is to achieve full humanity and maturity, namely happiness in God. Only in such a perspective, which goes beyond the mundane, one can properly evaluate every action of man, giving it a rightful place in the whole of his existence. Specific issues relating to man’s economic activity, as described in the Bible, invariably refer to this overall dimension of his existence and his ultimate fulfilment in God as the guarantor of order and the source of life. Hence, any human activity which ignores the structure of that order, planned by the Creator, appears to be disordered and, consequently, leads to the destruction of man himself. (shrink)

The fixed order quantity model of inventory management system is used in the deterministic part. Several elements of inventory cost, such as ordering cost, transportation and storing costs, frozen capital cost, as well as extra rebates, are taken into account in the model. Then the fuzzy optimization problem for the total cost function is formulated within the space of Ordered Fuzzy Numbers when all variables of the model are fuzzy. After the choice of a particular defuzzification functional an appropriate theorem (...) is formulated which gives the solution of the problem. (shrink)

In recent literature, panpsychism has been defended by appeal to two main arguments: first, an argument from philosophy of mind, according to which panpsychism is the only view which successfully integrates consciousness into the physical world (Strawson 2006; Chalmers 2013); second, an argument from categorical properties, according to which panpsychism offers the only positive account of the categorical or intrinsic nature of physical reality (Seager 2006; Adams 2007; Alter and Nagasawa 2012). Historically, however, panpsychism has also been defended by appeal (...) to a third argument based on considerations about the nature and observability of causation. This argument has not been much discussed in recent times. Here is a concise version from William James: "… the concrete perceptual flux, taken just as it comes, offers in our own activity-situations perfectly comprehensible instances of causal agency … If we took these experiences as the type of what actual causation is, we should have to ascribe to cases of causation outside of our life, to physical cases also, an inwardly experiential nature. In other words, we should have to espouse a so-called “pan-psychic” philosophy" (James 1911: 218). James here suggests that we have direct experience of causation in our own agency. He thereby directly contradicts David Hume, who famously denied that we have any experience of causation. James goes on to claim that if this experience is representative of causation in general, it follows that all causation is mental, and that panpsychism is true. This kind of argument for panpsychism can be called the argument from (experience of) causation. This chapter offers, first, a history of this argument and arguments closely related to it, and second, an analysis of the argument – is it valid, are its premises in any way defensible, and how does it relate to the other, more popular arguments for panpsychism from philosophy of mind and categorical properties? (shrink)

Ibn al-ʻArabī, 1165-1240; views on freedom; Sufism; Islamic philosophy.

Greek text, english translation and commentary on the surviving fragments of Empedocles (fragments as known in 1981, does not include more recent finds).

Contrary to Vaesen's argument that humans are unique with respect to nine cognitive capacities essential for tool use, we suggest that although such cognitive processes contribute to variation in tool use, it does not follow that these capacities arenecessaryfor tool use, nor that tool use shaped cognition per se, given the available data in cognitive neuroscience and behavioral biology.

There are obvious benefits to be gained from the study of logic: heightened ability to express ideas clearly and concisely, increased skill in defining one's terms, enlarged capacity to formulate arguments rigorously and to analyze them critically. But the greatest benefit, in my judgment, is the recognition that reason can be applied in every aspect of human affairs.

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...) (Q 3 ) of the variety Q 3. (shrink)

Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is the first key step in facilitating and fostering our research movement, which joins people with a common research focus, complementary skills and an enthusiasm to work (...) together. This statement—the Manifesto—lays the foundations for the research programme of the Polish School of Argumentation. (shrink)

Traditional Chinese commentators rightly see that understanding Zhuangzi's way with words is the presupposition for understanding Zhuangzi at all. They are not sure, however, if Zhuangzi's words are super-effective or pure nonsense. I consider Zhuangzi's experience with language, and then turn to Heidegger's word of being to see if it may throw light on Zhuangzi's way of saying. I argue that a conversation between Heidegger and Zhuangzi on language is possible, but only by expanding Heidegger's notion of Gestell and through (...) a destruction of the dominant Confucian discourse that obscures Zhuangzi's way of saying. (shrink)

Introduction Max Horkheimer was born on February in Stuttgart. By the time he died, on 7 July in Nuremberg, he had played a decisive role in launching and ...

The philosophical problem of mental causation concerns a clash between commonsense and scientific views about the causation of human behaviour. On the one hand, commonsense suggests that our actions are caused by our mental states—our thoughts, intentions, beliefs and so on. On the other hand, neuroscience assumes that all bodily movements are caused by neurochemical events. It is implausible to suppose that our actions are causally overdetermined in the same way that the ringing of a bell may be overdetermined by (...) two hammers striking it at the same time. So how are we to reconcile these two views about the causal origins of human behaviour? One philosophical doctrine effects a nice reconciliation. Neuralism, or the token-identity theory, states that every particular mental event is a neurophysiological event and that every action is a physically specifiable bodily movement. If these identities hold, there is no problem of causal overdetermination: the apparently different causal pathways to the behaviour are actually one and the same pathway viewed from different perspectives. This attractively simple view is enjoying a recent revival in fortunes. (shrink)

For the theorists of crisis, the revolutionary state comes into existence through violence, and due to its inability to provide an authoritative katechon (restrainer) against internal and external violence, it perpetuates violence until it self-destructs. Writing during extreme economic depression and growing social and political violence, the crisis theorists––Joseph de Maistre, Juan Donoso Cortés, and Carl Schmitt––each sought to blame the chaos of their time upon the Janus-faced postrevolutionary ideals of liberalism and socialism by urging a return to pre-revolutionary moral (...) and religious values. They are united by three counterrevolutionary principles, all of which are purported to remedy revolutionary violence: traditional constitutional fidelity, the philosophy of the decision, and opposition to bourgeois liberalism. This essay is followed by the first complete English translation and publication of Donoso’s letter of October 24, 1851, which contains Donoso’s only reference to the “discussing class,” a political entity later popularized by Schmitt in his 1922 work Political Theology. (shrink)

Several variants of Lewis's Best System Account of Lawhood have been proposed that avoid its commitment to perfectly natural properties. There has been little discussion of the relative merits of these proposals, and little discussion of how one might extend this strategy to provide natural property-free variants of Lewis's other accounts, such as his accounts of duplication, intrinsicality, causation, counterfactuals, and reference. We undertake these projects in this paper. We begin by providing a framework for classifying and assessing the variants (...) of the Best System Account. We then evaluate these proposals, and identify the most promising candidates. We go on to develop a proposal for systematically modifying Lewis's other accounts so that they, too, avoid commitment to perfectly natural properties. We conclude by briefly considering a different route one might take to developing natural property-free versions of Lewis's other accounts, drawing on recent work by Williams. (shrink)

"My work has had nothing to do with gay liberation," Michel Foucault reportedly told an admirer in 1975. And indeed there is scarcely more than a passing mention of homosexuality in Foucault's scholarly writings. So why has Foucault, who died of AIDS in 1984, become a powerful source of both personal and political inspiration to an entire generation of gay activists? And why have his political philosophy and his personal life recently come under such withering, normalizing scrutiny by commentators as (...) diverse as Camille Paglia, Richard Mohr, Bruce Bawer, Roger Kimball, and biographer James Miller? David M. Halperin's Saint Foucault is an uncompromising and impassioned defense of the late French philosopher and historian as a galvanizing thinker whose career as a theorist and activist will continue to serve as a model for other gay intellectuals, activists, and scholars. A close reading of both Foucault and the increasing attacks on his life and work, it explains why straight liberals so often find in Foucault only counsels of despair on the subject of politics, whereas gay activists look to him not only for intellectual inspiration but also for a compelling example of political resistance. Halperin rescues Foucault from the endless nature-versus-nurture debate over the origins of homosexuality ("On this question I have absolutely nothing to say," Foucault himself once remarked) and argues that Foucault's decision to treat sexuality not as a biological or psychological drive but as an effect of discourse, as the product of modern systems of knowledge and power, represents a crucial political breakthrough for lesbians and gay men. Halperin explains how Foucault's radical vision of homosexuality as a strategic opportunity for self-transformation anticipated the new anti-assimilationist, anti-essentialist brand of sexual identity politics practiced by contemporary direct-action groups such as ACT UP. Halperin also offers the first synthetic account of Foucault's thinking about gay sex and the future of the lesbian and gay movement, as well as an up-to-the-minute summary of the most recent work in queer theory. "Where there is power, there is resistance," Michel Foucault wrote in The History of Sexuality, Volume I. Erudite, biting, and surprisingly moving, Saint Foucault represents Halperin's own resistance to what he views as the blatant and systematic misrepresentation of a crucial intellectual figure, a misrepresentation he sees as dramatic evidence of the continuing personal, professional, and scholarly vulnerability of all gay activists and intellectuals in the age of AIDS. (shrink)

Perhaps more than any philosophy written in the past few centuries, the work of Friedrich Nietzsche has given rise to controversy, misunderstanding, and dissent. Today Nietzsche is remembered as the revolutionary author of such polemical ideas as the death of God, the revaluation of values, the will to untruth, and the Übermensch. Yet is Nietzsche’s philosophy as atheistic, relativistic, nihilistic, and immoral as some commentators have claimed? Or ought we perhaps to give more credence to Nietzsche’s own assertion that one (...) writes books “precisely to conceal what one harbors” (BGE, 9, 289)? If “whatever is profound loves masks” (BGE, 2, 40) then might Nietzsche’s more daring claims be interpreted as clever masks behind which he conceals a deeper philosophy and on which he reveals a hidden truth? Is it not possible that the standard readings of Nietzsche are in fact misreadings—that his work invites misreading, that it is intentionally unclear, deceptive, disguised? The goal of this volume is to reread Nietzsche for all that he shows and all that he hides. It is to dig deeper into his work in order to challenge misreadings of old and invite misreadings anew—as, indeed, his work itself calls for and demands. (shrink)

Philosophical study of classical music of India.