There is growing interest in the use of technology to enhance the tracking and quality of clinical information available for patients in disaster settings. This paper describes the design and evaluation of the Wireless Internet Information System for Medical Response in Disasters (WIISARD).

Inspired by Rudolf Carnap's Der Logische Aufbau Der Welt, David J. Chalmers argues that the world can be constructed from a few basic elements. He develops a scrutability thesis saying that all truths about the world can be derived from basic truths and ideal reasoning. This thesis leads to many philosophical consequences: a broadly Fregean approach to meaning, an internalist approach to the contents of thought, and a reply to W. V. Quine's arguments against the analytic and the a (...) priori. Chalmers also uses scrutability to analyze the unity of science, to defend a conceptual approach to metaphysics, and to mount a structuralist response to skepticism. Based on the 2010 John Locke lectures, Constructing the World opens up debate on central philosophical issues involving language, consciousness, knowledge, and reality. This major work by a leading philosopher will appeal to philosophers in all areas. This entry contains uncorrected proofs of front matter, chapter 1, and first excursus. (shrink)

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends classical (...) logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

There have recently been a number of strong claims that normative considerations, broadly construed, influence many philosophically important folk concepts and perhaps are even a constitutive component of various cognitive processes. Many such claims have been made about the influence of such factors on our folk notion of causation. In this paper, we argue that the strong claims found in the recent literature on causal cognition are overstated, as they are based on one narrow type of data about a particular (...) type of causal cognition; the extant data do not warrant any wide-ranging conclusions about the pervasiveness of normative considerations in causal cognition. Of course, almost all empirical investigations involve some manner of ampliative inference, and so we provide novel empirical results demonstrating that there are types of causal cognition that do not seem to be influenced by moral considerations. (shrink)

People suffering from severe monothematic delusions, such as Capgras, Fregoli, or Cotard patients, regularly assert extraordinary and unlikely things. For example, some say that their loved ones have been replaced by impostors. A popular view in philosophy and cognitive science is that such monothematic delusions aren't beliefs because they don't guide behaviour and affect in the way that beliefs do. Or, if they are beliefs, they are somehow anomalous, atypical, or marginal beliefs. We present evidence from five studies that folk (...) psychology unambiguously views monothematic delusions as stereotypical beliefs. This calls into question widespread assumptions in the professional literature about belief's stereotypical functional profile. We also show that folk psychology views delusional patients as holding contradictory beliefs. And we show that frequent assertion is a powerful cue to belief ascription, more powerful than even a robust and consistent track record of non-verbal behaviour. (shrink)

This paper replies to objections from perceptual distortion against the representationalist thesis that the phenomenal characters of experiences supervene on their intentional contents. It has been argued that some pairs of distorted and undistorted experiences share contents without sharing phenomenal characters, which is incompatible with the supervenience thesis. In reply, I suggest that such cases are not counterexamples to the representationalist thesis because the contents of distorted experiences are always impoverished in some way compared to those of normal experiences. This (...) can be shown by considering limit cases of perceptual distortion, for example, maximally blurry experiences, which manifestly lack details present in clear experiences. I argue that since there is no reasonable way to draw the line between distorted experiences that have degraded content and distorted experiences that do not, we should allow that an increase in distortion is always accompanied by a change in content. This applies to perceptual distortions due to blur, double vision, perspective, and illumination conditions. (shrink)

Some philosophers have recently suggested that the reason mathematics is useful in science is that it expands our expressive capacities. Of these philosophers, only Stephen Yablo has put forward a detailed account of how mathematics brings this advantage. In this article, I set out Yablo’s view and argue that it is implausible. Then, I introduce a simpler account and show it is a serious rival to Yablo’s. 1 Introduction2 Yablo’s Expressionism3 Psychological Objections to Yablo’s Expressionism4 Introducing Belief Expressionism5 Objections and (...) Replies5.1 Yablo’s likely response5.2 Charity6 Conclusion. (shrink)

The figure of Francisco de Vitoria, founder of the so-called School of Salamanca and one of the most important professors of the University of Salamanca in the 16th century, has been considered on different occasions as an admirable model of a university professor. On one side, this article describes the scientific commitment of the School of Salamanca as a sign of an important dimension of university life: research. On the other side, the main features of Vitoria as a teacher will (...) be exposed. His teaching abilities will be taken into account, but also his capacity to involve other colleagues in a joint search for truth will be described. Finally, the renewing character of Vitoria’s Thomism in the framework of philosophy as a great ally of scientific dialogue will be considered. (shrink)

This paper consider Prior's connective Tonk from a particular bilateralist perspective. I show that there is a natural perspective from which we can see Tonk and its ilk as perfectly well-defined pieces of vocabulary; there is no need for restrictions to bar things like Tonk.

This paper discusses the significance of non-causal dependence for truthmaker theory. After introducing truthmaker theory (section 1), I discuss a challenge to it levelled by Benjamin Schnieder. I argue that Schnieder’s challenge can be met once we acknowledge the existence of non-causal dependence and of explanations which rely on it (sections 2 to 5). I then mount my own argument against truthmaker theory, based on the notion of non-causal dependence (sections 6 and 7).

First published in 1990, _Existentialism_ is widely regarded as a classic introductory survey of the topic, and has helped to renew interest in existentialist philosophy. The author places existentialism within the great traditions of philosophy, and argues that it deserves as much attention from analytic philosophers as it has always received on the continent.

These days, just about every philosophical debate seems to generate a position labeledinternalism. The debate I will be joining in this essay concerns reasons for action and their connection, or lack of connection, to motivation. The internalist position in this debate posits a certain essential connection between reasons and motivation, while the externalist position denies such a connection. This debate about internalism overlaps an older debate between Humeans and Kantians about the exclusive reason-giving power of desires. As we will see, (...) however, while these debates overlap, the new debate is importantly different from the old debate. (shrink)

A quarter of a century ago, the first systematic behavioral experiments were performed to clarify the nature of color constancy—the effect whereby the perceived color of a surface remains constant despite changes in the spectrum of the illumination. At about the same time, new models of color constancy appeared, along with physiological data on cortical mechanisms and photographic colorimetric measurements of natural scenes. Since then, as this review shows, there have been many advances. The theoretical requirements for constancy have been (...) better delineated and the range of experimental techniques has been greatly expanded; novel invariant properties of images and a variety of neural mechanisms have been identified; and increasing recognition has been given to the relevance of natural surfaces and scenes as laboratory stimuli. Even so, there remain many theoretical and experimental challenges, not least to develop an account of color constancy that goes beyond deterministic and relatively simple laboratory stimuli and instead deals with the intrinsically variable nature of surfaces and illuminations present in the natural world. (shrink)

Implicit in our everyday attitudes and practices is the assumption that death ordinarily harms a person who dies. A far more contested matter is whether death harms sentient individuals who are not persons, a category that includes many animals and some human beings. On the basis of the deprivation account of the harm of death, I argue that death harms sentient nonpersons. I next consider possible bases for the commonsense judgment that death ordinarily harms persons more than it harms sentient (...) nonpersons. Contrary to what some philosophers believe, it is doubtful that the familiar resources of prudential value theory can vindicate this judgment. I show that the approach that at first glance seems most promising for supporting this judgment – namely, invoking an objective account of well-being – faces substantial challenges, before arguing that McMahan's time-relative interest account supplies the needed theoretical basis. I then go on to extract a significant practical implication of the first thesis, that death ordinarily harms sentient nonpersons: We should find a way to discontinue the routine killing of animal subjects following their use in experiments. (shrink)

In this paper I consider whether a powers ontology facilitates a reduction of causal relations to intrinsic powers of the causal relata. I first argue that there is a tension in the view that powerful causation is an internal relation in this sense. Powers are ontologically dependent on other powers for their individuation, but in that case—given an Aristotelian conception of properties as immanent universals—powers will not be intrinsic on several extant analyses of ‘intrinsic’, since to possess a given power (...) P requires the existence of other concrete particulars as bearers of the powers that individuate P. I suggest several ways for Aristotelians to resolve this tension, but all tenable options involve individuative type-level causal relations between powers. While these individuative relations between powers are internal in the sense that the powers are essentially related, this is a different sense of ‘ internal ’ to the one that entails reducibility. The proposed reduction of token-causal relations to powers succeeds only at the cost of irreducible type-level causal relations between the powers themselves. (shrink)

Ramseyan humility is the thesis that we cannot know which properties realize the roles specified by the laws of completed physics. Lewis seems to offer a sceptical argument for this conclusion. Humean fundamental properties can be permuted as to their causal roles and distribution throughout spacetime, yielding alternative possible worlds with the same fundamental structure as actuality, but at which the totality of available evidence is the same. On the assumption that empirical knowledge requires evidence, we cannot know which of (...) these worlds is actual. However, Lewis also appeals to a range of familiar semantic principles when framing his argument, which leads some authors to suppose that he can also plausibly be interpreted as offering a purely semantic argument for humility in addition. In this paper I grant that these arguments are Lewisian, but argue that Lewis is also committed to a theory of mind that licenses a purely metaphysical argument for humility based on the idea that mental properties supervene on fundamental structure. Given that knowing which x is the F requires knowing that a is the F, the supposition that we could come to know which properties actually occupy the fundamental roles entails differences in mental properties between worlds with the same fundamental structure, violating supervenience. Humility follows right away, without any further epistemic or semantic principles. This argument is immune to almost every way of rebutting the sceptical and semantic arguments; conversely, almost every way of rebutting the metaphysical argument tells equally against the others. (shrink)

This paper argues that higher-order doubt generates an epistemic dilemma. One has a higher-order doubt with regards to P insofar as one justifiably withholds belief as to what attitude towards P is justified. That is, one justifiably withholds belief as to whether one is justified in believing, disbelieving, or withholding belief in P. Using the resources provided by Richard Feldman’s recent discussion of how to respect one’s evidence, I argue that if one has a higher-order doubt with regards to P, (...) then one is not justified in having any attitude towards P. Otherwise put: No attitude towards the doubted proposition respects one’s higher-order doubt. I argue that the most promising response to this problem is to hold that when one has a higher-order doubt about P, the best one can do to respect such a doubt is to simply have no attitude towards P. Higher-order doubt is thus much more rationally corrosive than non-higher-order doubt, as it undermines the possibility of justifiably having any attitude towards the doubted proposition. (shrink)

Conscious mental states are states we are in some way aware of. I compare higher-order theories of consciousness, which explain consciousness by appeal to such higher-order awareness (HOA), and first-order theories, which do not, and I argue that higher-order theories have substantial explanatory advantages. The higher-order nature of our awareness of our conscious states suggests an analogy with the metacognition that figures in the regulation of psychological processes and behaviour. I argue that, although both consciousness and metacognition involve higher-order psychological (...) states, they have little more in common. One thing they do share is the possibility of misrepresentation; just as metacognitive processing can misrepresent one’s cognitive states and abilities, so the HOA in virtue of which one’s mental states are conscious can, and sometimes does, misdescribe those states. A striking difference between the two, however, has to do with utility for psychological processing. Metacognition has considerable benefit for psychological processing; in contrast, it is unlikely that there is much, if any, utility to mental states’ being conscious over and above the utility those states have when they are not conscious. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...) all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, (...) undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Friedrich Nietzsche was Less Well-Read in the history of philosophy than were many of his peers in the pantheon, whether Hegel before him or Heidegger after, but he was not for that reason any less hesitant to pronounce judgment on the worth of the other great philosophers: Plato was “boring”; Descartes was “superficial”; Hobbes, Hume, and Locke signify “a debasement and lowering of the concept of ‘philosophy’ for more than a century”; Kant was an “idiot” and a “catastrophic spider,” etc.1 (...) Against this overarching trend of negativity, his uncharacteristically positive response to one thinker, a thinker who initially appears to us as quite different from him, is all the more surprising. In the summer of .. (shrink)

Mathematically, gauge theories are extraordinarily rich --- so rich, in fact, that it can become all too easy to lose track of the connections between results, and become lost in a mass of beautiful theorems and properties: indeterminism, constraints, Noether identities, local and global symmetries, and so on. -/- One purpose of this short article is to provide some sort of a guide through the mathematics, to the conceptual core of what is actually going on. Its focus is on the (...) Lagrangian, variational-problem description of classical mechanics, from which the link between gauge symmetry and the apparent violation of determinism is easy to understand; only towards the end will the Hamiltonian description be considered. -/- The other purpose is to warn against adopting too unified a perspective on gauge theories. It will be argued that the meaning of the gauge freedom in a theory like general relativity is (at least from the Lagrangian viewpoint) significantly different from its meaning in theories like electromagnetism. The Hamiltonian framework blurs this distinction, and orthodox methods of quantization obliterate it; this may, in fact, be genuine progress, but it is dangerous to be guided by mathematics into conflating two conceptually distinct notions without appreciating the physical consequences. (shrink)

This chapter develops a ``nesting'' model of deontic normative principles (i.e., principles that specify moral constraints upon action) as a means to understanding the notion of a ``fundamental normative principle''. I show that an apparently promising attempt to make sense of this notion such that the ``real'' or ``fundamental'' demands of justice upon action are not constrained by social facts is either self-defeating or relatively unappealing. We should treat fundamental normative principles not as specifying fundamental constraints upon action, but as (...) specifying basic criteria for comparatively evaluating and ranking possibilities. (shrink)

A recurring claim in a number of behavioural, cognitive and neuro-scientific literatures is that there is, or must be, a unidimensional ‘common currency’ in which the values of different available options are represented. There is striking variety in the quantities or properties that have been proposed as determinants of the ordering in motivational strength. Among those seriously suggested are pain and pleasure, biological fitness, reward and reinforcement, and utility among economists, who have regimented the notion of utility in a variety (...) of ways, some of them incompatible. This topic deserves philosophical attention for at least the following reasons. Repeated invocation of the ‘common currency’ idiom isn’t merely terminological coincidence because most of the claims are competing explanations either of manifest pattern in choices, or of order in the processes producing choice. We can’t suppose that the different currency claims within each area are compatible, because there are significant obstacles to identifying pairs of members of either the ‘pattern’ or ‘process’ group. There are, finally, seriously opposed positions about the relationships between the pattern facts and the process facts. There are philosophical positions both favouring and opposing a common currency. But direct consideration of the abstract relationships between claims about common currencies across scientific settings, and the arguments for and against these claims, is relatively rare. There is, though, much of philosophical interest to be found here. (shrink)

This article addresses three main questions: What causes cognitive overload in the workplace? What analytical framework should be used to understand how agents interact with their work environments? How can environments be restructured to improve the cognitive workflow of agents? Four primary causes of overload are identified: too much tasking and interruption, and inadequate workplace infrastructure to help reduce the need for planning, monitoring, reminding, reclassifying information, etc… The first step in reducing the cognitive impact of these causes is to (...) enrich classical frameworks for understanding work environments, such as Newell and Simon’s notion of a task environment, by recognizing that our actual workplace is a superposition of many specific environments – activity spaces – which we slip between. Each has its own cost structure arising from the tools and resources available, including the cognitive strategies and interpretational frameworks of individual agents. These cognitive factors are significant, affecting how easy or difficult it is to perform an action, such as finding a specific paper in a “mess” desk. A few simple examples show how work environments can be redesigned and how restructuring can alter the cost structure of activity spaces. (shrink)

Some types of solar radiation management (SRM) research are ethically problematic because they expose persons, animals, and ecosystems to significant risks. In our earlier work, we argued for ethical norms for SRM research based on norms for biomedical research. Biomedical researchers may not conduct research on persons without their consent, but universal consent is impractical for SRM research. We argue that instead of requiring universal consent, ethical norms for SRM research require only political legitimacy in decision-making about global SRM trials. (...) Using Allen Buchanan & Robert Keohane's model of global political legitimacy, we examine several existing global institutions as possible analogues for a politically legitimate SRM decision-making body. (shrink)

This paper examines the thought of Pope Francis on the nature of the university and its mission as expressed in Veritatis gaudium and proposes a reading of Fides et ratio and Lumen fidei in its light. The starting point is the situation of the university in the liquid modernity as described by Bauman, whose reflections partly inspire Francis’ sociological analyses. According to the Pope, the university must contribute to the rooting of persons by building a true community of study and (...) research. This requires a science free from the temptation of sophistry (a form of domination) and inspired by concern for the other: friendship is thus the context in which the rationality proper to a new humanism can develop. (shrink)

Any realist interpretation of quantum theory must grapple with the measurement problem and the status of state-vector collapse. In a no-collapse approach, measurement is typically modeled as a dynamical process involving decoherence. We describe how the minimal modal interpretation closes a gap in this dynamical description, leading to a complete and consistent resolution to the measurement problem and an effective form of state collapse. Our interpretation also provides insight into the indivisible nature of measurement—the fact that you can't stop a (...) measurement part-way through and uncover the underlying 'ontic' dynamics of the system in question. Having discussed the hidden dynamics of a system's ontic state during measurement, we turn to more general forms of open-system dynamics and explore the extent to which the details of the underlying ontic behavior of a system can be described. We construct a space of ontic trajectories and describe obstructions to defining a probability measure on this space. (shrink)

Many epistemologists hold that an agent can come to justifiably believe that p is true by seeing that it appears that p is true, without having any antecedent reason to believe that visual impressions are generally reliable. Certain reliabilists think this, at least if the agent’s vision is generally reliable. And it is a central tenet of dogmatism (as described by James Pryor) that this is possible. Against these positions it has been argued (e.g. by Stewart Cohen and Roger White) (...) that this violates some principles from probabilistic learning theory. To see the problem, let’s note what the dogmatist thinks we can learn by paying attention to how things appear. (The reliabilist says the same things, but we’ll focus on the dogmatist.). (shrink)

There is a tension between the reasonable desire not to be judgmental of other people’s behaviour or character, and the moral necessity of making negative judgments in some cases. I sketch a way in which we might accommodate both, via an evaluation of the good of reputation and the ethics of judgment of other people’s character and behaviour. I argue that a good reputation is a highly valuable good for its bearer, akin to a property right, and not to be (...) damaged without serious reason deriving from the demands of justice and the common welfare. Rash judgment wrongfully damages reputation and is sometimes a seriously immoral act. Rashness is not merely about lack of evidence, but involves lack of charity and is to be avoided even in some cases where the evidence of bad character or action is epistemically sufficient for judgment. I argue that the desirability of a good name for its holder, whether the reputation is deserved or not, means that in all but a relatively narrow range of cases it is always wrong to think badly of someone, even if they are bad. (shrink)

The aim of this article is to propose a methodological externalism that takes knowledge about science to be partly constituted by the environment. My starting point is the debate about extended cognition in contemporary philosophy and cognitive science. Externalists claim that human cognition extends beyond the brain and can be partly constituted by external devices. First, I show that most studies of public knowledge about science are based on an internalist framework that excludes the environment we usually utilize to make (...) sense of science and does not allow the possibility of extended knowledge. In a second step, I argue that science communication studies should adopt a methodological externalism and accept that knowledge about science can be partly realized by external information resources such as Wikipedia. (shrink)

We present data and argument to show that in Tetris—a real-time interactive video game—certain cognitive and perceptual problems are more quickly, easily, and reliably solved by performing actions in the world rather than by performing computational actions in the head alone. We have found that some translations and rotations are best understood as being used to implement a plan, or to implement a reaction. To substantiate our position we have implemented a computational laboratory that lets us record keystrokes and game (...) situations, as well as allows us to dynamically create situations. Using the data of over 30 subjects playing 6 games, tachistoscopic tests of some of these subjects, and results from our own successful efforts at building expert systems to play Tetris, we show why knowing how to use one’s environment to enhance speed and robustness are important components in skilled play. (shrink)

According to the most popular theories of intentionality, a family of theories we will refer to as “functional intentionality,” a machine can have genuine intentional states so long as it has functionally characterizable mental states that are causally hooked up to the world in the right way. This paper considers a detailed description of a robot that seems to meet the conditions of functional intentionality, but which falls victim to what I call “the composition problem.” One obvious way to escape (...) the problem (arguably, the only way) is if the robot can be shown to be a moral patient – to deserve a particular moral status. If so, it isn’t clear how functional intentionality could remain plausible (something like “phenomenal intentionality” would be required). Finally, while it would have seemed that a reasonable strategy for establishing the moral status of intelligent machines would be to demonstrate that the machine possessed genuine intentionality, the composition argument suggests that the order of precedence is reversed: The machine must first be shown to possess a particular moral status before it is a candidate for having genuine intentionality. (shrink)

The paper that follows continues a discussion with Tomis Kapitan in the pages of this journal over the compatibility of divine agency with divine foreknowledge. I had earlier argued against two premises in Kapitan's case for omniscient impotence: (i) that intentionally A-ing presupposes prior acquisition of the intention to A, and (ii) that acquiring the intention to A presupposes prior ignorance whether one will A. In response to my criticisms, Kapitan has recently offered new defences for these two premises. I (...) show in reply why neither defence succeeds in rehabilitating the case against omniscient agency. (Note that the very first sentence of the published version has a misprint: instead of "To claim that divine foreknowledge is inconsistent with divine agency has been pressed with increasing frequency of late . . .", it should read, "_The_ claim . . ."!). (shrink)

Contemporary choreography offers a window onto creative processes that rely on harnessing the power of sensory sys- tems. Dancers use their body as a thing to think with and their sensory systems as engines to simulate ideas non- propositionally. We report here on an initial analysis of data collected in a lengthy ethnographic study of the making of a dance by a major choreographer and show how translating between different sensory modalities can help dancers and choreographer to be more creative.

‘The soul hypothesis’ enjoys near unanimous support in the general population. Among philosophers and scientists, however, belief in the soul is far less common. The purpose of this essay to explain why many philosophers and scientists reject the soul hypothesis and to consider what the non-existence of the soul would entail.

How Heidegger criticizes and "locates" science, and some problems with what he is trying to do.

I will open the first part of this paper by trying to elucidate the frequentist foundations of RCTs. I will then present a number of methodological objections against the viability of these inferential principles in the conduct of actual clinical trials. In the following section, I will explore the main ethical issues in frequentist trials, namely those related to randomisation and the use of stopping rules. In the final section of the first part, I will analyse why RCTs were accepted (...) for regulatory purposes. I contend that their main virtue, from a regulatory viewpoint, is their impartiality, which is grounded in randomisation and fixed rules for the interpretation of the experiment. Thus the question will be whether Bayesian trials can match or exceed the achievements of frequentist RCTs in all these respects. In the second part of the paper, I will first present a quick glimpse of the introduction of Bayesianism in the field of medical experiments, followed by a summary presentation of the basic tenets of a Bayesian trial. The point here is to show that there is no such thing as “a” Bayesian trial. Bayesianism can ground many different approaches to medical experiments and we should assess their respective virtues separately. Thus I present two actual trials, planned with different goals in mind, and assess their respective epistemic, ethical and regulatory merits. In a tentative conclusion, I contend that, given the constraints imposed by our current regulatory framework, impartiality should preside over the design of clinical trials, even at the expense of many of their inferential and ethical virtues. (shrink)

The question of how to conceive and represent the context of work is explored from the theoretical perspective of distributed cognition. It is argued that to understand the office work context we need to go beyond tracking superficial physical attributes such as who or what is where and when and consider the state of digital resources, people’s concepts, task state, social relations, and the local work culture, to name a few. In analyzing an office more deeply, three concepts are especially (...) helpful: entry points, action landscapes, and coordinating mechanisms. An entry point is a structure or cue that represents an invitation to enter an information space or office task. An activity landscape is part mental construct and part physical; it is the space users interactively construct out of the resources they find when trying to accomplish a task. A coordinating mechanism is an artifact, such as a schedule or clock, or an environmental structure such as the layout of papers to be signed, which helps a user manage the complexity of his task. Using these three concepts we can abstract away from many of the surface attributes of work context and define the deep structure of a setting—the invariant structure that many office settings share. A long-term challenge for context-aware computing is to operationalize these analytic concepts. (shrink)

The attitude to the Bible is a seismograph for scrutinizing the attitude of Zionism, in general, and that of the settlers, in particular, to their ideological and political world view. To where in the Bible are the settlers returning? To the Land of Canaan, to the land of the Patriarchs, or perhaps to the Kingdom of David? And what is the meaning of this return? It is not only the land that is basic to this question, but the relationship (...) of the Land of Israel to the people of Israel. In this article, we will mainly address the radical theological facets of the settler movement, not the proponents of Greater Israel. Our article will focus on the replication of settler theology from the first stage of Gush Emunim and the act of settlement, which in the opinion of the settlers is in accord with the continuation and completion of the Zionist project, to a more metaphysical phase, in which the centrality of the act of settlement gives way to Hassidic or kabbalistic thinking. The models which we present, make possible a fresh look at the utopian thinking and radical theology that are nourished by the settler movement and reflect a new, non-homogeneous stage. (shrink)

Recent developments in pure mathematics and in mathematical logic have uncovered a fundamental duality between "existence" and "information." In logic, the duality is between the Boolean logic of subsets and the logic of quotient sets, equivalence relations, or partitions. The analogue to an element of a subset is the notion of a distinction of a partition, and that leads to a whole stream of dualities or analogies--including the development of new logical foundations for information theory parallel to Boole's development of (...) logical finite probability theory. After outlining these dual concepts in mathematical terms, we turn to a more metaphysical speculation about two dual notions of reality, a fully definite notion using Boolean logic and appropriate for classical physics, and the other objectively indefinite notion using partition logic which turns out to be appropriate for quantum mechanics. The existence-information duality is used to intuitively illustrate these two dual notions of reality. The elucidation of the objectively indefinite notion of reality leads to the "killer application" of the existence-information duality, namely the interpretation of quantum mechanics. (shrink)

In the Āgamadambara (“Much Ado about Religion”), Jayanta Bhatta appears to be making a case for religious toleration and pluralism. This paper considers whether Jayanta has a concept like toleration in mind at all, or at least something that we today might understand to be toleration. If he is doing neither, our understanding of the nature of tolerance and its conceptual limits may be furthered by determining exactly what he is talking about and why it looks so much like tolerance.

To discover how to couple reflection with reaction we have been studying how people play the computer game Tetris. Our basic intuition is that the job of the reasoned is to monitor the environment and the agent’s behavior over time to discover trends or deviations from the agent’s normative policy and tune the priorities of the Attentional system accordingly.

This article deals with the action of the Divine Word in the history of salvation by studying the Lectura super Ioannem. The Divine Word expresses perfectly the essence of God by way of intellect. When the Father intends to manifest Himself ad extra, He speaks through His Word. Creatures represent a very imperfect likeness of God. In the prophetic word the Son speaks with human words; however, the only voice entirely united to the Divine Word is the humanity of Jesus. (...) Christ, especially in His paschal mystery, constitutes the culmination of God’s revelation. Even in the beatific vision, the Word will be the mediator of our knowledge of the Father. (shrink)

Hegel attacks Kantian morality most often without stating an opposing moral theory, tending to subsequently take up discussion of religion or the state. Commentators have variously suggested the logical consequence of Hegel's position is "the dissolution of ethics in sociology" without "room for personal morality of any kind" or that Hegel's argument is against Kantian <i>Moralitat</i>, which allows the private individual to appeal beyond social mores to universal moral standards, with Hegel insisting that concrete values come instead from <i>Sittlichkeit</i>, the (...) social order. If thinking of morality as a purely private matter of the individual's conscience seems too abstract, the Hegelian criticisms should show that moral reflections are vacuous unless they take account of the social world in which they will be realized as concrete actions. From the Hegelian's perspective on morality as seen from the more inclusive context of <i>Sittlichkeit</i>, social action that is also moral will not need to be analyzed in terms of Kant's metaphysical dualisms between reason and inclination, intentions and consequences, or the sensible and the intelligible realms. Whereas Kant thinks moral theory leads directly to religious and metaphysical postulates, Hegel deliberately leads it in another direction. He can be understood historically as going beyond Kant's effort to secularize moral philosophy. Kant begins this process by grounding moral philosophy in reason alone, not in religion. Religious postulates may follow from moral beliefs, says Kant, but morality is not derived from religious premisses. In going from private moral conscience not to religious beliefs but to social, political, and historical considerations (which could include religion seen as a social institution), Hegel extends the process of secularizing moral philosophy." Marcuse and Knox could thus both be right, since Hegel's goal is not to replace Kant's moral philosophy with another, competing moral philosophy, but to accept it, while recognizing its limitations, as a special case of a larger theory of social action. In the Hegelian jargon, from a standpoint recognizing Sittlichkeit, Moralitdt is thus <i>aufgehoben</i>, that is, Kant's formal procedures will be both "negated" (criticized for their limitations) and "preserved" (embedded in a more inclusive philosophy). (shrink)