An increasing number of drugs removed from the market because of unacceptable toxicity raises concerns regarding preapproval testing of drug safety. In the present paper it is postulated that the non-inferiority type of trial should be abandoned in favor of the superiority trial with active controls and less stringent (p<0.1, both for efficacy and toxicity) statistics. This approach will increase sensitivity of detection of drug-induced adverse effects at the expense of increasing false positive results regarding the difference in efficacy between (...) the tested and reference drug. Such a move will increase the protection of future patients. In addition, the proposed design is far more acceptable from the clinical (e.g. no need to specify the statistically expected “unimportant” number of deaths) and ethical points of view, as well as being favored by the strong incentive of involved parties. In the second part of this paper arguments are presented in favor of the hypothesis that placebo (still used in some superiority trials) does not induce adverse effects. The assertion that placebo may induce adverse effects is probably biased by the nature of the clinical experiment. Such a conclusion is supported by studies indicating that placebo-induced adverse effects are disease — and treatment — specific. The modification of clinical trials according to the proposed changes may increase the trials’ sensitivity at detecting adverse effects of drugs. (shrink)

Forensic authorship analysis is based on two assumptions: that every individual has a unique idiolect, and that features characteristic of that idiolect will recur with a relatively stable frequency. Yet, a speaker’s language can change with age, affective states, according to audience, or genre. Thus, studies on authorship analysis should adopt the theory that while some linguistic parameters of an idiolect can remain stable, others can change depending on various circumstances. This investigation, which takes a constructional and functional-based approach to (...) discourse-level phenomena in idiolectal stability, analyzes cross-genre data produced by nine Mexican participants throughout a twelve-year time span. This study contributes to a greater understanding of the linguistic elements that survive genre effects and are potentially useful in both investigative and evidential forensic linguistic work. We provide a detailed description of linguistic features, their specific values, and context-dependent interpretation, keeping in mind the context of expert linguistic testimony, with its preference for methods which “employ linguistically motivated analyses in combination with quantitative tools” (Solan & Tiersma, 2004, p.463). Our findings show that idiolectal style tends to remain stable across genres and communication modes in epistemic modality constructions. Epistemic markers —specifically, markers indicating low commitment by the speaker (e.g., _no sé_ ‘I don’t know’) or expressing indirectness when introducing the illocutionary force (e.g., _la verdad [es que]_ ‘the truth [is that]’)— display idiolectal stability, as these markers seem to be the most effective in terms of allowing speakers to strategically manifest the extent of their knowledge regarding what is said. (shrink)

Organizational sensemaking is crucial for resource planning and crisis management since facing complex strategic problems that exceed their capacity and ability, such as crises, forces organizations to engage in inter-organizational collaboration, which leads to obtaining individual and diverse perspectives to comprehend the issues and find solutions. This online qualitative survey study examines how Norwegian Sea Rescue Society employees perceived the concept of an organizational crisis and how they sensed their co-workers react to it. The scope was the ongoing COVID-19 pandemic, (...) a global event affecting all countries and organizations and responding similarly globally. Data were collected during the Fall of 2020. The instrument of choice was the Internal Crisis Management and Crisis Communication survey. The results showed that the overall sample strongly believed in their organization’s overall resilience level. However, a somewhat vague understanding of roles and responsibilities in a crisis where detected, together with some signs of informal communication, rumor spreading, misunderstanding, frustration, and insecurity. This study contributes to the academic field of organizational research, hence crisis management and sensemaking, and could be valuable to managers and decision-makers across sectors. Increased knowledge about how employees react to a crisis may help optimize internal crisis management planning and utilize robust mitigation and response strategies. (shrink)

Według koncepcji Mariana Mazura, człowiek jest systemem autonomicznym zdolnym do samosterowania. Jedna z podstawowych cech tego systemu – dynamizm charakteru – jest możliwa do wyrażenia za pomocą logarytmu naturalnego z ilorazu starzenia się do współczynnika rozbudowy systemu autonomicznego. Niniejszy artykuł prezentuje Kwestionariusz Dynamizmu Charakteru. Narzędzie to stworzone zostało w celu empirycznego przetestowania założeń teorii Mazura oraz w celu uchwycenia potencjalnych związków dynamizmu charakteru z innymi konstruktami, osadzonymi w tradycjach psychologicznych: na przykład Regulacyjną Teorią Temperamentu. Kwestionariusz Dynamizmu Charakteru mierzy dynamizm charakteru (...) na skali jakościowej i ilościowej. Artykuł prezentuje teorię Mazura, jej związki z teorią temperamentu Strelaua, narzędzie badawcze opracowane przez autorów i wyniki wstępnych analiz – przeprowadzonych na grupie 54 osób. Obserwacje poczynione w badaniach pilotażowych prezentują obiecujący obraz. Sugerują zgodność teorii Mazura z danymi empirycznymi oraz możliwość rozszerzenia rzeczonej teorii, dzięki obserwacjom efektów, niewyrażonych bezpośrednio w pracy Mazura. (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)

The main purpose of this article is to provide some new texts for studying the history of Catholic Church in XIX century. It is a small contribution to the history of Jesuits, but also the history of Poland, Greece and Turkey. The study concerns a very turbulent period in the history of the Society of Jesus, namely the rebirth of the Society in Europe and in the World. It was a very challenging time in the European history as Greece was (...) slowly regaining its independence, the Polish-Lithuanian Commonwealth was under the oppression of its occupying powers and was suffering the aftermath of its unsuccessful insurrections, and Turkey was trying to suppress the independence movements. Expelled from Russia and Prussia, the Jesuits arrived to the islands of the Aegean Sea, where they undertook the pastoral work of their fellow brethren from the times before the suppression of the Society in 1773. The research presented in this article was carried out in the Jesuit’s archive in Athens and deals primarily with “Polonica”. It is the first attempt to overview the archive under such aspect. During my research trip to Athens in 2018, Father Gabryel Marangos, the Director of Jesuit Archive in Athens, granted me the access to the collection of letters of the Polish Jesuits, which are preserved in the Athenian Archive of SJ. The method of this research was to check the files which directly regard the letters of Father Tadeusz Kuczyński. According to the Director of Athenian Archive there are more documents related to the subject, but they are dispersed among other files. The first part of the article is a brief overview of the history of Jesuits in Greece, whereas the second one is a presentation of some new sources, such as the letters of Father Tadeusz Kuczyński SJ. It is not the whole Polonica from the Athenian Archive and the remaining letters, the fragments of personal diaries, the Community Diary, Books of Charity, the Books of Bell Ringing will be presented in a coming book. The research has a pioneering character and has to be followed by further studies. In this place I would like to express my gratitude to the Greek and French Jesuits for gathering and preserving these documents. I also extend my gratitude to the governing body of the Ignatianum University for covering the costs of the research. (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)

The article presents the painter Stanisław Daczyński, a student of Jan Matejko, who having completed his art studies and leaving Krakow worked at a pottery school in Kolomyia in Pokuttia. There has been scarcely any research conducted about the life of Stanisław Daczyński. The present article is a continuation of the studies on this painter, previously published by the author, and aims to bring him back to the space of the history of Polish culture and bring closer the space in (...) which he functioned. The paper presents the outcome of the research conducted in the Jagiellonian Library and in several Polish archives, as well as information obtained from the author’s own collection. The study method used a historical and anthropological analysis of the source materials. The article reconstructs the social and cultural background of the Pokuttia, where the painter lived and worked. It also outlines his personal and professional life in Kolomyia, Vienna, Bochnia, Zakopane and Krakow. Moreover, it solves the dates of birth and death of the artist and his wife, Stefania Zajączkowska, and identifies the place of their burial. To illustrate the painter’s activity, the article is supplemented with iconography: his drawings and the photographs of him and the places he was associated with. They are meant to complement the presented profile of Stanisław Daczyński and the cultural context of the environment in which he lived and which he influenced. (shrink)

The article presents a problem of proper hedging strategy in expected utility model when forward contracts and options strategies are available. We consider a case of hedging when an investor formulates his own expectation on future price of underlying asset. In this paper we propose the way to measure effectiveness of hedging strategy, based on optimal forward hedge ratio. All results are derived assuming a constant absolute risk aversion utility function and a Black-Scholes framework.

"Working from newly available texts in Heidegger's Complete Works, Krzysztof Ziarek presents Heidegger at his most radical and demonstrates how the thinker's daring use of language is an integral part of his philosophical expression. Ziarek emphasizes the liberating potential of language as an event that discloses being and amplifies Heidegger's call for a transformative approach to poetry, power, and ultimately, philosophy."--Publisher's website.

The cross-cultural differences in epistemic intuitions reported by Weinberg, Nichols and Stich (2001; hereafter: WNS) laid the ground for the negative program of experimental philosophy. However, most of WNS’s findings were not corroborated in further studies. The exception here is the study concerning purported differences between Westerners and Indians in knowledge ascriptions concerning the Zebra Case, which was never properly replicated. Our study replicates the above-mentioned experiment on a considerably larger sample of Westerners (n = 211) and Indians (n = (...) 204). The analysis found a significant difference between the ethnic groups in question in the predicted direction: Indians were more likely to attribute knowledge in the Zebra Case than Westerners. In this paper, we offer an explanation of our result that takes into account the fact that replications of WNS’s other experiments did not find any cross-cultural differences. We argue that the Zebra Case is unique among the vignettes tested by WNS since it should not be regarded as a Gettier case but rather as a scenario exhibiting skeptical pressure concerning the reliability of sense-perception. We argue that skepticism towards perception as a means of gaining knowledge is a trope that is deeply rooted in Western epistemology but is very much absent from Classical Indian philosophical inquiry. This line of reasoning is based on a thorough examination of the skeptical scenarios discussed by philosophers of the Indian Nyaya tradition and their adversaries. (shrink)

The author in terms of idealizational theory of science explicates two approaches to history represented by positivism (Hempel) and narrativism (White). According to positivism, history is branch of science, according to narrativism, history is closer to literature. In the second part of this paper, the author paraphrases some paradoxes of historical narrative elaborated by mentioned-above representatives of these standpoints what is argument for unity of scientific methods presupposed by idealizational theory of science.

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)

Hobson & Friston (2014) outline a synthesis of Hobson's work on dreaming and consciousness with Friston’s work on the free energy principle and predictive coding. Whilst we are sympathetic with their claims about the function of dreaming and its relationship to consciousness, we argue that their endorsement of the Cartesian theatre metaphor is neither necessary nor desirable. Furthermore, if it were necessary then this endorsement would undermine their positive claims, as the Cartesian theatre metaphor is widely regarded as unsustainable. We (...) demonstrate this point and then develop an alternative formulation of their position that does not require the Cartesian theatre metaphor. Our positive goal is to clarify Hobson & Friston’s confusing usage of philosophical terminology, replacing it where possible with the more transparent language of the forward models framework. This will require some modifications to their account, which as it stands is philosophically and empirically unsustainable. (shrink)

This article discusses places and practices of young heterosexual Malaysian Muslims dating in non-private urban spaces. It is based on research conducted in Kuala Lumpur (KL) in two consecutive summers 2016 and 2017. Malaysian 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 behaviors and activities in urban spaces in KL. In addition to the (...) legal framework, the beliefs of Malaysian muslims significantly influence the way they perceive space and how they behave in the city. The article discusses the empirical theme, beginning with the participants’ narratives of their engagement with the dominant sexual and gender order in non-private spaces of KL. Utilizing questionnaires, interviews and observations, this paper draws upon a qualitative research project and questions the analytical usefulness of the notion of public space (as a Western construct) in the context of an Islamic, postcolonial, tropical, global city. (shrink)

We define a semantics for conditionals in terms of stochastic graphs which gives a straightforward and simple method of evaluating the probabilities of conditionals. It seems to be a good and useful method in the cases already discussed in the literature, and it can easily be extended to cover more complex situations. In particular, it allows us to describe several possible interpretations of the conditional and to formalize some intuitively valid but formally incorrect considerations concerning the probabilities of conditionals under (...) these two interpretations. It also yields a powerful method of handling more complex issues. The stochastic graph semantics provides a satisfactory answer to Lewis’s arguments against the PC = CP principle, and defends important intuitions which connect the notion of probability of a conditional with the notion of conditional probability. It also illustrates the general problem of finding formal explications of philosophically important notions and applying mathematical methods in analyzing philosophical issues. (shrink)

In Adam Smith’s Inquiry into the Nature and Causes of the Wealth of Nations the term ‘rational’ occurs only twice. Neither of these uses assigns the property of rationality either to human beings or to economic agents. Despite that, Smith is widely recognised as the founder of modern mainstream economics, a science which is defined by the assumption of the rationality of an economic agent. This paper aims to locate and discuss the notion of rationality which is implied by Smith’s (...) work. To achieve that a double-track approach is taken. First, the current paper reconstructs Smith’s general view on human nature which was presented mainly in his earlier book The Theory of Moral Sentiments. This is followed by a discussion of Smith’s theses on selected mechanisms which drive the economy as presented in The Wealth of Nations. (shrink)

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

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.

The paper defends the view that that a significant part of metaphysics should be understood as conceptual engineering, and explores its epistemological advantages and metaphysical implications. It discusses the challenge raised by moderate modal skepticism, which points out the lack of reliable methods for verifying modal statements through thought experiments. As I argue, a normative stance on metaphysical methodology, understanding it as engaging in conceptual engineering project, justifies the use of this method. By adopting an approach where the method of (...) cases offers reasons for adopting specific normative constraints on concept usage, the method becomes justifiable. Consequently, it can be employed to justify the revision of conceptual schemes and, in turn, validate certain modal claims about entities falling under the scrutinized concepts. The paper explores how this approach can methodologically enrich conceptual engineering-focused perspectives in metaphysics and examines its metaphysical consequences. In particular, it demonstrates that despite the mind-dependency of the method of cases results, it still leaves room for a metaphysically realistic viewpoint. (shrink)

The paper investigates to what extent the method of cases can be interpreted as either a descriptive or a normative enterprise. I demonstrate that although most instances of the method of cases in most philosophical theories could be interpreted as being intended to either discover or revise the meaning of their target concepts, within a theory of reference this method cannot be used to shift the meaning of the concept of reference. The reason for this is that intuitions of extension (...) in a theory of reference constitute a set of data that needs to be explained, while in most other philosophical theories they could either be abandoned in favor of intuitions of intension or serve as a criterion for the adequacy of the proposed definition of the target concept. This feature of a theory of reference is caused by the fact that an implicit understanding of what reference is in a theory of reference is usually assumed and is out of discussion. In effect, the claim in paradigmatic instances of the method of cases within a theory of reference does not concern whether an expression does or does not refer in particular cases, but rather what the reference of a certain expression is, and therefore it cannot be justified by intuitions of intension. (shrink)

The aim of this paper is to show that the interpretivist account of propositional attitudes fails even at the most plausible reading that treats this theory as a version of the deflationary approach to existence coupled with a metaphysical claim about the judgement-dependence of propositional attitudes. It will be argued that adopting a deflationary reading of interpretivism allows this theory to avoid the common charge of fictionalism, according to which interpretivists cannot maintain realism about attitudes as their theory becomes a (...) covert form of mental fictionalism. However, as will be shown, the deflationary version of interpretivism faces a fatal dilemma: either it becomes indistinguishable from generic deflationism about the mental, or it must embrace the metaphysical thesis of judgement-dependence of propositional attitudes. The latter option leads to unacceptable epistemological consequences, as it cannot accommodate intuitions about possibility of error in attribution of attitudes. Thus, it turns out that even a subtle version of interpretivism is not a viable theory of intentional states. (shrink)

John Lachs has been one of the most interesting American philosophers for nearly sixty years. His philosophical, educational, and public activity has been an attempt to show the relevance of philosophy to life. This is the first book dedicated to his thought.

According to a prevailing view, conceptual engineering introduces a revolutionary philosophical methodology, challenging traditional conceptual analysis. However, in our paper, we argue that closer scrutiny reveals not only the falsity but also the inherent ambiguity of this narrative. We explore four interpretations of the "Anti-Novelty Claim", the claim that conceptual engineering is not a new way of doing philosophy. Discussing the Anti-Novelty Claim from the perspective of a text’s producer, the text’s consumers, and the exegetical potential of the text, we (...) examine each perspective’s metaphilosophical implications and demonstrate that taking each perspective requires different methods. Adopting these different methods, we argue that the different interpretations of the Anti-Novelty Claim range from nearly trivially true to unlikely but untested. Importantly, we emphasize that each interpretation offers unique philosophical insights, yet addressing them requires diverse types of evidence, preventing a singular, straightforward answer to whether conceptual engineering is new. (shrink)

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)

The author interprets the emergence of the manorial-serf economy in Central Europe on the basis of the concept of the cascadeness of historical process. The course of development in the XVIth century Central Europe relied on many insignificant factors which their joint influence gradually outweighed the impact of developmental regularities according to which societies in Central and Western Europe evolved from the XIth to circa the XVIth centuries. Factors that appear in the cascade of European differentiation are divided by the (...) author into its core, i.e., a set of factors which operated in each of the societies under study, i.e., Polish, Bohemian and Hungarian societies, and specific factors responsible for the development of each of those Central European societies. (shrink)

In coming to words, language “reserves” itself: it holds back its event, keeping it illegible and silent. It is possible to see much of modern innovative or “experimental” poetry as such an experience of reticence and stillness, an experiment of language listening to itself “speaking” in order to allow the force of the illegible to come to speech. How this silence both limits what can be said and holds what has been written open to the possibilities of saying otherwise comes (...) from the “restraint” characteristic of the specific way in which language “speaks,” that is, arrives each time singularly as words precisely by withholding this very arrival from signification. Myung Mi Kim’s poetry stands out among contemporary American poets precisely for its specific attentiveness to this simultaneously “generative” and “constraining” force of silence. To understand better the workings of this force of silence, I examine Kim’s poetry in the context of Heidegger’s reflection on language, specifically his point about the withdrawal and restraint “essential” to the unfolding of language. I suggest that this withdrawal marks the poietic momentum of language, which can be traced, though, only by way of a listening response. This listening response becomes in turn a kind of constraint under which poetic thinking operates, a holding back of assertions and statements in favor of a listening which responds precisely to how the saying withholds itself from what comes to be said. Exploring the proximity between Kim’s poetry and Heidegger’s thinking, this essay examines how this withdrawal—a restraint at play in language itself--necessitates the attitude of poetic “reservedness.”. (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 aim of this paper is to propose a new conceptualization of the distinction between realism and anti-realism about beliefs that is based on the division between natural and non-natural properties, as defined by Lewis. It will be argued that although the traditional form of anti-realism about beliefs, namely eliminative materialism, has failed, there is a possibility to reformulate the division in question. The background assumption of the proposal is the framework of deflationism about truth and existence: it will be (...) assumed that beliefs can be said to exist and their attributions can said to be true. The aim is to show that even when we buy into such assumptions we can meaningfully distinguish between the realist and anti-realist approach to belief. According to the proposal, the paradigmatic anti-realist view on beliefs should be seen as a conjunction of three claims: that belief attributions do not track objective similarities, that beliefs are not causally active, and that there is no viable way of naturalizing content. It will be shown that seeing the debate in the proposed way has important advantages as it allows the issue of belief realism to be made non-trivial and tractable, and it introduces theoretical unity into contemporary metaphysics of beliefs. (shrink)

The aim of this paper is to show that Curry’s recent defence of the interpretivist approach to beliefs is unsuccessful. Curry tries to argue that his version of interpretivism, which is based on the model-theoretic approach to folk-psychological attributions, is well-suited to resisting the epistemological argument that is directed at interpretivism. In this paper, I argue that even if Curry’s defence is successful in this case, his theory does not have enough resources to solve the metaphysical problems of interpretivism. In (...) particular, I argue that the model-theoretic version of interpretivism that Curry espouses does not explain the claim that beliefs are constituted by the process of attribution, which is central to the interpretivist project. In the final parts of the paper, I discuss the issue of the relation between interpretivism and other forms of the broadly superficial/deflationary approach to beliefs, especially dispositionalism. I contend that if one wants to adopt a superficial/deflationary approach, it is best not to adopt interpretivism as it is an unnecessarily complex and problematic version of this broad view. (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 ...

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)