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.

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)

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)

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.

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)

According to a standard criticism, Robert Brandom's “normative pragmatics”, i.e. his attempt to explain normative statuses in terms of practical attitudes, faces a dilemma. If practical attitudes and their interactions are specified in purely non-normative terms, then they underdetermine normative statuses; but if normative terms are allowed into the account, then the account becomes viciously circular. This paper argues that there is no dilemma, because the feared circularity is not vicious. While normative claims do exhibit their respective authors' practical attitudes (...) and thereby contribute towards establishing the normative statuses they are about, this circularity is not a mark of Brandom's explanatory strategy but a feature of social practice of which we theorists partake. (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)

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.

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)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (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)

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)

A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.

Critical realism is a frequently mentioned, but not very well-known, late nineteenth-/early twentieth-century philosophical tradition. Having its roots in Kantian epistemology, critical realism is best characterized as a revisionist approach toward the original Kantian doctrine. Its most outstanding thesis is the idea that Kantian things-in-themselves are knowable. This idea was—at least implicitly—suggested by thinkers such as Alois Riehl, Wilhelm Wundt, and Oswald Külpe. Interestingly enough, the philosophical position of the early Moritz Schlick stands in the critical realist tradition as well. (...) As will be outlined in the course of this paper, both Schlick’s magnum opus General Theory of Knowledge (1918) and his seminal Space and Time in Contemporary Physics (1917) are based on the assumption that the objects of science are relations and that relations have the status of Kantian things-in-themselves. By way of conclusion, I shall point out that this— more or less directly—leads to the current debate over ‘structural’ realism. (shrink)

Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and (...) allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively. (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.

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

A foundationalist account of the justification of our empirical beliefs is committed to the following two claims: (1) Sense experience is a source of justification. (2) Some empirical beliefs are basic: justified without receiving their justification from any other beliefs. In this paper, I will defend each of these claims against an objection. The objection to (1) that I will discuss is due to Donald Davidson. He writes: The relation between a sensation and a belief cannot be logical, since sensations (...) are not beliefs or other propositional attitudes. What then is the relation? The answer is, I think, obvious: the relation is causal. Sensations cause some beliefs and in this sense are the basis or ground of those beliefs. But a causal explanation of a belief does not show how or why the belief is justified. [1] There are two important thoughts in this passage. The first of these is explicitly expressed, the second implied: (3) Sense-experiential states are devoid of propositional content. (4) Necessarily, if a mental state can play the role of a justifier, it has propositional content. (3) and (4) entail that a sense-experiential state cannot play the role of a justifier. If that is true, then (1) is false. This, in any case, seems to me to be Davidson's argument. In response to it, I accept (4) but reject (3). This is an unusual move for foundationalists, who tend to accept (3) and deny (4). Nevertheless, it is what I take to be the right move. (shrink)

We present a model of the distribution of labour in science. Such models tend to rely on the mechanism of the invisible hand . Our analysis starts from the necessity of standards in distributed processes and the possibility of multiple standards in science. Invisible hand models turn out to have only limited scope because they are restricted to describing the atypical single-standard case. Our model is a generalisation of these models to J standards; single-standard models such as Kitcher are a (...) limiting case. We introduce and formalise this model, demonstrate its dynamics and conclude that the conclusions commonly derived from invisible hand models about the distribution of labour in science are not robust against changes in the number of standards. (shrink)

We examine the moderating role of the situational and organizational contexts in determining unethical managerial behavior, applying the case-survey methodology. On the basis of a holistic, multiple-antecedent perspective, we hypothesize that two key constructs, moral intensity and situational strength, help explain contextual moderating effects on relationships between managers’ individual characteristics and unethical behavior. Based on a quantitative analysis of 52 case studies describing occurrences of real-life unethical conduct, we find empirical support for the hypothesized contextual moderating effects of moral intensity (...) and situational strength. By examining these complex contextual moderators, we aim to contribute to organizational ethics research as we shed light on the critical role that context may play in influencing unethical managerial behavior. (shrink)

This document presents the Bonn PRINTEGER Consensus Statement: Working with Research Integrity—Guidance for research performing organisations. The aim of the statement is to complement existing instruments by focusing specifically on institutional responsibilities for strengthening integrity. It takes into account the daily challenges and organisational contexts of most researchers. The statement intends to make research integrity challenges recognisable from the work-floor perspective, providing concrete advice on organisational measures to strengthen integrity. The statement, which was concluded February 7th 2018, provides guidance on (...) the following key issues: § 1. Providing information about research integrity§ 2. Providing education, training and mentoring§ 3. Strengthening a research integrity culture§ 4. Facilitating open dialogue§ 5. Wise incentive management§ 6. Implementing quality assurance procedures§ 7. Improving the work environment and work satisfaction§ 8. Increasing transparency of misconduct cases§ 9. Opening up research§ 10. Implementing safe and effective whistle-blowing channels§ 11. Protecting the alleged perpetrators§ 12. Establishing a research integrity committee and appointing an ombudsperson§ 13. Making explicit the applicable standards for research integrity. (shrink)

The present research (total N = 2,057) tested whether people’s folk conception of consciousness aligns with the notion of a “Cartesian Theater” (Dennett, 1991). More precisely, we tested the hypotheses that people believe that consciousness happens in a single, confined area (vs. multiple dispersed areas) in the human brain, and that it (partly) happens after the brain finished analyzing all available information. Further, we investigated how these beliefs arerelated to participants’ neuroscientific knowledge as well as their reliance on intuition, and (...) which rationale they use to explain their responses. Using a computer-administered drawing task, we found that participants located consciousness, but not unrelated neurological processes (Studies 1a & 1b) or unconscious thinking (Study 2) in a single, confined area in the prefrontal cortex, and that they considered most of the brain not involved in consciousness. Participants mostly relied on their intuitions when responding, and they were not affected by prior knowledge about the brain. Additionally, they considered the conscious experience of sensory stimuli to happen in a spatially more confined area than the corresponding computational analysis of these stimuli (Study 3). Furthermore, participants’ explicit beliefs about spatial and temporal localization of consciousness (i.e., consciousness happening after the computational analysis of sensory information is completed) are independent, yet positively correlated beliefs (Study 4). Using a more elaborate measure for temporal localization of conscious experience, our final study confirmed that people believe consciousness to partly happen even after information processing is done (Study 5). (shrink)

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 document presents the Bonn PRINTEGER Consensus Statement: Working with Research Integrity—Guidance for research performing organisations. The aim of the statement is to complement existing instruments by focusing specifically on institutional responsibilities for strengthening integrity. It takes into account the daily challenges and organisational contexts of most researchers. The statement intends to make research integrity challenges recognisable from the work-floor perspective, providing concrete advice on organisational measures to strengthen integrity. The statement, which was concluded February 7th 2018, provides guidance on (...) the following key issues: § 1.Providing information about research integrity § 2.Providing education, training and mentoring § 3.Strengthening a research integrity culture § 4.Facilitating open dialogue § 5.Wise incentive management § 6.Implementing quality assurance procedures § 7.Improving the work environment and work satisfaction § 8.Increasing transparency of misconduct cases § 9.Opening up research § 10.Implementing safe and effective whistle-blowing channels § 11.Protecting the alleged perpetrators § 12.Establishing a research integrity committee and appointing an ombudsperson § 13.Making explicit the applicable standards for research integrity. (shrink)

Special operations forces have become a mainstay of military operations in the twenty-first century, but the journey to reach this point has been neither quick nor painless. Most of the existing literature on SOF history, the theories and principles of its use, SOF’s role in achieving national security objectives, and its strategic utility and disutility, was written from the perspective of major military powers like the United States.1 Although Sweden, Denmark, Norway, and Finland, in particular, have expanded the analysis of (...) SOF from a small state perspective in recent years, their historical investigations remain underdeveloped. 2 This article explores the origins of Switzerland’s special forces to answer the following question: Are there any similarities in the ways that small states and major powers created and developed their SOF? This analysis finds that, despite apparent differences between the SOF of major powers and those of a small state like Switzerland, there are common characteristics in their origins and development that decision-makers should understand to avoid misapplying their forces. (shrink)

In the 21st century strategic environment, small states face new security challenges caused by emerging great powers. These new powers seek to achieve their political goals in small states by avoiding major military escalation and focusing on combinations of statecraft and non-military means. This “hybrid threat” has strong implications for small states’ national security. This thesis explores small states’ vulnerabilities and opportunities across the political, military, economic, social, and informational (PMESI) spectrum to outline a favorable posture toward a great power (...) hybrid threat. The hybrid threat is characterized, and small states’ opportunities and vulnerabilities are delineated. A systems-thinking approach is applied to assess how opportunities and vulnerabilities influence the relationship between large powers and small states, contributing to the small state’s ability to manage and counter a great-power hybrid threat. Three historical cases are analyzed to assess favorable or unfavorable postures for a small state and the interactive dynamics of these opportunities and vulnerabilities. Ultimately, the study shows that the great-power hybrid threat can be significantly lessened by a small state’s posture, namely by the interactions between its opportunities and vulnerabilities across the PMESI spectrum. By exploiting this systemic interaction, a small state can decisively influence a conflict with a great power and effectively limit the hybrid threat’s effects. (shrink)

It is commonly thought that the prevalence of moral dissent poses a problem for the moral cognitivist, forcing her to diagnose either a lot of misunderstanding, or a lot of unexplained observational error. Since mere misunderstanding can be ruled out in most cases of moral dissent, and since the diagnosis of widespread unexplained error is interpretively unstable, prevalent dissent has pushed many philosophers towards non-cognitivism. In this essay, I argue that once a diachronic, pragmatist theory of language along the lines (...) of the latest Wittgenstein is employed, a third interpretive option becomes available to the cognitivist. Besides the diagnostic options of misunderstanding and factual disagreement, she can argue that a given case of moral dissent is an instance of grammatical tension. This interpretation not only saves moral cognitivism, it also has some attractive theoretical implications. Among other things, it yields an elegant way of solving the current debate around moral particularism. (shrink)

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

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 recently discovered 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, proponents of local theories cannot explain these effects away by conjecturing that subjects are (...) phenomenally conscious of features that they cannot report. Only a strong and counterintuitive version of this claim can account for long-lasting postdictive effects. Although possible, we argue that adopting this strong version of the “overflow hypothesis” would have the effect of nullifying the weight of the evidence taken to support local theories of consciousness in the first place. We also discuss several alternative explanations that proponents of local theories could offer. (shrink)

Having a confirmation bias sometimes leads us to hold inaccurate beliefs. So, the puzzle goes: why do we have it? According to the influential argumentative theory of reasoning, confirmation bias emerges because the primary function of reason is not to form accurate beliefs, but to convince others that we’re right. A crucial prediction of the theory, then, is that confirmation bias should be found only in the reasoning domain. In this article, we argue that there is evidence that confirmation bias (...) does exist outside the reasoning domain. This undermines the main evidential basis for the argumentative theory of reasoning. In presenting the relevant evidence, we explore why having such confirmation bias may not be maladaptive. (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.

Doerig et al. have set several criteria that theories of consciousness need to fulfill. By these criteria, higher-order theories fare better than most existing theories. But they also argue that higher-order theories may not be able to answer both the ‘small network argument’ and the ‘other systems argument’. In response, we focus on the case of the Perceptual Reality Monitoring theory to explain why higher-order theories do just fine.

Phillips argues that blindsight is due to response criterion artefacts under degraded conscious vision. His view provides alternative explanations for some studies, but may not work well when one considers several key findings in conjunction. Empirically, not all criterion effects are decidedly non-perceptual. Awareness is not completely abolished for some stimuli, in some patients. But in other cases, it was clearly impaired relative to the corresponding visual sensitivity. This relative dissociation is what makes blindsight so important and interesting.

Wilhelm Ostwald’s program of a physical energetics is the attempt at a comprehensive description of nature on the basis of the concept of energy. In his book Energetische Grundlagen der Kulturwissenschaft, first published in 1909, Ostwald applies this conception to the area of culture. His central assumption is that cultural phenomena should be described by the energetic notion of “efficiency relation” (Güteverhältnis). His systematic thesis is that science, when organized according to the Machian “principle of economy,” proves as the highest (...) form of cultural expression, since it instantiates the notion of quality relation most efficiently, that is, “with the lowest energy expenditure.” This view echoes August Comte’s “law of the three stages” and is intended to supply it with a scientific, i.e., energetic foundation. Max Weber regarded Ostwald’s energetic theory of culture as a misguided attempt at an absolutization of the methods of concept formation within the natural sciences. As he wrote in his devastating review essay “’Energetische’ Kulturtheorien” (1909), Ostwald transformed a certain world view (Weltbild) into a scientifically frivolous ideology (Weltanschauung). In particular, Ostwald’s adherence to the Comtean law of three stages and the associated hierarchy of the sciences were criticized by Weber as outdated and completely beside the point. According to Weber, the concepts of the cultural sciences are not at all dependent on natural scientific concepts such as ‘energy.’ In his view, culture cannot be reduced to nature. But exactly this seemed to be the principal aim of Ostwald’s program. In this paper, I will critically investigate Weber’s critique of that program. I shall argue that Ostwald’s assumption of a natural basis of culture can be ‘rescued’ as a methodological device, but that Ostwald’s – thoroughly substantialist – view of energy should be discarded as a metaphysical relict of ancient ‘stuff ontology.’ . (shrink)

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)