In the transcendental deduction, the central argument of the Critique of Pure Reason, Kant seeks to secure the objective validity of our basic categories of thought. He distinguishes objective and subjective sides of this argument. The latter side, the subjective deduction, is normally understood as an investigation of our cognitive faculties. It is identified with Kant’s account of a threefold synthesis involved in our cognition of objects of experience, and it is said to precede and ground Kant’s proof of the (...) validity of the categories in the objective deduction. I challenge this standard reading of the subjective deduction, arguing, first, that there is little textual evidence for it, and, second, that it encourages a problematic conception of how the deduction works. In its place, I present a new reading of the subjective deduction. Rather than being a broad investigation of our cognitive faculties, it should be seen as addressing a specific worry that arises in the course of the objective deduction. The latter establishes the need for a necessary connection between our capacities for thinking and being given objects, but Kant acknowledges that his readers might struggle to comprehend how these seemingly independent capacities are coordinated. Even worse, they might well believe that in asserting this necessary connection, Kant’s position amounts to an implausible subjective idealism. The subjective deduction ismeant to allay these concerns by showing that they rest on a misunderstanding of the relation between these faculties. This new reading of the subjective deduction offers a better fit with Kant’s text. It also has broader implications, for it reveals the more philosophically plausible account of our relation to the world as thinkers that Kant is defending – an account that is largely obscured by the standard reading of the subjective deduction. (shrink)

Abstract Both parties in the active philosophical debate concerning the conceptual character of perception trace their roots back to Kant's account of sensible intuition in the Critique of Pure Reason. This striking fact can be attributed to Kant's tendency both to assert and to deny the involvement of our conceptual capacities in sensible intuition. He appears to waver between these two positions in different passages, and can thus seem thoroughly confused on this issue. But this is not, in fact, the (...) case, for, as I will argue, the appearance of contradiction in his account stems from the failure of some commentators to pay sufficient attention to Kant's developmental approach to philosophy. Although he begins by asserting the independence of intuition, Kant proceeds from this nonconceptualist starting point to reveal a deeper connection between intuitions and concepts. On this reading, Kant's seemingly conflicting claims are actually the result of a careful and deliberate strategy for gradually convincing his readers of the conceptual nature of perception. (shrink)

Verteilungsgerechtigkeit befasst sich mit der Verteilung von Gütern innerhalb einer Gruppe, wobei verschiedene Verteilungsprinzipien und -ergebnisse als mögliche Ideale einer solchen Verteilung verhandelt werden. Diese normativen Ansätze sind oft rein verbal formuliert, wodurch ihre Anwendung auf unterschiedliche konkrete Verteilungssituationen, die hinsichtlich ihrer Gerechtigkeit beurteilt werden sollen, häufig schwer fällt. Eine Möglichkeit, fein abgestufte Gerechtigkeitsbeurteilungen verschiedener Verteilungen präzise erfassen zu können, besteht in der formalen Modellierung solcher Ideale durch Maße oder Indizes. Die Auswahl eines geeigneten Maßes, das ein gewisses Ideal abbilden (...) soll, muss ihrerseits eine Fundierung erfahren, was durch die Forderung von begründeten Axiomen erreicht werden kann, denen ein Maß genügen soll. In der vorliegenden Arbeit werden solche Axiome für Maße der Verteilungsgerechtigkeit am Beispiel von Bedarfsgerechtigkeit eingeführt. Ferner werden exemplarische Maße der Bedarfsgerechtigkeit vorgestellt. Damit wird für die Beurteilung und Modellierung von Maßen der Verteilungsgerechtigkeit eine erste diskutable Grundlage gelegt. (shrink)

In attempts to compare different distributions with regards to need, so-called “measures of need-based distributive justice” have emerged in recent years. Each of the proposed measures relies on a single dimension of need that is taken into account. This is shown to be problematic since humans experience different kinds of need that appear to be incommensurable. A strategy to deal with this problem is introduced by using multidimensional measures.

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)

Newtons experimentum crucis hat ein komplementares Gegenstück, d.h. ein Experiment, in dem die Rollen von Licht und Schatten genau ausgetauscht sind. Statt wie Newton in der Dunkelkammer zu experimentieren, müssen wir das Komplement des experimentum crucis in einer Streulichtkammer aufbauen (deren Wände sog. Lambertstrahler sind). Wenn es dieses umgestülpte Experiment wirklich gibt, dann liefert es für jeden newtonischen Beweis einen umgestülpten Gegenbeweis, dessen Konklusion die Heterogenitat der Schatten wäre (also die Behauptung, dass nicht weißes Licht, sondern schwarze Schatten eine heterogene (...) Mischung verschiedenfarbiger Strahlen mit unterschiedlichen Brechungseigenschaften seien). Dass Newtons experimentum crucis in diesem Sinne umgestülpt werden kann, wird von Newtons eigener Theorie impliziert. Mehr noch, inzwischen ist der empirische Nachweis der Umstülpung gelungen. (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)

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)

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)

Like many other philosophical disciplines, ethics is sometimes highly abstract. And many key notions of the discipline are vague, ambiguous or both. Abstractness, vagueness, and ambiguity invite confusion. My objective in this paper is to draw attention to a serious problem that, despite being widespread, has so far remained largely unrecognized: the confusion of different questions in teaching ethics. This confusion occurs, for example, when a philosopher’s viewpoint is presented as an answer to one question, but in fact, the philosopher (...) is addressing a different question with that viewpoint. In the first part of this paper, I will present and clarify several ethical questions that are often confused, and point out damaging consequences that the confusion of such questions entails. In the second part, I will demonstrate the confusion of ethical questions by drawing attention to cases of confused teaching of Schopenhauer’s ethics. Finally, for those interested, I outline how Schopenhauer’s ethics could be taught without confusion. (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)

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.

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 Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

In this book review, I summarize the main argument of Tilo Wesche's book "Die Rechte der Natur: Vom nachhaltigen Eigentum" (The rights of Nature: On sustainable ownership) and conclude with a critical appraisal.

A major part of philosophical work is engagement with argumentative texts. Engaging with an argumentative text involves correctly identifying the arguments presented in this text. In the context of teaching philosophy in school, the difficulty of correctly identifying arguments in philosophical texts is often underestimated. In this paper, I focus on one specific problem with argument identification that has been neglected in philosophy didactics thus far: the problem that there are many non-argumentative phenomena in an argumentative text that are easily (...) misidentified as expressing (part of) an argument. It is easy to fall for such phenomena if one is not aware of this problem, thereby misinterpreting the author’s intentions. This paper aims to present and discuss such phenomena, as well as to provide guidelines on how to help students recognize them. (shrink)

The aim of this paper is to show that the French philosopher and historian of science Abel Rey played a more influential role in the formative phase of the Vienna Circle than hitherto supposed. On the whole, it will be argued that Rey's contribution had political impact. His interpretation of "modern physics" in 1907 in the face of the alleged "bankruptcy of science" should be appreciated as a masterpiece of applied enlightenment thought. As such, it was especially paradigmatic for Philipp (...) Frank's "positivist" defense of the theory of relativity and quantum mechanics against the irrationalist tendencies of the 1920s and 1930s. (shrink)

Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways can (...) be approximated by finite-valued logics. It is shown that the minimal m-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics. (shrink)

The problem of algorithmic structuring of proofs in the sequent calculi LK and LKB ( LK where blocks of quantifiers can be introduced in one step) is investigated, where a distinction is made between linear proofs and proofs in tree form. In this framework, structuring coincides with the introduction of cuts into a proof. The algorithmic solvability of this problem can be reduced to the question of k-l-compressibility: "Given a proof of length k , and l ≤ k : Is (...) there is a proof of length ≤ l ?" When restricted to proofs with universal or existential cuts, this problem is shown to be (1) undecidable for linear or tree-like LK-proofs (corresponds to the undecidability of second order unification), (2) undecidable for linear LKB-proofs (corresponds to the undecidability of semi-unification), and (3) decidable for tree-like LKB -proofs (corresponds to a decidable subprob- lem of semi-unification). (shrink)

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)

In this paper, I examine Alston's arguments for doxastic involuntarism. Alston fails to distinguish (i) between volitional and executional lack of control, and (ii) between compatibilist and libertarian control. As a result, he fails to notice that, if one endorses a compatibilist notion of voluntary control, the outcome is a straightforward and compelling case for doxastic voluntarism. Advocates of involuntarism have recently argued that the compatibilist case for doxastic voluntarism can be blocked by pointing out that belief is never intentional. (...) In response to this strategy, I distinguish between two types of intentionality and argue that belief is no less intentional than action is. (shrink)

We present a vignette study conducted with a quota sample of the German population (n = 400). Subjects had to redistribute a good between two hypothetical persons who contributed equally to the available amount but differed in quantity needed and the reason for their neediness. On a within-subjects level, we tested for the effects of need, accountability, and resource availability on their third-party distribution decisions. Between subjects, we further varied the kinds of needs: The persons either needed the good as (...) a means to survive, to live a decent life, to participate in society, or to be autonomous. Despite equal productivity, the mean share allocated to the needier person was significantly higher than an equal share. However, this share turned out significantly smaller when the needier person was accountable for needing more than the other. Nonetheless, even if accountable, the needier person still got a share larger than their contribution would suggest. When there was a surplus of resources, the needier person got an even higher share than when resources were scarce. (shrink)

Consciousness is scientifically challenging to study because of its subjective aspect. This leads researchers to rely on report-based experimental paradigms in order to discover neural correlates of consciousness (NCCs). I argue that the reliance on reports has biased the search for NCCs, thus creating what I call 'methodological artefacts'. This paper has three main goals: first, describe the measurement problem in consciousness science and argue that this problem led to the emergence of methodological artefacts. Second, provide a critical assessment of (...) the NCCs put forward by the global neuronal workspace theory. Third, provide the means of dissociating genuine NCCs from methodological artefacts. (shrink)

This is a review of: God's Rational Warriors: The Rationality of Faith Considered.

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.

Some moral value is transparent just in case an agent with average mental capacities can feasibly come to know whether some entity does, or does not, possess that value. In this paper, I consider whether legitimacy—that is, the property of exercises of political power to be permissible—is transparent. Implicit in much theorising about legitimacy is the idea that it is. I will offer two counter-arguments. First, injustice can defeat legitimacy, and injustice can be intransparent. Second, legitimacy can play a critical (...) function in our practical thought, which sometimes requires intransparency. (shrink)

Psychiatric research is in crisis because of repeated failures to discover new drugs for mental disorders. Lack of measurement validity could partly account for these failures. If researchers do not actually measure the effects of drugs on the disorders they aim to investigate, one should expect suboptimal treatment outcomes. I argue that this is the case, focusing on depression, and fear & anxiety disorders. In doing so, I show how psychiatric research illustrates a more general phenomenon that I call “validity (...) drift.” A validity drift occurs when, in the course of developing new measurement procedures, researchers end up studying something different from what they originally aimed to study. I analyze the different ways in which scientists attempt to validate procedures for measuring mental disorders for the purpose of testing drugs in animal models. I show how those validation efforts might fail, thereby leading to validity drifts. Overall, this analysis highlights the complex interplay between the development of new measurement procedures, their calibration, and scientific theories of the target phenomena. (shrink)

Two questions often shape our view of the world. On the one hand, we ask what there is, on the other hand, we ask what there ought to be. Empirical research and normative theory, the methodological traditions concerned with these questions, entered a difficult relationship, from at least as early as around the time of the advent of modern sciences. To this day, there remains a strong separation between the two domains, with both tending to neglect discourses and results from (...) the other. Contrary to a verdict of strict segregation between »is« and »ought«, there are, nowadays, various attempts to integrate both theoretical approaches. This calls for a newly intensified discourse on the relation between empirical research and normative theory. In this volume, scholars from different disciplines – including psychology, sociology, economics, and philosophy – discuss possible desired or undesired influences on, and limits of, the integration of these two approaches. (shrink)

Attempts to justify the special moral status of human beings over other animals face a well-known objection: the challenge of marginal cases. If we attempt to ground this special status in the unique rationality of humans, then it becomes difficult to see why nonrational humans should be treated any differently than other, nonhuman animals. We respond to this challenge by turning to the social contract tradition. In particular, we identify an important role for the concept of recognition in attempts to (...) secure rights through a social contract. Recognition, which involves identifying with or seeing ourselves as others, is the key to establishing the scope of justice, and we argue that this scope extends to all humans—even the so-called marginal cases—but not to other animals. If this is correct, then we have a principled reason for why all humans have certain rights that other animals lack. (shrink)

The current global COVID-19 pandemic has led to a deep and multidimensional crisis across all sectors of society. As countries contemplate their mobility and social-distancing policy restrictions, we have a unique opportunity to re-imagine the deliberative frameworks and value priorities in our food systems. Pre-pandemic food systems at global, national, regional and local scales already needed revision to chart a common vision for sustainable and ethical food futures. Re-orientation is also needed by the relevant sciences, traditionally siloed in their disciplines (...) and without adequate attention paid to how the food system problem is variously framed by diverse stakeholders according to their values. From the transdisciplinary perspective of food ethics, we argue that a post-pandemic scheme focused on bottom-up, regional, cross-sectoral and non-partisan deliberation may provide the re-orientation and benchmarks needed for not only more sustainable, but also more ethical food futures. (shrink)

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)

Any intermediate propositional logic can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in Hilbert’s $\varepsilon $ -calculus. The first and second $\varepsilon $ -theorems for classical logic establish conservativity of the $\varepsilon $ -calculus over its classical base logic. It is well known that the second $\varepsilon $ -theorem fails for the intuitionistic $\varepsilon $ -calculus, as prenexation is impossible. The paper investigates the effect of adding critical $\varepsilon $ - (...) and $\tau $ -formulas and using the translation of quantifiers into $\varepsilon $ - and $\tau $ -terms to intermediate logics. It is shown that conservativity over the propositional base logic also holds for such intermediate ${\varepsilon \tau }$ -calculi. The “extended” first $\varepsilon $ -theorem holds if the base logic is finite-valued Gödel–Dummett logic, and fails otherwise, but holds for certain provable formulas in infinite-valued Gödel logic. The second $\varepsilon $ -theorem also holds for finite-valued first-order Gödel logics. The methods used to prove the extended first $\varepsilon $ -theorem for infinite-valued Gödel logic suggest applications to theories of arithmetic. (shrink)

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.

This paper focuses on the understanding that Dzogchen experience is a Theophanic Manifestation.

The question whether a constitutive linguistic norm can be prescriptive is central to the debate on the normativity of meaning. Recently, the author has attempted to defend an affirmative answer, pointing to how speakers sporadically invoke constitutive linguistic norms in the service of linguistic calibration. Such invocations are clearly prescriptive. However, they are only appropriate if the invoked norms are applicable to the addressed speaker. But that can only be the case if the speaker herself generally accepts them. This qualification (...) has led critics to argue that if an addressed speaker’s acceptance is a necessary condition for legitimate prescriptions (and reproach for failure to adhere to them), then the account becomes unable to underwrite actual normativity. Moreover, critics argue, a danger of vicious circularity arises from the calibration account. This paper shows that once a vantage point within the calibration practice is accepted, the criticisms lose their force. It then explores why a theorist might reject such a perspective and suggests, as a plausible candidate, implicit Humean assumptions about the proper explanation of (linguistic) action. The paper ends by sketching a way forward for the debate on the normativity of meaning in light of this diagnosis. (shrink)

This chapter presents the perceptual reality monitoring theory of consciousness (PRM). PRM is a higher-order theory of consciousness. It holds that consciousness involves monitoring the reliability of one’s own sensory signals. I explain how a perceptual reality monitoring mechanism computes the higher order representations that are crucial for consciousness. While PRM accounts for the difference between conscious and unconscious states, it does not explain, on its own, why experiences feel the way they do—the phenomenal character of experience. PRM is compatible (...) with multiple theories of phenomenal character. Here, I show how to combine it with ‘Mental Quality Space’ theory. I finish by presenting empirical evidence for PRM, as well as some of its predictions. (shrink)

According to the global neuronal workspace model of consciousness, consciousness results from the global broadcast of information throughout the brain. The global neuronal workspace is mainly constituted by a fronto-parietal network. The anterior insular cortex is part of this global neuronal workspace, but the function of this region has not yet been defined within the global neuronal workspace model of consciousness. In this review, I hypothesize that the anterior insular cortex implements a cross-modal priority map, the function of which is (...) to determine priorities for the processing of information and subsequent entrance in the global neuronal workspace. (shrink)

Is perceptual processing in dedicated sensory areas sufficient for conscious perception? Localists say ‘Yes—given some background conditions.’ Prefrontalists say ‘No: conscious perceptual experience requires the involvement of prefrontal structures.’ I review the evidence for prefrontalism. I start by presenting correlational evidence. In doing so, I answer the ‘report argument’, according to which the apparent involvement of the prefrontal cortex in consciousness stems from the requirement for reports. I then review causal evidence for prefrontalism and answer the ‘lesion argument’, which purports (...) to show that prefrontalism is wrong because lesions to the prefrontal cortex do not abolish consciousness. I conclude that multiple sources of evidence converge toward the view that the prefrontal cortex plays a significant role in consciousness. (shrink)

Plato’s tripartite soul plays a central role in his account of justice in the Republic. It thus comes as a surprise to find him apparently abandoning this model at the end of the work, when he suggests that the soul, as immortal, must be simple. I propose a way of reconciling these claims, appealing to neglected features of the city-soul analogy and the argument for the soul’s division. The original true soul, I argue, is partitioned, but in a finer manner (...) than how we encounter it in our everyday lives. (shrink)

Unter dem Dach der Philosophie gingen empirische Forschung und normative Theorie lange Zeit Hand in Hand, bis sie spätestens um die Zeit der Emanzipation der Einzelwissenschaften in eine schwierige, nicht immer eindeutig bestimmbare Beziehung zueinander traten; dieses unterbestimmte Verhältnis tritt uns vor dem Hintergrund aktueller Debatten wieder entgegen. Das zeigt sich zum Beispiel auch bei Fragen der Ethik: In den letzten Jahrzehnten zeigten verschiedene wissenschaftliche Disziplinen verstärktes Interesse an empirischen Bemühungen um ein deskriptives Verständnis von Moral. Hier gibt es nach (...) wie vor eine starke Trennung zwischen den Bereichen der normativen Theorie einerseits und der empirischen Forschung andererseits, wobei in beiden Bereichen dazu tendiert wird, die jeweils anderen Diskurse zu vernachlässigen, wobei Unklarheit über die Möglichkeiten und Grenzen einer fruchtbaren Integration herrscht. Auf der anderen Seite gibt es jüngst auch verschiedene Versuche einer Integration beider Domänen. – Dies macht einen Diskurs über die Bestimmung des Verhältnisses von empirischer Forschung und normativer Theorie nötig, was in diesem Band aus verschiedenen historischen sowie systematischen Perspektiven geleistet wird. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

The link is to an expanded, English version of this essay.

Anosognosia for visual deficits—cases where significant visual deficits go unnoticed—challenges the view that our own conscious experiences are what we know best. We review these widespread and striking failures of awareness. Anosognosia can occur with total blindness, visual abnormalities induced by brain lesions, and eye diseases. We show that anosognosia for visual deficits is surprisingly widespread. Building on previous accounts, we introduce a framework showing how apparently disparate forms of anosognosia fit together. The central idea is that, to notice a (...) deficit, individuals need to form expectations about normal vision, compare expectations and visual input, and judge any mismatch at the metacognitive level. A failure in any of these three steps may lead to unawareness of visual deficits. (shrink)