In this paper we study automated reasoning in the modal logic CPDLreg which is a combination of CPDL (Propositional Dynamic Logic with Converse) and REGc (Regular Grammar Logic with Converse). The logic CPDL is widely used in many areas, including program verification, theory of action and change, and knowledge representation. On the other hand, the logic REGc is applicable in reasoning about epistemic states and ontologies (via Description Logics). The modal logic CPDLreg can serve as a technical foundation for reasoning (...) about agency. Even very rich multi-agent logics can be embedded into CPDLreg via a suitable translation. Therefore, CPDLreg can serve as a test bed to implement and possibly verify new ideas without providing specific automated reasoning techniques for the logic in question. This process can to a large extent be automated. The idea of embedding various logics into CPDLreg is illustrated on a rather advanced logic TEAMLOGK designed to specify teamwork in multi-agent systems. Apart from defining informational and motivational attitudes of groups of agents, TEAMLOGK allows for grading agents' beliefs, goals and intentions. The current paper is a companion to our paper (Dunin-Kęplicz et al., 2010a). The main contribution are proofs of soundness and completeness of the tableau calculus for CPDLreg provided in (Dunin-Kęplicz et al., 2010a). (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)

Over the last decade, multi-agent systems have come to form one of the key tech- nologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoreti- cal computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model check- ing, and formal approaches to cooperation, multi-agent planning, communication, (...) coordination, negotiation, games, and reasoning under uncertainty in a distributed environment. In 2007, the third FAMAS workshop, FAMAS'007, was one of the agent workshops gathered together under the umbrella of Multi-Agent Logics, Languages, and Organ- isations - Federated Workshops, MALLOW'007, taking place from 3 to 7 September 2007 in Durham. This current special issue of the Logic Journal of the IGPL gathers together the revised and updated versions of the five best FAMAS'007 contributions. (shrink)

This special issue of the Logic Journal of the IGPL includes revised and updated versions of the best work presented at the fourth edition of the workshop Formal Ap- proaches to Multi-Agent Systems, FAMAS'09, which took place in Turin, Italy, from 7 to 11 September, 2009, under the umbrella of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW). -/- Just like its predecessor, research reported in this FAMAS 2009 special issue is very much inspired by practical concerns. This time (...) the authors of all the five selected papers are concerned with knowledge and beliefs in multi-agent settings: How to create a group belief in a fair way from individual plausibility orderings? How to close gaps and resolve ambiguities in a tractable way, when information comes from multiple sources? How to reason about a spatial environment? How to compare the strengths of an agent's beliefs in a principled way? How to decide as efficiently as possible whether a given formula concerning group beliefs is valid? These questions and their answers lead to a multi-faceted and at the same time coherent special issue. We concisely introduce the five articles. (shrink)

The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Traditionally, very simple protocols like the Contract Net protocol are used for performing the first two stages of the process. In an open environment however, there can be discussion among the agents in order to form a team that can achieve the collective intention (...) of solving the problem. For these cases fixed protocols like contract net do not suffice. In this paper we present an alternative solution, using structured dialogues, with an emphasis on persuasion, that can be shown to lead to the required team formation. The dialogues are described formally using modal logics and speech acts. (shrink)

In times of global economic and political crises, the notion of solidarity is gaining new currency. This book argues that a solidarity-based perspective can help us to find new ways to address pressing problems. Exemplified by three case studies from the field of biomedicine: databases for health and disease research, personalised healthcare, and organ donation, it explores how solidarity can make a difference in how we frame problems, and in the policy solutions that we can offer.

It is widely thought that focusing on highly skilled movements while performing them hinders their execution. Once you have developed the ability to tee off in golf, play an arpeggio on the piano, or perform a pirouette in ballet, attention to what your body is doing is thought to lead to inaccuracies, blunders, and sometimes even utter paralysis. Here I re-examine this view and argue that it lacks support when taken as a general thesis. Although bodily awareness may often interfere (...) with well-developed rote skills, like climbing stairs, I suggest that it is typically not detrimental to the skills of expert athletes, performing artists, and other individuals who endeavor to achieve excellence. Along the way, I present a critical analysis of some philosophical theories and behavioral studies on the relationship between attention and bodily movement, an explanation of why attention may be beneficial at the highest level of performance and an error theory that explains why many have thought the contrary. Though tentative, I present my view as a challenge to the widespread starting assumption in research on highly skilled movement that at the pinnacle of skill attention to one's movement is detrimental. (shrink)

According to David Chalmers , 'we have good reason to suppose that consciousness has a fundamental place in nature' . This, he thinks is because the world as revealed to us by fundamental physics is entirely structural -- it is a world not of things, but of relations -- yet relations can only account for more relations, and consciousness is not merely a relation . Call this the 'structural argument against physicalism.' I shall argue that there is a view about (...) the relationship between mind and body, what I call, 'Russellian physicalism' that is consistent with the premises of the structural argument yet does not imply that consciousness is fundamental. (shrink)

How should biological behaviour be modelled? A relatively new approach is to investigate problems in neuroethology by building physical robot models of biological sensorimotor systems. The explication and justification of this approach are here placed within a framework for describing and comparing models in the behavioural and biological sciences. First, simulation models – the representation of a hypothesis about a target system – are distinguished from several other relationships also termed “modelling” in discussions of scientific explanation. Seven dimensions on which (...) simulation models can differ are defined and distinctions between them discussed: 1. Relevance: whether the model tests and generates hypotheses applicable to biology. 2. Level: the elemental units of the model in the hierarchy from atoms to societies. 3. Generality: the range of biological systems the model can represent. 4. Abstraction: the complexity, relative to the target, or amount of detail included in the model. 5. Structural accuracy: how well the model represents the actual mechanisms underlying the behaviour. 6. Performance match: to what extent the model behaviour matches the target behaviour. 7. Medium: the physical basis by which the model is implemented. No specific position in the space of models thus defined is the only correct one, but a good modelling methodology should be explicit about its position and the justification for that position. It is argued that in building robot models biological relevance is more effective than loose biological inspiration; multiple levels can be integrated; that generality cannot be assumed but might emerge from studying specific instances; abstraction is better done by simplification than idealisation; accuracy can be approached through iterations of complete systems; that the model should be able to match and predict target behaviour; and that a physical medium can have significant advantages. These arguments reflect the view that biological behaviour needs to be studied and modelled in context, that is, in terms of the real problems faced by real animals in real environments. Key Words: animal behaviour; levels; models; neuroethology; realism; robotics; simulation. (shrink)

I am going to argue that it is time to come to terms with the difficulty of understanding what it means to be physical and start thinking about the mind-body problem from a new perspective. Instead of construing it as the problem of finding a place for mentality in a fundamentally physical world, we should think of it as the problem of finding a place for mentality in a fundamentally nonmental world, a world that is at its most fundamental level (...) entirely nonmental. The mind-body problem, I want to argue, is the problem of determining whether mentality can be accounted for in terms of nonmental phenomena. In other words, it is the question, ‘is mentality a fundamental feature of the world’. (shrink)

This article challenges a key tacit assumption underpinning legal and ethical instruments in health care, namely, that people are ideally bounded, independent, and often also strategically rational individuals. Such an understanding of personhood has been criticized within feminist and other critical scholarship as being unfit to capture the deeply relational nature of human beings. In the field of medicine, however, it also causes tangible problems. I propose that a solidarity-based perspective entails a relational approach and as such helps to formulate (...) new solutions to complex ethical and regulatory questions, ranging from caring for people at the end of their lives to improving policies for organ donation and better governance of health data. It also underscores the importance of universal health care. Although a solidarity-based perspective does not require health to be seen as an individually enforceable right, it does influence our understanding of individual rights: it draws attention to how their meaning is shaped by shared social practices. I conclude by arguing that, in light of current pressures for medicine to become more personalized, using a relational understanding of personhood to shape policies and practices is a much needed endeavor. (shrink)

Physicalism is thought to entail that mental properties supervene on microphysical properties, or in other words that all God had to do was to create the fundamental physical properties and the rest came along for free. In this paper, we question the all-god-had-to-do reflex.

Physicalism is thought to entail that mental properties supervene on microphysical properties, or in other words that all God had to do was to create the fundamental physical properties and the rest came along for free. In this paper, we question the all-god-had-to-do reflex.

Might the world be structured, as Leibniz thought, so that every part of matter is divided ad infinitum? The Physicist David Bohm accepted infinitely decomposable matter, and even Steven Weinberg, a staunch supporter of the idea that science is converging on a final theory, admits the possibility of an endless chain of ever more fundamental theories. However, if there is no fundamental level, physicalism, thought of as the view that everything is determined by fundamental phenomena and that all fundamental phenomena (...) are physical, turns out false, for in such a world, there are no fundamental phenoma, and so fundamental phenomena determine nothing. While some take physicalism necessarily to posit a fundamental level, here I present a thesis of physicalism that allows for its truth even in an infinitely decomposable world. (shrink)

Many mathematicians are platonists: they believe that the axioms of mathematics are true because they express the structure of a nonspatiotemporal, mind independent, realm. But platonism is plagued by a philosophical worry: it is unclear how we could have knowledge of an abstract, realm, unclear how nonspatiotemporal objects could causally affect our spatiotemporal cognitive faculties. Here I aim to make room in our metaphysical picture of the world for the causal relevance of abstracta.

Might the world be structured, as Leibniz thought, so that every part of matter is divided ad infinitum? The Physicist David Bohm accepted infinitely decomposable matter, and even Steven Weinberg, a staunch supporter of the idea that science is converging on a final theory, admits the possibility of an endless chain of ever more fundamental theories. However, if there is no fundamental level, physicalism, thought of as the view that everything is determined by fundamental phenomena and that all fundamental phenomena (...) are physical, turns out false, for in such a world, there are no fundamental phenomena, and so fundamental phenomena determine nothing. While some take physicalism necessarily to posit a fundamental level, here I present a thesis of physicalism that allows for its truth even in an infinitely decomposable world. (shrink)

Mind &Language, Volume 34, Issue 3, Page 376-392, June 2019.

The National Longitudinal Study of Adolescent Health data were used to test predictions from life history theory. We hypothesized that (1) in young adulthood an emerging life history strategy would exist as a common factor underlying many life history traits (e.g., health, relationship stability, economic success), (2) both environmental harshness and unpredictability would account for unique variance in expression of adolescent and young adult life history strategies, and (3) adolescent life history traits would predict young adult life history strategy. These (...) predictions were supported. The current findings suggest that the environmental parameters of harshness and unpredictability have concurrent effects on life history development in adolescence, as well as longitudinal effects into young adulthood. In addition, life history traits appear to be stable across developmental time from adolescence into young adulthood. (shrink)

Music can be described as sequences of events that are structured in pitch and time. Studying music processing provides insight into how complex event sequences are learned, perceived, and represented by the brain. Given the temporal nature of sound, expectations, structural integration, and cognitive sequencing are central in music perception (i.e., which sounds are most likely to come next and at what moment should they occur?). This paper focuses on similarities in music and language cognition research, showing that music cognition (...) research provides insight into the understanding of not only music processing but also language processing and the processing of other structured stimuli. The hypothesis of shared resources between music and language processing and of domain-general dynamic attention has motivated the development of research to test music as a means to stimulate sensory, cognitive, and motor processes. (shrink)

This chapter is concerned with materialistic views of the mind and the natural world in general. It examines the scientific evidence for the claim that everything within the spatiotemporal realm is physically constituted, and considers whether this evidence leaves room for any alternatives to this physicalist thesis.

According to Hume, experience in observing art is one of the prerequisites for being an ideal art critic. But although Hume extols the value of observing art for the art critic, he says little about the value, for the art critic, of executing art. That is, he does not discuss whether ideal aesthetic judges should have practiced creating the form of art they are judging. In this paper, I address this issue. Contrary to some contemporary philosophers who claim that experience (...) in creating art is irrelevant to one’s ability to judge that art form, as well as to some dance critics who see dance training as possibly even detrimental to one’s aesthetic judgment, I suggest that having practiced dancing makes one a better observer of certain aesthetic qualities of dance. Dance training, I argue, can facilitate a kinesthetic experience upon watching dance without which some aesthetic aspects of a dance performance—such as grace, power, and precision, as perceived kinesthetically—may go unnoticed. (shrink)

A one-of-a-kind reference to the international vocabulary of the humanities This is an encyclopedic dictionary of close to 400 important philosophical, literary, and political terms and concepts that defy easy—or any—translation from one language and culture to another. Drawn from more than a dozen languages, terms such as Dasein (German), pravda (Russian), saudade (Portuguese), and stato (Italian) are thoroughly examined in all their cross-linguistic and cross-cultural complexities. Spanning the classical, medieval, early modern, modern, and contemporary periods, these are terms that (...) influence thinking across the humanities. The entries, written by more than 150 distinguished scholars, describe the origins and meanings of each term, the history and context of its usage, its translations into other languages, and its use in notable texts. The dictionary also includes essays on the special characteristics of particular languages—English, French, German, Greek, Italian, Portuguese, Russian, and Spanish. Originally published in French, this one-of-a-kind reference work is now available in English for the first time, with new contributions from Judith Butler, Daniel Heller-Roazen, Ben Kafka, Kevin McLaughlin, Kenneth Reinhard, Stella Sandford, Gayatri Chakravorty Spivak, Jane Tylus, Anthony Vidler, Susan Wolfson, Robert J. C. Young, and many more.The result is an invaluable reference for students, scholars, and general readers interested in the multilingual lives of some of our most influential words and ideas. Covers close to 400 important philosophical, literary, and political terms that defy easy translation between languages and cultures Includes terms from more than a dozen languages Entries written by more than 150 distinguished thinkers Available in English for the first time, with new contributions by Judith Butler, Daniel Heller-Roazen, Ben Kafka, Kevin McLaughlin, Kenneth Reinhard, Stella Sandford, Gayatri Chakravorty Spivak, Jane Tylus, Anthony Vidler, Susan Wolfson, Robert J. C. Young, and many more Contains extensive cross-references and bibliographies An invaluable resource for students and scholars across the humanities. (shrink)

Pathological Altruism presents a number of new, thought-provoking theses that explore a range of hurtful effects of altruism and empathy.

Athletes sometimes describe “being in the zone,” as a time when their actions flow effortlessly and flawlessly without the guidance of thought. But is it true that athletes don't think when performing at their best? Numerous studies (such as Beilock et al. 2004, 2007 Ford et al 2005, Baumeister 1984, Masters 1992, Wulf & Prinz 2001, Beilock & DeCaro, 2007). However, I aim to argue that because even highly‐practiced skills can remain in part under an expert athlete's conscious control, thinking (...) does not hinder expert performance. (shrink)

In a highly original rereading of the writings and seminars of Jacques Lacan, together with works of Freud and others, Cassin shows how psychoanalysis, like the sophists, challenges the very foundations of scientific rationality. In taking seriously equivocations, jokes, and unfinishable projects of interpretation, the analyst, like the sophist, allows performance, signifier, and inconsistency to reshape truth.

Mary knows all there is to know about physics, chemistry and neurophysiology, yet has never experienced colour. Most philosophers think that if Mary learns something genuinely new upon seeing colour for the first time, then physicalism is false. I argue, however, that physicalism is consistent with Mary's acquisition of new information. Indeed, even if she has perfect powers of deduction, and higher-level physical facts are a priori deducible from lower-level ones, Mary may still lack concepts which are required in order (...) to deduce from the lower-level physical facts what it is like to see red. (shrink)

Atmosphären zeichnen sich gleichermaßen durch ihre Profanität und ihre Wirkmächtigkeit aus. Wo immer man hinsieht, sind Atmosphären ein bestimmendes, vielleicht sogar das wichtigste Element im menschlichen Leben. Das Ziel des Sammelbandes besteht darin, die Bedeutung der Atmosphären im Gefühlsraum theoretisch und praktisch zu verdeutlichen und das Phänomen der Atmosphären in seinen vielfältigen Facetten, etwa in der Architektur, Kunst, Medizin, Psychiatrie, in der Pädagogik, in der Altenpflege, in Beruf und Privatleben, zu beleuchten.

Imagine that our world were such that the entities, properties, laws, and relations of fundamental physics did not determine what goes on at the mental level; imagine that duplicating our fundamental physics would fail to duplicate the pleasures, feelings of joy, and experiences of wonder that we know and love; in other words, imagine that the mental realm did not supervene on the physical realm. Would our world, then, be a world in which physicalism is false? A good number of (...) philosophers who ponder such issues—perhaps all philosophers who have hitherto pondered such issues—answer “yes.” The purpose of this paper is to suggest that, despite what physicalists say, they don’t think so, either. What is it that they really think? What is the actual doctrine of physicalism? I conclude withan attempt to uncover that as well. (shrink)

Designing the future of work is crucial to the health and well‐being of people and societies. Experts predict that developments such as the advancement of digital technologies, automation, and the movement of manufacturing jobs to low‐wage countries will lead to major transformations in the labour market, and some foresee significant job losses. Due to the close relationship between employment and health, major job losses would have significant negative impacts on the health and well‐being of individuals and societies. Job losses would (...) also pose a major challenge to solidaristic support within societies because they would negatively affect the recognition of similarities among people, which is vital for solidaristic practice and institutions. To prevent these negative effects, a fundamental redesign of the relationship between work and income is necessary. And for this project to succeed, we need to reconsider of the value of work. Building on definitions of flourishing people and societies, we argue that the value of work should not be determined by the labour market, but according to its importance for society. Using a solidarity‐based framework we argue that such a re‐valuation of work will help to ensure social cohesion and increase reciprocity in our societies. It will serve as a foundation upon which we can reconfigure the relationship between work and income without risking the loss of social cohesion and solidarity. (shrink)

Company directors and executives seek legal advice outside the company on a regular basis. This advice is meant to be given within the context of the lawyers’ professional obligations and ethical practise. What clients may not appreciate is there is often a conflict of interest between the lawyers’ professional and ethical concerns and the legal advice business. If lawyers follow their business interests, their advice may be incomplete especially in relation to the ethical consequences of that advice. This could lead (...) to a compromise of the clients’ commercial interests and even raise doubts in relation to the legality of the clients’ proposed course of action. (shrink)

Nous n'avons pas choisi d'etre aristoteliciens. Nous ne le sommes pas moins que les autres. Le livre Gamma de la Metaphysique accomplit la relegation de la sophistique qui n'a jamais ete achevee par Platon, en instaurant un regime de discours qui fera loi pour toute l'histoire de la metaphysique. Regime que nous appelons semantique, en reference au geste decisif d'Aristote qui fait equivaloir dire et signifier quelque chose. Il faut et il suffit qu'un sophiste lui dise Bonjour! pour qu'Aristote demontre, (...) que bon gre mal gre, il se place sous la juridiction de ce qu'on appelle depuis lors le principe de non-contradiction. La mise en demeure de parler fait office d'arme absolue, et la decision du sens est le foyer de la science de l'etre en tant qu'etre. Pas d'instauration du principe sans adversaire, donc sans stategie: cela suffit pour jeter le soupcon sur l'impression que donne Gamma d'une evidence definitive. (shrink)

This chapter explores the different dimensions of domination, including whether it has a structural approach, its relation to race and imperialism, and how non-domination can be institutionalized and achieved at a global level.

While making P4C much more easily disseminated, short-term weekend and weeklong P4C training programs not only dilute the potential laudatory impact of P4C, they can actually be dangerous. As well, lack of worldwide standards precludes the possibility of engaging in sufficiently high quality research of the sort that would allow the collection of empirical data in support the efficacy of worldwide P4C adoption. For all these reasons, the authors suggest that P4C advocates ought to insist that programs of a minimum (...) of five philosophy courses be accepted as the recognized standard for any teacher to legitimately claim that she is teaching Philosophy for Children. (shrink)

Proprioception - the sense by which we come to know the positions and movements of our bodies - is thought to be necessarily confined to the body of the perceiver. That is, it is thought that while proprioception can inform you as to whether your left knee is bent or straight, it cannot inform you as to whether someone else's knee is bent or straight. But while proprioception certainly provides us with information about the positions and movements of our own (...) bodies, I will argue that it does more than that. Surprising as this may sound, one can proprioceive someone else's movement. To show this, I first present the results of some studies that suggest that in seeing others move, we kinesthetically represent their movement in our bodies. I then argue, by means of an analogy to prosthetic vision, that such 'kinesthetic vision' should count as proprioceiving others move. (shrink)