This book presents the proceedings of the 2nd Karl Schwarzschild Meeting on Gravitational Physics, focused on the general theme of black holes, gravity and information. Specialists in the field of black hole physics and rising young researchers present the latest findings on the broad topic of black holes, gravity, and information, highlighting its applications to astrophysics, cosmology, particle physics, and strongly correlated systems.

These proceedings collect the selected contributions of participants of the First Karl Schwarzschild Meeting on Gravitational Physics, held in Frankfurt, Germany to celebrate the 140th anniversary of Schwarzschild's birth. They are grouped into 4 main themes: I. The Life and Work of Karl Schwarzschild; II. Black Holes in Classical General Relativity, Numerical Relativity, Astrophysics, Cosmology, and Alternative Theories of Gravity; III. Black Holes in Quantum Gravity and String Theory; IV. Other Topics in Contemporary Gravitation. Inspired by the foundational principle ``By (...) acknowledging the past, we open a route to the future", the week-long meeting, envisioned as a forum for exchange between scientists from all locations and levels of education, drew participants from 15 countries across 4 continents. In addition to plenary talks from leading researchers, a special focus on young talent was provided, a feature underlined by the Springer Prize for the best student and junior presentations. (shrink)

Das Nichtwissen ist in aller Munde. Von Nichtwissenskulturen in der zweiten oder reflexiven Moderne ist die Rede, von Agnotologie als neuem Forschungszweig, von wicked problems und ihren clumsy solutions. Wo Nichtwissen sich durch Komplexitäts­steigerung unwiderruflich im zu Wissenden einnistet, fordert es als Grenze, Schranke und Kehrseite des Wissens die sogenannte Wissensgesellschaft heraus. Vor allem Risiko­poten­ziale und Gefahren kommen hier in den Blick, von denen wir gerade genug wissen, um Wissensansprüche zu formulieren, die sich womöglich nie einlösen lassen. Das klassisch erkenntnistheoretische (...) Problem: „Was können wir wissen?“ steht heute in einem Spannungsverhältnis zu der wissenspolitischen Frage: „Was müssen wir wissen?“ Was wir wissen müssen, ist einerseits so viel wie nötig, wenn es um Fragen von Sicherheit und Gesundheit geht – andererseits aber so wenig wie möglich, wenn es in Alltag, Wirtschaft oder Wissen­schaft darauf ankommt, Wissen an technische Systeme oder Expertenkulturen zu delegieren. Bezeichnet politisch handlungsorientiertes und wissenschaftliches Nichtwissen zunächst ein Defizit, ist technisches Nichtwissen gleichermaßen erstrebenswert und problematisch. Einige, die Technik für angewandtes Wissen halten, mögen darin eine contradictio in adjecto sehen, manche sich um eine dem technischen Nichtwissen geschuldeten Technik­feindlichkeit sorgen, andere daraus die nötige Demut gegen verstiegene Allmachts­fantasien beziehen, während ihre Gegenspieler von Maschinen träumen, die über den Horizont intellektueller Nachvollziehbarkeit immer weiter hinauseilen. Mit Beiträgen von: Suzana Alpsancar, Lars Bullmann, Marcus Burkhardt, Eoin Carney, Pelle Ehn, Stefan Frisch, Gerhard Gamm, Petra Gehring, Till Greite, Hans Hasse, Andreas Kaminski, Gregor Kanitz, Matthias Koch, Christian Köhler, Johannes Lenhard, Alexandre Métraux, Alfred Nordmann, Tanja Paulitz, Tom Poljanšek, Sandra Pravica, Katrin Solhdju, Werner Sombart, Florian Sprenger, Sebastian Vehlken und Rüdiger Zill. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

Whether the prefrontal cortex is part of the neural substrates of consciousness is currently debated. Against prefrontal theories of consciousness, many have argued that neural activity in the prefrontal cortex does not correlate with consciousness but with subjective reports. We defend prefrontal theories of consciousness against this argument. We surmise that the requirement for reports is not a satisfying explanation of the difference in neural activity between conscious and unconscious trials, and that prefrontal theories of consciousness come out of this (...) debate unscathed. (shrink)

It is shown that both classical and intuitionistic propositional logics of an associative binary modality are undecidable. The proof is based on the deduction theorem for these logics.

To study consciousness, scientists need to determine when participants are conscious and when they are not. They do so with consciousness detection procedures. A recurring skeptical argument against those procedures is that they cannot be calibrated: there is no way to make sure that detection outcomes are accurate. In this article, I address two main skeptical arguments purporting to show that consciousness scientists cannot calibrate detection procedures. I conclude that there is nothing wrong with calibration in consciousness science.

It is shown that the expressive power of second-order propositional modal logic whose modalities are S4.2 or weaker is the same as that of second-order predicate logic.

Local theories of consciousness state that one is conscious of a feature if it is adequately represented and processed in sensory brain areas, given some background conditions. We challenge the core prediction of local theories based on long-lasting postdictive effects demonstrating that features can be represented for hundreds of milliseconds in perceptual areas without being consciously perceived. Unlike previous empirical data aimed against local theories, localists cannot explain these effects away by conjecturing that subjects are phenomenally conscious of features that (...) they cannot report. We also discuss alternative explanations that localists could offer. (shrink)

Theodor Adorno is a widely-studied figure, but most often with regard to his work on cultural theory, philosophy and aesthetics. The Sociology of Theodor Adorno provides the first thorough English-language account of Adorno's sociological thinking. Matthias Benzer reads Adorno's sociology through six major themes: the problem of conceptualising capitalist society; empirical research; theoretical analysis; social critique; the sociological text; and the question of the non-social. Benzer explains the methodological and theoretical ideas informing Adorno's reflections on sociology and illustrates Adorno's (...) approach to examining social life, including astrology, sexual taboos and racial prejudice. Benzer clarifies Adorno's sociology in relation to his work in other disciplines and the inspiration his sociology took from social thinkers such as Marx, Weber, Durkheim, Kracauer and Benjamin. The book raises critical questions about the viability of Adorno's sociological mode of procedure and its potential contributions and challenges to current debates in social science. (shrink)

This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer (...) science, artificial intelligence, physics, cosmology, philosophy, theology, and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers. (shrink)

"Rechtsphilosophie zwischen Ost und West" ist das erste Buch, das systematisch das frA1/4he Werk des bedeutenden chinesischen Rechtsgelehrten, Richters, Diplomaten und Schriftstellers John C.H. Wu (1899-1986) behandelt. Die Arbeit setzt sich in chronologischer Reihenfolge kritisch mit den VerAffentlichungen Wus im Zeitraum von 1921 bis 1936 auseinander. Wu, spAter Verfechter einer dynamischen Naturrechtslehre, versucht, die mehr pragmatisch-funktionale Rechtsauffassung der fA1/4hrenden amerikanischen Rechtsgelehrten mit dem von Kant geprAgten Denken R. Stammlers zu einer inneren Begegnung zu bringen. Gleichzeitig ist die Thematik chinesischen Rechtsdenkens (...) und Philosophierens immer gegenwArtig. Die Arbeit legt ein besonderes Augenmerk auf den EinfluA von Wus kulturellem Hintergrund auf die Auseinandersetzung mit westlichem Denken und umgekehrt auf den EinfluA seiner westlichen Ausbildung auf seine Analyse der chinesischen Gedankenwelt. Das Buch will verstArkt auf diesen wichtigen Denker aufmerksam machen und den Grundstein fA1/4r eine wissenschafliche Auseinandersetzung mit ihm legen. Der Leser bekommt nicht nur einen interessanten Einblick in die zeitgeschichtlichen, rechtsphilosophischen Auseinandersetzungen, er bekommt auf einem wenig begangenen Weg Zugang zur chinesischen Kultur. (shrink)

Making good decisions in extremely complex and difficult processes and situations has always been both a key task as well as a challenge in the clinic and has led to a large amount of clinical, legal and ethical routines, protocols and reflections in order to guarantee fair, participatory and up-to-date pathways for clinical decision-making. Nevertheless, the complexity of processes and physical phenomena, time as well as economic constraints and not least further endeavours as well as achievements in medicine and healthcare (...) continuously raise the need to evaluate and to improve clinical decision-making. This article scrutinises if and how clinical decision-making processes are challenged by the rise of so-called artificial intelligence-driven decision support systems (AI-DSS). In a first step, this article analyses how the rise of AI-DSS will affect and transform the modes of interaction between different agents in the clinic. In a second step, we point out how these changing modes of interaction also imply shifts in the conditions of trustworthiness, epistemic challenges regarding transparency, the underlying normative concepts of agency and its embedding into concrete contexts of deployment and, finally, the consequences for (possible) ascriptions of responsibility. Third, we draw first conclusions for further steps regarding a ‘meaningful human control’ of clinical AI-DSS. (shrink)

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

This comprehensive volume gives a panorama of the best current work in this lively field, through twenty specially written essays by the leading figures in the field. All essays deal with foundational issues, from the nature of mathematical knowledge and mathematical existence to logical consequence, abstraction, and the notions of set and natural number. The contributors also represent and criticize a variety of prominent approaches to the philosophy of mathematics, including platonism, realism, nomalism, constructivism, and formalism.

We study the Vapnik–Chervonenkis density of definable families in certain stable first-order theories. In particular, we obtain uniform bounds on the VC density of definable families in finite $\mathrm {U}$-rank theories without the finite cover property, and we characterize those abelian groups for which there exist uniform bounds on the VC density of definable families.

Logical empiricism is commonly seen as a counter-position to scientific realism. In the present paper it is shown that there indeed existed a realist faction within the logical empiricist movement. In particular, I shall point out that at least four types of realistic arguments can be distinguished within this faction: Reichenbach’s ‘probabilistic argument,’ Feigl’s ‘pragmatic argument,’ Hempel’s ‘indispensability argument,’ and Kaila’s ‘invariantist argument.’ All these variations of arguments are intended to prevent the logical empiricist agenda from the shortcomings of radical (...) positivism, instrumentalism, and other forms of scientific antirealism. On the whole, it will be seen that logical empiricism and scientific realism are essentially compatible with each other. Especially Kaila’s invariantist approach to science (and nature) comes quite close to what nowadays is discussed under the label ‘structural realism.’ This, in turn, necessitates a fundamental reevaluation of Kaila’s role in the logical empiricist movement in particular and in twentieth-century philosophy of science in general. (shrink)

We motivate and formalize the idea of sameness by default: two objects are considered the same if they cannot be proved to be different. This idea turns out to be useful for a number of widely different applications, including natural language processing, reasoning with incomplete information, and even philosophical paradoxes. We consider two formalizations of this notion, both of which are based on Reiter’s Default Logic. The first formalization is a new relation of indistinguishability that is introduced by default. We (...) prove that the corresponding default theory has a unique extension, in which every two objects are indistinguishable if and only if their non-equality cannot be proved from the known facts. We show that the indistinguishability relation has some desirable properties: it is reflexive, symmetric, and, while not transitive, it has a transitive “flavor.” The second formalization is an extension (modification) of the ordinary language equality by a similar default: two objects are equal if and only if their non-equality cannot be proved from the known facts. It appears to be less elegant from a formal point of view. In particular, it gives rise to multiple extensions. However, this extended equality is better suited for most of the applications discussed in this paper. (shrink)

This book considers Robert Brandom's philosophy and presents an original and exciting analysis of the semantic argument in legal argumentation.

Simulations are used in very different contexts and for very different purposes. An emerging development is the possibility of using simulations to obtain a more or less representative reproduction of organs or even entire persons. Such simulations are framed and discussed using the term ‘digital twin’. This paper unpacks and scrutinises the current use of such digital twins in medicine and the ideas embedded in this practice. First, the paper maps the different types of digital twins. A special focus is (...) put on the concrete challenges inherent in the interactions between persons and their digital twin. Second, the paper addresses the questions of how far a digital twin can represent a person and what the consequences of this may be. Against the background of these two analytical steps, the paper defines first conditions for digital twins to take on an ethically justifiable form of representation. (shrink)

Die Beiträge zur Altertumskunde enthalten Monographien, Sammelbände, Editionen, Übersetzungen und Kommentare zu Themen aus den Bereichen Klassische, Mittel- und Neulateinische Philologie, Alte Geschichte, Archäologie, Antike Philosophie sowie Nachwirken der Antike bis in die Neuzeit. Dadurch leistet die Reihe einen umfassenden Beitrag zur Erschließung klassischer Literatur und zur Forschung im gesamten Gebiet der Altertumswissenschaften.

Conditional structures lie at the heart of the sciences, humanities, and everyday reasoning. It is hence not surprising that conditional logics – logics specifically designed to account for natural language conditionals – are an active and interdisciplinary area. The present book gives a formal and a philosophical account of indicative and counterfactual conditionals in terms of Chellas-Segerberg semantics. For that purpose a range of topics are discussed such as Bennett’s arguments against truth value based semantics for indicative conditionals.

The core feature that distinguishes moods from emotions is that moods, in contrast to emotions, are diffuse and global. This article outlines a dispositional theory of moods (DTM) that accounts for this and other features of mood experience. DTM holds that moods are temporary dispositions to have or to generate particular kinds of emotion-relevant appraisals. Furthermore, DTM assumes that the cognitions and appraisals one is disposed to have in a given mood partly constitute the experience of mood. This article outlines (...) a number of implications of DTM (e.g., regarding the noncognitive causation and rationality of moods) and summarizes empirical results supporting the theory. (shrink)