In this article, I try to shed new light on Frege’s envisaged definitional introduction of real and complex numbers in _Die Grundlagen der Arithmetik_ (1884) and the status of cross-sortal identity claims with side glances at _Grundgesetze der Arithmetik_ (vol. I 1893, vol. II 1903). As far as I can see, this topic has not yet been discussed in the context of _Grundlagen_. I show why Frege’s strategy in the case of the projected definitions of real and complex numbers in (...) _Grundlagen_ is modelled on his definitional introduction of cardinal numbers in two steps, tentatively via a contextual definition and finally and definitively via an explicit definition. I argue that the strategy leaves a few important questions open, in particular one relating to the status of the envisioned abstraction principles for the real and complex numbers and another concerning the proper handling of cross-sortal identity claims. (shrink)

In his paper `Finitism', W.W.~Tait maintained that the chief difficulty for everyone who wishes to understand Hilbert's conception of finitist mathematics is this: to specify the sense of the provability of general statements about the natural numbers without presupposing infinite totalities. Tait further argued that all finitist reasoning is essentially primitive recursive. In our paper, we attempt to show that his thesis ``The finitist functions are precisely the primitive recursive functions'' is disputable and that another, likewise defended by him, is (...) untenable. The second thesis is that the finitist theorems are precisely those $\Pi^0_1$-sentences that can be proved in. (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.

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.

Phänomenologie der Normativität ist der Versuch zu zeigen, wie Normativität in der menschlichen Natur gründet. Im Anschluss an die phänomenologische Anthropologie Max Schelers und Helmuth Plessners stellt der Autor die Strukturen menschlichen Lebens heraus, die alle menschlichen Lebensformen fundieren. Menschen sind Lebewesen, die einen Leib haben, und dieses Phänomen ist ursprünglicher als die Unterscheidung von Körper und Geist. Hält man sich dies vor Augen, werden bestimmte Formen menschlicher Normativität verständlich: Die menschliche Lebensweise ist auf ein Gleichgewicht verschiedener Formen des Miteinanders (...) angelegt, das nur möglich ist, weil es leiblich vermitteltes Ausdrucksverstehen gibt. Mitfühlen mit dem anderen und Liebe zu ihm fundiert das Erkennen, und was menschliche Würde ist, verstehen wir, weil wir wissen, wie die Integrität des Leibes geschützt, aber auch verletzt werden kann. (shrink)

Matthias Vogel challenges the belief, dominant in contemporary philosophy, that reason is determined solely by our discursive, linguistic abilities as communicative beings. In his view, the medium of language is not the only force of reason. Music, art, and other nonlinguistic forms of communication and understanding are also significant. Introducing an expansive theory of mind that accounts for highly sophisticated, penetrative media, Vogel advances a novel conception of rationality while freeing philosophy from its exclusive attachment to linguistics. Vogel's media (...) of reason treats all kinds of understanding and thought, propositional and nonpropositional, as important to the processes and production of knowledge and thinking. By developing an account of rationality grounded in a new conception of media, he raises the profile of the prelinguistic and nonlinguistic dimensions of rationality and advances the Enlightenment project, buffering it against the postmodern critique that the movement fails to appreciate aesthetic experience. Guided by the work of Jürgen Habermas, Donald Davidson, and a range of media theorists, including Marshall McLuhan, Vogel rebuilds, if he does not remake, the relationship among various forms of media--books, movies, newspapers, the Internet, and television--while offering an original and exciting contribution to media theory. (shrink)

Erratum to: Axiomathes DOI 10.1007/s10516-013-9222-7In the online publication, page 13, line 27, after the sentence “Hence, neo-logicism is doomed to failure.”, the following two sentences were missing:This argument was developed by Robert Trueman in a draft of his paper ‘Sham Names andion’. A revised version of this paper is forthcoming in Philosophia Mathematica under the tile ‘A Dilemma for Neo-Fregeanism’.

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)

This volume explores the relation between legal reasoning and logic from both a historical and a systematic perspective. The topics addressed include, among others, conditional legal acts, disjunctions in legal acts, presumptions and conjectures, conflicts of values, Jørgensen´s Dilemma, the Rhetor´s Dilemma, the theory of legal fictions and the categorization of contracts. The unifying problematic of these contributions concerns the conditional structures and, more particularly, the relationship between legal theory and legal reasoning in the context of conditions.

Traditionally, the manufacturer/operator of a machine is held (morally and legally) responsible for the consequences of its operation. Autonomous, learning machines, based on neural networks, genetic algorithms and agent architectures, create a new situation, where the manufacturer/operator of the machine is in principle not capable of predicting the future machine behaviour any more, and thus cannot be held morally responsible or liable for it. The society must decide between not using this kind of machine any more (which is not a (...) realistic option), or facing a responsibility gap, which cannot be bridged by traditional concepts of responsibility ascription. (shrink)

Opponents to consciousness in fish argue that fish do not feel pain because they do not have a neocortex, which is a necessary condition for feeling pain. A common counter-argument appeals to the multiple realizability of pain: while a neocortex might be necessary for feeling pain in humans, pain might be realized differently in fish. This paper argues, first, that it is impossible to find a criterion allowing us to demarcate between plausible and implausible cases of multiple realization of pain (...) without running into a circular argument. Second, opponents to consciousness in fish cannot be provided with reasons to believe in the multiple realizability of pain. I conclude that the debate on the existence of pain in fish is impossible to settle by relying on the multiple realization argument. (shrink)

Transdisciplinarity includes the assumption that within new institutional settings, scientific research becomes more closely responsive to practical problems and user needs and is therefore often subject to considerable application pressure. This raises the question whether transdisciplinarity affects the epistemic standards and the fruitfulness of research. Case studies show how user-orientation and epistemic innovativeness can be combined. While the modeling involved in all cases under consideration was local and focused primarily on features of immediate practical relevance, it was informed by theoretical (...) insights from basic research. Conversely, industrial research turns out sometimes to produce theoretical understanding. These findings highlight an interactive relationship between science and technology (moderate emergentism), which is distinct from the traditional view of a one-sided dependence of technology on science (cascade model) and from the newly received independence account (emergentism). (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)

Studying consciousness requires contrasting conscious and unconscious perception. While many studies have reported unconscious perceptual effects, recent work has questioned whether such effects are genuinely unconscious, or whether they are due to weak conscious perception. Some philosophers and psychologists have reacted by denying that there is such a thing as unconscious perception, or by holding that unconscious perception has been previously overestimated. This article has two parts. In the first part, I argue that the most significant attack on unconscious perception (...) commits the criterion content fallacy: the fallacy of interpreting evidence that observers were conscious of something as evidence that they were conscious of the task-relevant features of the stimuli. In the second part, I contend that the criterion content fallacy is prevalent in consciousness research. For this reason, I hold that if unconscious perception exists, scientists studying consciousness could routinely underestimate it. I conclude with methodological recommendations for moving the debate forward. (shrink)

Rational drug design is a method for developing new pharmaceuticals that typically involves the elucidation of fundamental physiological mechanisms. It thus combines the quest for a scientific understanding of natural phenomena with the design of useful technology and hence integrates epistemic and practical aims of research and development. Case studies of the rational design of the cardiovascular drugs propranolol, captopril and losartan provide insights into characteristics and conditions of this integration. Rational drug design became possible in the 1950s when theoretical (...) knowledge of drug-target interaction and experimental drug testing could interlock in cycles of mutual advancement. The integration does not, however, diminish the importance of basic research for pharmaceutical development. Rather, it can be shown that still in the 1990s, linear processes of innovation and the close combination of practical and epistemic work were interdependent. (shrink)

Rational drug design is a method for developing new pharmaceuticals that typically involves the elucidation of fundamental physiological mechanisms. It thus combines the quest for a scientific understanding of natural phenomena with the design of useful technology and hence integrates epistemic and practical aims of research and development. Case studies of the rational design of the cardiovascular drugs propranolol, captopril and losartan provide insights into characteristics and conditions of this integration. Rational drug design became possible in the 1950s when theoretical (...) knowledge of drug-target interaction and experimental drug testing could interlock in cycles of mutual advancement. The integration does not, however, diminish the importance of basic research for pharmaceutical development. Rather, it can be shown that still in the 1990s, linear processes of innovation and the close combination of practical and epistemic work were interdependent. (shrink)

In this paper we discuss the new Tweety puzzle. The original Tweety puzzle was addressed by approaches in non-monotonic logic, which aim to adequately represent the Tweety case, namely that Tweety is a penguin and, thus, an exceptional bird, which cannot fly, although in general birds can fly. The new Tweety puzzle is intended as a challenge for probabilistic theories of epistemic states. In the first part of the paper we argue against monistic Bayesians, who assume that epistemic states can (...) at any given time be adequately described by a single subjective probability function. We show that monistic Bayesians cannot provide an adequate solution to the new Tweety puzzle, because this requires one to refer to a frequency-based probability function. We conclude that monistic Bayesianism cannot be a fully adequate theory of epistemic states. In the second part we describe an empirical study, which provides support for the thesis that monistic Bayesianism is also inadequate as a descriptive theory of cognitive states. In the final part of the paper we criticize Bayesian approaches in cognitive science, insofar as their monistic tendency cannot adequately address the new Tweety puzzle. We, further, argue against monistic Bayesianism in cognitive science by means of a case study. In this case study we show that Oaksford and Chater’s (2007, 2008) model of conditional inference—contrary to the authors’ theoretical position—has to refer also to a frequency-based probability function. (shrink)

We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.

This paper argues that ceteris paribus (cp) laws exist based on a Lewisian best system analysis of lawhood (BSA). Furthermore, it shows that a BSA faces a second trivialization problem besides the one identified by Lewis. The first point concerns an argument against cp laws by Earman and Roberts. The second point aims to help making some assumptions of the BSA explicit. To address the second trivialization problem, a restriction in terms of natural logical constants is proposed that allows one (...) to describe regularities, as specified by basic generics (e.g. ‘birds can fly’) and universals (e.g. ‘all birds can fly’). It is argued that cp laws rather than strict laws might be a part of the the best system of such a regularity-based BSA, since sets of cp laws can be both (a) simpler and (b) stronger when reconstructed as generic non-material conditionals. Yet, if sets of cp laws might be a part of the best system of a BSA and thus qualify as proper laws of nature, it seems reasonable to conclude that at least some cp laws qualify as proper laws of nature. (shrink)

It is a widely shared view among philosophers of science that the theory-dependence (or theory-ladenness) of observations is worrying, because it can bias empirical tests in favour of the tested theories. These doubts are taken to be dispelled if an observation is influenced by a theory independent of the tested theory and thus circularity is avoided, while (partially) circular tests are taken to require special attention. Contrary to this consensus, it is argued that the epistemic value of theory-dependent tests has (...) nothing to do with the circularity or non-circularity of the test, but is instead based on the minimal empiricality and reliability of observations. Since theory-dependence does not in general prevent observations fulfilling these requirements, it should not be regarded as a phenomenon that is basically detrimental, but as neutral with respect to successful scientific knowledge gathering. (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)

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)

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)

For several decades, Monographien und Texte zur Nietzsche-Forschung (MTNF) has set the agenda in a rapidly growing and changing field of Nietzsche scholarship. The book series is international in orientation and reflects the entire spectrum of research on Nietzsche. The series publishes monographs and edited volumes that undergo a strict peer-review process. The series is led by an international team of editors.

In: M. Carrier, D. Howard & J. Kourany (eds), Science and the Social: Knowledge, Epistemic Demands, and Social Values, Pittsburgh: University of Pittsburgh Press (im Erscheinen).

To study (un)conscious perception and test hypotheses about consciousness, researchers need procedures for determining whether subjects consciously perceive stimuli or not. This article is an introduction to a family of procedures called ‘confidence-based procedures’, which consist in interpreting metacognitive indicators as indicators of consciousness. I assess the validity and accuracy of these procedures, and answer a series of common objections to their use in consciousness research. I conclude that confidence-based procedures are valid for assessing consciousness, and, in most cases, accurate (...) enough for our practical and scientific purposes. (shrink)

As for most measurement procedures in the course of their development, measures of consciousness face the problem of coordination, i.e., the problem of knowing whether a measurement procedure actually measures what it is intended to measure. I focus on the case of the Perceptual Awareness Scale to illustrate how ignoring this problem leads to ambiguous interpretations of subjective reports in consciousness science. In turn, I show that empirical results based on this measurement procedure might be systematically misinterpreted.

Existing proposals concerning the ontology of quantum mechanics either involve speculation that goes beyond the scientific evidence or abandon realism about large parts of QM. This paper proposes a way out of this dilemma, by showing that QM as it is formulated in standard textbooks allows for a much more substantive ontological commitment than is usually acknowledged. For this purpose, I defend a non-fundamentalist approach to ontology, which is then applied to various aspects of QM. In particular, I will defend (...) realism about spin, which has been viewed as a particularly hard case for the ontology of QM. (shrink)

The conflict over the classic problem of philosophical anthropology, i. e., what man actually is, is not only a conflict about what – X – determines something to be human. It also requires clarification of the manner in which something is determined to be human by the X in question. There being different options for the latter, the classic anthropological conflict concerns not only definitions of being human, but also models of being human. The present paper investigates four such models: (...) the addition model, the interior model, the privation model, and the transformation model. While the first will serve as a baseline for comparison, the three other models will, in order to escape the danger of making too formal an argument, be discussed exemplarily, i. e. by focusing in each case on a certain proponent of the respective model. Those proponents will be Martin Heidegger for the interior model, Arnold Gehlen for the privation model, and Helmuth Plessner for the transformation model. (shrink)

We are highly tuned to each other's visual attention. Perceiving the eye or hand movements of another person can influence the timing of a saccade or the reach of our own. However, the explanation for such spatial orienting in interpersonal contexts remains disputed. Is it due to the social appearance of the cue—a hand or an eye—or due to its social relevance—a cue that is connected to another person with attentional and intentional states? We developed an interpersonal version of the (...) Posner spatial cueing paradigm. Participants saw a cue and detected a target at the same or a different location, while interacting with an unseen partner. Participants were led to believe that the cue was either connected to the gaze location of their partner or was generated randomly by a computer (Experiment 1), and that their partner had higher or lower social rank while engaged in the same or a different task (Experiment 2). We found that spatial cue‐target compatibility effects were greater when the cue related to a partner's gaze. This effect was amplified by the partner's social rank, but only when participants believed their partner was engaged in the same task. Taken together, this is strong evidence in support of the idea that spatial orienting is interpersonally attuned to the social relevance of the cue—whether the cue is connected to another person, who this person is, and what this person is doing—and does not exclusively rely on the social appearance of the cue. Visual attention is not only guided by the physical salience of one's environment but also by the mental representation of its social relevance. (shrink)

Consciousness scientists have not reached consensus on two of the most central questions in their field: first, on whether consciousness overflows reportability; second, on the physical basis of consciousness. I review the scientific literature of the 19th century to provide evidence that disagreement on these questions has been a feature of the scientific study of consciousness for a long time. Based on this historical review, I hypothesize that a unifying explanation of disagreement on these questions, up to this day, is (...) that scientific theories of consciousness are underdetermined by the evidence, namely, that they can be preserved “come what may” in front of (seemingly) disconfirming evidence. Consciousness scientists may have to find a way of solving the persistent underdetermination of theories of consciousness to make further progress. (shrink)

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)

Was macht das Besondere der menschlichen Lebensform aus? Wie können wir es verstehen, dass unsere Art wie alle anderen natürlich evolviert ist und dennoch als einzige Art die Fähigkeit entwickelt hat, unter dem Anspruch der Freiheit und in reflexiver Distanz zu handeln, damit aber die Umwelt auf eine Welt hin zu transzendieren? Jung argumentiert, dass sich diese Fragen nur beantworten lassen, wenn man philosophische, evolutionstheoretische und kognitionswissenschaftliche Ansätze aufeinander bezieht. Der Schlüssel hierfür ist der Begriff der Bedeutung. Alle Lebewesen erfassen (...) ihre Umwelt im praktischen Umgang mit ihr als bedeutsam. Auch der Geist des Menschen ist essentiell verkörpert und basiert auf erlebten Bedeutsamkeiten. Die Fähigkeit zur symbolischen Artikulation und kulturellen Weiterentwicklung solcher Lebensbedeutungen erlaubt es ihm aber auch, die lokale Umwelt zu transzendieren und dabei Werte, Normen und objektive Geltungsansprüche zu entwickeln. Eine zeitgemäße Anthropologie muss in der Lage sein, diese qualitativen Besonderheiten des menschlichen Geistes als Resultate von Naturprozessen verständlich zu machen. Sie verbindet methodischen Naturalismus mit Offenheit für die Transzendenz des Geistes über die Umwelt. Damit leistet der Autor einen wichtigen Beitrag zu einem nichtreduktionistischen Verständnis des Menschen, das Leib und Geist nicht dualistisch trennt, sondern ihre spannungsvolle Einheit sichtbar macht. (shrink)

Resultant moral luck occurs whenever aspects of an agent’s moral responsibility are affected by luck pertaining to the outcomes of their actions. Many authors reject the existence of moral luck in this sense, but they do so in different ways. Michael Zimmerman argues that resultant luck affects the scope of moral responsibility, but not its degree. That is, it affects what agents are responsible for, but not how responsible they are. Andrew Khoury takes a more resolute approach, arguing that both (...) the scope and the degree of moral responsibility are free from resultant luck. -/- In this paper, I criticize both accounts and develop an alternative. I argue, first, that Khoury’s approach leads to an implausibly far-reaching error-theory about moral responsibility. Second, Zimmerman’s account cannot account for all the ways in which moral responsibility comes in degrees. Third, these problems can be overcome by introducing a distinction between two concepts of responsibility that both come with scope and degree. The first concept I call internal responsibility, as it applies exclusively to agent-internal factors. The second concept I call external responsibility, as it applies to (partly) agent-external factors such as actions and their outcomes. Given this distinction, we can avoid the problems of Khoury’s as well as Zimmerman’s accounts while preserving the central intuition behind the rejection of resultant moral luck. (shrink)

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.