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.

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 ?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)

ABSTRACT:The notion of “democracy” has become a much-debated concept in scholarship on business ethics, management, and organization studies. The strategy of this paper is to distinguish between a principle of organization that fosters participation (type I democracy) and a principle of legitimation that draws on consent (type II democracy). Based on this distinction, we highlight conceptual shortcomings of the literature on stakeholder democracy. We demonstrate that parts of the literature tend to confound ends with means. Many approaches employ type I (...) democracy notions of participation and often take for granted that this also improves type II democratic legitimation. We hold this to be a mistake. We provide examples of the ambiguity of organizational procedures and show that under some circumstances a decrease in the degree of participation may actually increase legitimation because a governance structure that results in higher productivity can provide higher benefits for all parties involved, serve their interests and therefore meet their agreement. Less type I democracy may mean more type II democracy. We believe this to be an important insight for judging (and further improving) the legitimacy of both capitalistic firms and competitive markets. (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.

This essay is the first attempt to compare Reinhart Koselleck's Historik with Hannah Arendt's political anthropology and her critique of the modern concept of history. Koselleck is well-known for his work on conceptual history as well as for his theory of historical time. It is my contention that these different projects are bound together by Koselleck's Historik, that is, his theory of possible histories. This can be shown through an examination of his writings from Critique and Crisis to his final (...) essays on historical anthropology, most of which have not yet been translated into English. Conversely, Arendt's political theory has in recent years been the subject of numerous interpretations that do not take into account her views about history. By comparing the anthropological categories found in Koselleck's Historik with Arendt's political anthropology, I identify similar intellectual lineages in them as well as shared political sentiments, in particular the anti-totalitarian impulse of the postwar era. More importantly, Koselleck's theory of the preconditions of possible histories and Arendt's theory of the preconditions of the political, I argue, transcend these lineages and sentiments by providing essential categories for the analysis of historical experience. (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)

By using the notions of exact truth and exact falsity, one can give 16 distinct definitions of classical consequence. This paper studies the class of relations that results from these definitions in settings that are paracomplete, paraconsistent or both and that are governed by the Strong Kleene schema. Besides familiar logics such as Strong Kleene logic, the Logic of Paradox and First Degree Entailment, the resulting class of all Strong Kleene generalizations of classical logic also contains a host of unfamiliar (...) logics. We first study the members of our class semantically, after which we present a uniform sequent calculus that is sound and complete with respect to all of them. Two further sequent calculi and \ calculus) will be considered, which serve the same purpose and which are obtained by applying general methods to construct sequent calculi for many-valued logics. Rules and proofs in the SK calculus are much simpler and shorter than those of the \ and the \ calculus, which is one of the reasons to prefer the SK calculus over the latter two. Besides favourably comparing the SK calculus to both the \ and the \ calculus, we also hint at its philosophical significance. (shrink)

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)

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.

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)

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 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 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)

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)

The ocean’s properties and processes are now mostly known through distributed sensor networks. Among the most widespread of such networks are those that connect wave-measuring buoys. Buoys have been deployed and consulted by national meteorological organizations, state militaries, multinational corporations, and citizens. This paper zeroes in on the Directional Waverider, the most widely used buoy, manufactured since 1961 in the Netherlands by Datawell. I am interested in this buoy’s material qualities and networks of use, its life within legal frameworks, and (...) its media ecology. Staging my account against the metaphysical Italian author Italo Calvino’s “Reading a Wave,” I explore what it means to “read” a sensing technology. (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)

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.

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.

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)

We discuss a dual of the Open Coloring Axiom introduced by Abraham et al. [U. Abraham, M. Rubin, S. Shelah, On the consistency of some partition theorems for continuous colorings, and the structure of 1-dense real order types, Ann. Pure Appl. Logic 29 123–206] and show that it follows from a statement about continuous colorings on Polish spaces that is known to be consistent. We mention some consequences of the new axiom and show that implies that all cardinal invariants in (...) Cichoń’s diagram are at least 2. (shrink)

“The Power of Translation” examines the language phenomenon of translation in the context of power relations and the transcendence of power relations. The thesis of the article can be summarized in point form: *Translation is a player in the power structure of human relating from which it cannot be extracted and based on an objective and purely translative ground. *Translation, as much as language itself, is a force which results in separation, not in connection. At the same time, the ‘tools’ (...) (technology, translation, language, eros) which separate us become connective where they retain the capacity of self-subversion and dialogue. *Subsequent to this dynamic, we discern the colonizing and eschatological plot inherent in translation. Translation is an ‘open’ phenomenon, always engaged in creating structures which are both oppressive and liberating. It is this openness which constitutes the power of translation. (shrink)