Considerable variation exists not only in the kinds of transposable elements (TEs) occurring within the genomes of different species, but also in their abundance and distribution. Noting a similarity to the assortment of organisms among ecosystems, some researchers have called for an ecological approach to the study of transposon dynamics. However, there are several ways to adopt such an approach, and it is sometimes unclear what an ecological perspective will add to the existing co-evolutionary framework for explaining transposon-host interactions. This (...) review aims to clarify the conceptual foundations of transposon ecology in order to evaluate its explanatory prospects. We begin by identifying three unanswered questions regarding the abundance and distribution of TEs that potentially call for an ecological explanation. We then offer an operational distinction between evolutionary and ecological approaches to these questions. By determining the amount of variance in transposon abundance and distribution that is explained by ecological and evolutionary factors, respectively, it is possible empirically to assess the prospects for each of these explanatory frameworks. To illustrate how this methodology applies to a concrete example, we analyzed whole-genome data for one set of distantly related mammals and another more closely related group of arthropods. Our expectation was that ecological factors are most informative for explaining differences among individual TE lineages, rather than TE families, and for explaining their distribution among closely related as opposed to distantly related host genomes. We found that, in these data sets, ecological factors do in fact explain most of the variation in TE abundance and distribution among TE lineages across less distantly related host organisms. Evolutionary factors were not significant at these levels. However, the explanatory roles of evolution and ecology become inverted at the level of TE families or among more distantly related genomes. Not only does this example demonstrate the utility of our distinction between ecological and evolutionary perspectives, it further suggests an appropriate explanatory domain for the burgeoning discipline of transposon ecology. The fact that ecological processes appear to be impacting TE lineages over relatively short time scales further raises the possibility that transposons might serve as useful model systems for testing more general hypotheses in ecology. (shrink)

The integration of standardized biomedical terminologies into a single, unified knowledge representation system has formed a key area of applied informatics research in recent years. The Unified Medical Language System (UMLS) is the most advanced and most prominent effort in this direction, bringing together within its Metathesaurus a large number of distinct source-terminologies. The UMLS Semantic Network, which is designed to support the integration of these source-terminologies, has proved to be a highly successful combination of formal coherence and broad scope. (...) We argue here, however, that its organization manifests certain structural problems, and we describe revisions which we believe are needed if the network is to be maximally successful in realizing its goals of supporting terminology integration. (shrink)

Science and valuation — remarks about the condition of philosophical re ection on science this text is an attempt at a more general look at twentieth‐century philosophical re ection on science conceived as persistent trials to eliminate the non‐eliminateable, i.e. valuations. In this article, I recall the most important concepts of knowledge developed in the twentieth‐century philosophy of science by exposing assumed axiology in, among other things: the Vienna Circle, Karl raimund Popper’s falsi cationism, the historical and social approach of (...) thomas S. Kuhn’s paradigm, and the concept of the ideals of knowledge by Stefan Amsterdamski. I argue that the axiology, and more broadly philosophy is an indelible com‐ ponent of each accepted concept of scienti c knowledge. each concept of knowledge assumes a form of its valuation. (shrink)

Need considerations play an important role in empirically informed theories of distributive justice. We propose a concept of need-based justice that is related to social participation and provide an ethical measurement of need-based justice. The β-ε-index satisfies the need-principle, monotonicity, sensitivity, transfer and several »technical« axioms. A numerical example is given.

Where humans can manipulate and integrate the information they receive in subtle and ever-changing ways from context to context, computers need structured and context-free background information of a sort which ontologies can help to provide. A domain ontology captures the stable, highly general and commonly accepted core knowledge for an application domain. The domain at issue here is that of the life sciences, in particular molecular biology and bioinformatics. Contemporary life science research includes components drawn from physics, chemistry, mathematics, medicine (...) and many other areas, and all of these dimensions, as well as fundamental philosophical issues, must be taken into account in the construction of a domain ontology. Here we describe the basic features of domain ontologies in the life sciences and show how they can be used. (shrink)

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for (...) the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

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

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)

In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization of these (...) logics is left for further work. In this paper, based on our previous work on a functionally complete extension of Belnap’s logic, we present a sound and complete tableau calculus for these logics. It crucially exploits the Cartesian nature of the four values, which is reflected in the fact that each proof consists of two tableaux. The bi-facial notion of truth of Z&S is thus augmented with a bi-facial notion of proof. We also provide translations between the logics for semi-classical negation and classical logic and show that an argument is valid in a logic for semi-classical negation just in case its translation is valid in classical logic. (shrink)

In order to at least begin addressing the extensive the problem of moral clarity in aiding the deprived to some degree, I first argue that the duty to aid the deprived is not merely a charitable one, dependent on the discretion, or the arbitrary will, of the giver (1). Then, before further analysing the individual duty to aid, I critically examine whether deprivation is better alleviated or remedied through the duties of corrective justice. I argue that the perspective of corrective (...) justice is important, but not sufficient when it comes to dealing with deprivation (2). I then argue that non-domination cannot serve as a first-order principle of justice. It is too minimalistic, since it would not require duties of justice where deprivation exists, but dominating relations and institutions do not. (3). Going back to the individual duty to help, I argue that the duties to aid the needy must be assessed according to the situation at hand (4). In order to avoid meaninglessness and morality’s excessive demands, one should be able to identify the responsible agents by constructing a shared and, in the last resort, institution-based duty to help (5). The institutional approach in this paper argues that we should create and reform institutions in order to realize the pre-existing requirement to alleviate global deprivation. This is a form of “global political justice” that does not start with politics, but ends with global political institutions. (shrink)

Kant wird oft als einer derjenigen großen Philosophen angesehen, dessen Werk wesentlich zum jetzigen Verständnis der Menschenrechte und Menschenwürde beigetragen hat. Kant scheint, wenn man in seine Schriften schaut, jedoch keine Theorie der Menschenrechte im modernen Sinne gehabt zu haben. Bei näherem Hinsehen zeigt sich folgender Grund: Kant unterscheidet zwischen dem bloß privaten Recht, das dem positiven Recht untergeordnet ist, und dem öffentlichen Recht, das die begrifflichen Bedingungen einer jeden legitimen, legalen Ordnung darstellt. Der Inhalt des öffentlichen Rechts wird bei (...) ihm weder direkt aus einer freistehenden Moraltheorie abgeleitet, noch aus vertraglichen Übereinkünften oder dem positiven Recht. Stattdessen soll es aus den Ermöglichungsbedingungen einer rechtmäßigen Verfassung expliziert werden, unter der allein Ansprüchen auf (ein) „Recht“ irgendeine verbindliche Autorität zukommt. Wenn man diesen Ansatz ernst nimmt, kann man kaum eine Lesart bei Kant finden, die sich mit der modernen Auffassung von Menschenrechten vereinbaren lässt. Warum aber denken dann manche, dass Kant etwas zum modernen Verständnis der Menschenrechte beizutragen hätte? So lauten denn die Leitfragen der Erörterung: Welche Auffassungen in Kants Werk kommen einem zeitgenössischen Verständnis von Menschenrechten am nächsten? Warum jedoch können diese menschrechtlich vielleicht ähnlich klingenden Auffassungen Kants den heutigen Befürwortern der Menschenrechte doch keine Quelle oder Stütze bieten? (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)

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)

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

The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term ‘ontology’ has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. Then, we briefly present the role clinical ontologies play in two multicentric research projects. Finally, (...) we discuss the interactions between these different kinds of knowledge representation artifacts and the stakeholders involved in developing interoperational real-world clinical applications. We provide ontology engineering examples from two EU-funded projects. (shrink)

In this essay we analyze the question of the origin of purpose. Due to the overwhelming success of science in explaining phenomena, it is often asked, when, and how science could explain purpose and consciousness by use of purely mechanical laws. Here I argue that such a reduction is impossible.

Rirchard Rorty has criticized the rigiditiy of the classical ethics of Kant, and he claims that we do not have absolute and universal moral norms.

The rapidly increasing wealth of genomic data has driven the development of tools to assist in the task of representing and processing information about genes, their products and their functions. One of the most important of these tools is the Gene Ontology (GO), which is being developed in tandem with work on a variety of bioinformatics databases. An examination of the structure of GO, however, reveals a number of problems, which we believe can be resolved by taking account of certain (...) organizing principles drawn from philosophical ontology. We shall explore the results of applying such principles to GO with a view to improving GO’s consistency and coherence and thus its future applicability in the automated processing of biological data. (shrink)

Several recent criticisms of the somatic marker hypothesis (SMH) identify multiple ambiguities in the way it has been formulated by its chief proponents. Here we provide evidence that this hypothesis has also been interpreted in various different ways by the scientific community. Our diagnosis of this problem is that SMH lacks an adequate computational-level account of practical decision making. Such an account is necessary for drawing meaningful links between neurological- and psychological-level data. The paper concludes by providing a simple, five-step (...) model of practical decision making. Recasting SMH in terms of this model generates more precise and empirically tractable computational-level hypotheses about the various ways that somatic markers might influence practical decisions. (shrink)

The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term ‘ontology’ has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. Then, we briefly present the role clinical ontologies play in two multicentric research projects. Finally, (...) we discuss the interactions between these different kinds of knowledge representation artifacts and the stakeholders involved in developing interoperational real-world clinical applications. We provide ontology engineering examples from two EU-funded projects. (shrink)

I review Stefan Roski's "Bolzano's Conception of Grounding".

Formula One isn’t very important. You can't care about it too much. The refugee crisis is more important. You can care about it much more. In this paper we investigate how important something is. By ‘importance’ we mean how much it is fitting to care about a thing. We explore a view about this which we call Proportionalism. This view says that a thing’s importance depends on that thing’s share of the world’s total value. The more of what matters there (...) is, the less you can care about each thing in particular. The less of what matters there is, the more you can care about each thing in particular. We argue that, in many respects, Proportionalism is superior to its competitors. It captures some intuitions they leave out and it has a powerful motivation. So, we suggest, you should keep things in proportion. (shrink)

Benefit/cost analysis is a technique for evaluating programs, procedures, and actions; it is not a moral theory. There is significant controversy over the moral justification of benefit/cost analysis. When a procedure for evaluating social policy is challenged on moral grounds, defenders frequently seek a justification by construing the procedure as the practical embodiment of a correct moral theory. This has the apparent advantage of avoiding difficult empirical questions concerning such matters as the consequences of using the procedure. So, for example, (...) defenders of benefit/cost analysis are frequently tempted to argue that this procedure just is the calculation of moral Tightness – perhaps that what it means for an action to be morally right is just for it to have the best benefit-to-cost ratio given the accounts of “benefit” and “cost” that BCA employs. They suggest, in defense of BCA, that they have found the moral calculus – Bentham's “unabashed arithmetic of morals.” To defend BCA in this manner is to commit oneself to one member of a family of moral theories and, also, to the view that if a procedure is the direct implementation of a correct moral theory, then it is a justified procedure. Neither of these commitments is desirable, and so the temptation to justify BCA by direct appeal to a B/C moral theory should be resisted; it constitutes an unwarranted short cut to moral foundations – in this case, an unsound foundation. Critics of BCA are quick to point out the flaws of B/C moral theories, and to conclude that these undermine the justification of BCA. But the failure to justify BCA by a direct appeal to B/C moral theory does not show that the technique is unjustified. There is hope for BCA, even if it does not lie with B/C moral theory. (shrink)

In this exposition of important and yet often neglected developments in the history of Western spirituality, Stefan Rossbach reminds us of the philosophical and spiritual underpinnings of the Cold War era. He argues that the conflict's main protagonists - representing the "Third Rome" and the "New World" respectively - drew on the traditions of apocalypticism, millenarianism and "Gnostic" spirituality for the formation and articulation of their self-understanding as the key agents of providential history. In order to characterize the attitudes (...) reflected in these traditions, "Gnostic Wars" offers a historical analysis of conceptions of subjectivity and spiritual order which imply the possibility, and indeed the necessity, of a radical "externalization of evil". Beginning with the "Gnostic" systems of late Antiquity, the analysis follows "lines of meaning" which extend, through the millenarianism of the late Middle Ages and the Hermeticism and "Christian Cabala" of the Renaissance, right up to the present. From the long-term perspective which is thereby established, the spectre of a man-made nuclear apocalypse appears as the latest and most dramatic expression of an outlook on the human condition which refuses to accept limits in the imposition of human designs on the world. The concluding discussion of the paradoxical continuities that underlie the sense of epoch evoked by the end of the Cold War highlights this work's implications for our understanding of contemporary international politics. (shrink)

A philosophical exchange broadly inspired by the characters of Berkeley’s Three Dialogues. Hylas is the realist philosopher: the view he stands up for reflects a robust metaphysic that is reassuringly close to common sense, grounded on the twofold persuasion that the world comes structured into entities of various kinds and at various levels and that it is the task of philosophy, if not of science generally, to “bring to light” that structure. Philonous, by contrast, is the anti-realist philosopher (though not (...) necessarily an idealist): his metaphysic is stark, arid, dishearteningly bone-dry, and stems from the conviction that a great deal of the structure that we are used to attribute to the world out there lies, on closer inspection, in our head, in our “organizing practices”, in the complex system of concepts and categories that unrerlie our representation of experience and our need to represent it that way. (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 this essay, I shall briefly present Epistemic Contextualism (EC), Invariantism and Interest- Relative Invariantism (IRI) (section 2). Then I will discuss three theses of Jason Stanley’s Knowledge and Practical Interests (Oxford 2005). I argue that Stanley’s case against Contextualism is based on a misconception of its semantic nature, that there is a disadvantage for Interest-Relative Invariantism in terms of the sceptical paradox and that Stanley’s explanation of intuitions can be interpreted in favour of Contextualism (sections 3.1. - 3.3.).

According to an increasingly popular view among philosophers of science, both causal and non-causal explanations can be accounted for by a single theory: the counterfactual theory of explanation. A kind of non-causal explanation that has gained much attention recently but that this theory seems unable to account for are grounding explanations. Reutlinger (2017) has argued that, despite these appearances to the contrary, such explanations are covered by his version of the counterfactual theory. His idea is supported by recent work on (...) grounding by Schaffer and Wilson who claim there to be a tight connection between grounding and counterfactual dependence. The present paper evaluates the prospects of the idea. We show that there is only a weak sense in which grounding explanations convey information about counterfactual dependencies, and that this fact cannot plausibly be taken to reveal a distinctive feature that grounding explanations share with other kinds of explanations. (shrink)

A short philosophic meditation on contemporary civilization as Plato's cave imploding.