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)

In recent years, interest in pre-reflective self-consciousness has increased significantly. One of the central points of inquiry is whether pre-reflective self-consciousness ubiquitously accompanies phenomenal consciousness. This paper explores a phenomenological justification for the thesis that pre-reflective self-consciousness ubiquitously accompanies phenomenal consciousness. Allegedly, the ubiquity of pre-reflective self-consciousness can be proved on the basis of phenomenological description. The aim of this paper is to develop a new objection against this justification of the ubiquity thesis.

In my paper, I analyse the aspects of nostalgia as a form of lived bodily memory and show how the spatiotemporality of the present is ‘haunted’ by the superimposed appearance of the past. Nostalgia is a movement of seeping returns. We find ourselves overwhelmed by the desire of a place that is imprinted in our bodies. To become acquainted with a place takes time. And later on, it is this time that comes back to us when we desire this particular (...) place. In our desire for a place, we also desire a certain time, and we become familiar with both, time and place. An essential part of the structure of nostalgia is the distinctive fixation, qualitatively positive or negative, of an image that binds the self to a place and time. The past transpires into the present, and nostalgia shows how we experience time through our lived bodies. (shrink)

The distinction between causal role and selected effect functions is typically framed in terms of their respective explanatory roles. However, much of the controversy over functions in genomics takes place in an investigative, not an explanatory context. Specifically, the process of component-driven functional investigation begins with the designation of some genetic or epigenetic element as functional —i.e. not junk— because it possesses properties that, arguably, suggest some biologically interesting organismal effect. The investigative process then proceeds, in a bottom-up fashion, to (...) search for those effects. I argue that this process encounters a problem reminiscent of one that Gould and Lewontin associated with the adaptationist program. Just as their stereotypical adaptationst became trapped in the myopic pursuit of one selectionist hypothesis after another, so can the investigation of CR functions in genomics lead to an unending series putative organism-level CR functions for junk DNA. This is an acute problem for genomics, because eukaryotic genomes are littered with transposable elements and their deactivated descendants which often masquerade as interesting CR-functional components and it is experimentally onerous to determine whether they lack such a function. I further argue that selectionist reasoning about TE-host coevolutionary dynamics can greatly streamline the investigative process. Importantly, selectionist hypotheses need not be well confirmed to be illuminating in this context. Informed selectionist reasoning about the strategic roles of TEs in the genome offers a corrective to the idea that most of our DNA is somehow CR functional for the organism. (shrink)

In this paper we introduce a Gentzen calculus for (a functionally complete variant of) Belnap's logic in which establishing the provability of a sequent in general requires \emph{two} proof trees, one establishing that whenever all premises are true some conclusion is true and one that guarantees the falsity of at least one premise if all conclusions are false. The calculus can also be put to use in proving that one statement \emph{necessarily approximates} another, where necessary approximation is a natural dual (...) of entailment. The calculus, and its tableau variant, not only capture the classical connectives, but also the `information' connectives of four-valued Belnap logics. This answers a question by Avron. (shrink)

The semantic valuations of classical logic, strong Kleene logic, the logic of paradox and the logic of first-degree entailment, all respect the Dunn conditions: we call them Dunn logics. In this paper, we study the interpolation properties of the Dunn logics and extensions of these logics to more expressive languages. We do so by relying on the \ calculus, a signed tableau calculus whose rules mirror the Dunn conditions syntactically and which characterizes the Dunn logics in a uniform way. In (...) terms of the \ calculus, we first introduce two different interpolation methods, each of which uniformly shows that the Dunn logics have the interpolation property. One of the methods is closely related to Maehara’s method but the other method, which we call the pruned tableau method, is novel to this paper. We provide various reasons to prefer the pruned tableau method to the Maehara-style method. We then turn our attention to extensions of Dunn logics with so-called appropriate implication connectives. Although these logics have been considered at various places in the literature, a study of the interpolation properties of these logics is lacking. We use the pruned tableau method to uniformly show that these extended Dunn logics have the interpolation property and explain that the same result cannot be obtained via the Maehara-style method. Finally, we show how the pruned tableau method constructs interpolants for functionally complete extensions of the Dunn logics. (shrink)

In ?155 of his New Theory of Vision Berkeley explains that a hypothetical ?unbodied spirit? ?cannot comprehend the manner wherein geometers describe a right line or circle?.1The reason for this, Berkeley continues, is that ?the rule and compass with their use being things of which it is impossible he should have any notion.? This reference to geometrical tools has led virtually all commentators to conclude that at least one reason why the unbodied spirit cannot have knowledge of plane geometry is (...) because it cannot manipulate a ruler or a compass. In this article I will show that such an interpretation is flawed. I will instead argue that Berkeley's understanding of Euclidian geometry was based on Isaac Barrow's account of the foundations of geometry. On this view geometrical objects are conceived in terms of the idealized motion that generates the objects of geometry. Consequently, that what the unbodied spirit cannot do in this context is to form an idea of motion rather than being unable to handle geometrical tools. 1All references to Berkeley are from, A. A. Luce and T. E. Jessop (eds.), The Works of George Berkeley, Bishop of Cloyne (London: Thomas Nelson and Sons, Ltd., 1948) The following abbreviations are used: An Essay Towards A New Theory of Vision, section x = New Theory x; Philosophical Commentaries, entry x = Commentaries x; Part I of A Treatise concerning the Principles of Knowledge, section x = Principles x. All other references to Berkeley's works are of the form The Works of George Berkeley, Bishop of Cloyne, volume x, page y = Works, x, y. (shrink)

I propose to show that any direct moral bioenhancement procedures that could be realized within a relatively short period of time are not realistic options. This does not have to worry us; however; because alternative options for promoting morality are available. Consequently; moral bioenhancement is not an option for dealing successfully with the increased potential destructiveness of contemporary technologies within a short-term framework; i.e. within this century. In what follows; I will explain why this is the case; and why; contrary (...) to Ingmar Persson and Julian Savulescu; I think this need not worry us too much. In section 1.; I will critically analyze moral bioenhancement by means of citalopram; aimed at reducing the tendency to harm others directly. I give this prominence because it could be a practical option for altering human emotions and dispositions – to my mind; it seems the most promising practical option in this field. In later sections; I will consider other means of realizing moral bioenhancement; since the first option does not do the job it is supposed to; and because Persson and Savulescu are concerned with alternative approaches. (shrink)

This book is an attempt to provide a philosophical answer to the simple question, "What is the law?" as well as address the various debates this question has spawned. Along the way, it develops a unique position within analytic jurisprudence by carefully distinguishing between a theory of the nature of a legal system and a theory of the nature of legal content. Finally, it applies the framework established in the first part of the book to two substantive areas within legal (...) theory: legal reasoning and international legal systems. The result is a unique introduction to the philosophy of law, one that presents and tests a theory of analytic jurisprudence, while it introduces students and others to this sub-field of philosophy. It explains and clarifies for students the views of the most significant scholars in the philosophy of law—those of H.L.A. Hart, Hans Kelsen, Joseph Raz, Ronald Dworkin, and John Finnis—and offers a critique of each. This approach should appeal to all types of philosophers--students and scholars alike--who are wary of wading into the field of legal theory as well as philosophers of law who wouldn’t find useful or interesting a mere survey of the field. (shrink)

We elucidate the conditions under which any hypothesis is explanatorily relevant by analyzing several tests of explanatory relevance and explanations based on those tests. A new causal criterion of explanatory relevance is developed and defended. We show how the causal criterion succeeds in establishing, at the very least, a very strong presumption against moral facts.

I argue for an account of know‐how as a capacity for practical judgment—a view I derive from Gilbert Ryle. I begin by offering an interpretation of Ryle and by correcting a number of widespread misconceptions about his views in the current debate. I then identify some problems with Ryle's account and finally present my own view which, I argue, retains Ryle's insights while avoiding his mistakes.

For Aristotle, a just political community has to find similarity in difference and foster habits of reciprocity. Conventionally, speech and law have been seen to fulfill this role. This article reconstructs Aristotle’s conception of currency ( nomisma) as a political institution of reciprocal justice. By placing Aristotle’s treatment of reciprocity in the context of the ancient politics of money, currency emerges not merely as a medium of economic exchange but also potentially as a bond of civic reciprocity, a measure of (...) justice, and an institution of ethical deliberation. Reconstructing this account of currency ( nomisma) in analogy to law ( nomos) recovers the hopes Aristotle placed in currency as a necessary institution particular to the polis as a self-governing political community striving for justice. If currency was a foundational institution, it was also always insufficient, likely imperfect, and possibly tragic. Turned into a tool for the accumulation of wealth for its own sake, currency becomes unjust and a serious threat to any political community. Aristotelian currency can fail precisely because it contains an important moment of ethical deliberation. This political significance of currency challenges accounts of the ancient world as bifurcated between oikos and polis and encourages contemporary political theorists to think of money as a constitutional project that can play an important role in improving reciprocity across society. (shrink)

Different stages of the product and industry life cycle has been argued to be an important factor in shaping firms’ strategic actions, as the life cycle influence the firms’ sales, profit, product innovation, marketing mix and differentiation strategies. Drawing on the theory of industry life cycle (ILC), this article examines how the ILC influences firms’ corporate social responsibility (CSR) performance in the context of global procurement transactions. The findings suggest that mature industries have much greater levels of responsible procurement (RP) (...) processes, compared to rapid growing and declining industries. The authors conclude that CSR in procurement transactions is a trait of changes in the strategic behaviour of firms, as they progress from the ILC stage of growth to maturity and decline, rather than being a by-product of supply chain sophistication, which also develops along the ILC. (shrink)

This article uses the idea of resilience as a point of departure for analysing some contemporary challenges to the climate justice movement posed by social-ecological sciences. Climate justice activists are increasingly rallying for a system-change, demanding fundamental changes to political bureaucracy and the economy, which would put ecology, biodiversity and climate change first for all future political decisions. Since the concept of resilience has taken up a central role in recent developments in ecological sciences, it has also become part of (...) the activist debate. The article’s main argument is that the scientific framework behind resilience is not politically neutral and that this framework tends to weaken the activist’s demands for a just transition and place more emphasis on technical and bureaucratic processes. (shrink)

This paper discusses the polemical question of whether explanations that produce understanding must be true. It argues positively for the role of truth in reaching explanatory understanding, by presenting three lines of criticism of alternative accounts. The first is that by rejecting truth as a criterion for evaluating explanations, any non-factual account thereby effectively cuts ties with the central theories of explanations, which provide at least partial criteria for explanatory understanding. The second line of criticism is that some of the (...) most well-known non-factual accounts implicitly operate over a notion of partial-truth, and as such, they do not provide a valid alternative. The final critical argument is that, in the place of truth evaluations, these accounts often offer a multiplicity of other criteria, and by changing a unitary criterion such as truth for a collection of other requirements, these non-factive theories introduce a level of ad hoc-ness, which diminishes their normative value. (shrink)

This book offers a scientific whistleblower’s perspective on current implementation of federal research misconduct regulations. It provides a narrative of general interest that relates current cases of research ethics to philosophical, historical and sociological accounts of fraud in scientific research. The evidence presented suggests that the problems of falsification and fabrication remain as great as ever, but hidden because the current system puts universities in charge of investigations and permits them to use confidentiality regulations to hide the outcomes of investigations. (...) The book documents the significant conflict of interest that arises because federal regulation gives universities the responsibility to conduct investigations of their own faculty with severely limited oversight. The book is intended for young research scientists or anyone who wishes to understand the challenges faced by scientists in the workplace today. The central thread in the book is an exclusive account of an experienced research scientist who was the first to expose the facts that led to the longest running research misconduct investigation in the history of the National Science Foundation. (shrink)

Rage like an Egyptian: Möglichkeiten eines kognitiv-semantischen Zugangs zum altägyptischen Wortschatz am Beispiel des Wortfelds [Wut]. By Ines Köhler. Beihefte zur Studien zur altägyptischen Kultur, vol. 18. Hamburg: Buske, 2016. Pp. xi + 442. €178.

This chapter discusses some of the central theoretical perspectives on culture and cultural practices implied in Pragmatism and interactive constructivism. The first part of the chapter highlights three major perspectives on cultural theory to be found in Dewey's thought: culture and experience, culture and habit, and culture and communication. The chapter then compares basic conceptual tools and interpretive approaches and shows that Dewey's work continues to provide fundamental resources in this field. Through this connection, it presents a brief introduction to (...) theories of discourse and power and discusses some implications for current controversies regarding multiculturalism. It argues that Dewey's Pragmatism and the Cologne program of interactive constructivism share a robust interest in culture and cultural diversity. (shrink)

Topic of the paper is Q-logic - a logic of agency in its temporal and modal context. Q-logic may be considered as a basal logic of agency since the most important stitoperators discussed in the literature can be defined or axiomatized easily within its semantical and syntactical framework. Its basic agent dependent operator, the Q-operator (also known as Δ- or cstit-operator), which has been discussed independently by E v. Kutschera and B. E Chellas, is investigated here in respect of its (...) relation to other temporal and modal operators. The main result of the paper, then, is a completeness result for a calculus of Q-logic with respect to a semantics defined on the tree-approach to agency as introduced and developed by, among others, E v. Kutschera and N. D. Belnap. (shrink)

Ethical aspects of management control systems are attracting increasing attention among scholars and practitioners. Much of the work centers on their aims. We complement this scholarship by applying the ethical principle of “no harm,” i.e., non-maleficence, to examine how those aims are achieved. We illustrate this approach by exploring the effects of four MCS designs on job-related stress drawing on the differentiation of stress into two dimensions: a challenge and a threat dimension. Results from a lagged field-survey with 471 managers (...) and employees from the UK and the U.S. support key predictions and offer first insights into designing MCS based on a “no harm” ethics. Our study highlights the benefits of interdisciplinary research in business ethics and hopefully encourages more work on MCS from a perspective based on the non-maleficence principle. (shrink)

Güss, Tuason, and Devine (2020) recently provide an opinion concerning problems with police reports as data source from a researchers' perspective. Based on their research project using police reports, they report their experiences with research using this data type.According to the authors, the first problem concerns the limited access to police reports and second problem arises from poor the quality of police reports. Their experiences stem from the United States of America, and it seems that police reports as a data (...) source did not meet the researcher's expectations. At first glance, one might assume that researchers would find a comparable situation regarding police reports in Germany as well (and probably everywhere).The first problem highlighted by Güss et al. derives, not surprisingly, from the access to police data in general. Most recently, Geujges and Terizakis (2022) report experiences from their own research project in several federal states of Germany comparable to those of Güss et al. (2020). Similarly to the United States, Germany is federally organized. By constitution (Art. 30 GG), the sixteen federal states execute governmental authority by sixteen state polices and release different police laws and specific regulations that determine practical police work and consequently the access to police data. Moreover, the willingness of police organizations to support external (independent) research seems to differ both between federal states and within federal sta... (shrink)

Embargoes are usually considered a product of modernity. Attempts by some political scientists to argue the contrary have been made on an inadequate basis. Although medievalists have written about embargoes, they have typically considered this research subject only as a footnote to trade or crusade. This study first briefly defines embargo and then presents a broad view of its employment in the Middle Ages. Its argument is that early medieval imperial systems of export controls notwithstanding, embargo emerged as an instrument (...) of foreign policy alongside economic protectionism and trade wars in the wake of the Commercial Revolution of the central Middle Ages. (shrink)

We investigate the Ramsey theory of continuous graph-structures on complete, separable metric spaces and apply the results to the problem of covering a plane by functions. Let the homogeneity number[Formula: see text] of a pair-coloring c:[X]2→2 be the number of c-homogeneous subsets of X needed to cover X. We isolate two continuous pair-colorings on the Cantor space 2ω, c min and c max, which satisfy [Formula: see text] and prove: Theorem. For every Polish space X and every continuous pair-coloringc:[X]2→2with[Formula: see (...) text], [Formula: see text] There is a model of set theory in which[Formula: see text]and[Formula: see text]. The consistency of [Formula: see text] and of [Formula: see text] follows from [20]. We prove that [Formula: see text] is equal to the covering number of 2 by graphs of Lipschitz functions and their reflections on the diagonal. An iteration of an optimal forcing notion associated to c min gives: Theorem. There is a model of set theory in which ℝ2 is coverable byℵ1graphs and reflections of graphs of continuous real functions; ℝ2 is not coverable byℵ1graphs and reflections of graphs of Lipschitz real functions. Figure 1.1 in the introduction summarizes the ZFC results in Part I of the paper. The independence results in Part II show that any two rows in Fig. 1.1 can be separated if one excludes [Formula: see text] from row. (shrink)

In this paper we analyse how risk factors in highly industrialised agriculture are connected to animal neglect. With Danish agriculture as a case study, we use two types of data. First, we use register data from Statistics Denmark to map how risk factors such as farmers’ financial and social troubles are connected to convictions of neglect. Second, we analyse narratives where interviewed farmers, involved in cases of neglect, describe how they themselves experienced the incidents. We find that while livestock farmers (...) in general have a low risk of animal neglect problems, a small percentage of them face severe financial difficulties, divorce and psychiatric problems, which are connected to an increased risk of being convicted for the neglect of farm animals. The narratives bring forward themes of pressure related to financial trouble, technological break down, family problems, stress and a growing concern among the farmers towards the governmental control in farm animal production. We discuss how these factors can be used to identify and help farmers with a high risk of being convicted of livestock neglect. (shrink)

There can be analyzed at least four different types of intentions: prior inten- tions, intentions in action, intentions with which and further intentions. But how are these different types of intentions related? And what is their relation to goals in goal-directed actions? This work tries to answer these questions by a temporal analysis of intentions as mental states. It gives a new argument for the unity of the different forms of intention and shows the central state goals have thereby.

Die Frage nach der Technik ist eine Art der Heideggerschen Frage nach dem Sein, die die Fragen nach dem Menschen in der Moderne und nach der Zivilisation überhaupt impliziert. Im Rahmen der sogenannten "Seinsgeschichte" bildet sie eine Kreuzungsstelle, die von verschiedenen Linien gebildet wird, welche wiederum in ihrer Verschiedenheit zu berücksichtigen sind und nicht einfach textuell hermetisiert werden dürfen. Heidegger besorgt nicht zuletzt mit Hilfe der seinsgeschichtlichen Konstellation des Gestells seine Selbstinterpretation hinsichtlich der Haltung zum Nationalsozialismus. Verweigert wird die falsche (...) Alternative eines platt-realistischen oder biographischen Reduktionismus zum einen und des Jüngerschar-Minimalismus oder kalauernden dekonstruktivistischen Textdesigns zum andern. Genauso einseitig wie der absicherungsstrategische Jargon der Orthodoxie ist die positivistische Abschiebung Heideggers in die Ecke der "Begriffsdichtung". Tatsächlich besteht ein arbeitsteiliger Konsens zwischen beiden Seiten. Gegen diesen Konsens im Dissens opponiert vorliegender Text. (shrink)