In recent years combinations of tense and modality have moved intothe focus of logical research. From a philosophical point of view, logical systems combining tense and modality are of interest because these logics have a wide field of application in original philosophical issues, for example in the theory of causation, of action, etc. But until now only methods yielding completeness results for propositional languages have been developed. In view of philosophical applications, analogous results with respect to languages of predicate logic (...) are desirable, and in this paper I present two such results. The main developments in this area can be split into two directions, differing in the question whether the ordering of time is world-independent or not. Semantically, this difference appears in the discussion whether T x W-frames or Kamp-frames (resp. Ockham-frames) provide a suitable semantics for combinations of tense and modality. Here, two calculi are presented, the first adequate with respect to Kamp-semantics, the second to T x Wsemantics. (Both calculi contain an appropriate version of Gabbay's irreflexivity rule.) Furthermore, the proposed constructions of canonical frames simplify some of those which have hitherto been discussed. (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)

The concept of event is one of the key notions of many theories dealing with causality or agency. In this paper we study different approaches to events that share the basic assumption that events can be analyzed fruitfully in branching-time structures. The terminological framework developed thereby may be helpful for further analyses in the fields of causality and agency and also in those fields of computational semantics, where similar concepts are considered.

The generation of route descriptions is a fundamental task of navigation systems. A particular problem in this context is to identify routes that can easily be described and processed by users. In this work, we present a framework for representing route networks with the qualitative information necessary to evaluate and optimize route descriptions with regard to ambiguities in them. We identify different agent models that differ in how agents are assumed to process route descriptions while navigating through route networks and (...) discuss which agent models can be translated into PDL programs. Further, we analyze the computational complexity of matching route descriptions and paths in route networks in dependency of the agent model. Finally, we empirically evaluate the influence of the agent model on the optimization and the processing of route instructions. (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 stit-operators 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 F. v. Kutschera and B. F. 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, F. v. Kutschera and N. D. Belnap. (shrink)

"Insgesamt betrachtet handelt es sich bei dem vorliegenden Werk um eine Festschrift, die der Jubliar wirklich verdient hat. SIe wird aufgrund der brillanten Beitrage nicht in den Regalen verstauben, sondern vielfach zur Hand genommen werden. DIe darin enthaltenen Aufsatze werden in der Zukunft sowohl in wissenschaftlichen Beitragen als auch in der praktischen Arbeit rege zitiert werden." Bernd Wolfl in: Goltdammer's Archiv fur Strafrecht 12/2009 "Insgesamt: Eine wurdige, eine gehaltvolle Festgabe. JEder Beitrag bietet Anlass zum Nachdenken, zum Weiterdenken und kann (...) so die wissenschaftliche Diskussion befruchten. WIssenschaft und Praxis in einem fruchtbaren Dialog: Kann sich Rainer Hamm eine schonere Festgabe wunschen?" Karl Heinz Gossel in: Juristische Rundschau 10/2009. (shrink)

Stefan Collini challenges the common claim that universities need to show that they help to make money in order to justify getting more money.

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)

In this paper I offer an anti-Humean critique to Williamson and Russo’s approach to medical mechanisms. I focus on one of the specific claims made by Williamson and Russo, namely the claim that micro-structural ‘mechanisms’ provide evidence for the stability across populations of causal relationships ascertained at the (macro-) level of (test) populations. This claim is grounded in the epistemic account of causality developed by Williamson, an account which—while not relying exclusively on mechanistic evidence for justifying causal judgements—appeals nevertheless to (...) mechanisms, and rejects their anti-Humean interpretation in terms of capacities, powers, potencies, etc. By using (and expanding on) Cartwright’s basic critique against Humean mechanisms, I suggest that, in order to move beyond the level of plausibility, Williamson and Russo’s position is in need of a clarification as to the occurent reading of the components, functioning and interferences of mechanisms. Relatedly, as concerns Williamson’s epistemic account of causation, I argue that this account is in need of a more straightforward answer as to what truth-makers its causal claims should have. (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)

We investigate the issue of aggregativity in fair division problems from the perspective of cooperative game theory and Broomean theories of fairness. Paseau and Saunders proved that no non-trivial theory of fairness can be aggregative and conclude that theories of fairness are therefore problematic, or at least incomplete. We observe that there are theories of fairness, particularly those that are based on cooperative game theory, that do not face the problem of non-aggregativity. We use this observation to argue that the (...) universal claim that no non-trivial theory of fairness can guarantee aggregativity is false. Paseau and Saunders’s mistaken assertion can be understood as arising from a neglect of the games approach to fair division. Our treatment has two further pay-offs: for one, we give an accessible introduction to the games approach to fair division, whose significance has hitherto not been appreciated by philosophers working on fairness. For another, our discussion explores the issue of aggregativity in fair division problems in a comprehensive fashion. (shrink)

This chapter contains section titled: Introduction General Scenario for the Transmission of Information and Its Application to Genetics Semiotic Dimensions of Biological Information Syntactic Dimension I: Measuring the Statistical Entropy of Signals and Messages Syntactic Dimension II: Estimating the Algorithmic Complexity of Signals and Messages Semantic Dimension: Classifying the Mutual Complexity of Transmitters and Receivers Acknowledgment References Further Reading.

Artificial Intelligence (AI) is increasingly adopted in society, creating numerous opportunities but at the same time posing ethical challenges. Many of these are familiar, such as issues of fairness, responsibility and privacy, but are presented in a new and challenging guise due to our limited ability to steer and predict the outputs of AI systems. This chapter first introduces these ethical challenges, stressing that overviews of values are a good starting point but frequently fail to suffice due to the context (...) sensitivity of ethical challenges. Frequently, additional (ethical) values emerge for specific applications, as e.g. challenges with fraud detection are very different from those around language technologies. Second, methods to tackle these challenges are discussed. Main ethical theories (virtue ethics, consequentialism, and deontology) are shown to provide a starting point, but often lack the details needed for actionable AI Ethics. Instead, mid-level philosophical theories coupled to design-approaches such as Design for Values, together with interdisciplinary working methods, offer the best way forwards. The chapter aims to show how these approaches can lead to an ethics of AI that is actionable and that can be proactively integrated in the design of AI systems. (shrink)

Sur la décomposition des ensembles de points en parties respectivement congruentes.

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)

Landgrebe and Smith provide an argument for the impossibility of Artificial General Intelligence based on the limits of simulating complex systems. However, their argument presupposes a very contemporary vision of artificial intelligence as a model trained on data to produce an algorithm executable in a modern digital computing system. The present contribution explores what it means to be artificial. Current artificial intelligence approaches on modern computing systems are not the only conceivable way in which artificial intelligence technology might be created. (...) If there are conceivable routes by which an artificial intelligence might be developed that are not constrained in the same way as the current generation of artificial neural networks, then these might be plausible routes towards the engineered generation of artificial general intelligence that are not precluded by the Landgrebe and Smith argument against the possibility of artificial general intelligence. (shrink)

The new idea of a 'parenting contract', explicitly taking as its point of reference the United Nations Convention on the Rights of the Child, is meant primarily to protect children's rights, and specifically the right to a proper upbringing. The nature of the parent-child relationship is thus drawn into the discourse of rights and duties. Although there is much to be said for parents explicitly attending to their children's upbringing, something of the uniqueness of the parent-child relationship seems to be (...) occluded by the language of rights and duties as that relationship becomes narrowed down to the confines of a contractual agreement. What comes to be foregrounded in the parent-child relationship is a defence of the various parties'—the parents' and the child's—interests. By drawing on the work of Annette Baier, we argue that this has considerable consequences in terms of trust and distrust, and parental engagement. It is questioned whether the concept of the parenting contract brings about the positive climate of engagement which it is meant to promote. (shrink)

Recently several educational theorists have argued for the incorporation of a scepticism of a postmodern kind into educational theory and into educational research more specifically. Their understanding of postmodernism in terms of scepticism harbours much potential, but to avoid confusion and misunderstanding it is of importance that the ‘scepticism’ associated with postmodernism is distinguished from traditional philosophical scepticism, be it as part of the very process of theoretical scrutiny or as a challenge towards its results. In this paper it will (...) be argued that the interest of postmodernist ‘scepticism’ lies not in a quest for ever more certainty but rather in the way it moves beyond both foundationalism and philosophical scepticism. This will be elaborated from the point of view of a Wittgensteinian understanding of theoretical scrutiny (as found in On Certainty). This opens up the possibility of shedding light on postmodernist ‘scepticism’ in educational theory in terms of an aesthetic distance towards what is reflected upon. (shrink)

This article develops an objection to Kant’s proof of freedom from the Critique of Practical Reason. In his proof — the fact of reason argument — Kant deduces the reality of freedom, understood as the ability to act independently of all inclinations, from our consciousness of the unconditional validity of morality. He calls this consciousness the "fact of reason". After a systematic reconstruction of the argument, I develop an objection that relies on three points: (i) the cultural embeddedness of human (...) beings ("fact of culture"), (ii) an "external" perspective on human deliberative processes, and (iii) an alternative interpretation of the unconditional validity of morality that appears in practical deliberation. Contrary to Kant’s claims, I argue that the reality of freedom cannot be deductively derived from the fact of reason. I then discuss two objections to my argument. The first objection claims that my considerations regarding the "external" perspective misunderstand Kant's methodology. The second objection states that, based on my considerations, the fact of reason ultimately turns out to be an illusion. I discuss both objections and refute them. My ultimate conclusion is that Kant's fact of reason argument is not convincing. (shrink)

The standard argument for longtermism assumes that we should care as much about far future people as about our contemporaries. I challenge this assumption. I first consider existing interpretations of ‘temporal discounting’, and argue that such discounting seems either unwarranted or insufficient to block the argument. I then offer two alternative reasons to care less about far future people: caring as much about them as about our contemporaries would make our lives less authentic and less meaningful. If I’m right, this (...) undermines at least the strongest versions of longtermism. Plausibly, we should do much more for the far future than we’re currently doing. Still, we often ought to act for contemporaries’ sakes, even if longtermist actions would expectably do more good. (shrink)

Elected politicians—legislators and, in some systems, members of the executive—can choose to exercise authority themselves or to delegate that authority to any number of agencies. Such delegation of power can occur at the constitutional stage, but is most common at the post-constitutional stage. Two categories of delegation can be distinguished: domestic delegation to agencies within the legislators’ jurisdiction, and international delegation to supranational or international bodies. While some research has been done on domestic delegation, especially in the context of delegation (...) to administrative agencies in the U.S., as well as on delegation to supranational bodies, especially with regard to the E.U., these activities have not been analyzed within a unified framework. This paper attempts to inquire into these issues and provide a general picture of the decision-making process regarding whether to delegate authority and to which body to transfer the authority. The past decade has been a period of rapid change in Central and Eastern Europe. Almost all of these countries have either passed entirely new constitutions or substantially modified the old ones. This is a unique situation in which constitutional delegation of powers can be performed almost simultaneously with post-constitutional delegation. The constitutional process in Israel is very different. It has been underway for fifty years. However, it can also be characterized by simultaneous constitutional and post-constitutional choices. In this paper, we examine such delegation choices in nine countries. We describe the main differences among these countries with regard to delegation of power, try to trace their origins and analyze their effects on delegation of powers. One question raised is what are the ramifications of a quasi-simultaneous constitutional and post-constitutional choice? Have constitutional rules been chosen in anticipation of the necessary compatibility with the rules of international organizations that one wants to join? Has membership in international organizations led to a boost in credibility of those governments concerned? (shrink)

"Jürgen Habermas", so schrieb der amerikanische Philosoph Ronald Dworkin zum 80. Geburtstag des grossen europäischen Denkers, "ist nicht nur der berühmteste lebende Philosoph der Welt. Sein Ruhm selbst ist berühmt." Nach mehrjährigen Forschungen, intensiver Recherche und ausführlichen Gesprächen mit Weggefährten, Zeitzeugen sowie mit Habermas selbst legt Stefan Müller-Doohm nun die erste umfassende Biographie des bedeutendsten Intellektuellen unserer Zeit vor. Sie beleuchtet sowohl das Zusammenspiel von philosophischer Reflexion und intellektueller Intervention als auch das Wechselverhältnis von Lebens- und Werkgeschichte vor dem (...) Hintergrund historischer Ereignisse. Deutlich wird so das Bild eines einzigartigen Denkers, zu dessen wichtigsten philosophischen Errungenschaften eine Theorie verständigungsorientierten Handelns gehört, der, wenn er den Eindruck gewinnt, dass die Gesellschaft hinter ihren Möglichkeiten zur Gestaltung freier und gerechter Lebensverhältnisse zurückbleibt, zum unnachgiebigen Kritiker wird. (shrink)

To understand Nietzsche's view of education requires us to grasp the importance Nietzsche attaches to being embedded in a particular historical and cultural frame. Education is, at least in the early stages, a matter of teaching the child to see and to value particular things or, in Nietzsche's way of putting this, teaching the child to lie. Here I develop an interpretation contrary to those who emphasise Nietzsche's radical individualism and thus view his Overman in subjectivistic terms. I argue that (...) Nietzsche's most important lesson is not that we are to create anything radically new, but rather that we are to take up a serious engagement with respect to what we stand for. (shrink)

The now classical idea that programmed cell death contributes to a plethora of developmental processes still has lost nothing of its impact. It is, therefore, important to establish effective three-dimensional reconstruction as well as simulation techniques to decipher the exact patterns and functions of such apoptotic events. The present study focuses on the question whether and how apoptosis promotes neurulation-associated processes in the spinal cord of Tupaia belangeri. Our 3D reconstructions demonstrate that at least two craniocaudal waves of apoptosis consecutively (...) pass through the dorsal spinal cord. The first wave appears to be involved in neural fold fusion and/or in selection processes among premigratory neural crest cells. The second one seems to assist in establishing the dorsal signaling center known as the roof plate. In the hindbrain, in contrast, apoptosis among premigratory neural crest cells progresses craniocaudally but discontinuously, in a segment-specific manner. Unlike apoptosis in the spinal cord, these segment-specific apoptotic events, however, precede later ones that seemingly support neural fold fusion and/or postfusion remodeling. Arguing with Whitehead that biological patterns and rhythms differ in that biological rhythms depend “upon the differences involved in each exhibition of the pattern” we show that 3D reconstruction and simulation techniques can contribute to distinguish between patterns and rhythms of apoptosis. By deciphering novel patterns and rhythms of developmental apoptosis, our reconstructions help to reconcile seemingly inconsistent earlier findings in chick and mouse embryos, and to create rules for computer simulations. (shrink)

This paper argues that there is an important connection between Inference to the Best Explanation and Bayesianism, in the medical context of the interplay between mechanisms and population studies. It is argued that the criteria for evaluating mechanistic evidence can be used in Inference to the Best Explanation and such use thereby increases the resilience of probabilities in a Bayesian framework. This point grows out of the emerging literature on evidence-based medicine and naturally strengthens McCain and Poston's proposal that explanatory (...) information is evidentially relevant. (shrink)

In the present chapter, the design of select margins of late medieval Old Norse manuscripts containing the Icelandic ‘Jónsbók’, ‘Kristinréttr Árna biskups’ and Norwegian ‘Landslǫg’ law codes is addressed. In particular, it discusses the size and fillings of margins in these codices and the relation to their modes of use by original clients and later owners. Although it is well-known that Scandinavian law manuscripts contain a large number of notes written by both original and later users, the particular use of (...) marginal spaces by original scribes and illuminators for glosses and other annotations and illuminations has scarcely been investigated to date. In my contribution, two distinctive features will be addressed: (1.) The different use of margins by Norwegian and Icelandic readers of the manuscripts, and (2.) the use of margins by illuminators surrounding the column(s) and incorporated initials. (shrink)

The Ohlone, the original settlers of the San Francisco region, were violently dispossessed by successive colonial regimes, first Spanish, then US American. The colonial trauma was written out of history, and by the 20th century anthropologists pronounced the Ohlone to be ‘extinct’. In this article, I explore how the dispossession of the Ohlone haunt one of the greatest movies of all time: Alfred Hitchcock’s Vertigo (1958). Although Vertigo is one of the most-analysed films ever, no one has noticed that Carlotta (...) Valdes – the dispossessed woman who comes back from the dead to take possession of the living – would have been Native American. A hauntological reading reveals Vertigo as an unwitting witness of colonial dispossession. (shrink)

Ludwig Wittgenstein ist zweifellos einer der bedeutendsten und einflussreichsten Philosophen des 20. Jahrhunderts – und das, obwohl er zu Lebzeiten kaum etwas veröffentlicht hat. Bis heute wirken der Stil seines Philosophierens und seine Radikalität auf viele philosophisch außerordentlich inspirierend. Hinzu kommt das Schillernde seiner von Anekdoten umrankten Persönlichkeit, die in etlichen biographischen Werken aufgearbeitet wurde. Stefan Majetschak gibt einen konzisen Überblick über Leben und Gesamtwerk dieser Jahrhundertfigur und spürt ihren Wirkungen nach.

Examines widespread myths about transhumanism and explores the most pressing ethical issues in the debate over technologically assisted human enhancement.

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)

: This paper examines two features of Kant’s 1768 critique of Leibniz’ conception of space. Firstly, Leibniz’ proposed geometrical calculus called ‘analysis situs’; secondly, Leibniz’ relational conception of space. The main thesis of the paper is that Kant’s arguments are more powerful than generally recognized. With regard to the analysis situs, I will show that Kant was quite well informed about this proposed science and that his arguments severely undermine Leibniz’ claims to what it could perform. With regard to the (...) relational theory of space, Kant’s argument would require Leibniz to present a complex story about the relation between God’s act of creation and our spatial experience to defend his relational view, rather than using the simple principle of sufficient reason. (shrink)

Recent findings indicate that the constituting digits of multi-digit numbers are processed, decomposed into units, tens, and so on, rather than integrated into one entity. This is suggested by interfering effects of unit digit processing on two-digit number comparison. In the present study, we extended the computational model for two-digit number magnitude comparison of Moeller, Huber, Nuerk, and Willmes (2011a) to the case of three-digit number comparison (e.g., 371_826). In a second step, we evaluated how hundred-decade and hundred-unit compatibility effects (...) were moderated by varying the percentage of within-hundred (e.g., 539_582) and within-hundred-and-decade filler items (e.g., 483_489). From the results we predict that numerical distance as well as compatibility effects should indeed be modulated by the relevance of tens and units in three-digit number magnitude comparison: While in particular the hundred distance effect should decrease, we predict hundred-decade and hundred-unit compatibility effects to increase with the relevance of tens and units. (shrink)

With the widespread use of artificial intelligence, it becomes crucial to provide information about these systems and how they are used. Governments aim to disclose their use of algorithms to establish legitimacy and the EU AI Act mandates forms of transparency for all high-risk and limited-risk systems. Yet, what should the standards for transparency be? What information is needed to show to a wide public that a certain system can be used legitimately and responsibly? I argue that process-based approaches fail (...) to satisfy, as knowledge about the development process is insufficient to predict the properties of the resulting system. Current outcome-based approaches [Mitchell et al., 2019; Loi et al., 2021] are also criticized for a lack of attention to the broader socio-technical system and failure to account for empirical results that show that people care about more than just the outcomes of a process [as reported by Meyerson et al. (Procedural justice and relational theory: Empirical, philosophical, and legal perspectives, Taylor & Francis, 2021)]. Instead, I propose value-based transparency, on which the information we need to provide is what values have been considered in the design and how successful these have been realized in the final system. This can handle the objections to other frameworks, matches with current best practices on the design of responsible AI and provides the public with information on the crucial aspects of a system’s design. (shrink)