What does the abundance of data and proliferation of data-making methods mean for the ordinary person, the person on the street? And, what could they come to mean? In this paper, we present an overview of a year-long project to examine just such questions and complicate, in some ways, what it is to ask them. The project is a collective exercise in which we – a mixture of social scientists, designers and makers – and those living and working on one (...) street in Cambridge, Tenison Road, are working to think through how data might be materialised and come to matter. The project aims to better understand the specificities and contingencies that arise when data is produced and used in place. Mid-way through the project, we use this commentary to give some background to the work and detail one or two of the troubles we have encountered in putting locally relevant data to work. We also touch on a methodological standpoint we are working our way into and through, one that we hope complicates the separations between subject and object in data-making and opens up possibilities for a generative refiguring of the manifold relations. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BALTHASAR AND ECKHART: THEOLOGICAL PRINCIPLES AND CATHOLICITY CYRIL O'REGAN Yale University New Haven, Connecticut Or pleas'd to wound, and yet afraid to strike, Just hint a Fault, and hesitate Dislike; Alike reserv'd to blame or to commend, A tim'rous Foe and a suspitious Friend 1 THE TENDENCY to avoid exclusion is a mark of the thought of Hans Urs von Balthasar. It represents an identifying habit, an incorrigible (...) feature of style and sensibility. His texts in which theologians, philosophers, poets, dramatists, and saints are christianly praised give testimony to a catholicity that barely brooks limits. Not only in true Gospel fashion are a multitude invited to the eschatological banquet, they constitute the vast medium of tradition, in which Maximus the Confessor rubs shoulders with Plato, in the company of Claudel, Calderon, and Therese of Lisieux. At different times Balthasar thinks of the tradition as one huge symphony in which notes sound only to be transcended and as a conversation between particular perspectives on the great mystery of redemption, no one of which is final and which meet only in the infinity of their object. The decision for plurality and variety in the tradition certainly validates difference and counts against its reduction.2 Yet at the same time tradition, precisely as a matter of variety, exhibits a measure of coherence or concordance that pro1 These couplets are from Alexander Pope's poem Atticus. See Minor Poems, ed. Norman Ault, completed by John Butt (London: Methuen & Co. Ltd.; New Haven: Yale University Press, 1954), p. 143. 2 See, for example, The Theology of Karl Barth, trans. Edward T. Oakes, S.J. (San Francisco: Ignatius Press, 1992), pp. 39, 187, 251. 203 204 CYRIL O'REGAN hibits difference from becoming truly excessive. It is this prohibition of excessive difference in Balthasar's reading of tradition that I would like to examine here. I take as my case study of Balthasar's rhetoric of reading his conflicted response to Meister Eckhart, about whose inclusion in the Christian tradition Balthasar expresses no doubts, yet whose theological message is such as to cause anxiety. We shall occupy ourselves in this paper with the way in which Eckhart's nonnegotiable inclusion within the tradition serves to repress the account of those features that present a fundamental challenge, that represent difference that would make the Christian field radically heterogeneous. In the first two sections, focusing mainly on the fifth volume of The Glory of the Lord (=GL),3 I shall offer outlines of both the positive and negative contributions Eckhart is deemed to have made to the theological tradition. Though I do not wish to give the impression of Scholastic pro and contra, Balthasar's positive remarks being imbricated with the negative and vice versa, it will be suggested that the elements adduced in both cases constitute mirror images of each other. Balthasar takes a bifocal, though not stereoscopic, view of a group of five elements: aesthetic disposition, the sameness of Being and God, the whylessness of the divine, Gelassenheit, and Gottesgeburt. This group is in effect read twice, once in a way that affirms and confirms Eckhart's unproblematic inclusion in the tradition (section 1), and again in a way that, in the light of basic Christian principles, raises serious questions about such inclusion (section 2). In a final section the question is raised whether the conflict in interpretation suggests a deeper underlying conflict between Balthasarian commitment to Catholic theological principles and catholicity. I. BALTHASAR'S AFFIRMATIVE RENDERING OF ECKHART On the surface there is little reservation about the approbation Eckhart receives in the fifth volume of The Glory of the 3 The Glory ofthe Lord: A Theological Aesthetics, vol. S, The Realm ofMetaphysics in the Modern Age, trans. Oliver Davies, Andrew Louth, Brian McNeil, C.R.V., John Saward, and Rowan Williams, ed. Brian McNeil, C.R.V. and John Riches (San Francisco: Ignatius Press, 1991). BALTHASAR AND ECKHART 205 Lord. If the depths of Balthasar's analyses of the medievals in his volumes on metaphysics (vols. 4 & 5) never reach the level of his account of Anselm and Bonaventure in volume two, it would be caviling to suggest that his intention at the... (shrink)

Does thought have distinctive experiential features? Is there, in addition to sensory phenomenology, a kind of cognitive phenomenology--phenomenology of a cognitive or conceptual character? Leading philosophers of mind debate whether conscious thought has cognitive phenomenology and whether it is part of conscious perception and conscious emotion.

Some have claimed that people with very different beliefs literally see the world differently. Thus Thomas Kuhn: ‘what a man sees depends both upon what he looks at and also upon what his previous visual—conceptual experience has taught him to see’ (Kuhn 1970, p. ll3). This view — call it ‘Perceptual Relativism’ — entails that a scientist and a child may look at a cathode ray tube and, in a sense, the first will see it while the second won’t. The (...) claim is not, of course, that the child’s experience is ‘empty’; but that, unlike the scientist, it does not see the tube as a cathode ray tube. One way of supporting this claim is to say that one cannot see something as an F unless one has the concept F. Since the child plainly lacks the concept of a cathode ray tube, it cannot see it as a cathode ray tube. Although Perceptual Relativism is hard to believe, this supporting suggestion is not so implausible. After all, when we see (and more generally, perceive) the world, the world is presented to us in a particular way; so how can we see it as being that way unless we have some idea or conception of the way it is presented? We need not be committed to a representative theory of perception to think that perceptions in some sense represent the world. We can express this by saying that perceptions have content. Now it is a commonplace that the contents of beliefs and the other propositional attitudes involve concepts. The belief that this thing is a cathode ray tube involves, in some sense, the concept cathode ray tube. So the line of thought behind Perceptual Relativism may be expressed thus: seeing an F as an F is a state with content. (shrink)

I defend the intention-dependence of artifacts, which says that something is an artifact of kind K only if it is the successful product of an intention to make an artifact of kind K. I consider objections from two directions. First, that artifacts are often mind- and intention-dependent, but that this isn’t necessary, as shown by swamp cases. I offer various error theories for why someone would have artifact intuitions in such cases. Second, that while artifacts are necessarily mind-dependent, they aren’t (...) necessarily intention-dependent. I consider and reject three kinds of cases which purport to show this: accidental creation, automated production, and mass production. I argue that intentions are present in all of these cases, but not where we would normally expect. (shrink)

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

This paper sketches a taxonomy of forms of substantivalism and relationism concerning space and time, and of the traditional arguments for these positions. Several natural sorts of relationism are able to account for Newton's bucket experiment. Conversely, appropriately constructed substantivalism can survive Leibniz's critique, a fact which has been obscured by the conflation of two of Leibniz's arguments. The form of relationism appropriate to the Special Theory of Relativity is also able to evade the problems raised by Field. I survey (...) the effect of the General Theory of Relativity and of plenism on these considerations. (shrink)

If you stare for a period of time at a scene which contains movement in one direction, and then turn your attention to an object in a scene which contains no movement, this object will appear to move in the opposite direction to that of the original movement. The effect can be easily achieved by attaching a piece of paper with a spiral drawn on it to the spinning turntable of a record player, and then turning the turntable off while (...) continuing to look at the spiral (see Frisby 1979, pp. 100-101 for a detailed descrip- tion of how to bring this about). But the illusion of movement can also occur when looking at a waterfall, for instance, and turning one's attention away from the waterfall to a stationary object such as a stone; hence its name - the 'Waterfall Illusion'. (shrink)

Which systems/organisms are conscious? New tests for consciousness (‘C-tests’) are urgently needed. There is persisting uncertainty about when consciousness arises in human development, when it is lost due to neurological disorders and brain injury, and how it is distributed in nonhuman species. This need is amplified by recent and rapid developments in artificial intelligence (AI), neural organoids, and xenobot technology. Although a number of C-tests have been proposed in recent years, most are of limited use, and currently we have no (...) C-tests for many of the populations for which they are most critical. Here, we identify challenges facing any attempt to develop C-tests, propose a multidimensional classification of such tests, and identify strategies that might be used to validate them. (shrink)

Is there, or should there be, any place in contemporary philosophy of mind for the concept of an intentional object? Many philosophers would make short work of this question. In a discussion of what intentional objects are supposed to be, John Searle...

The nature of perception has long been a central question in philosophy. It is of crucial importance not just in the philosophy of mind, but also in epistemology, metaphysics, aesthetics, and the philosophy of science. The essays in this 1992 volume not only offer fresh answers to some of the traditional problems of perception, but also examine the subject in light of contemporary research on mental content. A substantial introduction locates the essays within the recent history of the subject, and (...) demonstrates the links between them. The Contents of Experience brings together some prominent philosophers in the field, and offers a major statement on a problem central to current philosophical thinking. Notable contributors include Christopher Peacocke, Brian O'Shaughnessy and Michael Tye. (shrink)

Many authors in ethics, economics, and political science endorse the Lottery Requirement, that is, the following thesis: where different parties have equal moral claims to one indivisible good, it is morally obligatory to let a fair lottery decide which party is to receive the good. This article defends skepticism about the Lottery Requirement. It distinguishes three broad strategies of defending such a requirement: the surrogate satisfaction account, the procedural account, and the ideal consent account, and argues that none of these (...) strategies succeed. The article then discusses and discharges some remaining grounds for resistance to these skeptical conclusions, as well as the possibility of defending a weaker version of a normative lottery principle. The conclusion is that we have no reason to believe that where equal claims conflict, we are morally required to hold a lottery, as opposed to simply picking one of the parties on more subjective grounds or out of pure whim. In addition to the practical consequences of this skeptical view, the article sketches some theoretical implications for debates about saving the greater number and about axiomatic utilitarianism. (shrink)

Relational egalitarianism holds that people should live together as equals. We argue against the received wisdom amongst both friends and foes of relational egalitarianism that it fails to provide a theory of intergenerational justice. Instead, we argue that relational egalitarianism is concerned with social equality amongst future contemporaries, and that this commitment gives rise to duties of justice for current generations that can be grounded in the idea of generational overlap. In doing so, we argue that that the scope of (...) relational egalitarian concerns extends beyond generations amongst whom social relations exist. (shrink)

According to conventional wisdom, the split-brain syndrome puts paid to the thesis that consciousness is necessarily unified. The aim of this paper is to challenge that view. I argue both that disunity models of the split-brain are highly problematic, and that there is much to recommend a model of the split-brain—the switch model—according to which split-brain patients retain a fully unified consciousness at all times. Although the task of examining the unity of consciousness through the lens of the split-brain syndrome (...) is not a new one—such projects date back to Nagel’s seminal paper on the topic—the time is ripe for a re-evaluation of the issues. (shrink)

Godfrey-Smith ( 2001 ) has distinguished three types of adaptationism. This article builds on his analysis, and revises it in places, by distinguishing seven varieties of adaptationism. This taxonomy allows us to clarify what is at stake in debates over adaptationism, and it also helps to cement the importance of Gould and Lewontin’s ‘Spandrels’ essay. Some adaptationists have suggested that their essay does not offer any coherent alternative to the adaptationist programme: it consists only in an exhortation to test adaptationist (...) hypotheses more thoroughly than was usual in the 1970s. Here it is argued that the ‘Spandrels’ paper points towards a genuinely non-adaptationist methodology implicit in much evolutionary developmental biology. This conclusion helps to expose the links between older debates over adaptationism and more recent questions about the property of evolvability. (shrink)

We defend the view that we are not identical to organisms against the objection that it implies that there are two subjects of every conscious state one experiences: oneself and one’s organism. We then criticize animalism —the view that each of us is identical to a human organism—by showing that it has unacceptable implications for a range of actual and hypothetical cases of conjoined twinning : dicephalus, craniopagus parasiticus, and cephalopagus.

In The Mind and the World Order, C.I. Lewis made a famous distinction between the immediate data ‘which are presented or given to the mind’ and the ‘construction or interpretation’ which the mind brings to those data (1929: 52). What the mind receives is the datum – literally, the given – and the interpretation is what happens when we being it ‘under some category or other, select from it, emphasise aspects of it, and relate it in particular and unavoidable ways’ (...) (1929: 52). So although any attempt to describe the given will inevitably be an interpretation of it, this should not give us reason to deny its existence: ‘no-one but a philosopher could for a moment deny this immediate presence in consciousness of that which no activity of thought can create or alter’ (1929: 53). Whatever those outside philosophy might think, Lewis was certainly right about what philosophers were prepared to deny. His conception of the ‘given’ is without question one of the targets of Wilfrid Sellars’s influential critique of the notion of the ‘whole framework of givenness’ (1957).1 One of the things Sellars was attacking was the idea that something that was merely given by the senses could put one in a position to be justified in making a judgement about the empirical world. The.. (shrink)

Many philosophers think that being in an intentional state is a matter of being related to a sentence in a mental language-a 'Language of Thought' (see especially Fodor 1975, 1987 Appendix; Field 1978). According to this view-which I shall call 'the LT hypothesis'-when anyone has a belief or a desire or a hope with a certain content, they have a sentence of this language, with that content, 'written' in their heads. The claim is meant quite literally: the mental representations that (...) make up the items of this language have semantic and syntactic properties. This is why, according to this view, cognitive psychology does, and should, treat that part of the mind which deals with intentional states as a semantic and a syntactic 'engine'. (shrink)

The attention economy — the market where consumers’ attention is exchanged for goods and services — poses a variety of threats to individuals’ autonomy, which, at minimum, involves the ability to set and pursue ends for oneself. It has been argued that the threat wireless mobile devices pose to autonomy gives rise to a duty to oneself to be a digital minimalist, one whose interactions with digital technologies are intentional such that they do not conflict with their ends. In this (...) paper, we argue that there is a corresponding duty to others to be an attention ecologist, one who promotes digital minimalism in others. Although the moral reasons for being an attention ecologist are similar to those that motivate the duty to oneself, the arguments diverge in important ways. We explore the application of this duty in various domains where we have special obligations to promote autonomy in virtue of the different roles we play in the lives of others, such as parents and teachers. We also discuss the consequences of our arguments for employers, software developers, and policy makers. (shrink)

Desires move us to action, give us urges, incline us to joy at their satisfaction, and incline us to sorrow at their frustration. Naturalistic work on desire has focused on distinguishing which of these phenomena are part of the nature of desire, and which are merely normal consequences of desiring. Three main answers have been proposed. The first holds that the central necessary fact about desires is that they lead to action. The second makes pleasure the essence of desire. And (...) the third holds that the central necessary fact about desires is that they open us to reward-based learning. (shrink)

Franz Brentano’s attempt to distinguish mental from physical phenomena by employing the scholastic concept of intentional inexistence is often cited as reintroducing the concept of intentionality into mainstream philosophical discussion. But Brentano’s own claims about intentional inexistence are much misunderstood. In the second half of the 20th century, analytical philosophers in particular have misread Brentano’s views in misleading ways.1 It is important to correct these misunderstandings if we are to come to a proper assessment of Brentano’s worth as a philosopher (...) and his position in the history of philosophy. Good corrections have been made in the recent analytic literature by David Bell (1990), Dermot Moran (1996), and Barry Smith (1994) among others. But there is also another, more purely philosophical lesson to be learned from the proper understanding of Brentano’s views on this matter. This is that Brentano’s struggles with the concept of intentionality reveal a fundamental division between different ways of thinking about intentionality, an division which Brentano himself does not make fully clear. Making the nature of this division explicit is the aim of this paper. (shrink)

Most of us believe that it would be unjust to act with indifference about the plight of future generations. Zipper arguments in intergenerational justice aim to show that we have duties of justice regarding future generations, regardless of whether we have duties of justice to future generations. By doing so, such arguments circumvent the foundational challenges that come with theorising duties to remote future generations, which result from the non-existence, non-identity and non-contemporaneity of future generations. I argue that zipper arguments (...) face several significant challenges. The ought-implies-can challenge points out that because prior generations determine what later generations can transfer, they determine how much they ought to transfer. In addition, both intentional and non-intentional non-compliance can break the chain of duties towards future generations on which zipper arguments rely. Some versions are surprisingly resilient especially in real-world circumstances. This paper does not show that zipper arguments inevitably fail, but all ways forward come at significant theoretical costs. Unless the challenges posed here are met (or shown as irrelevant), theorists of justice cannot side-track the foundational challenges that come with doing intergenerational justice. (shrink)

It has long been a commonplace that there is a problem understanding the role of time when one tries to quantize the General Theory of Relativity (GTR). In his "Thoroughly Modern McTaggart" (Philosophers' Imprint Vol 2, No. 3), John Earman presents several arguments to the conclusion that there is a problem understanding change and the passage of time in the unadorned GTR, quite apart from quantization. His Young McTaggart argues that according to the GTR, no physical magnitude ever changes. A (...) close consideration of Young McTaggart's arguments show that they turn on either a bad choice of formalism or an unwarranted interpretation of the implications of the formalism. This suggests that the problems that arise in quantization may be founded in similar shortcomings. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

P.F. Strawson argued that ‘mature sensible experience (in general) presents itself as … an immediate consciousness of the existence of things outside us’ (1979: 97). He began his defence of this very natural idea by asking how someone might typically give a description of their current visual experience, and offered this example of such a description: ‘I see the red light of the setting sun filtering through the black and thickly clustered branches of the elms; I see the dappled deer (...) grazing in groups on the vivid green grass…’ (1979: 97). In other words, in describing experience, we tend to describe the objects of experience – the things which we experience – and the ways they are when we are experiencing them. Some go further. According to Heidegger. (shrink)

In the first Critique, Kant attempts to prove what we can call the "Principle of Intensive Magnitudes," according to which every possible object of experience will possess a determinate "degree" of reality. Curiously, Kant argues for this principle by inferring from a psychological premise about internal sensations (they have intensive magnitudes) to a metaphysical thesis about external objects (they also have intensive magnitudes). Most commentators dismiss the argument as a failure. In this article I give a reconstruction of Kant's argument (...) that attempts to rehabilitate the argument back into his broader transcendental theory of experience. I argue that we can make sense of the argument's central inference by appeal to Kant's theory of empirical intuition and by an analysis of the way in which Kant thinks sensory matter constitutes our most basic representations of objects. (shrink)

Richard Healey argues that the Aharonov- Bohm effect demands the recognition of either nonlocal or nonseparable physics in much the way that violations of Bell's inequality do. A careful examination of the effect and the arguments, though, shows that Healey's interpretation of the Aharonov- Bohm effect depends critically on his interpretation of gauge theories, and that the analogy with violations of Bell's inequalities fails.

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

David Papineau's question, 'Why Supervenience?' [5], is a good one. The thesis that the mental supervenes on the physi- cal is widespread, but has rarely been defended by detailed argument. Believers in supervenience should be grateful to Papineau for coming to their aid; but I think they will be disappointed in the argument he gives. In what follows, I shall show that Papineau's argument for supervenience relies on a premiss that is either trivial or as contentious as supervenience itself.

Against transmission -- For attention -- Education in the minor key -- Anthropology, art and the university.

One of the most influential traditional objections to Adverbialism about perceptual experience is that posed by Frank Jackson’s ‘many property problem’. Perhaps largely because of this objection, few philosophers now defend Adverbialism. We argue, however, that the essence of the many property problem arises for all of the leading metaphysical theories of experience: all leading theories must simply take for granted certain facts about experience, and no theory looks well positioned to explain the facts in a straightforward way. Because of (...) this, the many property problem isn’t on its own a good reason for rejecting Adverbialism; and nor is it a puzzle that will decide amongst the other leading theories. (shrink)

This handbook gives an overview of cognition and emotion research. It provides readers with the historical background and the philosophical arguments on the debate, before moving on to outline the general aspects of various research traditions. Split into comprehensive sections, it discusses cognitive processes, including memory, decision-making, and reasoning, and also emotions such as anger, anxiety, sadness, and jealousy. With contributions from leading researchers in the subject, this volume examines the main theories, and also the application of these to other (...) areas of psychology. (shrink)

Abraham Stone recently has published an argument purporting to show that David Bohm's interpretation of quantum mechanics fails to solve the measurement problem. Stone's analysis is not correct, as he has failed to take account of the conditions under which the theorems he cites are proven. An explicit presentation of a Bohmian measurement illustrates the flaw in his reasoning.

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

It is a truth universally acknowledged that quantum mechanics is (somehow or other) screwy. That is, the ‘picture of the world’ presented by quantum mechanics i.

This paper presents hitherto unpublished writings of Kurt Gödel concerning logical, epistemological, theological, and physical antinomies, which he generally considered as “the most interesting facts in modern logic,” and which he used as a basis for his famous metamathematical results. After investigating different perspectives on the notion of the logical structure of the antinomies and presenting two “antinomies of the intensional,” a new kind of paradox closely related to Gödel’s ontological proof for the existence of God is introduced and completed (...) by a compilation of further theological antinomies. Finally, after a presentation of unpublished general philosophical remarks concerning the antinomies, Gödel’s type-theoretic variant of Leibniz’Monadology, discovered in his notes on the foundations of quantum mechanics, is examined. Most of the material presented here has been transcribed from the Gabelsberger shorthand system for the first time. (shrink)

This article argues for the view that statements about normative reasons are context-sensitive. Specifically, they are sensitive to a contextual parameter specifying a relevant person's or group's body of information. The argument for normative reasons contextualism starts from the context-sensitivity of the normative “ought” and the further premise that reasons must be aligned with oughts. It is incoherent, I maintain, to suppose that someone normatively ought to φ but has most reason not to φ. So given that oughts depend on (...) context, a parallel view about normative reasons is needed. It is shown that the resulting view solves notorious puzzles involving apparently conflicting but equally plausible claims about reasons. These puzzles arise especially in cases where agents have limited information or false beliefs. In these cases, we feel torn between reasons claims that take into account the limitations of the agent's perspective and apparently conflicting claims that are made from a more objective point of view. The contextualist account developed here accommodates both objectivist and subjectivist intuitions. It shows that all of the claims in question can be true, provided that they are relativized to different values of the relevant information parameter. Also, contextualism yields a fruitful approach to the debate about having reasons and the alleged failure of the so-called “factoring account”. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this article is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution to the (...) problem of many-valued truth-tables for classical sentential logic. I close by outlining the technicalities surrounding nasty connectives on many-valued truth-tables. (shrink)

Can we quantify over everything: absolutely, positively, definitely, totally, every thing? Some philosophers have claimed that we must be able to do so, since the doctrine that we cannot is self-stultifying. But this treats restrictivism as a positive doctrine. Restrictivism is much better viewed as a kind of militant quietism, which I call dadaism. Dadaists advance a hostile challenge, with the aim of silencing everyone who holds a positive position about ‘absolute generality’.

A renowned anthropologist's profound and personal correspondences with the world we live in.