Weakly acyclic games form a natural generalization of the class of games that have the finite improvement property. In such games one stipulates that from any initial joint strategy some finite improvement path exists. We classify weakly acyclic games using the concept of a scheduler introduced in Simon and Apt. We also show that finite games that can be solved by the iterated elimination of never best response strategies are weakly acyclic. Finally, we explain how the schedulers allow us to (...) improve the bounds on finding a Nash equilibrium in a weakly acyclic game. (shrink)

Provides a systematic introduction to the theory of logic programming and shows how this theory can be applied to reason about pure Prolog programs. The text includes an introduction to programming in Prolog and deals with such programming issues as determination, occur-check freedom and absence of errors. It covers both the natural interpretations of logic programming, as declarative specification and as procedure for computer execution.

We show that various paradoxes can arise in a natural class of social networks. They demonstrate that more services or products may have adverse consequences for all members of the network and conversely that restricting the number of choices may be beneficial for every member of the network. These phenomena have been confirmed by a number of empirical studies. In our analysis we use a simple threshold model of social networks introduced in Apt and Markakis, and more fully in Apt (...) and Markakis. In this model the agents, influenced by their neighbours, can adopt one out of several alternatives. We identify and analyze here four types of paradoxes that can arise in these networks. These paradoxes shed light on possible inefficiencies arising when one modifies the sets of products available to the agents forming a social network or the network structure. One of the paradoxes corresponds to the well-known Braess paradox in congestion games and shows that by adding more choices to a node, the network may end up in a situation that is worse for everybody. We exhibit a dual version of this, according to which removing a product available to an agent can eventually make everybody better off. The other paradoxes that we identify show that by adding or removing a product from the choice set of an agent may lead to permanent instability. Finally, we also identify conditions under which some of these paradoxes cannot arise. (shrink)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, (...) deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.

Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming presents original research on an important extension of logic programming that makes it more amenable for knowledge representation and programming in general. The 12 contributions, many written especially for this book, explore the foundations, language design issues, and applications of meta-programming in logic programming. Meta-programming—the process of writing computer programs that can manipulate representations of other programs—has been key both in the foundations of computer science and in its practical (...) developments. Examples of meta-programs include compilers, interpreters, program analyzers, and partial evaluators. The choice of logic programming as a basis for meta-programming offers several practical and theoretical advantages: among them, the possibility of tackling critical foundational problems of meta-programming within a strong theoretical framework, and the surprising ease of programming. The usual framework of logic programming (and more generally first-order logic), however, has to be modified and extended to formally deal with meta-programs, extensions the editors call "meta-logics." Along with an exploration of meta-programming in logic programming, the definitions, formal properties, and use of these extensions constitute one of the book's main themes. The first part of the book, Foundations, focuses on the representation problem—how object programs are represented within meta-programs. The second part, Language Support for Meta-Logics, is concerned with language extensions that make meta-programming easier and more elegant. The third part, Meta-Logics for Knowledge Management, deals with the use of meta-logic for advanced knowledge representation purposes. Logic Programming series. (shrink)

This volume is a collection of papers presented at the colloquium, and it testifies to the growing importance of game theory as a tool that can capture concepts ...

Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming languages arising from this research?eldhaveenjoyedrealsuccessintheindustrialworldastheycontributetosolving hard combinatorial problems in diverse domains such as production planning, communication networks, robotics and bioinformatics. This volume contains the extended and reviewed versions of a selection of papers presented at the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, which was held from June 30 to July (...) 2, 2003. The venue chosen for the seventh edition of this annual workshop was the Computer and Automation Research Institute of the Hungarian Academy of Sciences in Budapest, Hungary. This institute is one of the 20 members of the Working Group on Constraints of the European Research Consortium for Informatics and Mathematics. For many participants this workshop provided the?rst opportunity to visit their ERCIM partner in Budapest. CoLogNET is the European-funded network of excellence dedicated to s- porting and enhancing cooperation and research on all areas of computational logic, and continues the work done previously by the Compulog Net. In part- ular, the aim of the logic and constraint logic programming area of CoLogNET is to foster and support all research activities related to logic programming and constraint logic programming. The editors would like to take the opportunity and thank all the authors who submitted papers to this volume, as well as the reviewers for their helpful work. (shrink)

Porter and Kramer :78–92, 2006; Harv Bus Rev 89, 62–77, 2011) introduced ‘shared value’ as a ‘new conception of capitalism,’ claiming it is a powerful driver of economic growth and reconciliation between business and society. The idea has generated strong interest in business and academia; however, its theoretical precepts have not been rigorously assessed. In this paper, we provide a systematic and thorough analysis of shared value, focusing on its ontological and epistemological properties. Our review highlights that ‘shared value’ has (...) spread into the language of multiple disciplines, but that its current conceptualization is vague, and it presents important discrepancies in the way it is defined and operationalized, such that it is more of a buzzword than a substantive concept. It also overlaps with many other concepts and lacks empirical grounding. We offer recommendations for defining and measuring the concept, take a step toward disentangling it from related concepts, and identify relevant theories and research methods that would facilitate extending the knowledge frontier on shared value. (shrink)

Sixteen years ago, Prahalad and Hart introduced the possibility of both profitably serving the poor and alleviating poverty. This first iteration of the Bottom/Base of the Pyramid approach focused on selling to the poor. In 2008, after ethical criticisms leveled at it, the field moved to BoP 2.0, instead emphasizing business co-venturing. Since 2015, we have witnessed some calls for a new iteration, with the focus broadening to a more sustainable development approach to poverty alleviation. In this paper, we seek (...) to answer the question: How has the BoP approach evolved over the past 16 years, and has it delivered on its early promise? We conducted a systematic review of 276 papers published in journals in this period, utilizing a rigorous correspondence analysis method to map key trends, and then further examined the 22 empirical studies conducted on the BoP approach. Our results suggest that the field has evolved, passing through a number of trends and coming full circle—with our analysis pointing to more recent BoP literature emphasizing similar themes to those espoused in the initial BoP iteration, rather than reflecting the principles espoused in either BoP 2.0 or BoP 3.0. Our analysis also points to a lack of clear evidence that the BoP concept has delivered on its promise either to businesses or to BoP participants. (shrink)

The aim of this paper is to argue against the claim that the term “belief”, as it functions in philosophical psychology, has natural-kind term semantics; this thesis is central to the famous Lycan–Stich argument against eliminative materialism. I will argue that the current debate concerning the discrepancy between the professed opinions and actions, especially the debate concerning the idea of aliefs, shows that the concept of belief is plastic and amenable to conceptual engineering. The plasticity and amenability to conceptual engineering (...) of the concept of belief give us, in turn, a reason to doubt that “belief” functions in a way that is presupposed in the Lycan–Stich argument. Finally, I point to an alternative to both eliminativism and the natural kind view, namely the idea that we should treat belief as a human kind. (shrink)

The introspective devices framework proposed by Kammerer and Frankish (this issue) offers an attractive conceptual tool for evaluating and developing accounts of introspection. However, the framework assumes that different views about the nature of introspection can be easily evaluated against a set of common criteria. In this paper, I set out to test this assumption by analysing two formal models of introspection using the introspective device framework. The question I aim to answer is not only whether models developed outside of (...) philosophy can be successfully evaluated against the set of conceptual criteria proposed by Kammerer and Frankish, but also whether this kind of evaluation can reveal some limitations inherent to the framework. (shrink)

This book offers an original approach to avant-garde art and its transformative force. Presenting an alternative to the approaches to art developed in postmodern theory or cultural studies, Ziarek sees art's significance in its critique of power and the increasing technologization of social relations. Re-examining avant-garde art and literature, from Italian and Russian Futurism and Dadaism, to Language poetry, video and projection art, as well as transgenic and Internet art, this book argues that art's importance today cannot be explained simply (...) in aesthetic or cultural terms but has to take into consideration how artworks question the technological character of modern power. To emphasize the transformative character of art, the book redefines art as a force field, in which forces drawn from historical and social reality come be to formed into an alternative relationality. Through discussions of such key avant-garde figures as Marinetti, Duchamp, Khlebnikov, and Vertov, and innovative contemporary artists like Viola, Wodiczko and Kac, The Force of Art counters the pessimism about art's social function by recovering and redefining art's transformative role in modernity. (shrink)

Based on a small research project conducted in Kuala Lumpur (KL) in July - August 2017, the paper discusses places and practices of young heterosexual Malaysian Muslims dating in KL. In Malaysia, the law (Khalwat law) does not allow for two unrelated people (where at least one of them is Muslim) of opposite sexes to be within ‘suspicious proximity’ of one another in public. This law significantly influences behaviours and activities in urban spaces in KL. However, apart from the legal (...) framework, the faith of urban users seems to influence significantly the way they perceive space and how they behave in the city. The paper questions the analytical usefulness of the notion of public space (as the Western construct) in an attempt to formulate new intellectual coordinates to discuss urban space in a context of the Islamic, post-colonial, tropical, and global city. The ultimate aim of this paper is to start discussing how religious imagination and narratives could lead to formulating a new typology of urban spaces. (shrink)

The first part of this book contains a selection of Leszek Nowak’s (1943-2009) works on non-Marxian historical materialism, which are published here in English for the first time. In these papers, Nowak constructs a dynamic model of religious community, reconstructs historiosophical assumptions of liberalism and considers the methodological status of prognosis of totalitarization of capitalist society. In the second part of the book, new contributions to non-Marxian historical materialism are presented. Their authors analyze mechanisms of the oligarchization of liberal democracy, (...) the democratization of real socialism, and the development of early modern Ottoman and post-war Chinese societies. The volume will be of interest to graduate and undergraduate students, as well as specialists who deal with the development of capitalist society, philosophy of history, the philosophy of social sciences and the political philosophy of liberalism. (shrink)

The authors of this book reconstruct the philosophical, methodological and theoretical assumptions of non-Marxian historical materialism, a theory of historical process authored by Leszek Nowak (1943-2009), a co-founder of the Poznań School of Methodology. In the first part of the book, philosophical assumptions of this theory are compared with the concepts of Robert Nozick, Immanuel Wallerstein, André Gunder Frank and analytical Marxism. In the second part, non-Marxian historical materialism is compared with the concepts of Eva Etzioni-Halevy, Andrzej Falkiewicz, Robert Michels, (...) Vilfredo Pareto, Theda Skocpol and Karl August Wittfogel. (shrink)

The article describes the importance of public performance for the image of the Futurists, mainly of Bruno Jasieński. The impressions that the artists gained from Helena Buczyńska’s ‘word-arts’ performance, and Scriabin’s idea of ‘Art Religion’ they were exposed to, inspired the young poets. The article finishes with enumeration of several inspirations that are being found in Jasieński’s texts by modern musicians adapting his poetry.

Poland has faced two waves of migration: the first was of irregular asylum seekers, which led to the humanitarian crisis on the eastern EU–Belarusian border since 2021; the second was of Ukrainians fleeing the Russian invasion. Although there are noticeable differences between these situations, and between the different reactions of the Polish authorities, it is possible to juxtapose them in terms of the right to health. The normative content of refugee and human rights law is the starting point for reconstructing (...) the meaning of the terms ‘refugee’ and ‘right to health’. A refugee is a person who needs international protection because of a well-founded fear of harm, which is not limited to persecution as defined by the Refugee Convention but also includes situations of international and non-international armed conflict. The right to health, which includes, inter alia, entitlements to a ‘system of health protection’ and ‘underlying determinations of health’, is reconstructed on the basis of human rights law and refugee and migration law. There are no legal and moral grounds to grant the right to health differentially to different groups of refugees. Nondiscriminatory health policy requires that refugees have the same access to health care as nationals, although their specific health needs resulting from past experiences and refugee situation require special treatment, that is, an appropriate refugee health policy. The broad understanding of the underlying determinants of health demonstrates the importance of overall migration policy for refugees’ health, which can jeopardise the fragile good of refugee health. (shrink)

This book shows how much and in what sense values are related to powers and powers are related to values in American pragmatism. The proposed re-reading of American pragmatism will facilitate a novel understanding of it as a philosophical movement and, by showing its truly humanistic, democratic, and pro-social character, the stronger impetus for current rethinking of values is being provided.

This article examines the question: How do local organizations deal with competing temporal dynamics when building and implementing base/bottom of the pyramid initiatives? Time has been neglected in the BoP literature to date, yet, addressing poverty in a developing country requires a complex perspective of time. An analysis of 21 semi-structured interviews with locally based organizations implementing BoP initiatives in the Philippines revealed that the organizations had an ambitemporal perspective. In particular, we discover that they harmonize multiple temporal pacers by (...) making strategic decisions about the best mechanism of entrainment to utilize to move their community and any stakeholders to a long-term temporal horizon. We find that organizations manage this process by generating what we term a “third time” via a process of push-and-pull entrainment between the communities, the business, and the different temporal pacers. This article develops a conceptual framework for helping organizations to harmonize competing temporal dynamics to generate a bespoke “third time” for each community they work with. (shrink)

This paper is obituary of Leszek Nowak, one of the greatest Polish philosophers of the XX century.

The so-called debate between Jürgen Habermas and John Rawls concentrated mainly on the latter’s political liberalism. It dealt with the many aspects of Rawls’s philosophical project. In this article, I focus only on one of them, namely the epistemic or cognitivistic nature of principles of justice. The first part provides an overview of the debate, while the second part aims to show that Habermas has not misinterpreted Rawls’s position. I argue that Habermas rightly considers Rawls’s conception of justice as a (...) moral one. In the last part, I discuss two key questions raised by Habermas. The first concerns the relation between justification and acceptance of the principles of justice. The second concerns the relation between two validity terms: truth and reasonableness. (shrink)

This chapter contains sections titled: Logical Positivism: Basic Information The Hempelian Model of Explanation in Historiography Popperian Critique of Historicism Conclusion Bibliography.

In the contemporary philosophy of mathematics there is an ongoing discussion concerning the issue of the justification of mathematical axioms and independent sentences. The works of P. Maddy in which the author focuses on the set theory are extensive studies devoted to that problem. In one of the monographs she deals with the problem of the justification of set theory's sentences in a new way, assuming a different metaphilosophical standpoint. In the paper (which is the first part of the two-part (...) whole) Maddy's conception is faithfully presented. The author makes no comments of his own, except for the first - introductory - chapter and footnotes, in which some additional explanations and comments can be found. (shrink)

The proposal that probabilistic inference and unconscious hypothesis testing are central to information processing in the brain has been steadily gaining ground in cognitive neuroscience and associated fields. One popular version of this proposal is the new theoretical framework of predictive processing or prediction error minimization, which couples unconscious hypothesis testing with the idea of ‘active inference’ and claims to offer a unified account of perception and action. Here we will consider one outstanding issue that still looms large at the (...) core of the PEM framework: the lack of a clear criterion for distinguishing conscious states from unconscious ones. In order to fulfill the promise of becoming a unifying framework for describing and modeling cognition, PEM needs to be able to differentiate between conscious and unconscious mental states or processes. We will argue that one currently popular view, that the contents of conscious experience are determined by the ‘winning hypothesis’, falls short of fully accounting for conscious experience. It ignores the possibility that some states of a system can control that system’s behavior even though they are apparently not conscious. What follows from this is that the ‘winning hypothesis’ view does not provide a complete account of the difference between conscious and unconscious states in the probabilistic brain. We show how this problem for the received view can be resolved by augmenting PEM with Daniel Dennett’s multiple drafts model of consciousness. This move is warranted by the similar roles that attention and internal competition play in both the PEM framework and the multiple drafts model. (shrink)

Zakład Kulturoznawstwa Wydział Pedagogiki i Psychologii Uniwersytet w Białymstoku.

In the present paper an interpretation of the political dimension of pragmatic aesthetic reflection is proposed. The interconnection between politics and aesthetics in three classic American pragmatists: William James (1842–1910), John Dewey (1859–1952), and George Herbert Mead (1863–1931) is evoked. The author claims that by emphasizing the role of democratic values in philosophy and life, the classic American pragmatists encroach upon the field of the arts and aesthetics. Their emphasis put upon individual activity, free expression of thoughts, plurality of the (...) forms of expression, and acceptance of criticism as a tool helping create better solutions in human cooperation can easily be converted into the postulates about the character of the artistic principles and of the nature of the aesthetic norms and values. (shrink)

In the present paper, the author looks at the political dimension of some trends in the visual arts within twentieth-century avant-garde groups (cubism, expressionism, fauvism, Dada, abstractionism, surrealism) through George Santayana’s idea of vital liberty. Santayana accused the avant-gardists of social and political escapism, and of becoming unintentionally involved in secondary issues. In his view, the emphasis they placed on the medium (or diverse media) and on treating it as an aim in itself, not, as it should be, as a (...) transmitter through which a stimulating relationship with the environment can be had, was accompanied by a focus on fragments of life and on parts of existence, and, on the other hand, by a de facto rejection of ontology and cosmology as being crucial to understanding life and the place of human beings in the universe. The avant-gardists became involved in political life by responding excessively to the events of the time, instead of to the everlasting problems that are the human lot. (shrink)

Pomiędzy filozofią a resztą kultury rośnie przepaść. Podczas gdy filozofowie są całkowicie przekonani o ważności swojej dziedziny i doniosłości tego, co się w niej robi – jej pytań, jej argumentacji, jej odpowiedzi, jej wynalazków pojęciowych, jej błyskotliwych idei, to niefilozofowie coraz powszechniej ważność tę kwestionują, w doniosłość powątpiewają, argumentacji nie cenią, błyskotliwości nie dostrzegają i w ogóle nie pojmują o co cały ambaras. Wszak filozofia drwa nie narąbie, wirusów z komputera nie usunie, cen w sklepach nie obniży, w rubryce „patenty (...) i wdrożenia” napisze „brak”. Zapytajmy więc: po co naszej kulturze filozofowanie? Nie filozofowie i nie instytuty filozoficznych badań i kształcenia filozoficznego, ale właśnie – filozofowanie. Żeby odpowiedzieć na takie pytanie, potrzeba nie tylko filozofii, ale także dobrych narzędzi z innych dziedzin nauki. Trzeba zapytać, jakiego rodzaju grą kulturową jest filozofowanie? Ilu z nas w nią gra? I co się wtedy dzieje? Czy filozofujemy na co dzień, czy tylko od święta? Niniejsza książka ani nie popularyzuje, ani nie przybliża tego, co robią filozofowie. Zamiast tego prowadzi Czytelników od rozmów w pociągach do teorii czerpanych z filozofii i socjologii wiedzy, od lektury nagłówków prasowych do teorii kultury, od obrazów epidemii i biografii Spinozy do studiów nad nauką. Stara się przy tym na pytania wyżej postawione jak najogólniej odpowiedzieć, a przepaść zasypać, pokazać przy tym, że filozofia od swego kulturowego otoczenia nie jest i nigdy nie była odizolowana. Przeciwnie, filozofowanie tak bardzo i w tak licznych miejscach w tkankę kultury wrosło, że bez niego tkanka ta porozrywałaby się na strzępy, że dla kultury współczesnej filozofowanie w najrozmaitszych przejawach jest czymś koniecznym, jest warunkiem trwania, życia i rozwoju. (shrink)