Mathematical models are an important tool in the development ofsoftware technology, including programming languages and algorithms.During the last few years, a new class of such models has beendeveloped based on the notion of a mathematical game that isespecially well-suited to address the interactions between thecomponents of a system. This paper gives an introduction to thesegame-semantical models of programming languages, concentrating onmotivating the basic intuitions and putting them into context.

New computer systems of discovery create a research program for logic and philosophy of science. These systems consist of inference rules and control knowledge that guide the discovery process. Their paths of discovery are influenced by the available data and the discovery steps coincide with the justification of results. The discovery process can be described in terms of fundamental concepts of artificial intelligence such as heuristic search, and can also be interpreted in terms of logic. The traditional distinction that places (...) studies of scientific discovery outside the philosophy of science, in psychology, sociology, or history, is no longer valid in view of the existence of computer systems of discovery. It becomes both reasonable and attractive to study the schemes of discovery in the same way as the criteria of justification were studied: empirically as facts, and logically as norms. (shrink)

Freedom of thought is a fundamental human right, enshrined in many human rights treaties. It might very well be the only human right without any practical application. The paper reconstructs scope and meaning of this forgotten right and proposes four principles for its interpretation. In the age of neuroscientific insights and interventions into mind and brain that afford to alter thoughts, the time for the law to define freedom of thought in a way that lives up to its theoretical significance (...) has come. (shrink)

According to a common opinion, the word ‘semantics’ , derived from the Greek word semantikos , appeared for the first time, at least in modern times, in the book Essai de semantique, science de significations by M. J. A. Bréal . However, Quine says in his lectures on Carnap:As used by C. S. Peirce, “semantic” is the study of the modes of denotation of signs: whether a sign denotes its object through causal or symptomatic connection, or through imagery, or through (...) arbitrary convention and so on. This sense of semantic, namely a theory of meaning, is used also in empirical philology: empirical semantic is the study of historical changes of meanings of words.1For Bréal, semantics was a branch of general linguistics. In particular, semantics was occupied with so-called lexical meaning and its changes through time. Thus, semantics in this sense belonged to what was called “the diachronic treatment of language”. This tradition is fairly alive in contemporary linguistic theory. Quine’s description of the word ‘semantic’ in Peirce corresponds, which Quine explicitly states, to its use in philology. However, some linguists ascribe a more theoretical role to lingustic semantics. Karl Bühler is an example. In his Sprachtheorie he says that a theory of semantic functions of language is a part of theory of language.2 This account is to be found also among philosophers. It is also rather obvious that Peirce did not limit his semantic only to empirical studies. Linguists also use the word ‘semasiology’ instead of ‘semantics’; Bühler proposed the term ‘sematology’ for a general theory of symbols. (shrink)

Liberty is what libertarians advocate. Both because of the inherent value of human liberty and because of the increasing wealth and welfare it brings to all. They see the aggressive coercion of the state as the main enemy of liberty. The solution is to roll back the state until there is little or no state left. Libertarianism has been rapidly growing since the 1970s. But it is still not commonly understood or even given a proper hearing. However, you will increasingly (...) come across it. Often it will be through state enthusiasts disingenuously claiming to be libertarians . At other times it will be through state enthusiasts attacking libertarianism as an extremist ideology. And very occasionally it will be real libertarians explaining and defending their views. J C Lester is a libertarian philosopher who has been writing about why liberty is preferable to politics for many years. This book contains many of his shorter writings on the subject. These range from the populist to the philosophical. Together they function as a miscellaneous introduction to libertarianism. The various different topics and approaches should give the reader a good cross-reference grasp of the subject. (shrink)

The article outlines the distributive demands of relational equality in the form of a dynamic corridor of legitimate distributive inequality. It does so by complementing the already widely accepted sufficientarian floor with a limitarian ceiling, leading, in a first step, to a "corridor" of limited distributive inequality as a necessary condition for relational equality. This corridor alone, however, only provides necessary distributive conditions for relational equality and still allows for degrees of distributive inequality that would risk undermining egalitarian relations. Thus, (...) in a second step, intra-corridor distributive inequalities must be regulated by two further constraints: a (context- dependent) ratio between the best- and worst-off, and a demand for equality of opportunity so that inequalities result from people’s responsible choices. This set of demands spells out the distributive conditions that are not only necessary, but sufficient to provide a sound distributive basis for relational equality. After presenting this view, the article defends it against several objections. (shrink)

We generalize a well-known theorem binding the elementary equivalence relation on the level of PAC fields and the isomorphism type of their absolute Galois groups. Our results concern two cases: saturated PAC structures and nonsaturated PAC structures.

This paper studies intentional action in stit logic. The formal logic study of intentional action appears to be new, since most logical studies of intention concern intention as a static mental state. In the formalization we distinguish three modes of acting: the objective level concerning the choices an agent objectively exercises, the subjective level concerning the choices an agent knows or believes to be exercising, and finally, the intentional level concerning the choices an agent intentionally exercises. Several axioms constraining the (...) relations between these different modes of acting will be considered and discussed. The side effect problem will be analyzed as an interaction between knowingly doing and intentionally doing. Non-successful action will be analyzed as a weakening of the epistemic attitude towards action. Finally, the notion of ‘attempt’ will be briefly considered as a further weakening in this direction. (shrink)

Ideas about freedom and related concepts like autonomy and self-determination play a prominent role in the moral debate about human enhancement interventions. However, there is not a single understanding of freedom available, and arguments referring to freedom are simultaneously used to argue both for and against enhancement interventions. This gives rise to misunderstandings and polemical arguments. The paper attempts to disentangle the different distinguishable concepts, classifies them and shows how they relate to one another in order to allow for a (...) more structured and clearer debate. It concludes in identifying the individual underpinnings and the social conditions of choice and decision-making as particularly salient dimensions of freedom in the ethical debate about human enhancement. (shrink)

This article argues that there is no sound basis for thinking that we have a general and strong duty to rectify disparities of wealth around the world, apart from the special case where some become wealthy by theft or fraud. The nearest thing we have to a rational morality for all has to be built on the interests of all, and they include substantial freedoms, but not substantial entitlements to others' assistance. It is also pointed out that the situation of (...) the world's poor is not that of victims of disasters, but simply of less-developed technology, which can be repaired by full and free trade relations with others. The true savior of the world's poor is the businessman, not the missionary. What we do need to do is strike down barriers to commerce, rather than requisition "aid.". (shrink)

We extend stit logic by adding a spatial dimension. This enables us to distinguish between powers and opportunities of agents. Powers are agent-specific and do not depend on an agent’s location. Opportunities do depend on locations, and are the same for every agent. The central idea is to define the real possibility to see to the truth of a condition in space and time as the combination of the power and the opportunity to do so. The focus on agent-relative powers (...) and space-relative opportunities firmly roots effectivity of an autonomous choice making agent in a space–time picture. Our space–time view will be classically Newtonian, since we will assume relativistic phenomena do not play a role in agentive effectivity. We show how our semantics naturally distinguishes between different kinds of histories; histories that reflect real possibilities and histories that reflect counterfactual possibilities. Furthermore, we discuss how the spatial picture sheds light on conceptual problems plaguing the central stit property of ‘independence of agency’. At several points in the article we will emphasise and defend the differences with Belnap’s theory of agency in relativistic branching space–times. (shrink)

A common opinion is that power has shifted from states to companies. This article discusses quantitative and qualitative aspects of power possessed by companies and by states. A more adequate comparison than that between company sales and gross national product is the one between company value added and GNP. Also more adequate is the comparison between the public sector and company net profit. These rival measures take down company power to about a tenth of the sales measure. Also in qualitative (...) terms the "exit power" of the company gives a low impact compared to governmental action and the article concludes that company power by common measures is overestimated. However, the aggregated long-term effect of the market economy on the development of society is most significant. But it is a mistake to use that judgment as an argument for the opinion that business executives are the major power holders in modern societies. Perceptions of power also have an impact on which expectations and commitments that can be judged as realistic and therefore the issue of power is central for the normative discussion about corporate social responsibility. (shrink)

La recherche récente a régulièrement remis en cause la catégorie moderne de « lois sacrées » désignant des inscriptions grecques qui forment un ensemble mal défini. Cet article entend dépasser le corpus traditionnel des « lois sacrées » en présentant un projet de recueil alternatif de « Normes rituelles grecques » (CGRN pour l’acronyme anglais), qui s’appuie sur des critères plus sélectifs et sera publié en ligne.

As corporate social responsibility involves a voluntary business endeavour to address social and environmental issues beyond legal compliance, governments cannot fall back on hierarchical command-and-control policies to support it. As such, it is complementary with the increasing popularity of public policies known as New Governance policies, where the government is engaged in a horizontal inter-organizational network of societal actors and where public policy is both formed and executed by the interacting and voluntary efforts from a multitude of stakeholders. However, such (...) policies are known to generate substantive uncertainty about the content of CSR and its related issues, strategic uncertainty regarding the behavior of the actors involved and institutional uncertainty related to the interaction process involved in the institutional change. We explore New Governance policy instruments to address these uncertainties in the context CSR and discuss the experiences with these methods in the European Union. (shrink)

The cosmological theory of the author, discussed in (Greben in Found Sci 15(2):153–176, 2010 ), has a number of implications for the interpretation of initial conditions and the fine-tuning problem as discussed by Vidal (Found Sci 15(4):375–393, 2010a ).

Justin Holt argues that the Rawlsian requirements for justice are, contrary to Rawls’ own pronouncements, better met by socialism than ‘property owning democracy’, both of them preferring both to just plain capitalism, even with a welfare state tacked on. I suggest that Rawls’s ‘requirements’ are far less clear than most think, and that the only clarified version prefers the capitalist welfare state.

Men's passage to fatherhood: an analysis of the contemporary relevance of transition theory This paper presents a theoretical analysis of men's experiences of pregnancy, birth and early fatherhood. It does so using a framework of ritual transition theory and argues that despite its earlier structural‐functionalist roots, transition theory remains a valuable framework, illuminating contemporary transitions across the life course. The paper discusses the historical development of transition or ritual theory and, drawing upon data generated during longitudinal ethnographic interviews with men (...) undergoing the transition to fatherhood, analyses its relevance in understanding contemporary experiences of fatherhood. (shrink)

Enhancement, the improvement of mental capacities with psychoactive substances and technologies has stimulated one of the largest debates in contemporary bioethics. Surprisingly few participants in this debate take note of the tendentious legal status of psychoactive pharmaceuticals as the primary means of enhancement. -/- Enhancement technologies and substances have measurable effects on specific measurable cognitive functions. A major issue of contention in the debate is how to evaluate these effects, i. e. which theory of value to use. It is contested (...) whether the pleasures and achievements resulting from the use of enhancement can be counted as such or can be ignored or devaluate by calling them fraudulent or inauthentic. -/- The alleged and real benefits of enhancement are not expected to be evenly distributed, nor is it always clear whether enhancement is a zero-sum game or has benefits even for the non-users. This results in a complex structure of risks and benefits for individuals and groups, which needs to be broken down in detail. (shrink)

This paper outlines the history of logic in Poland in the years 1918–1939 . The disciplinary and social history of logical investigations in Poland is widely described. The author stresses topics characteristic for Polish logic, namely prepositional calculus, many-valued logic, Lezśniewski's systems, Chwistek's systems and the works in the history of logic.

Non-invasive brain stimulation promises innovative experimental possibilities for psychology and neurosci- ence as well as new therapeutic and palliative measures in medicine. Because of its good risk–benefit ratio, non-invasiveness and reversibility as well as its low effort and cost it has good chances of becoming a wide- spread tool in science, medicine and even in lay use. While most issues in medical and research ethics such as informed consent, safety, and potential for misuse can be handled with manageable effort, the (...) real promise of brain stimulation does raise one prominent moral worry: it may lay the foundation of reliable, precise and stable manipulations of the mind. This article addresses this worry and concludes that it is not the possibility of manipulation, but the shift in our understanding of our mind which stands in need of careful consideration. (shrink)

Several areas of expanding corporate responsibilities are evident from current practices. This article penetrates one such field, economic compensation through litigation, and discusses the possibility and desirability of reversing the trend. In court, companies are fined increasing amounts for an ever wider range of faults, or they settle out of court under this legal threat. This is not a local American problem, but European companies are increasingly involved because of globalization. The development in Europe is also driven by the same (...) factors as in America – the mechanics of litigation and conventional ethics. The greed of plaintiffs and lawyers can mobilize the perceived virtue of sympathizing with a victim. Therefore it seems likely that a precondition for tort reform is an ethical reevaluation. Is it desirable and politically possible to make the individual more responsible for his own fate? (shrink)

People can be treated unjustly with respect to the level of credibility others accord to their testimony. This is the core idea of the philosophical idea of epistemic justice. It should be of utmost interest to criminal law which extensively deals with normative issues of evidence and testimony. It may reconstruct some of the long-standing criticisms of criminal law regarding credibility assessments and the treatment of witnesses, especially in sexual assault cases. However, philosophical discussions often overlook the intricate complexities of (...) real procedural law and its underlying considerations. In its present form, the philosophical notion of epistemic injustice provides limited insights into legal discourse; it necessitates translation and adaptation. This study contributes to this endeavor by examining the contentious issue of testimony from witnesses who have undergone trauma-focused psychotherapy. Since the 1980s, courts worldwide were troubled with cases of false accusations based on false memories generated by suggestive therapeutic interventions. As a result, such post-therapy testimonies are discounted in one way or another in many jurisdictions. However, courts are still confronted with such testimonies, and the modi vivendi legal systems have established to deal with them continue to give rise to concerns about unjust treatment of witnesses. The question is thus whether legal rules or established practices of evaluating testimony based on memories which resurfaced after psychotherapy are epistemically and legally just. The paper presents seven ways in which courts may assess such testimonies and examines them in light of epistemic and procedural justice. Some of them prima facie constitute a form of epistemic injustice because they discount testimonies to an unwarranted degree. But these injustices might be justified by overriding principles favoring defendants. Nonetheless, the idea of epistemic justice, more broadly understood, inspires two principles that may serve as a foundation for a future conception of epistemic justice adapted to the law. (shrink)

ANGUS J, HODNETT E and O’BRIEN-PALLAS L. Nursing Inquiry 2003; 10: 218–228Implementing evidence-based nursing practice: a tale of two intrapartum nursing unitsDespite concerns that the rise of evidence-based practice threatens to transform nursing practice into a performative exercise disciplined by scientific knowledge, others have found that scientific knowledge is by no means the preeminent source of knowledge within the dynamic settings of health-care. We argue that the contexts within which evidence-based innovations are implemented are as influential in the outcomes as (...) the individual practitioners who attempt these changes. A focused ethnography was done in follow-up to an earlier trial that evaluated the effectiveness of a marketing strategy to encourage the adoption of evidence-based intrapartum nursing practice. Bourdieu's (1990, 1991) concepts of habitus, capital and social field were used in our refinement of the analysis of the ethnographic findings. Nursing leadership, interprofessional struggle with physicians, the characteristics of the community and the physical environment were prominent issues at all of the sites. Detailed descriptions of the sociohistorical context and of the experiences at two sites are presented to illustrate the complexities encountered when implementing innovations. (shrink)