Deep learning developers typically rely on deep learning software frameworks (DLSFs)—simply described as pre-packaged libraries of programming components that provide high-level access to deep learning functionality. New DLSFs progressively encapsulate mathematical, statistical and computational complexity. Such higher levels of abstraction subsequently make it easier for deep learning methodology to spread through mimesis (i.e., imitation of models perceived as successful). In this study, we quantify this increase in abstraction and discuss its implications. Analyzing publicly available code from Github, we found that (...) the introduction of DLSFs correlates both with significant increases in the number of deep learning projects and substantial reductions in the number of lines of code used. We subsequently discuss and argue the importance of abstraction in deep learning with respect to ephemeralization, technological advancement, democratization, adopting timely levels of abstraction, the emergence of mimetic deadlocks, issues related to the use of black box methods including privacy and fairness, and the concentration of technological power. Finally, we also discuss abstraction as a symptom of an ongoing technological metatransition. (shrink)

Two sources of possible disagreement in bioethics may be associated with pessimism about what bioethics can achieve. First, pluralism implies that bioethics engages with interlocutors who hold divergent moral beliefs. Pessimists might believe that these disagreements significantly limit the extent to which bioethics can provide normatively robust guidance in relevant areas. Second, the interdisciplinary nature of bioethics suggests that interlocutors may hold divergent views on the nature of bioethics itself—particularly its practicality. Pessimists may suppose that interdisciplinary disagreements could frustrate the (...) goals of bioethics. In this article, I explore how wonder may alleviate the concerns of the first group of pessimists regarding problems associated with pluralism, provided that we are willing to accept some interdisciplinary frustrations. Then, I invite readers of this issue of The Journal of Medicine & Philosophy to test these intuitions by considering the role of wonder in these articles. (shrink)

In this paper we discuss how Causal Decision Theory should be modified to handle a class of problematic cases involving deterministic laws. Causal Decision Theory, as it stands, is problematically biased against your endorsing deterministic propositions (for example it tells you to deny Newtonian physics, regardless of how confident you are of its truth). Our response is that this is not a problem for Causal Decision Theory per se, but arises because of the standard method for assessing the truth of (...) certain counterfactuals. The truth of deterministic laws is `modally fragile' on the standard semantics for counterfactuals: if determinism is true and you were to do otherwise, the laws would be different. We provide two ways of avoiding this problem: 1) supplement the standard semantics for counterfactuals with impossible worlds, or 2) introduce rigid designators into the description of problematic decision situations. We argue that both of these approaches are well-motivated and can be readily incorporated into Lewisian Causal Decision Theory. (shrink)

Free Speech in the Balance is the first comprehensive study of proportional analysis in free speech theory. This book challenges the US Supreme Court's categorical approach and explains the importance of understanding the breadth of concerns arising from regulations directly and indirectly impacting expression. The author provides in-depth analysis of some of the important social and political principles governing topics of vital concern, including campaign financing, university speech codes, secondary school rules, incitement, and threats. This book should be read by (...) students and scholars of free speech theory and anyone interested in learning more about the history of existing law, the issues of current importance, and trends in expressive significance. (shrink)

A new speculative ontology of aesthetics. In Aesthesis and Perceptronium, Alexander Wilson presents a theory of materialist and posthumanist aesthetics founded on an original speculative ontology that addresses the interconnections of experience, cognition, organism, and matter. Entering the active fields of contemporary thought known as the new materialisms and realisms, Wilson argues for a rigorous redefining of the criteria that allow us to discriminate between those materials and objects where aesthesis (perception, cognition) takes place and those where it doesn't. (...) Aesthesis and Perceptronium negotiates between indiscriminately pluralist views that attribute mentation to all things and eliminative views that deny the existence of mentation even in humans. By recasting aesthetic questions within the framework of "epistemaesthetics," which considers cognition and aesthetics as belonging to a single category that can neither be fully disentangled nor fully reduced to either of its terms, Wilson forges a theory of nonhuman experience that avoids this untenable dilemma. Through a novel consideration of the evolutionary origins of cognition and its extension in technological developments, the investigation culminates in a rigorous reevaluation of the status of matter, information, computation, causality, and time in terms of their logical and causal engagement with the activities of human and nonhuman agents. (shrink)

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of Cantor’s (...) proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of Cantor’s (...) proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)

La philosophie de David Hume entend rompre avec une théorie classique des facultés, redessinant la place que l'imagination joue dans notre vie psychique et déployant ainsi une géographie mentale inédite. Instrument privilégié de son scepticisme philosophique, cette théorie de l'imagination pose cependant autant de questions qu'elle n'en résout, du fait même qu'associant imagination et conception, elle se voit chargée de rendre compte de tendances contradictoires au sein de l'esprit humain. Une clarification terminologique et conceptuelle permet alors, faute de résoudre ces (...) tensions, d'éclairer les nouveaux enjeux proposés par une telle approche. (shrink)

We introduce a dynamic model for evolutionary games played on a network where strategy changes are correlated according to degree of influence between players. Unlike the notion of stochastic stability, which assumes mutations are stochastically independent and identically distributed, our framework allows for the possibility that agents correlate their strategies with the strategies of those they trust, or those who have influence over them. We show that the dynamical properties of evolutionary games, where such influence neighborhoods appear, differ dramatically from (...) those where all mutations are stochastically independent, and establish some elementary convergence results relevant for the evolution of social institutions. (shrink)

For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist (...) can use the book as a source of references. Results and methods of many directions in propositional modal logic, from completeness and duality to algorithmic problems, are collected and systematically presented in one volume. (shrink)

Warum existiert uberhaupt etwas, warum existiert gerade unsere Welt? Wofur soll sich der Mensch in ihr engagieren, wie soll er seinen Charakter bilden? Mit begrifflicher Prazision wird gepruft, was Leibnizens Philosophie zur Behandlung dieser unabweisbaren Fragen auch heute noch beitragen kann. Da Leibniz die Antworten letztlich aus einer Theologia Naturalis gewinnt, steht sein Gottesbegriff im Zentrum der Untersuchung. Dieser wird in seinen vielfaltigen Bezugen und Funktionen innerhalb Leibniz' System detailliert erlautert. Ergebnis ist eine kritische integrale Gesamtdarstellung der Leibnizschen Philosophie; sie (...) bietet neben einer originellen und argumentativ dichten, gleichermaaen texttreuen wie sachorientierten Interpretation von Ontologie, Psychologie, Ethik, Logik, Erkenntnis-, Wissenschafts- und Rationalitatstheorie auch eine Wurdigung der Grundzuge von Natur-, Geschichts- und Staatsphilosophie. (Franz Steiner 1996). (shrink)

The familiar Vendler-Kenny scheme of verb-types, viz., performances (further differentiated by Vedler into accomplishments and achievements), activities, and states, is too narrow in two important respects. First, it is narrow linguistically. It fails to take into account the phenomenon of verb aspect. The trichotomy is not one of verbs as lexical types but of predications. Second, the trichotomy is narrow ontologically. It is a specification in the context of human agency of the more fundamental, topic-neutral trichotomy, event-process-state.The central component in (...) this ontological trichotomy, event, can be sharply differentiated from its two flanking components by adapting a suggestion by Geoffrey N. Leech and others that the contrast between perfective and imperfective aspect in verbs corresponds to the count/mass distinction in the domain of nouns. With the help of two distinctions, of cardinal count adverbials versus frequency adverbials, and of occurrence versus associated occasion, two interrelated criteria for event predication are developed. Accordingly, Mary capsized the boat is an event predication because (a) it is equivalent to There was at least one capsizing of the boat by Mary, or (b) because it admits cardinal count adverbials, e.g., at least once, twice, three times. Ontologically speaking, events are defined as those occurrences that are inherently countable. (shrink)

Kant’s accounts of the Highest Good and the moral argument for God and immortality are central features of his philosophy. But both involve lingering puzzles. In this entry, we first explore what the Highest Good is for Kant and the role it plays in a complete account of ethical life. We then focus on whether the Highest Good involves individuals only, or whether it also connects with Kant’s doctrines about the moral progress of the species. In conclusion, we look into (...) three ways of articulating the moral argument for God and immorality that take our commitment to the Highest Good as their point of departure. (shrink)

Kant and Fichte developed the concept of a worldview as a way of reflecting on experience as a whole. But what does it mean to form a worldview? And what role did it play in the German Idealist tradition? This paper seeks to answer these questions through a detailed analysis of the form of a philosophical worldview and its historical portent, both of which remain unexplored in the literature. The dearth of attention is partially to blame on Kant’s desultory development (...) of it, as well as its place in Fichte’s understudied lectures on religion. In this paper, I first reconstruct Kant’s conception as the starting point and then trace it to Fichte who went on to evolve it further. Fichte endorses the basic conceptual shape pioneered by Kant, namely, a reflective process of positing an idea and then checking the coherence of necessary judgments relative to it. However, Fichte came to realize that its philosophical function needed expanding. Beyond recognizing the possibility for alternative worldviews, Fichte further fleshed out how worldview creation could lead to human flourishing. The common feature between both thinkers is that the formation of a worldview aims to turn philosophy into a life-orienting exercise. (shrink)

In this paper, we analyse how GPS-based navigation systems are transforming some of our intellectual virtues and then suggest two strategies to improve our practices regarding the use of such epistemic tools. We start by outlining the two main approaches in virtue epistemology, namely virtue reliabilism and virtue responsibilism. We then discuss how navigation systems can undermine five epistemic virtues, namely memory, perception, attention, intellectual autonomy, and intellectual carefulness. We end by considering two possible interlinked ways of trying to remedy (...) this situation: [i] redesigning the epistemic tool to improve the epistemic virtues of memory, perception, and attention; and [ii] the cultivation of cognitive diligence for wayfinding tasks scaffolding intellectual autonomy and carefulness. (shrink)

Laws of nature take center stage in philosophy of science. Laws are usually believed to stand in a tight conceptual relation to many important key concepts such as causation, explanation, confirmation, determinism, counterfactuals etc. Traditionally, philosophers of science have focused on physical laws, which were taken to be at least true, universal statements that support counterfactual claims. But, although this claim about laws might be true with respect to physics, laws in the special sciences (such as biology, psychology, economics etc.) (...) appear to have—maybe not surprisingly—different features than the laws of physics. Special science laws—for instance, the economic law “Under the condition of perfect competition, an increase of demand of a commodity leads to an increase of price, given that the quantity of the supplied commodity remains constant” and, in biology, Mendel's Laws—are usually taken to “have exceptions”, to be “non-universal” or “to be ceteris paribus laws”. How and whether the laws of physics and the laws of the special sciences differ is one of the crucial questions motivating the debate on ceteris paribus laws. Another major, controversial question concerns the determination of the precise meaning of “ceteris paribus”. Philosophers have attempted to explicate the meaning of ceteris paribus clauses in different ways. The question of meaning is connected to the problem of empirical content, i.e., the question whether ceteris paribus laws have non-trivial and empirically testable content. Since many philosophers have argued that ceteris paribus laws lack empirically testable content, this problem constitutes a major challenge to a theory of ceteris paribus laws. (shrink)

There is an underlying assumption in the social sciences that consciousness and social life are ultimately classical physical/material phenomena. In this ground-breaking book, Alexander Wendt challenges this assumption by proposing that consciousness is, in fact, a macroscopic quantum mechanical phenomenon. In the first half of the book, Wendt justifies the insertion of quantum theory into social scientific debates, introduces social scientists to quantum theory and the philosophical controversy about its interpretation, and then defends the quantum consciousness hypothesis against the (...) orthodox, classical approach to the mind-body problem. In the second half, he develops the implications of this metaphysical perspective for the nature of language and the agent-structure problem in social ontology. Wendt's argument is a revolutionary development which raises fundamental questions about the nature of social life and the work of those who study it. (shrink)

Analyzes the poem "On Nature" by Parmenides, arguing that is actually a philosophical argument disguised as Homer-like mythological journey. Original.

ABSTRACT It has become standard to conceive of metalinguistic disagreement as motivated by a form of negotiation, aimed at reaching consensus because of the practical consequences of using a word with one content rather than another. This paper presents an alternative motive for expressing and pursuing metalinguistic disagreement. In using words with given criteria, we betray our location amongst social categories or groups. Because of this, metalinguistic disagreement can be used as a stage upon which to perform a social identity. (...) The ways in which metalinguistic disagreements motivated in this way diverge in character from metalinguistic negotiations are described, as are several consequences of the existence of metalinguistic disagreements motivated in this way. (shrink)

Kant’s claim that we must postulate the immortality of the soul is polarizing. While much attention has been paid to two standard arguments in its defense (one moral-psychological, the other rational), I contend that a favorite argument of Kant’s from the apogee of his critical period, namely, the teleological argument, deserves renewed attention. This paper reconstructs it and exhibits what makes it unique (though not necessarily superior) in relation to the other arguments. In particular, its form (as third-personal or descriptive, (...) beginning from observations) and related force of assent (as a subjectively universal reflective judgment) set it apart from the other arguments. My goal is to establish that any engagement with Kant’s immortality postulate must include equal consideration of the teleological argument in order to be complete. (shrink)

A number of companies including Google and BMW are currently working on the development of autonomous cars. But if fully autonomous cars are going to drive on our roads, it must be decided who is to be held responsible in case of accidents. This involves not only legal questions, but also moral ones. The first question discussed is whether we should try to design the tort liability for car manufacturers in a way that will help along the development and improvement (...) of autonomous vehicles. In particular, Patrick Lin’s concern that any security gain derived from the introduction of autonomous cars would constitute a trade-off in human lives will be addressed. The second question is whether it would be morally permissible to impose liability on the user based on a duty to pay attention to the road and traffic and to intervene when necessary to avoid accidents. Doubts about the moral legitimacy of such a scheme are based on the notion that it is a form of defamation if a person is held to blame for causing the death of another by his inattention if he never had a real chance to intervene. Therefore, the legitimacy of such an approach would depend on the user having an actual chance to do so. The last option discussed in this paper is a system in which a person using an autonomous vehicle has no duty of interfering, but is still held responsible for possible accidents. Two ways of doing so are discussed, but only one is judged morally feasible. (shrink)

This chapter examines Richard Rorty's conception of what it means to be a public intellectual in the modern world and how this conception is related to his pragmatist approach to philosophy. It also discusses the influence that this conception and approach had on Central Europe. In doing so, it outlines for the first time, and in some detail, the close contact that Rorty had, through his books, and more personally through conferences, lectures, and seminars, with philosophers in countries such as (...) Czechoslovakia, Hungary, and Poland. (shrink)

Critic, poet and philosopher Friedrich von Schlegel (1772–1829) was a leading figure of German Romanticism. In the two years before his untimely death, he wrote three cycles of lectures intended as part of a larger project to lay the foundations of a new general philosophy. Two of these cycles, 'Philosophie des Lebens' (given in 1827, published 1828) and 'Philosophie des Sprache und des Wortes' (given in December 1828 and published posthumously), are reissued here in an 1847 English translation. The first (...) presents Schlegel's understanding of philosophy as independent of theology or politics, concerned with the 'inner spiritual life' of humankind. The second explores the nature of communication through language and art. Schlegel argues that full human consciousness cannot be restored by Enlightenment science, but only by divine revelation and redemption. He offers no ready-made solutions, but encourages his listeners to develop their own responses to these questions. (shrink)

This paper points out neglected considerations about the standing to blame. It starts from the observation that the standing to blame debate largely focusses on factors concerning the blamer or the relation of blamer and wrongdoer, mainly hypocrisy and meddling, while neglecting the victim of wrongdoing. This paper wants to set this right by pointing out how considerations about the victim can impact a third party’s standing. The first such consideration is the blamer’s personal relation to the victim. It is (...) argued that persons close to the victim thereby gain standing even in the presence of factors that would normally undermine it. Arguing from the well-known sexual assault case of Chanel Miller and the public reactions to it, the paper then introduces two more considerations about standing hitherto neglected. First, given that blame has an expressive function and serves to contradict expressive aspects of wrongdoings, it is argued that third-party blame can morally support the victim in the face of wrongdoing and that such support matters to victims. It is argued that this importance of third-party blame can ground standing. Thirdly and relatedly, the paper argues that insufficient collective responses to wrongdoing, i.e. when other bystanders do not respond with sufficient blaming responses, can equally ground standing of third parties. It is argued that these considerations are relevant not only for an ethics of blame broadly conceived but also for standing to blame in particular. Thereby, the paper establishes that considerations about the victim are central for discussion of the standing to blame. (shrink)

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

In the Critique of Pure Reason, Kant states that ideas give us the rule for organizing experience and ideals serve as archetypes or standards against which one can measure copies. Further, he states that ideas and ideals can be practical. Understanding how precisely these concepts should function presents a challenging and understudied philosophical puzzle. I offer a reconstruction of how ideas and ideals might be practical in order to uphold, to my mind, a conceptually worthy distinction. A practical idea, I (...) argue, is best understood as a reference to the categorical imperative (and its various formulations), which guides conduct directly as a rule. A practical ideal, by contrast, I think is a substrate that serves two functions: one that (a) helps us gauge moral deficiencies and another that (b) reveals the potential for moral improvement. In response to well-grounded sceptical concerns, I argue that ideals are indirectly practical in that they ground the possibility to recognise moral states of affairs and be moral in the first place. (shrink)

A number of bioethicists have been critical of the power of the family to “veto” a patient’s decision to posthumously donate her organs within opt-in systems of organ procurement. One major objection directed at the family veto is that when families veto the decision of their deceased family member, they do something wrong by violating or failing to respect the autonomy of that deceased family member. The goal of this paper is to make progress on answering this objection. I do (...) this in two stages. First, I argue that the most plausible interpretation of what happens when a person registers as an organ donor in an opt-in system is that she gives her consent to the state to posthumously remove her organs for transplantation purposes. Call this the Authorization Account. Second, given the Authorization Account, I argue by analogy that when families veto an individual’s decision to donate and the individual’s organs are not in the end removed, neither the doctors nor the family violate the individual’s autonomy in any morally objectionable sense. Call this the Nonremoval Thesis. I argue that since the Nonremoval Thesis is true, we do not violate or fail to respect the autonomy of registered donors when we fail to remove their organs because their family has objected. (shrink)

Can philosophy be a source of hope? Today it is common to believe that the answer is no - that providing hope, if it is possible at all, belongs either to the predictive sciences or to religion. In this exciting and simulating book, however, Alexander Douglas argues that the philosophy of Spinoza can offer something akin to religious hope. Douglas shows how Spinoza is able, without appealing to belief in any traditional afterlife or supernatural grace, to develop a profound (...) and original theory of how humans can escape from the conditions of death and sin. Douglas argues that this theory of escape, which Spinoza calls beatitude, is the centrepiece of his entire philosophy, though scholars have often downplayed or ignored it. One reason for this scholarly neglect might be the difficulty of understanding Spinoza's theory, which departs from the standard doctrines and methods of Western philosophy. Douglas's interpretation therefore seeks inspiration beyond the Western tradition, drawing especially on the classical Daoist text Zhuangzi and its commentaries. Here, Douglas argues, surprising resonances with Spinoza's core ideas can be found, leading to a new way of understanding his strange yet compelling theory of beatitude. (shrink)

Otto Neurath’s empiricist methodology of economics and his contributions to politi- cal economy have gained increasing attention in recent years. We connect this research with contemporary debates regarding the epistemological status of thought experiments by reconstructing Neurath’s utopias as linchpins of thought experiments. In our three reconstructed examples of different uses of utopias/dystopias in thought experiments we employ a reformulation of Häggqvist’s model for thought experiments and we argue that: (1) Our reformulation of Häggqvist’s model more adequately complies with many (...) uses of thought experiments, especially with the open-ended discussions of utopias and dys- topias in thought experiments. (2) As a strict logical empiricist, Neurath is committed to a strictly empiricist account of thought experiments. John Norton’s empiricist argument view can indeed account for the justifications of empirical beliefs and genuine discoveries targeted by scientific utopianism in three distinct (yet connected) ways, all of which Neur- ath already contemplated: (2.I) Dealing with utopias and thought experiments on a regular basis increases creativity and inventiveness. (2.II) Particular ways of presenting knowl- edge facilitate scientific discovery and social progress. (2.III) The use of utopias in thought experiments can prompt conceptual change and allow access to new phenomena. We con- clude by highlighting that, even though thought experiments support a positive attitude for exploring new social possibilities, Neurath points out that active decisions are unavoidable. The exploration of alternatives and the awareness of a need for decisions in policy discus- sion avert a technocratic outlook in social science. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

Alexander X. Douglas situates Spinoza's philosophy in its immediate historical context, and argues that much of his work was conceived with the aim of rebutting the claims of his contemporaries. In contrast to them, Spinoza argued that philosophy reveals the true nature of God, and reinterpreted the concept of God in profound and radical ways.

Die Untersuchung analysiert deswegen nach einem einleitenden Vorschlag zur Bestimmung des Verhältnisses von Logik und Metaphysik im Anschluss an Leibniz Baumgartens Erkenntnistheorie in ihrer charakteristischen Komplementarität von Ästhetik und Logik, die das gesamte Feld aller möglichen Gewissheit, d. h. des Bewusstseins der Wahrheit der verschiedensten Erkenntnisse, abdecken. Darüber hinaus erörtert sie auch deren mögliche Gegenstände, nämlich die Beschaffenheit der Dinge, wie sie das Wissen Gottes als eine ideale Metaphysik enthielte. Auf der Grundlage einer Ontologie teilweise unbestimmer aktualer Existenz kommt Baumgarten (...) zu einer kosmologischen Theorie monadischer Bewegtheit aller körperlichen Dinge. Sie führt zu einer Psychologie des Erkennens und Handelns, aus der ein indeterministischer Begriff menschlicher Willensfreiheit folgt, die auch von Gottes Allwissen nicht beschränkt wird. (shrink)

This paper is a survey of results concerning embeddings of intuitionistic propositional logic and its extensions into various classical modal systems.

Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and use (...) the operational view of them as provided by uniform proof-search—the proof-theoretic foundation of logic programming (LP)—to establish the completeness of IPL for the B-eS. This perspective allows negation, a subtle issue in P-tS, to be understood in terms of the negation-as-failure protocol in LP. Specifically, while the denial of a proposition is traditionally understood as the assertion of its negation, in B-eS we may understand the denial of a proposition as the failure to find a proof of it. In this way, assertion and denial are both prime concepts in P-tS. (shrink)

The General Data Protection Regulation (GDPR) of the EU confirms the protection of personal data as a fundamental human right and affords data subjects more control over the way their personal information is processed, shared, and analyzed. However, where data are processed by artificial intelligence (AI) algorithms, asserting control and providing adequate explanations is a challenge. Due to massive increases in computing power and big data processing, modern AI algorithms are too complex and opaque to be understood by most data (...) subjects. Articles 15 and 22 of the GDPR provide a modest regulatory framework for automated data processing by, among other things, mandating that data controllers inform data subjects about when it is being used, and its logic and ramifications. Nevertheless, due to the phrasing of the articles and the numerous exceptions they allow, doubts have arisen about their effectiveness. In this paper, we empirically evaluate the quality and effectiveness of AI disclosures as mandated by the GDPR. By means of an online survey (N = 835), we investigated how data subjects expect to be informed about the automated processing of their data. We then conducted a content analysis of the AI disclosures of N = 100 companies and organizations. The combined findings reveal that current GDPR-mandated disclosures do not meet the expectations and needs of data subjects. Explanations drawn up following the guidelines of the generic formulations of the GDPR differ widely and are often vague, incomplete and lack transparency. In our conclusions we identify a path towards standardizing and optimizing AI information notices. (shrink)

As the USA contends with another surge in COVID-19 cases, hospitals may soon need to answer the unresolved question of who lives and dies when ventilator demand exceeds supply. Although most triage policies in the USA have seemingly converged on the use of clinical need and benefit as primary criteria for prioritisation, significant differences exist between institutions in how to assign priority to patients with identical medical prognoses: the so-called ‘tie-breaker’ situations. In particular, one’s status as a frontline healthcare worker (...) has been a proposed criterion for prioritisation in the event of a tie. This article outlines two major grounds for reconsidering HCW prioritisation. The first recognises trust as an indispensable element of clinical care and mistrust as a hindrance to any public health strategy against the virus, thus raising concerns about the outward appearance of favouritism. The second considers the ways in which proponents of HCW prioritisation deviate from the very ‘ethics frameworks’ that often preface triage policies and serve to guide resource allocation—a rhetorical strategy that may undermine the very ethical foundations on which triage policies stand. By appealing to trust and consistency, we re-examine existing arguments in favour of HCW prioritisation and provide a more tenable justification for adjudicating on tie-breaker events during crisis standards of care. (shrink)

I owe you a dinner invitation, you owe ten years on your mortgage, and the government owes billions. We speak confidently about these cases of debt, but is that concept clear in its meaning? This book aims to clarify the concept of debt so we can find better answers to important moral and political questions. This book seeks to accomplish two things. The first is to clarify the concept of debt by examining how the word is used in language. The (...) second is to develop a general, principled account of how debts generate genuine obligations. This allows us to avoid settling each case by a bare appeal to moral intuitions, which is what we seem to currently do. It requires a close examination of many institutions, e.g. money, contract law, profit-driven finance, government fiscal operations, and central banking. To properly understand the moral and political nature of debt, we must understand how these institutions have worked, how they do work, and how they might be made to work. There have been many excellent anthropological and sociological studies of debt and its related institutions. Philosophy can contribute to the emerging discussion and help us to keep our language precise and to identify the implicit principles contained in our intuitions. (shrink)

Drawing on a range of literature, I introduce two new concepts for understanding and exploring distributed cognition: resilience engineering and degeneracy. By re-examining Ed Hutchins’ (1995) ethnographic study of the navigation team I show how a focus on the developmental acquisition of cognitive practices can draw out several crucial insights that have been overlooked. Firstly, that the way in which agents learn and acquire cognitive practices enables a form of resilience engineering: the process by which the system is able to (...) overcome and adapt to errors and the vagaries of nature. Secondly, that the best way to engineer a resilient system is through promoting degeneracy – how differing structures produce the same function – at the level of cognitive practices. These two features show that focusing on cognitive practices and developmental trajectories is important for both greater explanatory leverage; and is also useful in regard to the practicalities of designing real-world cognitive systems. (shrink)

“Opt-out” organ procurement policies based on presumed consent are typically advertised as being superior to “opt-in” policies based on explicit consent at securing organs for transplantation. However, Michael Gill has argued that presumed consent policies are also better than opt-in policies at respecting patient autonomy. According to Gill’s Fewer Mistakes Argument, we ought to implement the procurement policy that results in the fewest frustrated wishes regarding organ donation. Given that the majority of Americans wish to donate their organs, it is (...) plausible that a presumed consent policy would result in fewer frustrated wishes compared to the current opt-in policy. It follows that we ought to implement a policy of presumed consent. In this paper, I first consider and find wanting an objection to the Fewer Mistakes Argument developed recently by Douglas MacKay. I also consider an objection put forth by James Taylor but argue that there is a methodological reason to prefer my own argument to Taylor’s. Finally, I argue for two theses: first, that Gill’s major argument in favor of the crucial premise of the Fewer Mistakes Argument is flawed, and second, that the major premise of the Fewer Mistakes Argument is false. (shrink)

Despite the ever-changing field of artificial intelligence (AI) and its preponderance of pre-print articles, Cohen offers a timely, nuanced, and self-aware overview of ChatGPT and the world of Larg...

The reductive, as opposed to deductive, view of logic is the form of logic that is, perhaps, most widely employed in practical reasoning. In particular, it is the basis of logic programming. Here, building on the idea of uniform proof in reductive logic, we give a treatment of logic programming for BI, the logic of bunched implications, giving both operational and denotational semantics, together with soundness and completeness theorems, all couched in terms of the resource interpretation of BI’s semantics. We (...) use this set-up as a basis for exploring how coalgebraic semantics can, in contrast to the basic denotational semantics, be used to describe the concrete operational choices that are an essential part of proof-search. The overall aim, toward which this paper can be seen as an initial step, is to develop a uniform, generic, mathematical framework for understanding the relationship between the deductive structure of logics and the control structures of the corresponding reductive paradigm. (shrink)

What is the highest good actually good for in Kant’s third Critique? While there are well-worked out answers to this question in the literature that focus on the highest good’s practical importance, this paper argues that there is an important function for the highest good that has to do exclusively with contemplation. This important function becomes clear once one notices that coherent [konsequent] thinking, for Kant, was synonymous with "bündiges" thinking, and that both are connected with the highest good in (...) the third Critique’s moral proof for God’s existence. I show that the original meaning of "bündig," which is from the carpentry trade and has been forgotten, illuminates the stakes of the highest good in Kant’s system. For us, as proverbial carpenters of reason, coherence is essential for the intellectual activity of constructing a philosophical worldview in his transcendental idealism. I motivate the reading further by showing how this function can neatly reconstruct Kant’s proof for God’s existence in the third Critique. I conclude by sketching Kant’s reasons for why the project of creating a coherent worldview grounded in the highest good is worth the labor costs. (shrink)

In his recent article entitled ‘Can We Believe the Error Theory?’ Bart Streumer argues that it is impossible (for anyone, anywhere) to believe the error theory. This might sound like a problem for the error theory, but Streumer argues that it is not. He argues that the un-believability of the error theory offers a way for error theorists to respond to several objections commonly made against the view. In this paper, we respond to Streumer’s arguments. In particular, in sections 2-4, (...) we offer several objections to Streumer’s argument for the claim that we cannot believe the error theory. In section 5, we argue that even if Streumer establishes that we cannot believe the error theory, this conclusion is not as helpful for error theorists as he takes it to be. (shrink)