This paper describes formalizations of Tait's normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs programs are machine-extracted that implement variants of the well-known normalization-by-evaluation algorithm. The case study is used to test and compare the program extraction machineries of the three proof assistants in a non-trivial setting.

Equal Justice explores the role of the idea of equality in liberal theories of justice. The title indicates the book’s two-part thesis: first, I claim that justice is the central moral category in the socio-political domain; second, I argue for a specific conceptual and normative connection between the ideas of justice and equality. This pertains to the age-old question concerning the normative significance of equality in a theory of justice. The book develops an independent, systematic, and comprehensive theory of equality (...) and egalitarianism. The principal question is about the importance of equality in a theory of justice. More precisely, we should pose questions in four contracting circles: 1. Is justice the supreme value guiding our setup of the basic structure of society, or are there other, equally important values, such as recognition, care, communal belonging? 2. If justice is the highest guiding principle, which competing ideals—especially equality and freedom—ought to have precedence in a policy oriented toward justice? What status does the ideal of equality have in that framework? 3. If equality is a basic ideal of just policy, how should it be practically realized? What sort of equality (equal opportunity, equality of welfare, resource equality) should be demanded? 4. What patterned distribution of which specific goods does the ideal of equality demand? Which principles of distribution can be justified according to our justice ideal? To conclude and summarize: 5. What is the essential core of an egalitarian theory of justice, as opposed to an inegalitarian theory? These five questions structure the work’s order of argumentation. Part A elaborates the conceptual foundations and basic moral principles of justice and equality. Chapter I sets out to install justice as the central moral category in the socio-political domain. At the beginning of the first chapter, the conceptual foundations of justice are clarified. While not eliminating the classical distinctions between different forms of justice, I argue that the distributive paradigm is of primary importance. The primacy of justice in the socio-political domain is developed out of a confrontation with alternative positions, those which maintain either that justice generally, or distributive justice in particular, are subsidiary virtues. At the end of Chapter I, the first of the questions mentioned above is answered in a way that establishes justice as the guiding normative concept for the foundation and evaluation of any social order. To clarify the role of equality in a theory of justice, Chapter II separates the idea of equality into four different principles. They are organized in a way that begins with the most general and uncontroversial principle of equality, and progresses towards increasingly detailed and contested principles. There are two theses that articulate and defend the significance of equality for justice: First there is a conceptual connection between justice and equality, in that principles of formal and proportional equality are necessary in order to explicate the concept of justice. These two principles establish an unbreakable bond between justice and equality. Justice can only be explained—or so I argue—by reference to these and other (normative) principles of equality. The second thesis posits a normative relationship between justice and equality, which is disclosed by three substantive principles of equality: moral equality, the presumption of equality, and the principle of responsibility. I argue that the normative core of an egalitarian theory of justice is expressed by the latter two principles, which are themselves based on the first principle, that of moral equality. When we view one another as persons, what form of equality or equal treatment is normatively demanded? I argue that the answer to this question is given by the procedural principle of the presumption of equality: regardless of their apparent differences, all persons deserve strictly equal treatment, unless certain kinds of differences have whatever particular relevance would justify, on generally acceptable grounds, unequal treatment or unequal distribution. The justification of the presumption of equality is central to this work and has considerable importance. If the presumption principle’s validity can be justified by enlisting the principle of general justification, then the primacy of equality, and the essential argument for an egalitarian theory of justice, is established. This would likewise provide a procedure for the construction of a material theory of justice. The second question is answered thereby at the end of Chapter II: Equality should have primacy over competing ideals within a justice-oriented policy. The presumption of equality establishes this primacy and, at the same time, offers an appropriate metric and guideline for the construction of a material theory of distributive justice. The presumption of equality in Part B offers an elegant procedure for the development of a theory of distributive justice. Chapter III clearly sets out the necessary prerequisites that a theory of distribution must satisfy in order to determine a liberal-egalitarian distributional framework. We need to specify in which situation the distribution takes place; which goods are and are not to be distributed; in which respect the presumptive equality is to be produced; and by and to whom, and for what period, the relevant goods are to be distributed. The distribution is based on resources understood as general-purpose means. It is necessary to divide goods into different categories, since the justification for unequal treatment in one domain will not carry over into another. This makes presumptive equality necessarily complex. To that end, four spheres of justice are distinguished: (1) the political sphere, which involves allocating rights through the distribution of civil liberties; (2) the democratic sphere, in which political power and the rights of political participation are regulated; (3) the economic sphere, in which income and property are distributed; (4) the social sphere, in which social positions and opportunities are distributed. This framework of distributive justice answers the third of our guiding questions, about the nature of equality, in terms of equality of resources. Chapters IV and V set out the egalitarian distributive criteria for each sphere. I argue that the generally accepted, fundamental rights of classical liberalism are more effectively reconstructed by reference to the equal resource distribution presumptively required in those spheres. Chapter IV shows that when it comes to the first two spheres, those involving basic rights and freedoms and entitlement political participation, there can be no justified exceptions to the equal distribution of the relevant goods. That section argues, contrary to what we commonly find in theories of freedom or popular sovereignty, that the value of freedom and self-determination as the political basis of autonomy is best realized through the presumption of equal distribution. Chapter V deals with the other two spheres, those of economic goods and social positions, and argues for justified exceptions to equal distribution. In the economic sphere we find one principal reason favouring unequal distribution of resources, and three restrictions and compensations limiting that inequality. The basic exception to equal economic distribution arises from the unequal consequences of personal responsibility. From a suitably egalitarian standpoint, the principle of responsibility is the normative principle that determines which reasons justify economic inequality. Here the basic idea is that unequal shares of social goods are fair if they result from the choices and deliberate actions of the relevant parties. That individuals have to bear the costs of their own choices is a condition of autonomy. However, benefits or disadvantages arising from arbitrary and unmerited differences in social circumstances or natural endowments is unfair. The unequal consequences of independent decision-making and action must therefore be limited by compensating first for preferences, secondly for disadvantages, and thirdly by redistributing wealth in aid of the worse-off. I situations of emergency, compensating for disadvantages has priority over all other claims, owing to the urgency of the situation. Social inequalities go beyond the permissible limit if it is possible to improve the long-term social or economic situation of the worse-off by redistributing wealth to them. These exceptions lead to a complex system of free economic action within a framework of compensatory tax and transfer mechanisms. Finally, in the social sphere, the distribution of social positions, offices and opportunities must be structured to ensure that equally talented and motivated citizens have roughly equal chances of obtaining those offices or positions, irrespective of their economic or social class backgrounds. This compromise is permissible for reasons of freedom and prudence, and it makes a certain measure of inequality acceptable. The fourth of our guiding questions is answered accordingly. There are five principles of justice for the basic structure of society, and five legal principles that govern the special distribution of goods in the respective spheres—all are ranked according to their most defensible grounds of priority, ensuring that everyone is accorded equal justice. Chapter VI recapitulates the initial question of equality’s value. The conception of equal justice developed in this work postulates five principles of equality and five principles of law; these constitute an egalitarian framework because they support and promote social justice. Equality has value with respect to them, but is not given any independent, intrinsic value. That is why I call the account developed here a form of constitutive egalitarianism: justice is realized through the realization of equality, itself accomplished by applying the five postulates of equality and five distributive principles of law. This is an egalitarianism on two levels. The first level is involves the claim that morality or justice is conceptually connected with equality. The second level gives equality a substantial weight in what is conceptually validated at the first level, namely the presumption of equality, and constructs an appropriate interpretation and conception of distributive justice through principles of distribution for the individual spheres. The weight and importance of equality is shown by the distributive criteria applied to those spheres. This answers our final guiding question about the nature of an egalitarian theory. (shrink)

The entropy-reduction hypothesis claims that the cognitive processing difficulty on a word in sentence context is determined by the word's effect on the uncertainty about the sentence. Here, this hypothesis is tested more thoroughly than has been done before, using a recurrent neural network for estimating entropy and self-paced reading for obtaining measures of cognitive processing load. Results show a positive relation between reading time on a word and the reduction in entropy due to processing that word, supporting the entropy-reduction (...) hypothesis. Although this effect is independent from the effect of word surprisal, we find no evidence that these two measures correspond to cognitively distinct processes. (shrink)

In der Auseinandersetzung mit Nietzsches Kritik der Menschenwürde nimmt dieses Buch zugleich Stellung zur aktuellen Diskussion. Wie ist die gegenwärtige Norm der Menschenwürde, wie sie auch im Grundgesetz enthalten ist, vor dem Hintergrund der Theorien des vehementen Moralkritikers Nietzsche einzuschätzen? Welchen Stellenwert hat die Würde des Menschen im Zeitalter des Posthumanismus überhaupt? Im ersten Teil skizziert der Autor zunächst die wichtigsten philosophischen Konzeptionen der Menschenwürde von Cicero bis Kant. Dabei macht er deutlich, welche Probleme die gegenwärtige Rezeption historischer Konzeptionen aufwirft. (...) Der zweite Teil ist der ausführlichen Darstellung von Nietzsches Kritik der Menschenwürde gewidmet. Daraus ergeben sich wichtige Impulse für die gegenwärtige Diskussion und konkrete Hinweise, wie ein tragbarer Begriff der Menschenwürde für die Zukunft aussehen könnte. (shrink)

Previous studies suggest in line with dual process models that interoceptive skills affect controlled decisions via automatic or implicit processing. The “framing effect” is considered to capture implicit effects of task-irrelevant emotional stimuli on decision-making. We hypothesized that cardiac awareness, as a measure of interoceptive skills, is positively associated with susceptibility to the framing effect. Forty volunteers performed a risky-choice framing task in which the effect of loss versus gain frames on decisions based on identical information was assessed. The results (...) show a positive association between cardiac awareness and the framing effect, accounting for 24% of the variance in the framing effect. These findings demonstrate that good interoceptive skills are linked to poorer performance in risky choices based on ambivalent information when implicit bias is induced by task-irrelevant emotional information. These findings support a dual process perspective on decision-making and suggest that interoceptive skills mediate effects of implicit bias on decisions. (shrink)

Volume 19, Issue 10, October 2019, Page 90-92.

Research on patients with damage to ventromedial frontal cortices suggests a key role for emotions in practical decision making. This field of investigation is often associated with Antonio Damasio’s Somatic Marker Hypothesis—a putative account of the mechanism through which autonomic tags guide decision making in typical individuals. Here we discuss two questionable assumptions—or ‘myths’—surrounding the direction and interpretation of this research. First, it is often assumed that there is a single somatic marker hypothesis. As others have noted, however, Damasio’s ‘hypothesis’ (...) admits of multiple interpretations (Dunn et al. [2006]; Colombetti [2008]). Our analysis builds upon this point by characterizing decision making as a multi-stage process and identifying the various potential roles for somatic markers. The second myth is that the available evidence suggests a role for somatic markers in the core stages of decision making, that is, during the generation, deliberation, or evaluation of candidate options. On the contrary, we suggest that somatic markers most likely have a peripheral role, in the recognition of decision points, or in the motivation of action. This conclusion is based on an examination of the past twenty-five years of research conducted by Damasio and colleagues, focusing in particular on some early experiments that have been largely neglected by the critical literature. 1 Introduction2 What is the Somatic Marker Model?3 Multiple Somatic Marker Hypotheses3.1 Are somatic markers necessary for practical decision making?3.2 Speed, accuracy, or both?3.3 At which of the five stages of decision making are somatic markers engaged?4 Anecdotal Evidence Suggests a Peripheral Role for Somatic Markers4.1 Chronic indecisiveness4.2 Extreme impulsiveness4.3 Enhanced decision making in the lab4.4 Lack of motivation. 5 Early Experiments Suggest that VMF Damage Leaves Core Processes Intact5.1 The evocative images study5.2 Five problem solving tasks6 Recent Experiments Fail to Discriminate among Alternate Versions of SMH7 Conclusion. (shrink)

The pivotal role of the relation part-of in the description of living organisms is widely acknowledged. Organisms are open systems, which means that in contradistinction to mechanical artifacts they are characterized by a continuous flow and exchange of matter. A closer analysis of the spatial relations in biological organisms reveals that the decision as to whether a given particular is part-of a second particular or whether it is only contained-in the second particular is often controversial. We here propose a rule-based (...) approach which allows us to decide on the basis of well-defined criteria which of the two relations holds between two anatomical objects, given that one spatially includes the other. We discuss the advantages and limitations of this approach, using concrete examples from human anatomy. (shrink)

In a recent paper, Philip Kremer proposes a formal and theory-relative desideratum for theories of truth that is spelled out in terms of the notion of ‘no vicious reference’. Kremer’s Modified Gupta-Belnap Desideratum (MGBD) reads as follows: if theory of truth T dictates that there is no vicious reference in ground model M, then T should dictate that truth behaves like a classical concept in M. In this paper, we suggest an alternative desideratum (AD): if theory of truth T dictates (...) that there is no vicious reference in ground model M, then T should dictate that all T-biconditionals are (strongly) assertible in M. We illustrate that MGBD and AD are not equivalent by means of a Generalized Strong Kleene theory of truth and we argue that AD is preferable over MGBD as a desideratum for theories of truth. (shrink)

On the basis of an earlier contribution to the philosophy of computer science by Amnon Eden, this essay discusses to what extent Eden’s ‘paradigms’ of computer science can be transferred or applied to software engineering. This discussion implies an analysis of how software engineering and computer science are related to each other. The essay concludes that software engineering can neither be fully subsumed by computer science, nor vice versa. Consequently, also the philosophies of computer science and software engineering—though related to (...) each other—are not identical branches of a general philosophy of science. This also implies that not all of Eden’s earlier arguments can be directly mapped from the domain of computer science into the domain of software science. After the discussion of this main topic, the essay also points to some further problems and open issues for future studies in the philosophy of software science and engineering. (shrink)

Let us by ‘first-order beliefs’ mean beliefs about the world, such as the belief that it will rain tomorrow, and by ‘second-order beliefs’ let us mean beliefs about the reliability of first-order, belief-forming processes. In formal epistemology, coherence has been studied, with much ingenuity and precision, for sets of first-order beliefs. However, to the best of our knowledge, sets including second-order beliefs have not yet received serious attention in that literature. In informal epistemology, by contrast, sets of the latter kind (...) play an important role in some respectable coherence theories of knowledge and justification. In this paper, we extend the formal treatment of coherence to second-order beliefs. Our main conclusion is that while extending the framework to second-order beliefs sheds doubt on the generality of the notorious impossibility results for coherentism, another problem crops up that might be no less damaging to the coherentist project: facts of coherence turn out to be epistemically accessible only to agents who have a good deal of insight into matters external to their own belief states. (shrink)

In this paper, I examine the question of the scope of justice, in a not unusual distributive, egalitarian, and universalistic framework. Part I outlines some central features of the egalitarian theory of justice I am proposing. According to such a conception, justice is – at least prima facie – immediately universal, and therefore global. It does not morally recognize any judicial boundaries or limits. Part II examines whether, even from a universalistic perspective, there are moral or pragmatic grounds for rejecting (...) or limiting the global scope of justice. In particular, I scrutinize five universalistic objections: (1) the principle of “moral division of labor”; (2) the connection between cooperation and distributive justice; (3) the primacy of democracy; (4) the dangers of a world state; and (5) political‐pragmatic reasons. I intend to show that these objections cannot undermine the strong normative claims of global justice. At the most, political‐pragmatic reasons speak in favor of initially striving for somewhat less, in order to receive more general backing. (shrink)

The article is mainly based on Tadeusz Czeżowski’s publication – “Metaethical considerations”, prepared to be printed but never published. This publication, however, is not a handbook of classical metaethics but a kind of generalization of ethical theories ordering in a way, all known until now ethical systems within philosophy. Thus, Czeżowski does not offer his metaethics as a section of traditional ethics but also as a kind of generalization of all ethics until now, and therefore, all systems worked out within (...) itself. In its essence “Metaethical considerations” is the concept of scientific ethics, regardless of anything that does not pass verification, subject of which are e.g. empirical science research results. (shrink)

„Ruch Filozoficzny” and the freedom of scientific research in Poland (in 1947-1957 years). Presented article refers to the situation in the Polish philosophy, which took place between 40-50 of the twentieth century. Author’s reflections are carried on the example of attempts to reactivate in the realities of war, the polish philosophical journal “Ruch Filozoficzny” founded in 1911 by Kazimierz Twardowski. Political conditions have made the magazine was renewed twice, at each time was the greatest merit of Tadeusz Czeżowski. He was (...) assisted by the other representatives of the Lvov-Warsaw School, who worked in various academic centers in Poland. The reconstruction of the history of the magazine in the postwar years, will be based on previously unpublished archival material. In its conclusions, the author tries to point out of great importance of independent from the political authorities publishers on development of Polish philosophy. (shrink)

This book studies Thomas Aquians' treatise on happiness (STh I-II 1-5) with his "Summa Theologiae from a Lutheran theological perspective.

Dem Autor geht es in erster Linie darum, einen in Deutschland weitgehend vergessenen Philosophen in den Mittelpunkt des Wissenschaftsdiskurses zu stellen. Der Thuringer Karl Christian Friedrich Krause, Schuler von Fichte und Schelling in Jena, entwickelte eine eigenstandige Philosophie, die sich einerseits der epochalen abendlandischen Geistestradition verpflichtet weiss, zugleich aber auch von der Kantischen Philosophie und ihrem kritischen Geist beeinflusst wurde. Krause ist einerseits Systemphilosoph, der immer wieder die Thematik des Absoluten oder Gottes in den Vordergrund stellt - in dieser Hinsicht (...) ist er spekulativer Idealist. Andererseits muss alle Philosophie beim Ich beginnen, sofern zeigt er sich als Denker des Transzendentalen. Krauses Philosophie ist zweistrahlig aufgebaut: Zum einen will er die endliche Welt aus Gott ableiten, andererseits soll das Ich zur Erkenntnis Gottes aufsteigen. Ausgehend von der Metaphysik wird dieser Aufstieg des Ich zum Absoluten in den verschiedenen Regionalphilosophien, in der Religion, Ethik und Asthetik thematisiert.". (shrink)

Körper, Seele und Geist. Aus welchen Teilen besteht der Mensch? Mit dieser Fragestellung hat sich die Anthropologie schon seit Jahrhunderten beschäftigt. Vorliegendes Buch arbeitet diese Frage anhand der Epoche der Romantik und des damaligen wissenschaftlichen Diskurses der Anthropologie auf. Zwischen den Anthropologen gab es große Meinungsunterschiede. Die Schule der Dualisten behauptete, dass der Mensch aus einer Seele und einem Körper bestehe. Die genuin christlich inspirierten Trinitarier gingen hingegen von einem Gott analogen Menschenbild mit den Merkmalen Geist, Seele und Körper aus.

The article aims to put on the table the ongoing works of the United Nations Organization and others like World Trade Organization being focused in their current and future challenges to build an effective and useful Multilateral Trading System. Apart from achievements and reforms undertaken, further ones - based on another approach: considering the diversity principle - are proposed in order to reach equitable and fair trading negotiations outcomes in benefits of all members.

For 50 years, Star Trek has been an inspiration to its fans around the world, helping them to dream of a better future. This inspiration has entered our culture and helped to shape much of the technology of the early 21st Century. The contributors to this volume are researchers and teachers in a wide variety of disciplines; from Astrophysics to Ethnology, from English and History to Medicine and Video Games, and from American Studies to the study of Collective Computing Systems. (...) What the authors have in common is that some version of Star Trek has inspired them, not only in their dreams of what may be, but in the ways in which they work - and teach others to work - here in the real world. Introduced with references to Star Trek films and television shows, and illustrated with original cartoons, each of the 15 chapters included in this volume provides insights into research and teaching in this range of academic fields. (shrink)

This article discusses the influence that Schopenhauer’s thought had on Mihai Eminescu’s work with reference to the idea of “pessimism.” It also considers Schopenhauer’s influence on Romanian philosophy and literature at the end of the nineteenth century. We shall examine Eminescu’s alleged “Schopenhauerian pessimism,” considering firstly “pessimism” as a part of Eminescu’s “myth.” Secondly, we shall cover the critical reception of Eminescu’s “Schopenhauerian pessimism,” discussing the existing literary and philosophical scholarship. Finding that there are issues for debate regarding Schopenhauer’s alleged (...) influence upon Eminescu, we argue that Eminescu’s “Schopenhauerian pessimism” may be a “legend.” The article examines the connection between Eminescu and one of Schopenhauer’s most influential followers, Eduard von Hartmann. (shrink)

In my paper, I comment on Rainer Forst's paper in this issue. I raise doubts as to whether the justification of democracy emerges from a fundamental moral right to reciprocal and general justification, as Forst claims. His basic argument appears questionable because democracy is different from a “hypothetical‐consent‐conception” of moral legitimacy, which limits as well as enables democratic legitimacy. The former cannot, however, justify the latter through an argument centered on self‐government: Such an argument relies heavily on the possibility of (...) consensus, thus neglecting the crucial phenomenon of disagreement or dissent. As a result of not adequately dealing with this phenomenon, the argument is unable to account for the basic democratic principle of majority rule as the remedy at hand. (shrink)

When making an assessment of animal welfare, it is important to take environmental (housing) or animal-based parameters into account. An alternative approach is to focus on the behavior and appearance of the animal, without making actual measurements or quantifying this. None of these tell the whole story. In this paper, we suggest that it is possible to find common ground between these (seemingly) diametrically opposed positions and argue that this may be the way to deal with the complexity of animal (...) welfare. The model will have to be acceptable for the different parties that will be affected by it and real benefits for the animal should result from it. This will be the basis of a practical ethical approach. All this can be condensed into a model that essentially is made up out of three basic elements: the classical welfare analysis with an existing welfare assessment tool, an assessment of the stockholder, and an implementation of the Free Choice Profiling technique. This new framework does not pretend to be a different or better animal welfare matrix; it is intended to integrate existing knowledge and to provide a practical tool to improve animal welfare. It identifies whether there are welfare problems on a farm, if present whether these problems are caused by the housing system or the stockholder, and what can be done to improve the situation. (shrink)

The problem of expertise plays a key role in current scientific and political debates. Dominant approaches to expertise are focused on knowledge as an idealistic content. Given the partial inadequacy of these perspectives, an amended theoretical and methodological approach is needed. This paper aims then at sketching a relational conceptualization of expertise. At this purpose, the connections between recent anthropological theories and pragmatist theories will be highlighted.

Sign-theoretical concepts have been used in research into the nature of living systems, not only by biologists, semioticians, and philosophers, but also by scientists who analyze organisms from the perspective of Decision Theory. Decision Theory (DT) describes both the external behavior and the internal information-processing of any kind of agent in terms of problem solving. Such “problem solving” is considered a complex process of: (1) defining a goal in an environment, (2) selecting the means to reach the defined goal, and (...) (3) controlling the effects of said selected means on the environment. The hypothesis that problem-solving agents are, first, physical entities and, second, sign-using systems is one of the most influential ideas in Decision Theory. This idea has been developed under the name of the ‘Physical Symbol System Hypothesis’ (PSSH) since the 1950s, particularly by two American scientists, Allen Newell and Herbert A. Simon, who did interdisciplinary research in cognitive science, artificial intelligence, economics, and decision theory. This paper first gives a short overview of the basic semiotic theory that underlies Newell’s and Simon’s work, and then offers some ideas on a specifically biosemiotic use of the Physical SymbolSystem Hypothesis. (shrink)

Synthesizing important research traditions in information theory, structuralist semiotics, and generative linguistics, at least three main types of semiotic indeterminacy must be distinguished: Kolmogorov’s notion of randomness defined as sequential incompressibility, de Saussure’s principle of contingency of sign which ensures the possibility of translation between different sign systems, and Chomsky’s idea of indefiniteness in generative mechanisms as a requirement for the explanation of semiotic creativity. These types of semiotic indeterminacy form an abstract system useful for the description of concrete sign (...) processes in their syntactic, semantic, and pragmatic dimension. In his philosophical reflections on modern biology, Jacques Monod used the conceptual opposition chance versus necessity to analyse several phenomena of indeterminacy (especially in molecular biology). The biosemiotic approach to life permits to apply the suggestedsystem of semiotic indeterminacy on these phenomena. (shrink)

Ziel dieses Aufsatzes ist es, Robert Brandoms Begriff des Explizit-Machens explizit zu machen. Zu diesem Zweck werden zunächst verschiedene Formen des Explizit-Machens unterschieden. Dabei erweist sich allein der Begriff des logischen Explizit-Machens als haltbar. Anschließend wird gezeigt, dass diesem Begriff eine Schlüsselstellung im Rahmen von Brandoms Philosophie zukommt. Sowohl seine philosophische Methodologie als auch sein zentrales philosophisches Projekt einer Zurückführung von Semantik auf Pragmatik lassen sich höchstens soweit verständlich machen wie der Begriff des logischen Explizit-Machens. Dieser weist allerdings ein erhebliches (...) Defizit auf: Im Rahmen einer Inferentialistischen Semantik lässt sich die expressive Funktion wichtiger Teile des logischen Vokabulars nicht verständlich machen. Das Ergebnis ist, dass sich zwei der Grundpfeiler von Brandoms Sprachphilosophie, die Inferentialistische Semantik einerseits und deren Zurückführung auf eine normative Pragmatik andererseits, nicht gleichzeitig konsequent durchhalten lassen. (shrink)

We study satisfiability and infinite-state model checking in ICPDL, which extends Propositional Dynamic Logic (PDL) with intersection and converse operators on programs. The two main results of this paper are that (i) satisfiability is in 2EXPTIME, thus 2EXPTIME-complete by an existing lower bound, and (ii) infinite-state model checking of basic process algebras and pushdown systems is also 2EXPTIME-complete. Both upper bounds are obtained by polynomial time computable reductions to ω-regular tree satisfiability in ICPDL, a reasoning problem that we introduce specifically (...) for this purpose. This problem is then reduced to the emptiness problem for alternating two-way automata on infinite trees. Our approach to (i) also provides a shorter and more elegant proof of Danecki's difficult result that satisfiability in IPDL is in 2EXPTIME. We prove the lower bound(s) for infinite-state model checking using an encoding of alternating Turing machines. (shrink)

This paper examines how competition and competitive strategy influence companies’ propensity to engage in socially and environmentally responsible procurement processes (SERP). We interview 141 British procurement managers, on their perception of their company’s competitive strategy and the competitive environment in which they operating in. In addition, participants were asked how important responsible procurement was for their overall business and their strategy.Our results suggest that companies that produce a differentiated product engage in relatively proactive SERP process, compared to their counterparties, who (...) aimed to produce a product at the lowest price possible. (shrink)

“Narrativity and the Symbolic Vacuum” examines the descriptive and the prescriptive narrativity claim in the context of a claim that there are narratives in the biblical literature that resist both. The descriptive narrativity claim maintains that it is not an option for a person to conceive of their life without narrative coherence. The prescriptive claim holds that narrativity is a necessary condition for a good and successful human life. Phenomenological thought and Aristotelian virtue ethics, expressing a critical stance towards modernity (...) (modernity with its desire for objective, narrative-free criteria for truth), encourage narrativity claims. Biblical theology, despite its pervasive use of narrative strategies, offers a space in which narrativity claims are relativized. It is especially in confrontation with death where human life cannot be narratively managed. That is why it is in particular the cross in the New Testament which defies both descriptive and prescriptive narrativity claims. (shrink)