The purpose of this paper is to review and discuss Luciano Floridi’s 2019 book The Logic of Information: A Theory of Philosophy as Conceptual Design, the latest instalment in his philosophy of information (PI) tetralogy, particularly with respect to its implications for library and information studies (LIS) .

In the United States, running as a leisure activity continues to grow in popularity. Healthism can explain some of this popularity, but it does not explain ultradistance running. Motivations for running can be seen through the framework of the Kantian beautiful and the sublime. Beauty arises through extrinsic motivation and relates to an economy of form, while the sublime arises through intrinsic motivation and relates to confronting the challenge of infinity. The commercial, casual, and competitive aspects of distance running correspond (...) to the beautiful, while its wilderness, serious, ultradistance aspects correspond to the sublime. This framework is used to explain the resistance of ultrarunning to the would-be detrimental effects of commodification, as well as ultrarunning’s ‘wild turn.’. (shrink)

Purpose – Contemporary technology has been implicated in the rise of perfectionism, a personality trait that is associated with depression, suicide and other ills. is paper explores how technology can be developed to promote an alternative to perfectionism, which is a self- constructionist ethic. Design/methodology/approach – is paper takes the form of a philosophical discussion. A conceptual framework is developed by connecting the literature on perfectionism and personal meaning with discussions in information ethics on the self, the ontic trust and (...) technologies of the self. To illustrate these themes, the example of selfies and self-portraits is discussed. Findings – e self today must be understood as both individualistic and relational, i.e., hybrid; the trouble is balance. To realize balance, the self should be recognized as part of the ontic trust to which all information organisms and objects belong. us technologically-mediated self-care takes on a deeper urgency. e selfie is one example of a technology for self-care that has gone astray (i.e., lost some of its care-conducive aspects), but this can be remedied if selfie-making technology incorporates relevant aspects of self-portraiture. is example provides a path for developing self- constructionist and meaningful technologies more generally. Practical implications – Technology development should proceed with self-care and meaning in mind. e comparison of selfies and self-portraits, situated historically and theoretically, provides some guidance in this regard. Some specific avenues for development are presented. Originality/value – e question of the self has not been much discussed in information ethics. is paper links the self to the ontic trust: the self can be fruitfully understood as an agent within the ontic trust to which we all belong. (shrink)

Though typically arts information professionals are concerned with the documentation of artwork, this conceptual paper explores how art-making itself can be considered a form of documentation and finished artworks as documents in their own right. On this view, artwork references something outside itself as part of a broader system, and exposes how it references. The implications of this perspective are discussed, springing from a historical discussion of document epistemology, research on the information behavior of artists and the philosophy of Nelson (...) Goodman. This discussion provides a framework for conceptualizing artistic information behavior along the entire information chain. Framing art-making in the terms of information science in this way may help arts information professionals assist artists, and it provides grounds for deeper co-understandings between artists and information scientists. Additionally, once information scientists consider art as a document, we can begin to see that even non-artistic documents perhaps never were as "objective" or "factual" as they seemed. (shrink)

Purpose To first articulate and then illustrate a descriptive theoretical model of documentation (i.e., document creation) suitable for analysis of the experiential, first-person perspective. Design/methodology/approach Three models of documentation in the literature are presented and synthesized into a new model. This model is then used to understand the findings from a phenomenology-of-practice study of the work of seven visual artists as they each created a self-portrait, understood here as a form of documentation. Findings A number of themes are found to (...) express the first-person experience of art-making in these examples, including communicating, memories, reference materials, taking breaks and stepping back. The themes are discussed with an eye toward articulating what is shared and unique in these experiences. Finally, the themes are mapped successfully to the theoretical model. Research limitations/implications The study involved artists creating self-portraits, and further research will be required to determine if the thematic findings are unique to self-portraiture or apply as well to art-making, to documentation generally, etc. Still, the theoretical model developed here seems useful for analyzing documentation experiences. Practical implications As many activities and tasks in contemporary life can be conceptualized as documentation, this model provides a valuable analytical tool for better understanding those experiences. This can ground education and management decisions for those involved. Originality/value This paper makes conceptual and empirical contributions to document theory and the study of the information behavior of artists, particularly furthering discussions of information and document experience. (shrink)

Purpose: Self-documentation is an increasingly common phenomenon, but it is not yet well understood. This paper provides a philosophical framework for analyzing examples of self-documentation on the dimensions of ontology, epistemology and ethics. Design/methodology/approach: The framework addresses these three major areas of philosophic thought by operationalizing insights from philosophy, chiefly the work of Martin Heidegger. Heidegger’s concepts of authenticity and fallenness inform the poles of each dimension of the framework. Findings: Ontologically, self-documentation may manifest as document (authentic) or data (fallen); (...) epistemologically, as understanding (authentic) or idle curiosity (fallen); and ethically, as self-care (authentic) or diversion (fallen). These dimensions are presented separately but are understood to be intermingled. Originality/value: This unified framework offers a lens for examining and comparing cases of self-documentation and self-documents. No such framework has previously been articulated, but given the ubiquity and growing importance of self-documentation, it is needed. (shrink)

This paper examines the history of epistemological conceptualizations of the library, considered as a technology. Drawing from Heidegger’s philosophy, a technology is a way of human relating to the world. At its best, this relationship is in terms of belonging and understanding, but modern information technologies may not foster such aims very well. Heidegger links understanding to questioning; thus, this paper paper explores questioning in the library as a path to reorient the library more concertedly toward understanding. As a first (...) stage in such work, this paper explores the history of questioning in the library. The library was originally conceived as an educational institution that afforded questioning, personal relationships and understanding. As time wore on, the library was transformed into something more like a business, where answers and information were provided as economic resources. This paper provides grounds for a renewed conceptualization of the library as a site for understanding and questioning. If the field is to reorient toward understanding, a deeper appreciation for questioning will be required. (shrink)

Introduction. Applied epistemology allows information studies to benefit from developments in philosophy. In information studies, epistemic concepts are rarely considered in detail. This paper offers a review of several epistemic concepts, focusing on understanding, as a call for further work in applied epistemology in information studies. Method. A hermeneutic literature review was conducted on epistemic concepts in information studies and philosophy. Relevant research was retrieved and reviewed iteratively as the research area was refined. Analysis. A conceptual analysis was conducted to (...) determine the nature and relationships of the concepts surveyed, with an eye toward synthesizing conceptualizations of understanding and opening future research directions. Results. The epistemic aim of understanding is emerging as a key research frontier for information studies. Two modes of understanding (hermeneutic and epistemological) were brought into a common framework. Conclusions. Research on understanding in information studies will further naturalistic information research and provide coherence to several strands of philosophic thought. (shrink)

Explanation does not exist in a metaphysical vacuum. Conceptions of the structure of a phenomenon play an important role in guiding attempts to explain it, and erroneous conceptions of a phenomenon may direct investigation in misleading directions. I believe that there is a case to be made for thinking that much work on the neural underpinnings of consciousness—what is often called the neural correlates of consciousness—is driven by an erroneous conception of the structure of consciousness. The aim of this paper (...) is lay bare some connections between the explanation of consciousness and the structure of consciousness, and to argue for a conception of the structure of consciousness that is more adequate than that which currently drives much research into the neural correlates of consciousness. (shrink)

Here is a template for introducing mathematical objects: “Objects are found in stages. For every stage S: (1) for any things found before S, you find at S the bland set whose members are exactly those things; (2) for anything, x, which was found before S, you find at S the result of tapping x with any magic wand (provided that the result is not itself a bland set); you find nothing else at S.” -/- This Template has rich applications, (...) it realizes John Conway’s (1976) Mathematicians’ Liberation Movement, and it generalizes a lovely idea due to Alonzo Church (1974). -/- Some parts of this Template are familiar: the bit about bland sets is just the ordinary story we tell about the cumulative iterative conception of set. But this talk of “magic wands” is new and different. Moreover, parts of the Template are left unspecified. -/- This under-specification is deliberate: we want to be able to flesh out the Template in umpteen different ways. The Main Theorem of the paper is that any loosely constructive way of fleshing out the Template is synonymous with a ZF-like theory. (shrink)

Shadow pictures radically changed the modern understanding of pictorial concepts. Tim Otto Roth’s broadly based cultural history traces the consequences of this revolution of methods of vision and image production in the sciences and the arts. By means of abundant image and text sources he develops a picture theory based on physics and projective geometry. This definitive book comprising 500 pages provides a generally understandable and vivid insight in the history of shadowgraphs from the 19th century until the present age. (...) A crucial role play scientific processes as the X-ray technique, but also the artistic examination of space and body. (shrink)

Hilary Putnam once suggested that “the actual existence of sets as ‘intangible objects’ suffers… from a generalization of a problem first pointed out by Paul Benacerraf… are sets a kind of function or are functions a sort of set?” Sadly, he did not elaborate; my aim, here, is to do so on his behalf. There are well-known methods for treating sets as functions and functions as sets. But these do not raise any obvious philosophical or foundational puzzles. For that, we (...) first need to provide a full-fledged function theory. I supply such a theory: it axiomatizes the iterative notion of function in exactly the same sense that ZF axiomatizes the iterative notion of set. Indeed, this function theory is synonymous with ZF. It might seem that set theory and function theory present us with rival foundations for mathematics, since they postulate different ontologies. But appearances are deceptive. Set theory and function theory provide the very same judicial foundation for mathematics. They do not supply rival metaphysical foundations; indeed, if they supply metaphysical foundations at all, then they supply the very same metaphysical foundations. (shrink)

This essay highlights a methodological weakness in Foucault’s genealogy of neoliberalism often mistaken for a biographical shift in his philosophy. Naissance de la biopolitique is sometimes interpreted as evidence for Foucault’s conversion to neoliberalism, whereas its lack of critical acuity stems rather from its methodological limitations. Through a discussion of the “neoliberal conversion”-thesis, I highlight those limitations. Though Foucault’s appreciative tone in his neoliberalism lectures is surprising, his aim is mainly to defamiliarize readers from the dominant mode of neoliberal rationality (...) so that they can affirm the creative potential to foster new conducts, new identities, and new rationalities. Foucault did not convert to neoliberalism, but sought to destabilise it by revealing its historical contingency. However, as Foucault’s surprisingly positive tone shows, this strategy is insufficient for combatting neoliberalism. There is an elective affinity between Foucault’s own politics of creative self-reinvention and neoliberalism’s promise of a non-invasive, post-disciplinary government by indirect economic incentives alone. Foucault’s libertine stance toward subjectivity hence seems easily integrated into a neoliberal conduct of conducts. I propose to supplement Foucault’s genealogical method as he deploys it in Naissance de la biopolitique with an immanent critique of neoliberalism from the perspective of the governed. Rather than investigating neoliberal rationality as a promising endeavour for the future, we can study the real-life implementations of neoliberalism and their effects on subjective conducts. Neoliberal rationality is involved in a permanent struggle to shape the conduct of conducts along entrepreneurial and competitive lines, but subjects are refractory living beings whose conducts are not so simply transformed. Neoliberalism has had to give up its post-disciplinary aspirations and turn to the power of discipline and abandonment to enforce neoliberal norms of conduct. Neoliberalism has transformed into a negative biopolitics that sacrifices the lives of unproductive subjects as collateral damage to the overall welfare of the population. Immanent critique thereby reveals how subjects are pushed beyond their limits until neoliberal norms of conduct become unbearable. This intolerability of neoliberalism cannot be directly deduced from the writings of Becker, Friedman, or Hayek.111 It becomes manifest in the confrontation between neoliberal rationality and the material living bodies of finite human beings unable to be stretched in the ways neoliberalism requires. (shrink)

It is common to distinguish between conscious mental episodes and standing mental states — those mental features like beliefs, desires or intentions, which a subject can have even if she is not conscious, or when her consciousness is occupied with something else. This paper presents a view of standing mental states according to which these states are less real than episodes of consciousness. It starts from the usual view that states like beliefs and desires are not directly present to the (...) mind, but are posited to explain thought and behaviour. Ascriptions of these states are attempts to model a subject’s “Worldview”: the totality of their cognitive, conative and affective dispositions. When ascribing standing states, we often significantly simplify the complexity of the Worldview. This simplification is a feature of models in general. The Worldview is also distinguished from the “Habitus” — the totality of dispositions that are associated with character traits. As with the Worldview, modelling the Habitus should be treated as a useful simplification of a very complex reality. It is argued that although these models have some similarities with fictions, these similarities are outweighed by the dissimilarities. (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)

Purpose – To review and discuss Luciano Floridi’s 2019 book The Logic of Information: A Theory of Philosophy as Conceptual Design, the latest instalment in his philosophy of information (PI) tetralogy, particularly with respect to its implications for library and information studies (LIS). Design/methodology/approach – Nine scholars with research interests in philosophy and LIS read and responded to the book, raising critical and heuristic questions in the spirit of scholarly dialogue. Floridi responded to these questions. Findings – Floridi’s PI, including (...) this latest publication, is of interest to LIS scholars, and much insight can be gained by exploring this connection. It seems also that LIS has the potential to contribute to PI’s further development in some respects. Research implications – Floridi’s PI work is technical philosophy for which many LIS scholars do not have the training or patience to engage with, yet doing so is rewarding. This suggests a role for translational work between philosophy and LIS. Originality/value – The book symposium format, not yet seen in LIS, provides forum for sustained, multifaceted and generative dialogue around ideas. (shrink)

By definition, pain is a sensory and emotional experience that is felt in a particular part of the body. The precise relationship between somatic events at the site where pain is experienced, and central processing giving rise to the mental experience of pain remains the subject of debate, but there is little disagreement in scholarly circles that both aspects of pain are critical to its experience. Recent experimental work, however, suggests a public view that is at odds with this conceptualisation. (...) By demonstrating that the public does not necessarily endorse central tenets of the “mental” view of pain (subjectivity, privacy, and incorrigibility), experimental philosophers have argued that the public holds a more “body-centric” view than most clinicians and scholars. Such a discrepancy would have important implications for how the public interacts with pain science and clinical care. In response, we tested the hypothesis that the public is capable of a more “mind-centric” view of pain. Using a series of vignettes, we demonstrate that in situations which highlight mental aspects of pain the public can, and does, recognize pain as a mental phenomenon. We also demonstrate that the public view is subject to context effects, by showing that the public’s view is modified when situations emphasizing mental and somatic aspects of pain are presented together. (shrink)

Amie Thomasson and Eli Hirsch have both attempted to deflate metaphysics, by combining Carnapian ideas with an appeal to ordinary language. My main aim in this paper is to critique such deflationary appeals to ordinary language. Focussing on Thomasson, I draw two very general conclusions. First: ordinary language is a wildly complicated phenomenon. Its implicit ontological commitments can only be tackled by invoking a context principle; but this will mean that ordinary language ontology is not a trivial enterprise. Second: ordinary (...) language often points in different directions simultaneously, so that a wide variety of existence questions cannot be deflated merely by appealing to ordinary language. (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)

Tim Button explores the relationship between words and world; between semantics and scepticism. -/- A certain kind of philosopher – the external realist – worries that appearances might be radically deceptive. For example, she allows that we might all be brains in vats, stimulated by an infernal machine. But anyone who entertains the possibility of radical deception must also entertain a further worry: that all of our thoughts are totally contentless. That worry is just incoherent. -/- We cannot, then, be (...) external realists, who worry about the possibility of radical deception. Equally, however, we cannot be internal realists, who reject all possibility of deception. We must position ourselves somewhere between internal realism and external realism, but we cannot hope to say exactly where. We must be realists, for what that is worth, and realists within limits. -/- In establishing these claims, The Limits of Realism critically explores and develops several themes from Hilary Putnam’s work: the model-theoretic arguments; the connection between truth and justification; the brain-in-vat argument; semantic externalism; and conceptual relativity. The book establishes the continued significance of these topics for all philosophers interested in mind, logic, language, or the possibility of metaphysics. (shrink)

The phenomenal character of perceptual experience involves the representation of colour, shape and motion. Does it also involve the representation of high-level categories? Is the recognition of a tomato as a tomato contained within perceptual phenomenality? Proponents of a conservative view of the reach of phenomenal content say ’No’, whereas those who take a liberal view of perceptual phenomenality say ’Yes’. I clarify the debate between conservatives and liberals, and argue in favour of the liberal view that high-level content can (...) directly inform the phenomenal character of perception. (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

Much recent discussion has focused on the nature of artifacts, particularly on whether artifacts have essences. While the general consensus is that artifacts are at least intention-dependent, an equally common view is function essentialism about artifacts, the view that artifacts are essentially functional objects and that membership in an artifact kind is determined by a particular, shared function. This paper argues that function essentialism about artifacts is false. First, the two component conditions of function essentialism are given a clear and (...) precise formulation, after which counterexamples are offered to each. Second, ways to handle the counterexamples suggested by Randall Dipert and Simon Evnine are considered and rejected. Third, I then consider the prospects for restricting function essentialism to so-called technical artifacts, as Lynne Baker does, and argue that this, too, fails. This paper thereby consolidates the scattered literature on function essentialism and shows that, despite the seeming plausibility of the thesis, it should be rejected as an account of artifact essences. (shrink)

In “Models and Reality” (1980), Putnam sketched a version of his internal realism as it might arise in the philosophy of mathematics. Here, I will develop that sketch. By combining Putnam’s model-theoretic arguments with Dummett’s reflections on Gödelian incompleteness, we arrive at (what I call) the Skolem-Gödel Antinomy. In brief: our mathematical concepts are perfectly precise; however, these perfectly precise mathematical concepts are manifested and acquired via a formal theory, which is understood in terms of a computable system of proof, (...) and hence is incomplete. Whilst this might initially seem strange, I show how internal categoricity results for arithmetic and set theory allow us to face up to this Antinomy. This also allows us to understand why “Models are not lost noumenal waifs looking for someone to name them,” but “constructions within our theory itself,” with “names from birth.”. (shrink)

This paper offers some refinements to a particular objection to act consequentialism, the “causal impotence” objection. According to proponents of the objection, when we find circumstances in which severe, unnecessary harms result entirely from voluntary acts, it seems as if we should be able to indict at least one act among those acts, but act consequentialism appears to lack the resources to offer this indictment. Our aim is to show is that the most promising response on behalf of act consequentialism, (...) the threshold argument, cannot offer a fully general prescription about what to do in cases of collective action. (shrink)

I advocate scepticism about epistemic blame; the view that we have good reason to think there is no distinctively epistemic form of blame. Epistemologists often find it useful to draw a distinction between blameless and blameworthy norm violation. In recent years, this has led several writers to develop theories of ‘epistemic blame.’ I present two challenges against the very idea of epistemic blame. First, everything that is supposedly done by epistemic blame is done by epistemic evaluation, at least according to (...) a prominent view about the social role of epistemic evaluation. Parsimony considerations count against introducing an idle mechanism that does the same work as an existing one. Second, no current theory of epistemic blame includes a plausible account of the force of epistemic blame or the practices that could express it. I conclude that we should give up the notion of epistemic blame. (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)

Abstract objects are standardly taken to be causally inert, however principled arguments for this claim are rarely given. As a result, a number of recent authors have claimed that abstract objects are causally efficacious. These authors take abstracta to be temporally located in order to enter into causal relations but lack a spatial location. In this paper, I argue that such a position is untenable by showing first that causation requires its relata to have a temporal location, but second, that (...) if an entity is temporally located then it is spatiotemporally located since this follows from the theory of Relativity. Since abstract objects lack a spatiotemporal location, then if something is causally efficacious, it is not abstract. (shrink)

Tallant (2007) has challenged my recent defence of no-futurism (Button 2006), but he does not discuss the key to that defence: that no-futurism's primitive relation 'x is real-as-of y' is not symmetric. I therefore answer Tallant's challenge in the same way as I originally defended no-futurism. I also clarify no-futurism by rejecting a common mis-characterisation of the growing-block theorist. By supplying a semantics for no-futurists, I demonstrate that no-futurism faces no sceptical challenges. I conclude by considering the problem of how (...) to interpret the relation 'x is real-as-of y'. -/- (NB: A correction to this article appears in Analysis 68.1.). (shrink)

There are empirical grounds to doubt the effectiveness of a common and intuitive approach to teaching debiasing strategies in critical thinking courses. We summarize some of the grounds before suggesting a broader taxonomy of debiasing strategies. This four-level taxonomy enables a useful diagnosis of biasing factors and situations, and illuminates more strategies for more effective bias mitigation located in the shaping of situational factors and reasoning infrastructure—sometimes called “nudges” in the literature. The question, we contend, then becomes how best to (...) teach the construction and use of such infrastructures. (shrink)

objects are standardly taken to be causally inert, but this claim is rarely explicitly argued for. In the context of his platonism about musical works, in order for musical works to be audible, Julian Dodd argues that abstracta are causally efficacious in virtue of their concrete tokens participating in events. I attempt to provide a principled argument for the causal inertness of abstracta by first rejecting Dodd’s arguments from events, and then extending and generalizing the causal exclusion argument to the (...) abstract/concrete distinction. For reasons of parsimony, if concrete tokens or instantiations of abstract objects account for all causal work, then there is no reason to attribute causal efficacy to abstracta, and thus reason to maintain their causal inertness. I then consider how one of the main arguments against causal exclusion, namely Stephen Yablo’s notion of “proportionality”, could be modified to support the causal efficacy of abstracta. I argue that from a few simple premises Yablo’s account in fact supports their causal inertness. Having a principled reason for the causal inertness of abstracta appears to entail that the musical platonist must admit that we never literally hear the musical work, but only its performances. I sketch a solution to this problem available to Dodd, so that the musical platonist can maintain that musical works are abstract objects and are causally inert while retaining their audibility. (shrink)

The phenomenology of agency has, until recently, been rather neglected, overlooked by both philosophers of action and philosophers of consciousness alike. Thankfully, all that has changed, and of late there has been an explosion of interest in what it is like to be an agent. 1 This burgeoning field crosses the traditional boundaries between disciplines: philosophers of psychopathology are speculating about the role that unusual experiences of agency might play in accounting for disorders of thought and action; cognitive scientists are (...) developing models of how the phenomenology of agency is generated; and philosophers of mind are drawing connections between the phenomenology of agency and the nature of introspection, phenomenal character, and agency itself. My aim in this paper is not to provide an exhaustive survey of this recent literature, but to provide a.. (shrink)

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set theories (...) due to Scott, Montague, Derrick, and Potter. (shrink)

The sensitivity condition on knowledge says that one knows that P only if one would not believe that P if P were false. Difficulties for this condition are now well documented. Keith DeRose has recently suggested a revised sensitivity condition that is designed to avoid some of these difficulties. We argue, however, that there are decisive objections to DeRose’s revised condition. Yet rather than simply abandoning his proposed condition, we uncover a rationale for its adoption, a rationale which suggests a (...) further revision that avoids our objections as well as others. The payoff is considerable: along the way to our revision, we learn lessons about the epistemic significance of certain explanatory relations, about how we ought to envisage epistemic closure principles, and about the epistemic significance of methods of belief formation. (shrink)

No-futurists ('growing block theorists') hold that that the past and the present are real, but that the future is not. The present moment is therefore privileged: it is the last moment of time. Craig Bourne (2002) and David Braddon-Mitchell (2004) have argued that this position is unmotivated, since the privilege of presentness comes apart from the indexicality of 'this moment'. I respond that no-futurists should treat 'x is real-as-of y' as a nonsymmetric relation. Then different moments are real-as-of different times. (...) This reunites privilege with indexicality, but entails that no-futurists must believe in ineliminably tensed facts. (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.

Keränen (2001) raises an argument against realistic (ante rem) structuralism: where a mathematical structure has a non-trivial automorphism, distinct indiscernible positions within the structure cannot be shown to be non-identical using only the properties and relations of that structure. Ladyman (2005) responds by allowing our identity criterion to include 'irreflexive two-place relations'. I note that this does not solve the problem for structures with indistinguishable positions, i.e. positions that have all the same properties as each other and exactly the same (...) relations to all objects (including themselves). I conclude that realistic structuralists must compromise and treat some structures eliminativistically. (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’.

Much recent discussion has focused on the nature of artifacts, particularly on whether they have essences. While it is often held that artifacts are intention-dependent and necessarily have functions, it is equally commonly held, though far less discussed, that artifacts are the result of physical modification of some material objects. This paper argues that the physical modification condition on artifacts is false. First, it formulates the physical modification condition perspicuously for the first time. Second, it offers counterexamples to this condition, (...) both concrete and abstract. Third, it considers, and rejects, two responses to these counterexamples, one which appeals to the distinction between being a K and being used as a K and another which argues that the counterexamples are merely of functional, not artifactual, kinds. Finally, it considers, and rejects, a more general objection that appropriation makes artifact creation too easy. As a consequence, artifacts can be created by appropriating pre-existing objects and it sketches some success conditions for such appropriation. (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)

We argue that S is in a position to know that p iff S can know that p. Thus, what makes position-to-know-ascriptions true is just a special case of what makes ability-ascriptions true: compossibility. The novelty of our compossibility theory of epistemic modality lies in its subsuming epistemic modality under agentive modality, the modality characterizing what agents can do.

Christiaens argues that digital technologies are fundamentally undermining workers’ autonomy by enacting systems of surveillance that lead to exploitation, alienation, and exhaustion. For a more sustainable future of work, digital technologies should support human development instead of subordinating it to algorithmic control.

Appeals to nature are ubiquitous in Epicurean ethics and politics. The foundation of Epicurean ethics is its claim that pleasure is the sole intrinsic good and pain the sole intrinsic evil, and this is supposedly shown by the behavior of infants who have not yet been corrupted, "when nature's judgement is pure and whole." Central to their recommendations about how to attain pleasure is their division between types of desires: the natural and necessary ones, the natural but non-necessary ones, and (...) the vain and empty ones. Elsewhere, the Epicureans talk about the "natural goods" of political power and fame, and they contrast "natural wealth" with wealth as "defined by empty opinion." Finally, in their politics, Epicurus claims that the "the justice of nature is a pledge of reciprocal usefulness, [i.e.,] neither to harm one another nor to be harmed." This paper explores two questions regarding these various appeals to nature. The first is: what is it for these things to be natural, i.e., what notion of "natural" or "nature" is at play here? (Furthermore, is there a single notion being used across these appeals, and if not, how are they related?) The second is: what normative work does a thing's being natural do? That is, what reason, if any, does a desire's being natural give me for pursuing the object of that desire and trying to fulfill that desire, as opposed to not doing so and trying to eliminate it, and similarly for the other appeals to nature? (shrink)

Many philosophers are impressed by the progress achieved by physical sciences. This has had an especially deep effect on their ontological views: it has made many of them physicalists. Physicalists believe that everything is physical: more precisely, that all entities, properties, relations, and facts are those which are studied by physics or other physical sciences. They may not all agree with the spirit of Rutherford's quoted remark that 'there is physics; and there is stamp-collecting',' but they all grant physical science (...) a unique ontological authority: the authority to tell us what there is. Physicalism is now almost orthodox in much philosophy, notably in much recent philosophy of mind. But although often invoked, it is rarely explicitly defined. It should be. The claim that everything is physical is not as clear as it seems. In this paper, we examine a number of proposed definitions of physicalism and reasons for being a physicalist. We will argue both that physicalism lacks a clear and credible definition, and that in no non-vacuous interpretation is it true. We are concerned here only with physicalism as a doctrine about the empirical world. In particular, it should not be confused with nominalism, the doctrine that there are no universals.2 Nominalism and physicalism are quite independent doctrines. Believers in universals may as consistently assert as deny that the only properties and relations are those studied by physical science. And nominalists may with equal consistency assert or deny that physical science could provide enough predicates to describe the world. That is the question which concerns physicalists, not whether physical predicates name real universals. (We will for brevity write as if they do, but we do not need that assumption.). (shrink)

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)

This paper defends an interpretation of the representational function of sensation in Kant's theory of empirical cognition. Against those who argue that sensations are ?subjective representations? and hence can only represent the sensory state of the subject, I argue that Kant appeals to different notions of subjectivity, and that the subjectivity of sensations is consistent with sensations representing external, spatial objects. Against those who claim that sensations cannot be representational at all, because sensations are not cognitively sophisticated enough to possess (...) intentionality, I argue that Kant does not use the term ?Vorstellung? to refer to intentional mental states exclusively. Sensations do not possess their own intentionality, but they nevertheless perform a representational function in virtue of their role as the matter of empirical intuition. In empirical intuition, the sensory qualities given in sensation are combined with the representation of space to constitute the intuited appearance. The representational function of sensation consists in sensation being the medium out of which intuited appearances are constituted: the qualities of sensations stand in for what the understanding will judge (conceptualize) as material substance. (shrink)

It is widely agreed that perceptual experience is a form of intentionality, i.e., that it has representational content. Many philosophers take this to mean that like belief, experience has propositional content, that it can be true or false. I accept that perceptual experience has intentionality; but I dispute the claim that it has propositional content. This claim does not follow from the fact that experience is intentional, nor does it follow from the fact that experiences are accurate or inaccurate. I (...) end by considering the relationship between this question and the question of whether experience has non-conceptual content. (shrink)

Phenomenalist interpretations of Kant are out of fashion. The most common complaint from anti-phenomenalist critics is that a phenomenalist reading of Kant would collapse Kantian idealism into Berkeleyan idealism. This would be unacceptable because Berkeleyan idealism is incompatible with core elements of Kant’s empirical realism. In this paper, I argue that not all phenomenalist readings threaten empirical realism. First, I distinguish several variants of phenomenalism, and then show that Berkeley’s idealism is characterized by his commitment to most of them. I (...) then make the case that two forms of phenomenalism are consistent with Kant’s empirical realism. The comparison between Kant and Berkeley runs throughout the paper, with special emphasis on the significance of their theories of intentionality. (shrink)

Recent work on hypercomputation has raised new objections against the Church–Turing Thesis. In this paper, I focus on the challenge posed by a particular kind of hypercomputer, namely, SAD computers. I first consider deterministic and probabilistic barriers to the physical possibility of SAD computation. These suggest several ways to defend a Physical version of the Church–Turing Thesis. I then argue against Hogarth's analogy between non-Turing computability and non-Euclidean geometry, showing that it is a non-sequitur. I conclude that the Effective version (...) of the Church–Turing Thesis is unaffected by SAD computation. (shrink)