W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

Abstract: To evaluate the explanation of change blindness in terms of misrepresentation and determine its role for Rosenthal’s higher-order thought theory of consciousness, we present an alternative account of change blindness that affords an independent outlook and provides a viable alternative. First we describe Rosenthal’s actualism and the notion of misrepresentation, then introduce change blindness and the explanation of it by misrepresentation. Rosenthal asserts that, in change blindness, the first-order state tracks the post-change stimulus, but the (...) class='Hi'>higher-order state misrepresents it. We propose the alternative that both post-change and pre-change content can be tracked by the first-order state, and that in change blindness the higher-order thought represents the pre-change state, resulting in a good-enough representation: true but not veridical. We compare the two explanations with respect to available data and analyse the principal theoretical claims. Discussing the rationale of the alternative account, we conclude that there is good reason to conceive of the mind as satisficing, geared towards reliability instead of truth-tracking, and guided by representations that are good enough as opposed to complete or corresponding to the facts. We end with some methodological remarks concerning the risk of cognitive biases in interdisciplinary research that brings together empirical and philosophical claims. (shrink)

Supervenience theses promise ontological economy without reducibility. The problem is that they face a dilemma: either the relation of supervenience entails reducibility or it is mysterious. Recently higher-order universals have been invoked to avoid the dilemma. This article develops a higher-order framework in which this claim can be assessed. It is shown that reducibility can be avoided, but only at the cost of a rather radical metaphysical proposal.

We show that the variety of n -dimensional weakly higher order cylindric algebras, introduced in Németi [9], [8], is finitely axiomatizable when n > 2. Our result implies that in certain non-well-founded set theories the finitization problem of algebraic logic admits a positive solution; and it shows that this variety is a good candidate for being the cylindric algebra theoretic counterpart of Tarski’s quasi-projective relation algebras.

Quantum interference, manifest in the two slit experiment, lies at the heart of several quantum computational speed-ups and provides a striking example of a quantum phenomenon with no classical counterpart. An intriguing feature of quantum interference arises in a variant of the standard two slit experiment, in which there are three, rather than two, slits. The interference pattern in this set-up can be written in terms of the two and one slit patterns obtained by blocking one, or more, of the (...) slits. This is in stark contrast with the standard two slit experiment, where the interference pattern cannot be written as a sum of the one slit patterns. This was first noted by Rafael Sorkin, who raised the question of why quantum theory only exhibits irreducible interference in the two slit experiment. One approach to this problem is to compare the predictions of quantum theory to those of operationally-defined ‘foil’ theories, in the hope of determining whether theories that do exhibit higher-order interference suffer from pathological—or at least undesirable—features. In this paper two proposed extensions of quantum theory are considered: the theory of Density Cubes proposed by Dakić, Paterek and Brukner, which has been shown to exhibit irreducible interference in the three slit set-up, and the Quartic Quantum Theory of Życzkowski. The theory of Density Cubes will be shown to provide an advantage over quantum theory in a certain computational task and to posses a well-defined mechanism which leads to the emergence of quantum theory—analogous to the emergence of classical physics from quantum theory via decoherence. Despite this, the axioms used to define Density Cubes will be shown to be insufficient to uniquely characterise the theory. In comparison, Quartic Quantum Theory is a well-defined theory and we demonstrate that it exhibits irreducible interference to all orders. This feature of Życzkowski’s theory is argued not to be a genuine phenomenon, but to arise from an ambiguity in the current definition of higher-order interference in operationally-defined theories. Thus, to begin to understand why quantum theory is limited to a certain kind of interference, a new definition of higher-order interference is needed that is applicable to, and makes good operational sense in, arbitrary operationally-defined theories. (shrink)

A knowledge-based decision theory faces what has been called the prodigality problem : given that many propositions are assigned probability 1, agents will be inclined to risk everything when betting on propositions which are known. In order to undo probability 1 assignments in high risk situations, the paper develops a theory which systematically connects higher level goods with higher-order knowledge.

In this paper, I contend that the core intuition that resides at the basis of Scheler’s metaethics is expressed through the formal axiological distinction between things, goods, and values. I pursue a twofold aim: 1) to show that Scheler implicitly operates within Husserl’s concept of ‘unitary foundation’ when describing how values inhere within goods; 2) to compare Scheler’s metaethical argument concerning the independence of a world of goods with Hare’s ‘indiscernibility argument’. Scheler’s reversal of Hare’s argument confronts (...) us with the formal-ontological difference between the analytic account of supervenience and the phenomenological account of unitary foundation. My argument is based on the formalization of the second type of unitary foundation that Husserl outlines in his Third Logical Investigation. The second type of unitary foundation is usually conflated with the first type of unitary foundation, as a result of the gross mistakes found in Findlay’s English. (shrink)

Let us by ‘first-order beliefs’ mean beliefs about the world, such as the belief that it will rain tomorrow, and by ‘second-order beliefs’ let us mean beliefs about the reliability of first-order, belief-forming processes. In formal epistemology, coherence has been studied, with much ingenuity and precision, for sets of first-order beliefs. However, to the best of our knowledge, sets including second-order beliefs have not yet received serious attention in that literature. In informal epistemology, by contrast, (...) sets of the latter kind play an important role in some respectable coherence theories of knowledge and justification. In this paper, we extend the formal treatment of coherence to second-order beliefs. Our main conclusion is that while extending the framework to second-order beliefs sheds doubt on the generality of the notorious impossibility results for coherentism, another problem crops up that might be no less damaging to the coherentist project: facts of coherence turn out to be epistemically accessible only to agents who have a good deal of insight into matters external to their own belief states. (shrink)

Since it is hard to see how subjective rationality could be normative, a humbler, purely evaluative account of rationality’s importance has been suggested: rationality is a non-moral virtue, and rational action is good so far as it reveals that an agent ‘functions well’. This paper argues, however, that even this fallback position is threatened by ‘eccentric billionaire’ scenarios: sometimes, flouting purported coherence standards of rationality is maximally virtuous. In defense of the virtue account, I argue that a novel view of (...) rational constraints is called for: rationality requires a certain form of higher-order coherence – as considerations about instrumental coherence can show. (shrink)

Some advocates of higher-order theories of consciousness believe that the correct theory of consciousness together with empirical facts about animal intelligence make it highly unlikely that animals are capable of having phenomenally conscious experiences. I will argue that even if the higher-order thought (HOT) theory of consciousness is correct, there is good evidence (taken from experiments in mind reading and metacognition, as well as considerations from neurophysiology and evolutionary biology) that at least some nonhuman animals can (...) form the higher-order thoughts and thus will count as phenomenally conscious on HOT theory. (shrink)

The aim of this paper is to apply the accuracy based approach to epistemology to the case of higher order evidence: evidence that bears on the rationality of one's beliefs. I proceed in two stages. First, I show that the accuracy based framework that is standardly used to motivate rational requirements supports steadfastness—a position according to which higher order evidence should have no impact on one's doxastic attitudes towards first order propositions. The argument for this (...) will require a generalization of an important result by Greaves and Wallace for the claim that conditionalization maximizes expected accuracy. The generalization I provide will, among other things, allow us to apply the result to cases of self-locating evidence. In the second stage, I develop an alternative framework. Very roughly, what distinguishes the traditional approach from the alternative one is that, on the traditional picture, we're interested in evaluating the expected accuracy of conforming to an update procedure. On the alternative picture that I develop, instead of considering how good an update procedure is as a plan to conform to, we consider how good it is as a plan to make. I show how, given the use of strictly proper scoring rules, the alternative picture vindicates calibrationism: a view according to which higher order evidence should have a significant impact on our beliefs. I conclude with some thoughts about why higher order evidence poses a serious challenge for standard ways of thinking about rationality. (shrink)

Some time ago I wrote a paper about conceivability and knowledge. An anonymous referee rejected it on the grounds that the result had already been established in a short story by Jorge Luis Borges. Intrigued, I looked for the story but found no mention of it in Louis and Ziche’s extensive bibliography. I spent months consulting archives and electronic records to no avail. I had begun to doubt whether the story even existed when I had the curious good luck to (...) encounter Sir Thomas Browne of Pembroke College, Oxford, who assured me of the piece’s authenticity and introduced me to Brother Christian Rosenkreuz of Invisible College who in turn generously put me into correspondence with Borges himself. The literary defects in what follows reflect not a diminution of Borges’s undoubted power as a storyteller, but merely my limited ability as an amateur translator. Whatever the translation’s literary faults may be, I hope the story’s philosophical interest—i.e., an argument that ideal conceivers have higher-order knowledge of necessary truths—remains. [Trans.]. (shrink)

Problems are raised with the global workspace hypothesis of consciousness, for example about exactly how global the workspace needs to be for consciousness to suddenly be present. Problems are also raised with Carruthers's version that excludes conceptual representations, and in which phenomenal consciousness can be reduced to physical processes, with instead a different levels of explanation approach to the relation between the brain and the mind advocated. A different theory of phenomenal consciousness is described, in which there is a particular (...) computational system involved in which Higher Order Syntactic Thoughts are used to perform credit assignment on first order thoughts of multiple step plans to correct them by manipulating symbols in a syntactic type of working memory. This provides a good evolutionary reason for the evolution of this kind of computational module, with which, it is proposed, phenomenal consciousness is associated. Some advantages of this HOST approach to phenomenal consciousness are then described with reference not only to the global workspace approach, but also to Higher Order Thought theories. It is hypothesized that the HOST system which requires the ability to manipulate first order symbols in working memory might utilize parts of the prefrontal cortex implicated in working memory, and especially the left inferior frontal gyrus, which is involved in language and probably syntactical processing. Overall, the approach advocated is to identify the computations that are linked to consciousness, and to analyze the neural bases of those computations. [copyright: Copyright © 2020 Rolls.]. (shrink)

The fact that we can engage in first-person discourse about our own mental states seems, intuitively, to be bound up with consciousness. David Rosenthal draws upon this intuition in arguing for his higher-order thought theory of consciousness. Rosenthal's argument relies upon the assumption that the truth-conditions for "p" and "I think that p" differ. It is argued here that the truth-conditional schema debars "I think" from playing one of its roles and thus is not a good test for (...) what is asserted when "I think" is employed in making an assertoric utterance. The critique of Rosenthal's argument allows us to make explicit the intuitions which shape higher-order representation theories of consciousness in general. Consciousness and first-person mental discourse seem to be connected primarily because consciousness is an epistemic term, used to denote first-person knowledge of minds. Higher-order thought theories of consciousness draw upon this epistemic notion of consciousness, and because self-knowledge seems to involve higher-order representation, the higher-order theorist can deploy what is in effect an "error theory" about conscious experience disguised as a kind of conceptual analysis of our ordinary concept of a conscious mental state. The conclusion reached is that there is unlikely to be a simple or direct path from considerations about mental discourse to conclusions about the nature of consciousness. (shrink)

This thesis mounts an attack against accounts of perceptual justification that attempt to analyze it in terms of evidential justifiers, and has defended the view that perceptual justification should rather be analyzed in terms of non-evidential justification. What matters most to perceptual justification is not a specific sort of evidence, be it experiential evidence or factive evidence, what matters is that the perceptual process from sensory input to belief output is reliable. I argue for this conclusion in the following way. (...) Chapter 1: The Arguments from HallucinationChapter 1 presents a skeptical argument from hallucination that starts from a premise about the alleged introspective indistinguishability of perception and hallucination, and concludes that perceptual knowledge is impossible. Underlying this argument are certain assumptions about the nature of perceptual justification, and different responses to the argument portray different views of perceptual justification. Evidentialism and dogmatism both reject the premise that appearances do not provide evidence sufficient for perceptual knowledge, although they disagree about the precise nature of the appearances. Epistemological disjunctivism rejects the premise that introspectively indistinguishable experiences provide the same evidence, while upholding the idea that some sort of evidence, namely factive evidence, is necessary for perceptual justification and knowledge. Process reliabilism rejects the premise that evidence is necessary for perceptual knowledge on the grounds that even perceptual justification can be obtained without evidence, as long as the cognitive process producing the belief is reliable.Chapter 2: EvidentialismChapter 2 starts by introducing some motivations for experientialist views of perceptual justification, such as evidentialism and dogmatism, which hold that conscious experiences evidentially justify perceptual beliefs. These motivations have to do with their ability to accommodate the New Evil Demon Intuition that demon-deceived subjects have justified perceptual beliefs and the Blindsight Intuition that blindsighters do not have justified perceptual beliefs. However, experientialist views are also faced with a Sellarsian dilemma: either experience is construed as non-propositional, but then the proposed evidential relation is unclear, or experience is construed as propositional, but then it is ad hoc to hold that they can evidentially justify without being justified themselves.Chapter 2 continues with a discussion of evidentialism, which grasps the first horn of this dilemma. I argue that evidentialism cannot adequately explain why a non-propositional experience constitutes evidence for this rather than that belief, and also does not provide any account of how to determine which belief fits an evidence-set which partly consists out of non-propositional experiences. Although a reliabilist version of evidentialism can provide a better account of these matters, it suffers from counter-intuitive predictions about justification and a conception of evidence that is so liberal that it could even include blindsighters and clairvoyants as having such evidence.Chapter 3: DogmatismChapter 3 focuses on variants of dogmatism, a theory of perceptual justification that grasps the second horn of the Sellarsian dilemma by holding that a perceptual experience with the content that p is sufficient for immediate prima facie justification of the belief that p. I first argue that dogmatism should identify perceptual experiences with high-level conscious states to accommodate the problem of novice vs. expert identification and the problem of the speckled hen. I then argue that this version of dogmatism still fails to meet a certain explanatory challenge which I dub the `Distinctiveness Problem'. Dogmatism should explain what is so distinctive about perceptual experience that enables it, in contrast with desire and imagination, to evidentially justify the belief that p without, in contrast with belief, being justified itself.Phenomenalist answers to this problem fail because they either do not provide a distinctive property of perceptual experience, or else provide a property that is reducible to or possibly caused by beliefs. In both cases, dogmatism would have the result that intuitively unjustifying experiences, such as imaginations, nevertheless become capable of justifying beliefs. Moreover, phenomenalists still need some explanation of why phenomenology is epistemically relevant at all.A new variant of the problem of the speckled hen is an intuitive illustration of this point against dogmatists. If a perceptual experience that p is not reliably connected to the fact that p or the belief that p, then beliefs based on this experience simply will not be intuitively justified. One possible response to this problem incorporates reliability into the content of experience in the sense that an experience cannot have the content that p if it is not reliably connected to both the fact that p and the belief that p. However, this will lose the motivation from the New Evil Demon Scenario, and will make large concessions towards reliabilism.Chapter 4: Epistemological DisjunctivismGiven these problems for experientialist views of perceptual justification, chapter 4 focuses on a different evidential account of justification: epistemological disjunctivism. According to the Justified True Belief version of Epistemological Disjunctivism, the fact that I see that p is the factive and reflectively accessible evidence in virtue of which I know that p. I argue that JTBED faces formidable problems: first, it cannot adequately deal with the basis problem, second, it cannot accommodate the New Evil Demon Intuition, third,it faces the problem of hyper-intellectualization, and fourth, it has no good account of reflective access.Knowledge First Epistemological Disjunctivism, in contrast, holds that seeing that p just is a way of knowing that p. The fact that I see that p constitutes my justification for believing that p, even though it is not necessary for my knowledge that p. Although this view solves most of the above problems, I argue that KFED still faces a challenge of its own: its notion of justification is so strong that justification entails knowledge but is not itself entailed by it. This means that it too faces a hyper-intellectualization objection because it cannot accommodate animal justification, and that it too will struggle to accommodate the New Evil Demon Intuition.Nevertheless, there is something to the epistemological disjunctivist idea that higher-order capabilities are important to perceptual justification. Specifically, higher-order capabilities provide one with a way of accommodating the Blindsight Intuition without appealing to the notion of experiential evidence: blindsighters are epistemically worse off than normal human perceivers because they lack higher-order beliefs about how they are gaining their information. If one holds that these higher-order beliefs provide a special sort of justification for perceptual beliefs, then blindsighters lack this type of justification. Chapter 5: Process ReliabilismAfter displaying the problems of several evidential accounts of perceptual justification, chapter 5 introduces a non-evidential account: process reliabilism. The classic version of this view holds that the reliability of a belief-forming process is necessary and sufficient for the prima facie justification of a specific set of beliefs, namely, those that arise out of belief-independent processes. Two classic major problems for this view consist of counterexamples to both the necessity and sufficiency of reliability for justification. Although the Generality Problem raises some difficulties for reliabilism, they do not appear to be insurmountable.The second part of chapter 5 focuses on a variety of process reliabilism, inferentialist reliabilism, that is explicitly aimed at responding to clairvoyance cases. According to inferentialist reliabilism, one should distinguish between basic and non-basic beliefs, where basic beliefs are those that result out of the non-inferential operation of an inferentially opaque cognitive system that developed in a natural way. Reliability is only sufficient for the justification of basic beliefs, while non-basic beliefs also require conditional reliability and justification of the beliefs on which they are based.This distinction between basic and non-basic beliefs is meant to answer the challenge arising out of clairvoyance cases because these are all supposedly cases in which the resulting beliefs arenon-basic. However, I argue that the beliefs in these cases come out as non-basic primarily because of the etiological constraint on cognitive systems, a constraint that is unfortunately undermotivated. It seems that beliefs can be justified even if they are produced by a cognitive system that developed by accident, or by a system that was artificially designed to produce those beliefs. So even though the inferentialist reliabilist might have a point in distinguishing between basic and non-basic beliefs, it is still in need of a different response to clairvoyance cases. Chapter 6: Rejoinders for ReliabilismChapter 6 improves on the inferentialist reliabilist account of justification by presenting a different way of dealing with the clairvoyance cases and New Evil Demon Scenario. I start from the empirically plausible idea that we know that we are perceiving when we are perceiving, not because of the use of experiential evidence, but rather, because of an unconscious source-monitoring mechanism. I then argue that the existence of such a source-monitoring mechanism could be used to explain why clairvoyance cases actually have to do with defeat rather than absence of prima facie justification: beliefs that pop up in our head should be recognized as stemming from untrustworthy sources, and so we acquire defeating higher-order beliefs about the first-order beliefs. I also argue that this defeat should be able to occur even if the higher-order beliefs are themselves unjustified. This defeater-account of clairvoyance is preferable to several externalist alternatives. Making reliability relative to a specific world seems rather ad hoc, and further requirements on justification, such as evidence-based belief, cognitively integrated belief, or properly produced belief, all appear unnecessary and are susceptible to adapted versions of the clairvoyance case.I further argue for an alternative inferentialist reliablist response to the New Evil Demon Intuition which treats it as mistaken rather than correct. The New Evil Demon Intuition might arise because of a mistaken view of actual perceptual justification as having to do with experiential evidence. This mistaken view could be explained by the fact that experience is actually reliably connected to belief and is often cited in response to a knowledge-challenge. If this is a correct analysis of the New Evil Demon Intuition, then there is an element of question-begging involved when this scenario is still pressed against inferentialist reliabilists who do not adhere to the experientialist assumption it presupposes.With the inferentialist reliabilist account in hand,we are able to see that many of the premises of the epistemological argument from hallucination are problematic. Evidence does not appear to be required for perceptual knowledge, as perceptual justification does not even require such evidence. Moreover, if we accept a reliabilist model of introspection, then we are often able to know on the basis of introspection that we are perceiving rather than hallucinating. Once one gets clear about the alternatives, it becomes apparent that the argument thrives on internalist assumptions about justification and knowledge that one need not accept. (shrink)

There is much that is interesting in Gennaro's discussion of concepts and concept acquisition, and in general I am very sympathetic to the goals of his book, even if not with every detail (for another account of these issues that I don't fully agree with see Rosenthal 2005, chapter 7). I agree that we have good reason to think that some version of a higher-order thought theory of consciousness could be true and that this is consistent with animals (...) and infants having conscious experience. However, Gennaro and I disagree on the very basic issue of how we formulate the higher-order theory and its explanatory goals, and so I will focus on these more basic issues in the remainder of this review. (shrink)

Music represents a crucial issue in nineteenth-century philosophy and science. Scholars generally possessed a good musical competence and contributed to the explanation of sound perception and aesthetic enjoyment in music. Reflexions on musical psychology, in turn, influenced general theories of mind, sometimes in an impressive way. Meinong plays a remarkable role within this context. Together with Mach, Ehrenfels and Stumpf, Meinong contributed to overtake Helmholtz ’ physical-physiological theory, supporting a more comprehensive approach. He was repeatedly concerned with problems such as (...) to- nal fusion, tone quality and melodic perception. Although Meinong did not develop musical problems systematically, he assumed a quite original and interesting position. His ideas have been developed by some of his followers in the School of Graz. (shrink)

In his study Modernity and the Holocaust, Zygmunt Bauman contrasts the hopes and expectations of the modernising world of the nineteenth century with the real outcomes of the twentieth century, where the very conditions of modernity have led to the mass destruction of humanity and of those early hopes for the betterment of humankind. This volume explores the possibilities left to those once modernising societies, not only in terms of the worlds they have constructed but also in discerning the novel (...) conditions which the closure of modernity entails. That closure, in part the completion of industrialisation and the social order that went with it, and in part the dislocation of the kinds of social knowledge used to understand it, has raised profound and disturbing questions about the character of this brave new world and the ways in which its governance and the goal of the good society can be understood. This volume explores some of the current vicissitudes of modernity, especially in relation to the crises of the political, and the political consequences of new technologies. (shrink)

It is shown by means of a simple example that a good explanation of an event is not necessarily corroborated by the occurrence of that event. It is also shown that this contention follows symbolically if an explanation having higher "explicativity" than another is regarded as better.

I outline a pragmatic view of scientists' use of observation which draws attention to non-discursive, instrumental and social contexts of observation, in order to explain scientists' agreement about the appearance and significance of new phenomena. I argue that: observation is embedded in a network of activities, techniques, and interests; that experimentalists make construals of new phenomena which enable them communicate exploratory techniques and their outcomes, and that empirical enquiry consists of communicative, exploratory and predictive strategies whose interdependence ensures that, (...) notwithstanding the constructedness of representations and the empirical underdetermination of theories, observations contain information about the natural world. (shrink)

Syntactic and structural models specify relationships between their constituents but cannot show what outcomes their interaction would produce over time in the world. Simulation consists in iterating the states of a model, so as to produce behaviour over a period of simulated time. Iteration enables us to trace the implications and outcomes of inference rules and other assumptions implemented in the models that make up a theory. We apply this method to experiments which we treat as models of the particular (...) aspects of reality they are designed to investigate. Scientific experiments are constantly designed and re-designed in the context of implementation and use. They mediate between theoretical understanding and the practicalities of engaging with the empirical and social world. In order to model experiments we need to identify and represent features that all experiments have in common. We treat these features as parameters of a general model of experiment so that by varying these parameters different types of experiment can be modelled. (shrink)

This paper attempts to define Exploratory Data Analysis (EDA) more precisely than usual, and to produce the beginnings of a philosophy of this topical and somewhat novel branch of statistics. A data set is, roughly speaking, a collection of k-tuples for some k. In both descriptive statistics and in EDA, these k-tuples, or functions of them, are represented in a manner matched to human and computer abilities with a view to finding patterns that are not "kinkera". A kinkus is a (...) pattern that has a negligible probability of being even partly potentially explicable. A potentially explicable pattern is one for which there probably exists a hypothesis of adequate "explicativity", which is another technical probabilistic concept. A pattern can be judged to be probably potentially explicable even if we cannot find an explanation. The theory of probability understood here is one of partially ordered (interval-valued), subjective (personal) probabilities. Among other topics relevant to a philosophy of EDA are the "reduction" of data; Francis Bacon's philosophy of science; the automatic formulation of hypotheses; successive deepening of hypotheses; neurophysiology; and rationality of type II. (shrink)

Narrative accounts misrepresent discovery by reconstructing worlds ordered by success rather than the world as explored. Such worlds rarely contain the personal knowledge that informed actual exploration and experiment. This article describes an attempt to recover situated learning in a material environment, tracing the discovery of the first electromagnetic motor by Michael Faraday in September 1821 to show how he modeled new experience and invented procedures to communicate that novelty. The author introduces a notation to map experiment as an active (...) process in a real-world environment and to display the human agency written out of most narratives. Comparing maps of accounts shows how knowledge-construction depends on narrative reconstruction. It is argued that invention processes can be interpreted in the same way as discovery, and a study is proposed to compare packaging learned skills into demonstration devices with the innovative strategies of inventors such as Edison. If situational knowledge is as important as is claimed, computationalists need to join science studies scholars in coming to grips with nonverbal and procedural aspects of discovery and invention. (shrink)

I outline a pragmatic view of scientists' use of observation which draws attention to non-discursive, instrumental and social contexts of observation, in order to explain scientists' agreement about the appearance and significance of new phenomena. I argue that: observation is embedded in a network of activities, techniques, and interests; that experimentalists make construals of new phenomena which enable them communicate exploratory techniques and their outcomes, and that empirical enquiry consists of communicative, exploratory and predictive strategies whose interdependence ensures that, (...) notwithstanding the constructedness of representations and the empirical underdetermination of theories, observations contain information about the natural world. (shrink)

The aim of Language for those who have Nothing is to think psychiatry through the writings of Mikhail Bakhtin. Using the concepts of Dialogism and Polyphony, the Carnival and the Chronotope, a novel means of navigating the clinical landscape is developed. Bakhtin offers language as a social phenomenon and one that is fully embodied. Utterances are shown to be alive and enfleshed and their meanings realised in the context of given social dimensions. The organisation of this book corresponds with carnival (...) practices of taking the high down to the low before replenishing its meaning anew. Thus early discussions of official language and the chronotope become exposed to descending levels of analysis and emphasis. Patients and practitioners are shown to occupy an entirely different spatio-temporal topography. These chronotopes have powerful borders and it is necessary to use the Carnival powers of cunning and deception in order to enter and to leave them. The book provides an overview of practitioners who have attempted such transgression and the author records his own unnerving experience as a pseudopatient. By exploring the context of psychiatry's unofficial voices: its terminology, jokes, parodies, and everyday narratives, the clinical landscape is shown to rely heavily on unofficial dialogues in order to safeguard an official identity. (shrink)

Software piracy is a serious problem in the software industry. Software authors and publishing companies lose revenue when pirated software rather than legally purchased software is used. Policy developers are forced to invest time and money into restricting software piracy. Much of the published research literature focuses on software piracy by end-users. However, end-users are only able to copy software once the copy protection has been removed by a ‘cracker’. This research aims to explore why, if copy protection is so (...) difficult to remove, do crackers invest their skill and time in this activity instead of more lucrative and legal employment. This study develops a framework of neutralisation, justification and motivation and goes directly to the initial software crackers to determine what motivates their activities. The study first applies this framework in an anonymous online survey of crackers. The study then conducts cognitive interviews with eight crackers to explore and further validate the survey’s findings. The study finds the challenge of removing the copy protection from software as the strongest motivation for the actions of crackers. Desire for social participation, while found to be rewarding, was considered unnecessary for crackers to continue their actions. Higher social status was not a motivational factor but was a perceived by-product of cracking. The study also raises areas for future research. (shrink)

In June 1849 William Thomson wrote to Michael Faraday suggesting that the concept of a uniform magnetic field could be used to predict the motions of small magnetic and diamagnetic bodies. In his letter Thomson showed how Faraday's lines of magnetic force could represent the effect of the ‘conducting power’ for magnetic force of matter in the region of magnets. This was Thomson's extension to magnetism of an analogy between the mathematical descriptions of the distribution of static electricity and of (...) the diffusion of heat through uniform bodies. In 1850 Faraday published his first comprehensive theory of the magnetic properties of matter. He explained the behaviour of matter in the field by four assumptions: that matter has a specific disturbing effect on the normal distribution of lines of magnetic force; that this effect depends on its ability to conduct or transmit the magnetic action; and that material bodies tend to move so as to cause the least possible disturbance of the lines from their normal distribution. Faraday also assumed that diamagnetics transmit magnetic action less well than empty space, while paramagnetics transmit it more readily than space. This implied that space must have a specific conductivity between that of paramagnetic and diamagnetic materials. In order to preserve a distinction between matter and space Faraday defined ‘matter’ as either the source of action or as a conductor which is able to influence the lines of action; space was the absence of such powers. While space could conduct, it differed from matter in that it could neither originale lines of force nor influence their course and distribution. (shrink)

Political correctness in Canada: the McEwen report on the political science department at UBC -- The new sectarianism: gender, race, sexual orientation -- Theory 1: Marx, Freud, Nietzsche -- Theory 2: Constructionism, ideology, textuality -- Presentism: postmodernism, poststructuralism, postcolonialism -- The carceral vision: Geertz, Greenblatt, Foucault, and culture as constraint -- The liberal humanist vision: Northrup Frye and culture as freedom -- Conclusion: the hegemony of theory and the managerial university.

We present an exactly soluble electron trajectory that permits an analysis of the soft (deep infrared) radiation emitted, the existence of which has been experimentally observed during beta decay via lowest order inner bremsstrahlung. Our treatment also predicts the time evolution and temperature of the emission, and possibly the spectrum, by analogy with the closely related phenomenon of the dynamic Casimir effect.

The Findlay & Walker model of saccade generation does not appear to account fully for saccadic performance deficits observed in schizophrenia patients. It would be enhanced by inclusion of a frontally mediated, central executive function system. A review of schizophrenia patients' antisaccade task deficits provides an example of the role of higher cortical functioning in saccade generation.

Paediatric research in low-income countries is essential to tackle high childhood mortality. As with all research, consent is an essential part of ethical practice for paediatric studies. Ethics guidelines recommend that parents or another proxy provide legal consent for children to participate, but that children should be involved in the decision through providing assent. However, there remain uncertainties about how to judge when children are ready to give assent and about appropriate assent processes. Malawi does not yet have detailed guidelines (...) on assent. Understanding perspectives among children and their parents can assist in developing contextually-appropriate assent guidance. Qualitative research was conducted with children and parents in three settings in Southern Malawi, to take account of any variations between socioeconomic and cultural contexts. In each setting, interviews were conducted with parents and their children who had participated in paediatric research to understand their experiences of assent and views on appropriate assent practice. Focus groups were also conducted with children and parents, to understand broader social perspectives. We found widespread support for involving children in decisions on research participation. Participants identified a range of factors that affect children’s capacity to give assent, including intellectual capacity, emotional development, life experience and cultural norms. Age was often mentioned as a consideration, but deemed an unreliable sole indicator of capacity to assent. In relation to appropriate assent processes, participants emphasised considerations such as supporting effective understanding and minimizing harms. Views on how to achieve these aims varied; for example, there were different ideas about the appropriate order in which to approach children and parents, and about whose decision to respect in the event of disagreement. Parents and children agreed about the value of involving children in decisions on research, and about the need to promote children’s decision-making capacity while respecting parents’ interests in children’s welfare. Developing practical guidance that meets these principles is challenging, particularly given the need for flexible approaches that suit different study types, children’s capacities and family environments. Further discussion within the Malawi research and ethics community will help develop contextually-appropriate guidelines. (shrink)

Chronic stroke survivors with severe contralesional arm paresis face numerous challenges to performing activities of daily living, which largely rely on the use of the less-affected ipsilesional arm. While use of the ipsilesional arm is often encouraged as a compensatory strategy in rehabilitation, substantial evidence indicates that motor control deficits in this arm can be functionally limiting, suggesting a role for remediation of this arm. Previous research has indicated that the nature of ipsilesional motor control deficits vary with hemisphere of (...) damage and with the severity of contralesional paresis. Thus, in order to design rehabilitation that accounts for these deficits in promoting function, it is critical to understand the relative contributions of both ipsilesional and contralesional arm motor deficits to functional independence in stroke survivors with severe contralesional paresis. We now examine motor deficits in each arm of severely paretic chronic stroke survivors with unilateral damage to determine whether hemisphere-dependent deficits are correlated with functional independence. Clinical evaluation of contralesional, paretic arm impairment was conducted with the upper extremity portion of the Fugl-Meyer assessment. Ipsilesional arm motor performance was evaluated using the Jebsen-Taylor Hand Function Test, grip strength, and ipsilesional high-resolution kinematic analysis during a visually targeted reaching task. Functional independence was measured with the Barthel Index. Functional independence was better correlated with ipsilesional than contralesional arm motor performance in the left hemisphere damage group [JTHFT: [r = −0.73, p = 0.017]; grip strength: [r = 0.64, p = 0.047]], and by contralesional arm impairment in the right hemisphere damage group [UEFM: [r = 0.66, p = 0.040]]. Ipsilesional arm kinematics were correlated with functional independence in the left hemisphere damage group only. Examination of hemisphere-dependent motor correlates of functional independence showed that ipsilesional arm deficits were important in determining functional outcomes in individuals with left hemisphere damage only, suggesting that functional independence in right hemisphere damaged participants was affected by other factors. (shrink)

This paper concerns the relation between goodness, or value, and practical reasons, and in particular the so-called ‘buck-passing’ account (BPA) of that relation recently offered by T. M. Scanlon, according to which goodness is not reason-providing but merely the higher-order property of possessing lower-order properties that provide reasons to respond in certain ways. The paper begins by briefly describing BPA and the motivation for it, noting that Scanlon now accepts that the lower-order properties in question may (...) be evaluative. He also insists that the BPA is not biconditional (wisely, since otherwise goodness becomes a ‘Cambridge property’), which leaves him with the task of explaining why goodness arises only in a sub-set of cases in which lower-order properties ground reasons. Having rejected two attempts to do this, based on elucidation of the responses and of the reasons, I suggest that Scanlon may claim that goodness arises in, and only in, cases where the lower-order properties are evaluative and that goodness itself provides us with a way of distinguishing the evaluative from the non-evaluative. In other words, he should retain the negative component of BPA, according to which being good is not itself reason-providing, while surrendering the positive, according to which the property of goodness is merely the higher-order property of having lower-order properties that provide reasons to respond. CiteULike Connotea Del.icio.us What's this? (shrink)

It is widely accepted in psychology and cognitive science that there are two “systems” in the mind: one system is characterized as quick, intuitive, perceptive, and perhaps more primitive, while the other is described as slower, more deliberative, and responsible for our higher-order cognition. I use the term “reflectivism” to capture the view that conscious reflection—in the “System 2” sense—is a necessary feature of good moral judgment and decision-making. This is not to suggest that System 2 must operate (...) alone in forming our moral decisions, but that it plays a normatively ineliminable role. In this paper, I discuss arguments that have been offered in defense of reflectivism. These arguments fit into two broad categories; let us think of them as two sides of a coin. On the first side are arguments about the efficaciousness of conscious reasoning—for example, without conscious deliberation we will make bad moral judgments and decisions. On the other side of the coin are arguments about the centrality of conscious deliberation to normative actions—for example, without conscious deliberation we are no more agential than animals or automatons. Despite their attractiveness, I argue that these arguments do not successfully establish that reflection is a necessary component of good moral judgment and decision-making. If I am right, the idea that good moral judgment and decision-making can result from entirely automatic and subconscious processes gains traction. My goal in this paper is to show that reflectivism fails to include the full range of cases of moral decision-making and that a theory of automaticity may do a better job. I briefly discuss at the end of the paper how an account of successful automatic moral judgment and decision-making might begin to take shape. (shrink)

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics (...) used in metaphysics, and indicate a number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

Traditional medical practices and relationships are changing given the widespread adoption of AI-driven technologies across the various domains of health and healthcare. In many cases, these new technologies are not specific to the field of healthcare. Still, they are existent, ubiquitous, and commercially available systems upskilled to integrate these novel care practices. Given the widespread adoption, coupled with the dramatic changes in practices, new ethical and social issues emerge due to how these systems nudge users into making decisions and changing (...) behaviours. This article discusses how these AI-driven systems pose particular ethical challenges with regards to nudging. To confront these issues, the value sensitive design approach is adopted as a principled methodology that designers can adopt to design these systems to avoid harming and contribute to the social good. The AI for Social Good factors are adopted as the norms constraining maleficence. In contrast, higher-order values specific to AI, such as those from the EU High-Level Expert Group on AI and the United Nations Sustainable Development Goals, are adopted as the values to be promoted as much as possible in design. The use case of Amazon Alexa's Healthcare Skills is used to illustrate this design approach. It provides an exemplar of how designers and engineers can begin to orientate their design programs of these technologies towards the social good. (shrink)

We provide an overview of three ways in which the expression “Historical epistemology” (HE) is often understood: (1) HE as a study of the history of higher-order epistemic concepts such as objectivity, observation, experimentation, or probability; (2) HE as a study of the historical trajectories of the objects of research, such as the electron, DNA, or phlogiston; (3) HE as the long-term study of scientific developments. After laying out various ways in which these agendas touch on current debates (...) within both epistemology and philosophy of science (e.g., skepticism, realism, rationality of scientific change), we conclude by highlighting three topics as especially worthy of further philosophical investigation. The first concerns the methods, aims and systematic ambitions of the history of epistemology. The second concerns the ways in versions of HE can be connected to versions of naturalized and social epistemologies. The third concerns the philosophy of history, and in particular the level of analysis at which a historical analysis should aim. (shrink)

It is no secret that employees leave their organizations because of bad managers- but what about the good ones? How can researchers and organizations differentiate individuals in terms of the interpersonal skills needed to perform well in the managerial role? Although these are fundamentally important questions to organizational psychologists, there exists no conceptual model, definition, or measure of interpersonal skills specific to the managerial role. We address these questions and research gaps by developing a conceptual model and validating a concomitant (...) measure of managerial interpersonal skills through a research program that included four studies across three phases: First, through a review of the literature and structured interviews with practicing managers; next, three quantitative studies in which we develop, refine and validate our MIPS scale; and finally, in a fourth validation study with matched supervisor-employee data from a large healthcare organization. Results suggest that MIPS are best represented by a three-dimensional model comprised of supporting, motivating and managing conflict all indicating a higher-order latent MIPS factor. Results also indicate the MIPS Scale predicts job attitudes and performance among both employees and managers above and beyond personality traits and leader-member exchange, as well as constructs closely related to MIPS, such as social support and conflict management style. (shrink)

This volume explores the use of higher-order logics in metaphysics. Seventeen original essays trace the development of higher-order metaphysics, discuss different ways in which higher-order languages and logics may be used, and consider their application to various central topics of metaphysics.

BackgroundThere is growing interest in the collection, storage and reuse of biological samples for future research. Storage and future use of biological samples raise ethical concerns and questions about approaches that safeguard the interests of participants. The situation is further complicated in Africa where there is a general lack of governing ethical frameworks that could guide the research community on appropriate approaches for sample storage and use. Furthermore, there is limited empirical data to guide development of such frameworks. A qualitative (...) study to address this gap was conducted with key stakeholders in Malawi to understand their experiences and perspectives regarding storage and usage of samples for future research.MethodsThis study conducted 13 in-depth interviews with ethics committee members, regulators and researchers, and five focus group discussions with community representatives and clinical trial participants in Malawi. Interviews and focus group discussions were audio-recorded, transcribed verbatim, and thematically analysed.ResultsOn the current regulatory guidelines that governs the collection, storage and reuse of samples in Malawi, participants highlighted their different understanding of it, with some indicating that it prohibited the reuse and sharing of samples, while others believed it permitted.Views on the informed consent model used in Malawi, some stakeholders expressed that the current model limited options for sample contributors regarding future use. Researchers supported storing samples for future use in order to maximize their value and reduce research costs. However, they expressed concern over the exportation of samples highlighting that it could lead to misuse and would not support the development of research capacity within Malawi. They recommended use of broad consent or tiered consent and establishment of biobanks to address these concerns.ConclusionsStudy findings highlighted the need for a review of the current regulatory guideline and the development of infrastructure to support the use of stored biological samples for future use among the research community in Malawi. At the moment, there are ethical and practical concerns arising from the collection, storage and secondary use of biological samples make it hard to reconcile scientific progress and the protection of participants. (shrink)

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is (...) then shown how we can use pure higher-order logic to ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)

For Martin, the right to free higher education may be claimed only by those ready and willing pursue autonomy supporting higher education. The unready and unwilling, among whom may be counted carers, disabled, and devout, are excluded. This is unjust. I argue that this injustice follows from a tension between three elements of Martin’s argument: (1) a universal right to autonomy supporting higher education; (2) qualifications on entitlements to access this right in order to preserve the (...) value of higher educational goods; (3) luck egalitarian motivations in Martin’s distributive ethics. I consider options for avoiding such injustices and their implications for Martin’s argument. (shrink)

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her to (...) a sui generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

This paper provides a detailed account of the normal importance of self-knowledge. I critique two previous accounts, one developed by Bilgrami and the other inspired by Putnam. It is argued that the former conflates self-beliefs with the intentional states that these higher-order beliefs are about, whereas the latter shows only that true beliefs of certain kinds—as opposed to true self-beliefs simpliciter—improve our chances of survival. Self-knowledge is valuable for four reasons. First, it improves our chances of survival because (...) it enables us to assess our intentional states and adjust our behavior. Second, it plays a critical role in effecting cooperation because the efficient pursuit of common goals requires that one communicate to others information about one’s beliefs and desires. Third, it provides protection against psychopathologies such as anxiety and narcissism because it enables the agent to assume responsibility for his thoughts and actions. Fourth, it enhances the agent’s self-confidence and happiness because the less he doubts that his successes are the result of his acting on his attitudes and abilities, the more self-confident and happier he is. I conclude with a discussion of the disadvantages of self-knowledge and the advantages of self-ignorance and self-error. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher- (...) class='Hi'>order and the property-theoretic questions may coincide sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

Adapting a definition introduced by Milgrom (1981) we say that a signal about the environment is good news relative to some initial beliefs if the posterior beliefs dominate the initial beliefs in the sense of first-order stochastic dominance (the assumption being that higher values of the parameter representing the environment mean better environments). We give an example where good news leads to the adoption of a more pessimistic course of action (we say that action a, reveals greater pessimism (...) than action a„ if it gives higher payoff in bad environments and lower payoff in good environments). We then give sufficient conditions for a signal not to induce a more pessimistic choice of action. (shrink)