This paper addresses the strength of Ramsey's theorem for pairs ($RT^2_2$) over a weak base theory from the perspective of 'proof mining'. Let $RT^{2-}_2$ denote Ramsey's theorem for pairs where the coloring is given by an explicit term involving only numeric variables. We add this principle to a weak base theory that includes weak König's Lemma and a substantial amount of $\Sigma^0_1$-induction (enough to prove the totality of all primitive recursive functions but not of all primitive recursive functionals). In the (...) resulting theory we show the extractability of primitive recursive programs and uniform bounds from proofs of $\forall\exists$-theorems. There are two components of this work. The first component is a general proof-theoretic result, due to the second author, that establishes conservation results for restricted principles of choice and comprehension over primitive recursive arithmetic PRA as well as a method for the extraction of primitive recursive bounds from proofs based on such principles. The second component is the main novelty of the paper: it is shown that a proof of Ramsey's theorem due to Erdős and Rado can be formalized using these restricted principles. So from the perspective of proof unwinding the computational content of concrete proofs based on $RT^2_2$ the computational complexity will, in most practical cases, not go beyond primitive recursive complexity. This even is the case when the theorem to be proved has function parameters f and the proof uses instances of $RT^2_2$ that are primitive recursive in f. (shrink)

In this paper we study with proof-theoretic methods the function(al) s provably recursive relative to Ramsey's theorem for pairs and the cohesive principle (COH). Our main result on COH is that the type 2 functional provably recursive from $RCA_0 + COH + \Pi _1^0 - CP$ are primitive recursive. This also provides a uniform method to extract bounds from proofs that use these principles. As a consequence we obtain a new proof of the fact that $WKL_0 + \Pi _1^0 - (...) CP + COH$ is $\Pi _1^0 $ -conservative over PRA. Recent work of the first author showed that $\Pi _1^0 + CP + COH$ is equivalent to a weak variant of the Bolzano-Weierstraß principle. This makes it possible to use our results to analyze not only combinatorial but also analytical proofs. For Ramsey's theorem for pairs and two colors $\left( {RT_2^2 } \right)$ we obtain the upper bounded that the type 2 functionals provable recursive relative to $RCA_0 + \sum\nolimits_2^0 {IA + RT_2^2 } $ are in T₁. This is the fragment of Gödel's system T containing only type 1 recursion—roughly speaking it consists of functions of Ackermann type. With this we also obtain a uniform method for the extraction of T₁-bounds from proofs that use RT2..... Moreover, this yields a new proof of the fact that $WKL_0 + \sum\nolimits_2^0 {IA} + RT_2^2 $ is $\Pi _1^0 $ -conservative over $RCA_0 + \sum\nolimits_2^0 { - IA} $ . The results are obtained in two steps: in the first step a term including Skolem functions for the above principles is extracted from a given proof. This is done using Gödel's functional interpretation. After this the term is normalized, such that only specific instances of the Skolem functions are used. In the second step this term is interpreted using $\Pi _1^0 $ -comprehension. The comprehension is then eliminated in favor of induction using either elimination of monotone Skolem functions (for COH) or Howard's ordinal analysis of bar recursion (for $RT_2^2 $. (shrink)

Review of "The Timeless Way of Building." Book by Christopher Alexander.

Die vorliegende Untersuchung entstand im Bereich Philosophische Fragen del' Wissenschaftsentwicklung des Zentralinstituts flir Philosophie del' AdW del' DDR. Sie ist Bestandteil del' Bemiihungen dieses Bereichs, die bisher erreichten Ergebnisse bei del' Erforschung philo­ sophischer Fragen del' Wissenschaftsentwicklung auf dialektisch-materialistischer Grundlage zusamrnenzu­ fassen, die vorliegende Konzeption zum Verhaltnis del' marxistisch-leninistischen Philosophie zu den anderen Wissenschaften zu prazisieren und davon ausgehend eigene Forschungsbeitrage zu leisten. Dem Autor ist es ein Bedlirfnis, Prof. Dr. sc. H. HORZ flir die stete F6rderung del' Arbeit und (...) zahlreiche hilf­ reiche Diskussionen an diesel' Stelle besonders zu danken. Er schuldet weiterhin den Professoren ALEXANDER, CIRIKOV, KASCHLUHN, KORCH, LEY, SCHMUTZER, SCHOPF, TREDER und VOGEL (t) Dank flir vielfaltige Anregungen. Die Arbeit ware ohne die hilfreiche Unterstlitzung zahlreicher Kooperationspartner des Bereichs in del' DDR und im Ausland nicht moglich gewesen. Besonders danke ich del' von Prof. Dr. M. E. OMELJANOWSKI gelei­ teten Abteilung Philosophische Fragen del' Naturwissen­ schaften des Instituts fiir Philosophie del' AdW del' UdSSR. (shrink)

Alexander von Humboldt’s depictions of mountain vegetation are among the most iconic nineteenth century illustrations in the biological sciences. Here we analyse the contemporary context and empirical data for all these depictions, namely the _Tableau physique des Andes_ (1803, 1807), the _Geographiae plantarum lineamenta_ (1815), the _Tableau physique des Îles Canaries_ (1817), and the _Esquisse de la Géographie des plantes dans les Andes de Quito_ (1824/1825). We show that the Tableau physique des Andes does not reflect Humboldt and Bonpland’s (...) field data and presents a flawed depiction of plant occurrences and vertical succession of vegetation belts, arising from Humboldt’s misreading of La Condamine’s description (1751). Humboldt's 1815 depiction, by contrast, shows a distribution of high-vegetation belts that is consistent with La Condamine’s description, while the 1824 depiction drops innovations made in 1815 and returns to simply showing numerous species’ names, thus not applying Humboldt’s own earlier zonation framework. Our analysis of contemporary reactions to Humboldt’s TPA includes Francis Hall’s posthumously published 1834 illustration of Andean plant zonation near Quito and Humboldt’s reaction to Hall’s critique. Throughout his work on plant geography, Humboldt disregarded some of his own observations, or confused them. At stake was his reputation as an innovator in the field of plant geography and a discoverer of the sequence of high-elevation vegetation belts on the world’s mountains. (shrink)

Name der Zeitschrift: Das Mittelalter Jahrgang: 18 Heft: 2 Seiten: 113-128.

Since the launch of applications such as DALL-E, Midjourney, and Stable Diffusion, generative artificial intelligence has been controversial as a tool for creating artwork. While some have presented longtermist worries about these technologies as harbingers of fully automated futures to come, more pressing is the impact of generative AI on creative labour in the present. Already, business leaders have begun replacing human artistic labour with AI-generated images. In response, the artistic community has launched a protest movement, which argues that AI (...) image generation is a kind of theft. This paper analyzes, substantiates, and critiques these arguments, concluding that AI image generators involve an unethical kind of labour theft. If correct, many other AI applications also rely upon theft. (shrink)

According to Miranda Fricker, a hermeneutical injustice occurs when there is a deficit in our shared tools of social interpretation, such that marginalized social groups are at a disadvantage in making sense of their distinctive and important experiences. Critics have claimed that Fricker's account ignores or precludes a phenomenon I call hermeneutical dissent, where marginalized groups have produced their own interpretive tools for making sense of those experiences. I clarify the nature of hermeneutical injustice to make room for hermeneutical dissent, (...) clearing up the structure of the collective hermeneutical resource and the fundamental harm of hermeneutical injustice. I then provide a more nuanced account of the hermeneutical resources in play in instances of hermeneutical injustice, enabling six species of the injustice to be distinguished. Finally, I reflect on the corrective virtue of hermeneutical justice in light of hermeneutical dissent. (shrink)

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

In this new book, Ulrich Beck develops his now widely used concepts of second modernity, risk society and reflexive sociology into a radical new sociological ...

This paper calls attention to some basic problems and inner contradictions in the German sociologist Ulrich Beck’s theory of the ‘(world) risk society’ or reflexive (second) modernity. A main thread in the critique is that of addressing the theoretical ambiguities that seem to characterize Beck’s at the same time ‘social constructivist’ and ‘realist’ notion of risk – ambiguities that seem to be repeated on the one hand in Beck’s view on the relation between knowledge and unawareness in reflexive modernity (...) and on the other hand in his view on the role of the mass media in the ‘(world) risk society’. Moreover, Beck’s notions of second modernity, reflexivity, rationality and critique are critically examined. With the alternative positions discussed in the paper – represented by Jeffrey C. Alexander, Niklas Luhmann and Mitchell Dean – some indications are given as to how one might fruitfully elaborate on the problem of risk. Thus, rather than a mainly technology-driven new type of social reality, the ‘(world) risk society’ could perhaps better be seen as indicating a changing cultural self-understanding of late modern society, a new ‘semantics of crisis', or the emergence of new forms of governmentality in the contemporary welfare state. In conclusion, some indications are given as to how an analysis of more specific ‘risk logics' or ‘rationalities' could be elaborated on, and a terminology that reflects this more differentiated approach to risk in late modern society is suggested. (shrink)

The notion of societal boundaries aims to enhance the debate on planetary boundaries. The focus is on capitalist societies as a heuristic for discussing the expansionary dynamics, power relations, and lock-ins of modern societies that impel highly unsustainable societal relations with nature. While formulating societal boundaries implies a controversial process – based on normative judgments, ethical concerns, and socio-political struggles – it has the potential to offer guidelines for a just, social-ecological transformation.

Morality and economic rationality: integrative economic ethics as the rational ethics of economic activity; Part II. Reflections on the Foundations of Economic ...

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of molecular structure (...) cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

While calls to integrate ethics into computer science education go back decades, recent high-profile ethical failures related to computing technology by large technology companies, governments, and academic institutions have accelerated the adoption of computer ethics education at all levels of instruction. Discussions of how to integrate ethics into existing computer science programmes often focus on the structure of the intervention—embedded modules or dedicated courses, humanists or computer scientists as ethics instructors—or on the specific content to be included—lists of case studies (...) and essential topics to cover. While proponents of computer ethics education often emphasize the importance of closely connecting ethical and technical content in these initiatives, most do not reflect in depth on the variety of ways in which the disciplines can be combined. In this paper, I deploy a framework from cross- disciplinary studies that categorizes academic projects that work across disciplines as multidisciplinary, interdisciplinary, or transdisciplinary, depending on the degree of integration. When applied to computer ethics education, this framework is orthogonal to the structure and content of the initiative, as I illustrate using examples of dedicated ethics courses and embedded modules. It therefore highlights additional features of cross-disciplinary teaching that need to be considered when planning a computer ethics programme. I argue that computer ethics education should aim to be at least interdisciplinary—multidisciplinary initiatives are less aligned with the pedagogical aims of computer ethics—and that computer ethics educators should experiment with fully transdisciplinary education that could transform computer science as a whole for the better. (shrink)

Ulrich Beck's best selling Risk Society established risk on the sociological agenda. It brought together a wide range of issues centering on environmental, health and personal risk, provided a rallying ground for researchers and activists in a variety of social movements and acted as a reference point for state and local policies in risk management. The Risk Society and Beyond charts the progress of Beck's ideas and traces their evolution. It demonstrates why the issues raised by Beck reverberate widely (...) throughout social theory and covers the new risks that Beck did not foresee, associated with the emergence of new technologies, genetic and cybernetic. The book is unique because it offers both an introduction to the main arguments in Risk Society and develops a range of critical discussions of aspects of this and other works of Beck. (shrink)

In this chapter, I argue that it is impossible to trust the Big Tech companies, in an ethically important sense of trust. The argument is not that these companies are untrustworthy. Rather, I argue that the power to hold the trustee accountable is a necessary component of this sense of trust, and, because these companies are so powerful, they are immune to our attempts, as individuals or nation-states, to hold them to account. It is, therefore, literally impossible to trust Big (...) Tech. After introducing the accounts of trust and power that I deploy, I argue that Big Tech companies have four kinds of power that render them unaccountable: fiscal power, political power, data power, and cognitive power. I conclude by reflecting on recent calls to break up the Big Tech firms, suggesting a new antitrust test in the light of my arguments. (shrink)

This is an expanded and thoroughly revised edition of the widely adopted introduction to the philosophical foundations of the human sciences. Ranging from cultural anthropology to mathematical economics, Alexander Rosenberg leads the reader through behaviorism, naturalism, interpretativism about human action, and macrosocial scientific perspectives, illuminating the motivation and strategy of each.Rewritten throughout to increase accessibility, this new edition retains the remarkable achievement of revealing the social sciences’ enduring relation to the fundamental problems of philosophy. It includes new discussions of (...) positivism, European philosophy of history, causation, statistical laws, quantitative models, and postempiricist social science, along with a completely updated literature guide that keys chapters to widely anthologized papers. (shrink)

How do we prepare engineering students to make ethical and responsible decisions in their professional work? This paper presents an approach that enhances engineering students’ engagement with ethical reasoning by simulating decision-making in a complex scenario. The approach has two principal inspirations. The first is Anthony Weston’s scenario-based teaching. Weston’s concept of a scenario is a situation that changes in response to choices made by participants, according to an inner logic. Scenarios can dynamically explore open-ended complex problems without imposing predetermined (...) results, allowing students to apply their ethical reasoning in a more realistic fashion. The second inspiration is Thi Nguyen’s theory of games. According to Nguyen, games are the “art of agency,” meaning that they provide a structure under which some result is agreed to be valuable, along with prescribed ways of achieving that result, in a relatively low-stakes and temporary social arrangement. By playing many games, Nguyen argues, we can develop a “library of agency,” that is to say, a set of values and means to achieving them that can inform how we make high-stakes decisions in real life. Engaging with carefully designed game scenarios, then, can enable students to practice making ethical decisions within a structured framework, which unfolds in response to their choices, while their decisions are driven by some defined goal. This roleplaying game–based approach thus allows students to build their own ethical libraries of agency, in preparation for professional decision-making. The approach is illustrated using a specific example recently deployed in a seminar on engineered living materials (building materials that incorporate living tissues). The scenario uses techniques from tabletop roleplaying games (e.g. Dungeons & Dragons) for outcome resolution, adventure design, and character creation. Through the game, students practice making difficult decisions in a humanitarian context. (shrink)

While it might seem prima facie plausible that divine foreknowledge is all that is needed for prophecy, this seems incorrect. To issue a prophecy, God hasto know not just how someone will act, but how someone would act were the prophecy issued. This makes some think that Middle Knowledge is required.I argue that Thomas Flint’s two Middle Knowledge based accounts of prophecy are unsatisfactory, but one of them can be repaired. However the resources needed for repair also yield a sketch (...) of a foreknowledge-only account of prophecy. (shrink)

This book is a clear and concise history of the soul in western philosophy, from Plato to cutting-edge contemporary work in philosophy of mind. Packed with arguments for and against a range of different, historically significant philosophies of the soul Addresses the essential issues, including mind-body interaction, the causal closure of the physical world, and the philosophical implications of the brain sciences for the soul's existence Includes coverage of theories from key figures, such as Plato, Aquinas, Locke, Hume, and Descartes (...) Unique in combining the history of ideas and the development of a powerful case for a non-reductionist, non-materialist account of the soul. (shrink)

This chapter contains sections titled: Locke Butler Reid Hume Kant.

Discussion of the relevance of grounding to substantiveness, theory-choice, and “location problems” in metaphysics.

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)