Shelah has shown that the number d, the smallest cardinality of a dominating family, is less than or equal to the number i, the smallest cardinality of a maximal independent family on ω. This was done using a downward Löwenheim-Skolem argument. Thus it is interesting to find a direct “elementary” proof. Here we show that this can be done.

In dieser Marburger Vorlesung aus dem Wintersemester 1924/25 stellt sich Heidegger die Aufgabe, Platons Spatdialog "Sophistes" im Ausgang von Aristoteles verstandlich zu machen. Zentrum des einleitenden Aristoteles-Teils ist die Folge der dianoethischen Tugenden im VI. Buch der "Nikomachischen Ethik", in der Heidegger die sich aufsteigernde Stufenfolge eines Entbergens erkennt und demgemass den Primat der "Physis" aus der Uberlegenheit ihres Entbergens begrundet. Damit legt Heidegger die Zusammengehorigkeit von Sein und Wahrheit als Horizont des aristotelisch-griechischen Philosophierens frei und gewinnt so den "Boden", (...) aus dem die platonische Seinsforschung, wie sie im "Sophistes" vorliegt, erwachsen ist. Dementsprechend stellt sich Heidegger im Hauptteil die Aufgabe, in fortlaufender Interpretation des "Sophistes" konkret zu zeigen, dass und wie Platons Ontologie aus dem Entbergen erwachsen ist. Die Vorlesung bezeugt, dass Heidegger die in seinem fruhen Hauptwerk "Sein und Zeit" gestellte Frage nach dem "Sinn von Sein", d.h. nach der Un-verborgenheit des Seins in der Auseinandersetzung mit der philosophischen Uberlieferung gewonnen hat. (shrink)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...) abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (shrink)

Daniel Taylor and Dawn Goodwin present a case study of the Morecambe Bay Inquiry (MBI), which examined the high rate of maternal and neonatal deaths over a period of 9 years (2004–2013), within the small maternity unit of Furness General Hospital (FGH), one of the three hospitals comprising Morecambe Bay Hospitals Trust.1 They examine this through a conceptual lens, and provide a solution involving changes in medical education. This commentary explores both these elements. First, they use the lens of ‘Normalisation (...) of Deviance’ (NoD) to explain organisational failure. However, other available lenses such as ‘Sociology of Disasters’, ‘Organisational Silence’ and ‘Comfort-seeking Behaviour’ may point to different problems and solutions. More justification for their choice of the lens of NoD would have been useful. Similarly, more justification for their focus on a cluster of five ‘serious untoward incidents’ (SUIs) occurring in 2008 would also have been useful. They suggest that before 2008, the perinatal mortality rate was low, patient satisfaction was high and recent level 2 accreditation of maternity services by the Clinical Negligence Scheme for Trusts all suggested standards of care within the obstetric department were adequate. This stream of positive signals is likely to have contributed towards a genuine belief of safe operation within the maternity unit by staff and board members. However, as they acknowledge, the first problem can be seen in 2004. According to the MBI,2 there were SUIs in the years before and after 2008, but this …. (shrink)

Die Abhandlung "Vom Wesen der Wahrheit" enthalt den von Heidegger mehrfach uberpruften Text eines Vortrags, der 1930 u. A. In Marburg und Freiburg gehalten wurde. DIe 8. AUflage der Einzelausgabe ist wort- und seitengleich mit dem Abdruck des Textes in der 3., durchgesehenen Auflage der Einzelausgabe der "Wegmarken" sowie mit dem Abdruck in der 2., durchgesehenen Auflage der "Wegmarken" als Band 9 der Gesamtausgabe. SIe enthalt damit erstmals auch die Randbemerkungen Heideggers aus seinen Handexemplaren.

Human and animal interests are often in conflict. In many situations, however, it is unclear how to evaluate and weigh competing human and animal interests, as the satisfaction of the interests of one group often inevitably occurs at the expense of those of the other group. Human-animal conflicts of this kind give rise to ethical questions. If animals count morally for their own sake, then we must ask in which cases the satisfaction or frustration of the interests of humans and (...) animals in conflict situations is justified or unjustified from an ethical perspective. In this article, we argue that limited aggregation accounts represent a promising means for resolving interspecies conflicts. The reason for this is that they can appropriately consider the qualitative relevance of interests, their relative importance to each other, and the number of individuals affected. For our argument, we start from the premise that animals count morally for their own sake, albeit to a lesser extent than humans. That is, we accept the view that animals may be used, for example, as a source of food or in animal research. However, as we will show, many basic interests of animals are sufficiently similar to human interests and can thus be compared to them. Hence, they ought to be aggregated in cases of conflict with human interests. We illustrate our account and its practical implications with the real-world example of a human-animal conflict during the outbreak of a zoonotic disease among farmed animals. We conclude that, in many cases, animal interests ought to be given more importance than they currently receive, which includes distributing the burdens and risks of farming practices more fairly. (shrink)

In this paper we present an overview, with historical and critical remarks, of two articles by S. Jaśkowski ([20, 21] 1948 and [22, 23] 1949), which contain the oldest known formulation of a paraconsistent logic. Jaśkowski has built the logic – he termed discussive (D2) – by defining two new connectives and by introducing a modal translation map from D2 systems into Lewis’ modal logic S5. Discussive systems, for their formal details and their original philosophical justification, have attracted discrete attention (...) among experts. Indeed, in what follows, after having introduced Jaśkowski methodology of building D2 and his main philosophical motivations for providing such a system, we will explore some of the main contributions to the development of D2. (shrink)

A rejection system, also referred to as a complementary calculus, is a proof system axiomatising the invalid formulas of a logic, in contrast to traditional calculi which axiomatise the valid ones. Rejection systems therefore introduce a purely syntactic way of determining non-validity without having to consider countermodels, which can be useful in procedures for automated deduction and proof search. Rejection calculi have first been formally introduced by Łukasiewicz in the context of Aristotelian syllogistic and subsequently rejection systems for many well-known (...) logics have been proposed. In this paper, we deal with rejection systems for so-called non-deterministic finite-valued logics, a special case of non-deterministic many-valued logics which were introduced by Avron and Lev as a generalisation of traditional many-valued logics. More specifically, we introduce a systematic method for constructing sequent-style rejection systems for any given non-deterministic finite-valued logic. Furthermore, as special instances of our method, we provide concrete calculi for specific paraconsistent logics which can be characterised in terms of non-deterministic two- and three-valued semantics, respectively. (shrink)

This article develops an ecological framework for understanding collective action. This is contrasted with approaches familiar from the collective intentionality debate, which treat individuals as fundamental units of collective action. Instead, we turn to social ecological psychology and dynamical systems theory and argue that they provide a promising framework for understanding collectives as the central unit in collective action. However, we submit that these approaches do not yet appreciate enough the relevance of social identities for collective action. To analyze this (...) aspect, we build on key insights from social identity theory and synthesize it with embodied and ecological accounts of perception and action. This results in the proposal of two new types of affordances. For an individual who enacts her "embodied social identity" of being a member of a particular collective, there can be what we call embodied social identity affordances. Moreover, when several individuals dynamically interact with each other against the background of their embodied social identities, this might lead to the emergence of a collective, which we understand as a dynamically constituted and ecologically situated perception-action system consisting of several individuals enacting relevant embodied social identity affordances. Building on previous work in social ecological psychology, we suggest that there can be genuine collective affordances, that is, affordances whose subject is not an individual, but a collective. (shrink)

Recent empirical findings from social psychology, ecological psychology, and embodied cognitive science indicate that situational factors crucially shape the course of human behavior. For instance, it has been shown that finding a dime, being under the influence of an authority figure, or just being presented with food in easy reach often influences behavior tremendously. These findings raise important new questions for the philosophy of action: Are these findings a threat to classical conceptions of human agency? Are humans passively pushed around (...) by situational factors, or are there agential aspects in the way we spontaneously experience and react to situations? How can one conceptualize the pervasive influence of situational factors on human action? What are situations in the first place, and how should the influence of these situations on action be thought of? This paper sets out to develop a new conceptual repertoire for thinking about the influence of situations on action, drawing on research from ecological psychology as well as from embodied and enactive cognitive science. The key proposal is the development of a philosophical sensorimotor account of agency: Action, it is proposed, should be conceived of as constant dynamical interaction of agential and environmental factors – factors which should all be conceptualized in new ways. (shrink)

Die theatralische Verkörperung der imagines agentes im Shakespeareschen Oeuvre, die noch für die bildhaften Denkformen bei Thomas Hobbes prägend wirkte, bezieht in Titus Andronicus und in Julius Caesar besondere Suggestivität durch die intertextuelle Einverleibung antiker Nationalerzählungen. Den dramatischen Aufzug bildmagisch aufgeladener Staatskörper konterkarieren bei Shakespeare, genauso wie in der vergleichend herangezogenen Faerie Queene, ikonoklastisch ausgestaltete Gegenbewegungen, die letztlich auf das frühneuzeitliche Dilemma der an Bedeutung überdeterminierten Körperbildlichkeit hinweisen. Die Metaphorik der zwei Körper des Königs implodiert, wo sie — wie schließlich (...) in Hamlet — den Ansprüchen der Legitimation von Herrschaft nicht mehr genügt. (shrink)

A de minimis risk is defined as a risk that is so small that it may be legitimately ignored when making a decision. While ignoring small risks is common in our day-to-day decision making, attempts to introduce the notion of a de minimis risk into the framework of decision theory have run up against a series of well-known difficulties. In this paper, I will develop an enriched decision theoretic framework that is capable of overcoming two major obstacles to the modelling (...) of de minimis risk. The key move is to introduce, into decision theory, a non-probabilistic conception of risk known as normic risk. (shrink)

Orr and Dentith argue that a recurrent problem in much of the wider academic literature on conspiracy theories is either conceptual confusion or a refusal to put theory before practice. Orr and Dentith show that a naive empiricism pervades much of the social science literature when it comes to these things called ‘conspiracy theories’ which not only runs at odds with the philosophical literature but also the general tenor of the social sciences over the latter part of the 20th Century (...) and beyond. Orr and Dentith argue that central to these confusions or refusals is not just a lack of philosophical rigour when it comes to defining and presenting views, but an active disinterest in such conceptual work. (shrink)

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a (...) more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (shrink)

The discussion of collective agency involves the reduction problem of the concept of a collective. Individualism and Cartesian internalism have long restricted orthodox theories and made them face the tension between an irreducible concept of a collective and ontological reductionism. Heterodox theories as functionalism and interpretationism reinterpret the concept of agency and accept it as realized on the level of a collective. In order to adequately explain social phenomena that have relations as their essence, in this paper we propose a (...) relational, holistic account of collective agency and argue that functionalism and interpretationism can be integrated into such an account. (shrink)

Upon introspection, we judge that suffering feels bad. I argue there is no appearance-reality gap when it comes to introspective judgments about simple, intrinsic, nonrepresentational phenomenal states like itches, tingling, and suffering's feeling bad. On constitutivism about phenomenal introspection, there is no appearance-reality gap here because these judgments are literally constituted by the phenomenal states they are about. As a result, we are directly acquainted with the intrinsic properties of experience in having these judgments. Reflecting on our direct acquaintance with (...) intrinsic badness, we can know that our suffering instantiates this judgment-independent evaluative property. (shrink)

The aim of this paper is to provide a proof-theoretic characterization of relevant logics including fusion and fission connectives, as well as Ackermann’s truth constant. We achieve this by employing the well-established methodology of labelled sequent calculi. After having introduced several systems, we will conduct a detailed proof-theoretic analysis, show a cut-admissibility theorem, and establish soundness and completeness. The paper ends with a discussion that contextualizes our current work within the broader landscape of the proof theory of relevant logics.

This essay is dedicated to the memory of Katherine Hawley.1Bitcoin was invented to serve as a digital currency that demands no trust in financial institutions, such as commercial and central banks. This paper discusses metaphysical aspects of bitcoin, in particular the view that bitcoin is socially constructed, non-concrete, and genuinely exists. If bitcoin is socially constructed, then one may worry that this reintroduces trust in the communities responsible for the social construction. Although we may have to rely on certain communities, (...) I argue that social construction doesn’t imply a demand for trust because the relevant communities don’t take on any relevant commitments. Bitcoin is indeed trust-free. (shrink)

On Inception is a translation of Martin Heidegger's Gesamtausgabe 70. This work belongs to the crucial period, before and during WWII, when Heidegger was at work on a series of treatises that begins with "Contributions to Philosophy" and includes "The Event" and "The History of Beyng." These works are difficult, even hermetic, but represent a crucial development in Heidegger's thinking. On Inception deepens the investigation underway in the other volumes of the series and provides a unique perspective on Heidegger's (...) thinking of Being and of Event. Here, Heidegger asks, with a greater insistence than anywhere else in his work, what it might mean to think of being as event, and not as presence. Event cannot be thought without the sense of a beginning - an inception - and so, Heidegger insists, we must try to think of being as inception, as fundamentally inceptive. On Inception pursues rigorously the difficult and puzzling implications of this speculation. It does not merely extend work already undertaken but also opens doors onto wholly other pathways. (shrink)

There is a type of metaphysical picture that surfaces in a range of philosophical discussions, is of intrinsic interest, and yet remains ill-understood. According to this picture, the world contains a range of standpoints relative to which different facts obtain. Any true representation of the world cannot but adopt a particular standpoint. The aim of this paper is to propose a regimentation of a metaphysics that underwrites this picture. Key components are a factive notion of metaphysical relativity, a deflationary notion (...) of adopting standpoints, and two kinds of valid inference, one that allows one to abandon standpoints and one that does not. To better understand how theories formulated in terms of this framework are situated in dialectical space, I sketch a theory in the philosophy of time that admits both temporal and atemporal standpoints. (shrink)

Kant was a keen psychological observer and theorist of the forms, mechanisms and sources of self-deception. In this Element, the author discusses the role of rationalizing/Vernünfteln for Kant's moral psychology, normative ethics and philosophical methodology. By drawing on the full breadth of examples of rationalizing Kant discusses, the author shows how rationalizing can extend to general features of morality and corrupt rational agents thoroughly. Furthermore, the author explains the often-overlooked roles common human reason, empirical practical reason and even pure practical (...) reason play for rationalizing. Kant is aware that rationality is a double-edged sword; reason is the source of morality and of our dignity, but it also enables us to seemingly justify moral transgressions to ourselves, and it creates an interest in this justification in the first place. Finally, this Element discusses whether Kant's ethical theory itself can be criticised as a product of rationalizing. (shrink)

I argue that, alongside the already well-established prohibition against treating persons as mere means, Kant’s Formula of Humanity requires a prohibition against treating persons as mere things. The former captures ethical violations due to someone’s (perceived) instrumental value, e.g. exploitation, the latter captures cases in which I mistreat others because they have no instrumental value to me. These are cases in which I am indifferent and complacent towards persons in need; forms of mistreatment frequently suffered by the world’s poorest. I (...) explain why we need the category of treating others as mere things and what the prohibition against such treatment entails. Prohibitions against treating as mere means and as mere things are both essential for understanding the specific nature and extent of our duties to the world’s poorest. (shrink)

The starting point of this paper is the thought that the phenomenal appearances that accompany mental states are somehow only there, or only real, from the standpoint of the subject of those mental states. The world differs across subjects in terms of which appearances obtain. Not only are subjects standpoints across which the world varies, subjects are standpoints that we can ‘adopt’ in our own theorizing about the world (or stand back from). The picture that is suggested by these claims (...) has an appeal but is at the same time obscure and stands in need of regimentation. This paper explores and motivates a metaphysical account of what it is for subjects to be standpoints, what it is to adopt standpoints in our representations and, most importantly, how these notions might help us better understand the subjective character of conscious mental states. Some well-known observations by Thomas Nagel serve as starting points and the paper concludes by revisiting Nagel’s argument for the inevitable incompleteness of objective accounts of mental states, which will be reframed in terms of the central commitments of the proposed framework. (shrink)

Earlier in this century, many philosophers of science (for example, Rudolf Carnap) drew a fairly sharp distinction between theory and observation, between theoretical terms like 'mass' and 'electron', and observation terms like 'measures three meters in length' and 'is _2° Celsius'. By simply looking at our instruments we can ascertain what numbers our measurements yield. Creatures like mass are different: we determine mass by calculation; we never directly observe a mass. Nor an electron: this term is introduced in order to (...) explain what we observe. This (once standard) distinction between theory and observation was eventually found to be wanting. First, if the distinction holds, it is difficult to see what can characterize the relationship between theory :md observation. How can theoretical terms explain that which is itself in no way theorized? The second point leads out of the first: are not the instruments that provide us with observational material themselves creatures of theory? Is it really possible to have an observation language that is entirely barren of theory? The theory-Iadenness of observation languages is now an accept ed feature of the logic of science. Many regard such dependence of observation on theory as a virtue. If our instruments of observation do not derive their meaning from theories, whence comes that meaning? Surely - in science - we have nothing else but theories to tell us what to try to observe. (shrink)

What is critical thinking, especially in the context of higher education? How have research and scholarship on the matter developed over recent past decades? What is the current state of the art here? How might the potential of critical thinking be enhanced? What kinds of teaching are necessary in order to realize that potential? And just why is this topic important now? These are the key questions motivating this volume. We hesitate to use terms such as “comprehensive” or “complete” or (...) “definitive,” but we believe that, taken in the round, the chapters in this volume together offer a fair insight into the contemporary understandings of higher education worldwide. We also believe that this volume is much needed, and we shall try to justify that claim in this introduction. (shrink)

En esta investigación intentaremos explicitar hasta qué punto Ser y Tiempo es una suerte de tentativa por retomar, en forma correcta, el originario proyecto filosófico que Kant desplegó en su Crítica de la razón pura. Para lograr justificar nuestra conjetura nos centraremos especialmente en la obra de Heidegger Kant y el problema de la Metafísica (1929). En dicho texto nos encontraremos con una controvertida interpretación que el pensador de Meßkirch elaboró del opus magnum de Immanuel Kant. Interpretación que, justamente, podría (...) sugerirnos que su Ser y Tiempo, no sólo estaría hermanado con la Crítica de la razón pura, sino que vendría a ser una correcta continuación del camino allí trazado por el filósofo de Königsberg. (shrink)

This paper contributes to the discussion of the moral demandingness of Kantian ethics by critically discussing an argument that is currently popular among Kantians. The argument from the system of duties holds that in the Kantian system of duties the demandingness of our duty of beneficence is internally moderated by other moral prescriptions, such as the indirect duty to secure happiness, duties to oneself and special obligations. Furthermore, proponents of this argument claim that via these prescriptions Kant’s system of duties (...) incorporates into morality what current debates on demandingness call happiness and personal projects. These two claims are in conjunction supposed to establish that Kant’s ethics, at least when it comes to beneficence, is not plagued by the problem of excessive moral demands. We show that claims and are mistaken given what Kant says about beneficence, the application of imperfect duties and about emergencies. We finally argue that special obligations towards loved ones, a class of obligations largely overlooked by advocates of the system of duties, are the most promising candidates for internal moderation. These duties are, however, of a narrow scope. (shrink)