Not all truths are on a par. The realm of truths is structured: some propositions are only true because others are. The relation that endows the realm of truths with this structure is often called grounding. Grounding has achieved much attention in 21st century metaphysics, but the topic is arguably as old as philosophy itself. -/- This becomes apparent when investigating the works of the 19th-century philosopher Bernard Bolzano, who developed what is perhaps the first comprehensive theory of grounding, drawing (...) on a rich tradition that goes back to Aristotle’s Posterior Analytics. Roski’s book provides, for the first time, a comprehensive study of Bolzano’s theory of grounding in its entirety, paying more attention than previous studies to the interaction between grounding and the consequence-relation of deducibility. -/- . (shrink)

Intuitively, we lack the standing to blame others in light of moral norms that we ourselves don't take seriously: if Adam is unrepentantly aggressive, say, he lacks the standing to blame Celia for her aggressiveness. But why does blame have this feature? Existing proposals try to explain this by reference to specific principles of normative ethics – e.g. to rule‐consequentialist considerations, to the wrongness of hypocritical blame, or principles of rights‐forfeiture based on this wrongness. In this paper, I suggest a (...) fundamentally different approach. Employing Timothy Williamson's idea of ‘constitutive rules’ of speech acts, I argue that this feature of blame is simply constitutive of any essentially moral form of disapproval. So if Adam had the standing to disapprove of Celia's aggressiveness in some form, necessarily, this disapproval couldn't be blame. If I'm right, this proposal thus not only answers our main question, but also sheds an interesting novel light on the very nature of blame. If we didn't have a form of disapproval with that feature, we wouldn't have our practice of holding each other to moral norms. (shrink)

The fact that the standard probabilistic calculus does not define probabilities for sentences with embedded conditionals is a fundamental problem for the probabilistic theory of conditionals. Several authors have explored ways to assign probabilities to such sentences, but those proposals have come under criticism for making counterintuitive predictions. This paper examines the source of the problematic predictions and proposes an amendment which corrects them in a principled way. The account brings intuitions about counterfactual conditionals to bear on the interpretation of (...) indicatives and relies on the notion of causal (in)dependence. (shrink)

How ought you to evaluate your options if you're uncertain about what's fundamentally valuable? A prominent response is Expected Value Maximisation (EVM)—the view that under axiological uncertainty, an option is better than another if and only if it has the greater expected value across axiologies. But the expected value of an option depends on quantitative probability and value facts, and in particular on value comparisons across axiologies. We need to explain what it is for such facts to hold. Also, EVM (...) is by no means self-evident. We need an argument to defend that it’s true. This book introduces an axiomatic approach to answer these worries. It provides an explication of what EVM means by use of representation theorems: intertheoretic comparisons can be understood in terms of facts about which options are better than which, and mutatis mutandis for intratheoretic comparisons and axiological probabilities. And it provides a systematic argument to the effect that EVM is true: the theory can be vindicated through simple axioms. The result is a formally cogent and philosophically compelling extension of standard decision theory, and original take on the problem of axiological or normative uncertainty. (shrink)

According to the standard account of forgiveness, you forgive your wrongdoer by overcoming your resentment towards them. But how exactly must you do so? And when is such overcoming fitting? The aim of this paper is to introduce a novel version of the standard account to answer these questions. Its core idea is that the reactive attitudes are a fitting response not just to someone’s blameworthiness, but to their blameworthiness being significant for you, or worthy of your caring, in virtue (...) of your relationship to it. Someone’s blameworthiness is significant for you to the extent you’re bound up with what grounds it––e.g. with the wrongdoer’s being a participant in human relationships, with their attitudes, or with the victim’s being a source of demands. So you may fittingly not care about someone’s blameworthiness if it’s sufficiently insignificant for you in this manner––e.g. if their wrong happened far off in place and time. And forgiveness revolves around this. You forgive your wrongdoer if and only if, partly out of goodwill towards them, you cease to care about their blameworthiness––a bit as if their wrong had happened far off. If I’m right, this agent-relativity-based account can resolve the apparent ‘paradoxy of forgiveness’, satisfies a number of desiderata, and is plausible on an intuitive level. (shrink)

Conditionals with conditional constituents pose challenges for _the Thesis_, the idea that the probability of a conditional is the corresponding conditional probability. This note is concerned with two proposals for overcoming those challenges, both inspired by early work of van Fraassen: the _Bernoulli Semantics_ associated with Stalnaker and Jeffrey, and augmented with a mechanism for obtaining “local probabilities” by Kaufmann; and a proposal by Bacon which I dub _Ordinal Semantics_. Despite differences in mathematical details and emphasis of presentation, both proposals (...) lend themselves for use as a basis for a modal-theoretic interpretation of embedded conditionals. The goal of this note is to compare the two frameworks by implementing a model for the interpretation of conditionals in each, based on the same underlying probability model for non-conditional sentences. I show that in the Ordinal model, certain sentences are assigned probabilities that do not accord with intuitions. This problem is familiar from the literature on Bernoulli models and can be addressed by introducing Kaufmann-style local probabilities into Ordinal models. I then show that Bernoulli Semantics has other limitations, in that it assigns probabilities in violation of the Thesis to certain very complex formulas. The upshot is that a fusion of the theories may be our best shot at getting the predictions right. (shrink)

Process reliabilist accounts claim that a belief is justified when it is the result of a reliable belief-forming process. Yet over what range of possible token processes is this reliability calculated? I argue against the idea that _all_ possible token processes (in the actual world, or some other subset of possible worlds) are to be considered using the case of a user acquiring beliefs based on the output of an AI system, which is typically reliable for a substantial local range (...) but unreliable when all possible inputs are considered. I show that existing solutions to the generality problem imply that these cases cannot be solved by a more fine-grained typing of the belief-forming process. Instead, I suggest that reliability is evaluated over a range restricted by the content of the actual belief and by the similarity of the input to the actual input. (shrink)

Philosophers investigating the interpretation and use of conditional sentences have long been intrigued by the intuitive correspondence between the probability of a conditional `if A, then C' and the conditional probability of C, given A. Attempts to account for this intuition within a general probabilistic theory of belief, meaning and use have been plagued by a danger of trivialization, which has proven to be remarkably recalcitrant and absorbed much of the creative effort in the area. But there is a strategy (...) for avoiding triviality that has been known for almost as long as the triviality results themselves. What is lacking is a straightforward integration of this approach in a larger framework of belief representation and dynamics. This paper discusses some of the issues involved and proposes an account of belief update by conditionalization. (shrink)

In the past few decades, a growth in ethical consumerism has led brands to increasingly develop conscientiousness and depict ethical image at a corporate level. However, most of the research studying business ethics in the field of corporate brand management is either conceptual or has been empirically conducted in relation to goods/products contexts. This is surprising because corporate brands are more relevant in services contexts, because of the distinct nature of services and the key role that employees have in the (...) services sector. Accordingly, this article aims at empirically examining the effects of customer perceived ethicality in the context of corporate services brands. Based on data collected for eight service categories using a panel of 2179 customers, the hypothesized structural model is tested using path analysis. The results show that, in addition to a direct effect, customer perceived ethicality has a positive and indirect effect on customer loyalty, through the mediators of customer affective commitment and customer perceived quality. Further, employee empathy positively influences the impact of customer perceived ethicality on customer affective commitment, and customer loyalty positively impacts customer positive word-of-mouth. The first implication of these results is that corporate brand strategy needs to be aligned with human resources policies and practices if brands want to turn ethical strategies into employee behavior. Second, corporate brands should build more authentic communications grounded in their ethical beliefs and supported by evidence from actual employees. (shrink)

The topic of this thesis is axiological uncertainty – the question of how you should evaluate your options if you are uncertain about which axiology is true. As an answer, I defend Expected Value Maximisation (EVM), the view that one option is better than another if and only if it has the greater expected value across axiologies. More precisely, I explore the axiomatic foundations of this view. I employ results from state-dependent utility theory, extend them in various ways and interpret (...) them accordingly, and thus provide axiomatisations of EVM as a theory of axiological uncertainty. (shrink)

In the article ‘How to be absolutely fair, Part I: the Fairness formula’, we presented the first theory of comparative and absolute fairness. Here, we relate the implications of our Fairness formula to economic theories of fair division. Our analysis makes contributions to both philosophy and economics: to the philosophical literature, we add an axiomatic discussion of proportionality and fairness. To the economic literature, we add an appealing normative theory of absolute and comparative fairness that can be used to evaluate (...) axioms and division rules. Also, we provide a novel definition and characterization of the absolute priority rule. (shrink)

Against content theories of slurs, according to which slurs have some kind of derogatory content, Anderson and Lepore have objected that they cannot explain that even slurs under quotation can cause offense. If slurs had some kind of derogatory content, the argument goes, quotation would render this content inert and, thus, quoted slurs should not be offensive. Following this, Anderson and Lepore propose that slurs are offensive because they are prohibited words. In this paper, we will show that, pace Anderson (...) and Lepore, content theories of slurs do provide an explanation of the fact that quoted slurs can cause offense: even under quotation, the explanation goes, the derogatory content of a slur can still be psychologically efficacious. We will go one step further by pointing out that offensiveness is not the only function of slurs, but that slurs can also be used to create and reinforce negative attitudes towards the target group. While content theories can easily explain this by referring to some kind of derogatory content, Anderson and Lepore’s prohibitionism will lack a satisfactory explanation of this second function of slurs. Concluding, we will argue that, unlike uses of slurs, uses of quoted slurs normally do not derogate the target group. This will again speak in favor of content theories. Accordingly, uses of quoted slurs are not derogatory because quotation renders the derogatory content inert. Hence, rather than speaking against content theories, quoted slurs speak in their favor. (shrink)

This paper critically compares a deliberative system based on parliamentary elections (an electoral system) and a deliberative system based on sortition (a lottocratic system). Both systems are analyzed in three dimensions. The epistemic dimension concerns the rational quality of the democratic process. The power dimension concerns the distribution of power and the extent to which citizens genuinely control all decisions. The motivational dimension, finally, concerns citizens’ identification with the decision-making process and their willingness to abide by its outcomes. We argue (...) that an electoral system is, in all three dimensions, normatively superior to a sortition-based system. Most prominently, we claim that electoral mechanisms provide visibility to the decision-making process. This enables a form of interactive representation in which citizens and their representatives engage in a joint process of opinion and will formation. Sortition, in contrast, is characterized by a democratically much poorer form of descriptive representation. The selected citizens are a representative sample of the wider citizenry, but they deliberate in a forum that remains mostly disconnected from that wider citizenry and therefore cannot shoulder the process of collective self-government. (shrink)

The culture of honour hypothesis offers a compelling example of how human psychology differentially adapts to pastoral and horticultural environments. However, there is disagreement over whether this pattern is best explained by a memetic, evolutionary psychological, dual inheritance, or niche construction model. I argue that this disagreement stems from two shortcomings: lack of clarity about the theoretical commitments of these models and inadequate comparative data for testing them. To resolve the first problem, I offer a theoretical framework for deriving competing (...) predictions from each of the four models. In particular, this involves a novel interpretation of the difference between dual inheritance theory and cultural niche construction. I then illustrate a strategy for testing their predictions using data from the Human Relations Area File. Empirical results suggest that the aggressive psychological phenotype typically associated with honour culture is more common among pastoral societies than among horticultural societies. Theoretical considerations suggest that this pattern is best explained as a case of cultural niche construction. (shrink)

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)

Can concepts be acquired by testing hypotheses about these concepts? Fodor famously argued that this is not possible. Testing the correct hypothesis would require already possessing the concept. I argue that this does not generally hold for mathematical concepts. I discuss specific, empirically motivated, hypotheses for number concepts that can be tested without needing to possess the relevant number concepts. I also argue that one can test hypotheses about the identity conditions of other mathematical concepts, and then fix the application (...) conditions based on those hypotheses—under the assumption that the neo‐logicist view on abstraction principles is correct. (shrink)

The recent explosion of interest in epigenetics is often portrayed as the dawning of a scientific revolution that promises to transform biomedical science along with developmental and evolutionary biology. Much of this enthusiasm surrounds what we call the epigenetic switch hypothesis, which regards certain examples of epigenetic inheritance as an adaptive organismal response to environmental change. This interpretation overlooks an alternative explanation in terms of coevolutionary dynamics between parasitic transposons and the host genome. This raises a question about whether epigenetics (...) researchers tend to overlook transposon dynamics more generally. To address this question, we surveyed a large sample of scientific publications on the topics of epigenetics and transposons over the past fifty years. We found that enthusiasm for epigenetics is often inversely related to interest in transposon dynamics across the four disciplines we examined. Most surprising was a declining interest in transposons within biomedical science and cellular and molecular biology over the past two decades. Also notable was a delayed and relatively muted enthusiasm for epigenetics within evolutionary biology. An analysis of scientific abstracts from the past twenty-five years further reveals systematic differences among disciplines in their uses of the term epigenetic, especially with respect to heritability commitments and functional interpretations. Taken together, these results paint a nuanced picture of the rise of epigenetics and the possible neglect of transposon dynamics, especially among biomedical scientists. (shrink)

We all know that renewable energies are important for environmental reasons. However, recent developments should open our eyes to the fact that they are even more critical for sustainable development. In this commentary, we argue that societal benefits should be included in renewable energy decisions. Specifically, we discuss their contributions to freedom, peace, and democracy.

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. We generically construct a model in which the [math]-separation property is true, i.e. every pair of disjoint [math]-sets can be separated by a [math]-definable set. This answers an old question from the problem list “Surrealist landscape with figures” by A. Mathias from 1968. We also construct a model in which the (lightface) [math]-separation property is true.

I am focusing here on the main counterarguments that were raised against a thesis I put forward in my article “Nietzsche, the Overhuman, and Transhumanism” (2009), namely that significant similarities can be found on a fundamental level between the concept of the posthuman, as put forward by some transhumanists, and Nietzsche’s concept of the overhuman. The articles with the counterarguments were published in the recent “Nietzsche and European Posthumanisms” issue of The Journal of Evolution and Technology (January-July 2010). As several (...) commentators referred to identical issues, I decided that it would be appropriate not to respond to each of the articles individually, but to focus on the central arguments and to deal with the counterarguments mentioned in the various replies. I am concerned with each topic in a separate section. The sections are entitled as follows: 1. Technology and evolution; 2. Overcoming nihilism; 3. Politics and liberalism; 4. Utilitarianism or virtue ethics?; 5. The good Life; 6. Creativity and the will to power; 7. Immortality and longevity; 8. Logocentrism; 9. The Third Reich. When dealing with the various topics, I am not merely responding to counterarguments; I also raise questions concerning transhumanism and put forward my own views concerning some of the questions I am dealing with. (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)

Often denied scientific status, Völkerpsychologie was set forth as a psychological program endeavoring to find insights into the structure and content of the ‘mind’ of social groups, especially ‘peoples’, which were regarded as the prototypical manifestation of those groups. This article examines how Moritz Lazarus and Heymann Steinthal’s nineteenth-century Völkerpsychologie came to be regarded as having the status of a science, by analyzing its scientific program. I claim that these founders of Völkerpsychologie developed a moderate methodological materialism by embracing a (...) historical turn in psychology, which—to a degree—enabled a synthesis of the methodologies of the social and the natural sciences. This approach is correlated with their modus operandi, collaboration through the medium of a journal. (shrink)

In a recent article, Emanuel Rutten has presented a novel argument for the existence of God, defined as a personal being that is the first cause of reality. An interesting feature of the argument, which caused quite a stir, is that it does not fall within any of the traditional categories of arguments for God’s existence. Rutten calls his argument a modal-epistemic one, which reflects the fact that the first premise of his argument states that all possible truths are knowable. (...) The main purpose of this article is a simple one: to point out that Rutten’s modal-epistemic argument is flawed. (shrink)

An analysis of the epistemological structure of democratic deliberation as a procedure in which legal norms are constructed reveals that deliberation combines procedural and substantive aspects in a unique and inextricable manner. The co-original recognition of the private and public autonomy of all citizens provides the substantive critical standard against which the justice of norms is measured. At the same time, such recognition requires that the particular needs and values of all people concerned be taken into account. Given the privileged (...) epistemic access people have to their own particular perspective, this requirement implies the ineliminability of actual deliberative procedures. The open-ended nature of these constructive procedures is partly due to the fact that the rules of the procedure are counterfactual and themselves subject to interpretation. More importantly, it also reflects the historical nature of our human world and the freedom of moral persons to shape and reshape their preferences. (shrink)

Business Ethics, the Environment &Responsibility, Volume 32, Issue 2, Page 415-418, April 2023.

Is it appropriate to blame people unequally if the only difference between them was a matter of luck? Suppose Alice would drive recklessly if she could, Belen drove recklessly but didn’t harm anyone, and Cleo drove recklessly and killed a child. Luck-advocates emphasize that in real life we do blame such agents very unequally. Luck-skeptics counter that people aren’t responsible for factors beyond their control, or beyond their quality of will. I’ll defend a somewhat reconciliatory view. I’ll concede to the (...) skeptics that these agents are equally culpable. Nonetheless, I’ll suggest with the luck-advocates that it’s fitting to blame them unequally. That’s because their culpability is unequally significant for us: Cleo’s culpability concerns us more than Belen’s, and Belen’s more than Alice’s—just like the fault of a close aggressor concerns us more than that of an aggressor far off in place and time. And it’s fitting for us to respond with more blame to faults that concern us more. Indeed, blaming people simply in proportion to their culpability manifests a form of fetishism, or problematic mere-matter-of-principle concern. So while many skeptical tenets may hold, in substance the luck-advocates are right. (shrink)

Statements about the behavior of biochemical entities (e.g., about the interaction between two proteins) abound in the literature on molecular biology and are increasingly becoming the targets of information extraction and text mining techniques. We show that an accurate analysis of the semantics of such statements reveals a number of ambiguities that have to be taken into account in the practice of biomedical ontology engineering: Such statements can not only be understood as event reporting statements, but also as ascriptions of (...) dispositions or tendencies that may or may not refer to collectives of interacting molecules or even to collectives of interaction events. (shrink)

"Provides translations of Bolzano's most important work on grounding, including previously untranslated material"--.

A very common argument against restrictions on hate speech says that since such restrictions curtail freedom of speech, they cause more harm than they prevent. A no less common reply has it that the harms caused by hate speech are sufficiently great to justify legal restrictions on free speech. In ‘Freedom of Expression and Derogatory Words’, West questions a common assumption of both arguments concerning the use of slurs, i.e. that restricting the use of slurs necessarily curtails freedom of speech. (...) According to West, everything that can be said with a slur can be said with its neutral counterpart. Given the psychological and social harms of slurs, this would give us a compelling reason to put legal restrictions on their use. However, in this article, I will argue that, according to the main theories of slurs, slurs can be used to express derogatory information which cannot be expressed by their neutral counterparts. This will leave us with two options when it comes to avoiding the negative effects of slurs: (i) to restrict freedom of speech or (ii) to argue that the derogatory information expressed by slurs is not covered by free speech. Both options will depart significantly from West's argument. (shrink)

“Existential risks” are risks that threaten the destruction of humanity’s long-term potential: risks of nuclear wars, pandemics, supervolcano eruptions, and so on. On standard utilitarianism, it seems, the reduction of such risks should be a key global priority today. Many effective altruists agree with this verdict. But how should the importance of these risks be assessed on a Christian moral theory? In this paper, I begin to answer this question – taking Thomas Aquinas as a reference, and the risks of (...) anthropogenic extinction as an example. I’ll suggest that on a Thomist framework, driving ourselves extinct would constitute a complete failure to fulfil our God-given nature, a radical form of hubris, and a loss of cosmological significance. So the reduction of such risks seems vital for Thomists, or Christians more broadly. Indeed, I end with the thought that these considerations are not parochially Christian, or indeed specifically religious: everyone with a similar view of mankind – as immensely valuable yet fallen and fragile – should agree that existential risks are a pressing moral concern. (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)

Neo-Russellians like Salmon and Braun hold that: the semantic contents of sentences are structured propositions whose basic components are objects and properties, names are directly referential terms, and a sentence of the form ‘n believes that S’ is true in a context c iff the referent of the name n in c believes the proposition expressed by S in c. This is sometimes referred to as ‘the Naive Russellian theory’. In this talk, I will discuss the Naive Russellian theory primarily (...) in connection with a problem known as Schiffer’s puzzle. Schiffer first presented the puzzle as an argument against the Naive Russellian theory. Schiffer’s argument proceeds in two steps. In step one, Schiffer argues that the Naive Russellian theory is committed to two principles regarding de re belief; the special-case consequence and Frege’s constraint. Then, in step two, Schiffer argues that the special-case consequence is not consistent with Frege’s constraint. Salmon and Braun reply to Schiffer’s argument that although the Naive Russellian theory is committed to Frege’s constraint, it is not committed to the special-case consequence. However, in this paper, I will argue with a new Schiffer-case that even if the Naive Russellian theory is not committed to the special-case consequence, it is still not consistent with Frege’s constraint. Concluding, I will discuss the possibility to reject Frege’s constraint within the Naive Russellian theory. (shrink)

This paper establishes a theoretical linkage between Antonio Gramsci and Frantz Fanon. Gramsci’s critical-historicist method and its relationship to humanism, his integral understanding of Marxism, and emphasis on the moment of political practice resonate with Fanon’s articulation of the subjective and political-economic aspects of the colonial question, his activistic materialism, and his dialectically humanist universalism forged through anti-colonial struggle. Establishing this linkage presupposes engaging distinct currents of postcolonial Gramscianism in relation to each other and to the philological turn in Gramsci (...) scholarship. In turn, a Gramsci–Fanon convergence helps elucidate the specificities of (post-)colonial contexts without elevating these into a civilisational-ontological difference. Emphasising their geographical sensitivity as a meeting point, pushing Gramsci towards Fanon helps us treat the global South and imperial heartlands relationally, in historico-geographical and specifically political terms. A Fanonian Gramsci (or Gramscian Fanon) thus allows us to tackle Eurocentrism without closing doors to a counter- or postcolonial Marxism. (shrink)

It is sometimes mentioned that Bernard Bolzano’s work on grounding anticipates many insights of the current debate on metaphysical grounding. The present paper discusses a certain part of Bolzano’s theory of grounding that has thus far not been discussed in the literature. This part does not so much anticipate what are nowadays common assumptions about grounding, but rather goes beyond them. Central to the discussion will be a thesis of Bolzano’s by which he tries to establish a connection between grounding (...) and unification. The paper spells out this thesis in detail and discusses the assumptions on which it rests. Next to this mainly historical aim, the paper also presents reasons why philosophers who are not interested in the historical Bolzano should find the thesis interesting by relating it to a certain view on unification and explanation that has been put forward by Kim. A final part of the paper provides a critical evaluation of the thesis against the background of current accounts of grounding. (shrink)

In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment (...) relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six. (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.

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)

Can private companies legitimately regulate sharing markets, and if yes, how? Whereas scholars have either criticized sharing platforms for expanding into private and public arenas or welcomed them to counterbalance encroaching government regulations, studies document their unbridled popularity. On the basis of a special version of social contracts theory pioneered by James Buchanan, we develop a heuristics that helps guide reasoning about the legitimacy of the sharing economy’s regulatory function. First, we discuss the conditions under which free and responsible individuals (...) deliberately subject themselves to rules without their prior direct participation, that is, exit, voice, and constitutional limits. Second, we suggest sharing platforms can use novel ordo-responsibilities to establish a sharing constitution that takes these conditions into account. Third, we argue that sharing platforms can legitimately do so within an enabling institutional environment in society, the provision of which relies on the joint efforts of sharing platforms, political actors, and civil society. (shrink)

The number of people with dementia is increasing worldwide. At the same time, family and professional caregivers’ resources are limited. A promising approach to relieve these carers’ burden and assist people with dementia is assistive technology. In order to be useful and accepted, such technologies need to respect the values and needs of their intended users. We applied the value sensitive design approach to identify values and needs of patients with dementia and family and professional caregivers in respect to assistive (...) technologies to assist people with dementia in institutionalized care. Based on semi-structured interviews of residents/patients with cognitive impairment, relatives, and healthcare professionals (10 each), we identified 44 values summarized by 18 core values. From these values, we created a values’ network to demonstrate the interplay between the values. The core of this network was caring and empathy as most strongly interacting value. Furthermore, we found 36 needs for assistance belonging to the four action fields of activity, care, management/administration, and nursing. Based on these values and needs for assistance, we created possible use cases for assistive technologies in each of the identified four action fields. All these use cases already are technologically feasible today but are not currently being used in healthcare facilities. This underlines the need for development of value-based technologies to ensure not only technological feasibility but also acceptance and implementation of assistive technologies. Our results help balance conflicting values and provide concrete suggestions for how engineers and designers can incorporate values into assistive technologies. (shrink)