"The Hardest Logic Puzzle Ever" was first described by the late George Boolos in the Spring 1996 issue of the Harvard Review of Philosophy. Although not dissimilar in appearance from many other simpler puzzles involving gods (or tribesmen) who always tell the truth or always lie, this puzzle has several features that make the solution far from trivial. This paper examines the puzzle and describes a simpler solution than that originally proposed by Boolos.

We present nested sequent systems for propositional Gödel-Dummett logic and its first-order extensions with non-constant and constant domains, built atop nested calculi for intuitionistic logics. To obtain nested systems for these Gödel-Dummett logics, we introduce a new structural rule, called the linearity rule, which (bottom-up) operates by linearising branching structure in a given nested sequent. In addition, an interesting feature of our calculi is the inclusion of reachability rules, which are special logical rules that operate by propagating data and/or checking (...) if data exists along certain paths within a nested sequent. Such rules require us to generalise our nested sequents to include signatures (i.e. finite collections of variables) in the first-order cases, thus giving rise to a generalisation of the usual nested sequent formalism. Our calculi exhibit favourable properties, admitting the height-preserving invertibility of every logical rule and the (height-preserving) admissibility of a large collection of structural and reachability rules. We prove all of our systems sound and cut-free complete, and show that syntactic cut-elimination obtains for the intuitionistic systems. We conclude the paper by discussing possible extensions and modifications, putting forth an array of structural rules that could be used to provide a sizable class of intermediate logics with cut-free nested sequent systems. (shrink)

The claim that indigenous communities are entitled to have intellectual property rights (IPRs) to both their plant varieties and their botanical knowledge has been put forward by writers who wish to protect the plant genetic resources of indigenous communities from uncompensated use by biotechnological transnational corporations. We argue that while it is necessary for indigenous communities to have suchrights, the entitlement argument is an unsatisfactory justification for them. A more convincing foundation for indigenous community IPRs is the autonomy theory developed (...) by Will Kymlicka. (shrink)

To many observers, the moratorium on commercial whaling, which came into force under the aegis of the International Whaling Commission (IWC) in 1986, is both a moral and an environmental victory. Moreover, many governments have found it to be an advantageous, easy and costless policy to support. However, a critical analysis of the diverse viewpoints of IWC member states, especially those expressed by the delegations of the United Kingdom, Norway and Japan at the 1996 Annual Meeting of the IWC in (...) Aberdeen, raises doubts about the moral and practical coherence of the arguments supporting the continuation of the moratorium. In this paper, these doubts will be rehearsed, and an alternative policy to that of the moratorium—sustainable resource management—is put forward as founded on a more coherent moral and practicable basis. (shrink)

To many observers, the moratorium on commercial whaling, which came into force under the aegis of the International Whaling Commission in 1986, is both a moral and an environmental victory. Moreover, many governments have found it to be an advantageous, easy and costless policy to support. However, a critical analysis of the diverse viewpoints of IWC member states, especially those expressed by the delegations of the United Kingdom, Norway and Japan at the 1996 Annual Meeting of the IWC in Aberdeen, (...) raises doubts about the moral and practical coherence of the arguments supporting the continuation of the moratorium. In this paper, these doubts will be rehearsed, and an alternative policy to that of the moratorium—sustainable resource management—is put forward as founded on a more coherent moral and practicable basis. (shrink)

This is a comment to Graham Harman’s 2019 response to an article by Þóra Pétursdóttir and Bjørnar Olsen (2018) in which they propose that a materially grounded, archaeological perspective might complement Harman’s historical approach in Immaterialism (2016). Harman responds that his book is indeed already more archaeological than historical, stipulating that history is the study of media with a high density of information, whereas archaeology studies media with a low density of information. History, Harman holds, ends up in too much (...) detail, while archaeology has the advantage of lending itself to the imagination. Hence, his reading of history had the aim of tempering the historical information overload, in effect making the book a work of archaeology. In this comment, I want to do three things: (1) critique the idea that archaeological and historical media are inherently different with regard to their densities of information, (2) discuss how archaeology and history approach their media, and (3) reflect on conceptualisations of “archaeology” outside the discipline itself. (shrink)

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) .

Melanie presented at twenty weeks of gestation to an obstetrics clinic in a critical access hospital in rural Vermont. She was excited to undergo routine fetal ultrasonography, but her obstetrician gave her grave news: the ultrasound revealed hypoplastic left heart syndrome, a devastating congenital heart defect. Initially, Melanie agreed in general to pursue surgical care for her fetus—a three‐stage process that has somewhat uncertain results and could only be done in tertiary care facilities far from her home in Vermont. A (...) week later, while the maternal fetal medicine and pediatric cardiology units made arrangements with colleagues in Boston, Melanie began having second thoughts. An ethics meeting was called to discuss conflicting clinician reactions to Melanie's dilemma. Most of the clinicians were stunned that the patient would change her mind. What advice should the ethics consultant offer the team about caring for Melanie? (shrink)

Whistleblowers have usually been treated as outcasts by private-sector employers. But legal, ethical, and practical considerations increasingly compel companies to encourage employees to disclose suspected illegal and/or unethical activities throughinternal communication channels. Internal disclosure policies/procedures (IDPP''s) have been recommended as one way to encourage such communication.This study examined the relationship between IDPP''s and employee whistleblowing among private-sector employers. Almost 300 human resources executives provided data concerning their organizations'' experiences.

We provide an empirical investigation of leadership characteristics and social justice issues in the context of financial literacy service-learning. Using a unique dataset of student self-ratings, we find that students experience statistically significant increases in 8 of the 10 leadership dimensions and 7 of the 7 social justice issues examined in this study. Leadership dimensions include: persuasion, building community, “commitment to the growth of people,” stewardship, empathy, awareness, foresight, and listening. Interest in social justice issues include: dignity of the human (...) person, community and the common good, rights and responsibilities, option for the poor, dignity of work, solidarity, and care for God’s creation. The statistically significant increases in these dimensions following the completion of the service-learning suggest positive effects on students’ self-perception of leadership qualities and interests in social justice issues: business school students sense improvement in nurturing growth of employees and colleagues, commitment to serving the need of others, understanding and empathizing with others, ethics, ability to foresee the likely outcome of a situation, and listening intently to others. As a consequence of the financial literacy service-learning, we believe that business students become more prepared toward becoming ethical leaders and citizens with compassion to serve the world for the well-being of all people, rich and poor alike. (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)

The present paper provides an analysis of Euler’s solutions to the Königsberg bridges problem. Euler proposes three different solutions to the problem, addressing their strengths and weaknesses along the way. I put the analysis of Euler’s paper to work in the philosophical discussion on mathematical explanations. I propose that the key ingredient to a good explanation is the degree to which it provides relevant information. Providing relevant information is based on knowledge of the structure in question, graphs in the present (...) case. I also propose computational complexity and logical strength as measures of relevant information. (shrink)

The present paper provides an analysis of Euler’s solutions to the Königsberg bridges problem. Euler proposes three different solutions to the problem, addressing their strengths and weaknesses along the way. I put the analysis of Euler’s paper to work in the philosophical discussion on mathematical explanations. I propose that the key ingredient to a good explanation is the degree to which it provides relevant information. Providing relevant information is based on knowledge of the structure in question, graphs in the present (...) case. I also propose computational complexity and logical strength as measures of relevant information. (shrink)

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)

Tim Crane addresses the ancient question of how it is possible to think about what does not exist. He argues that the representation of the non-existent is a pervasive feature of our thought about the world, and that to understand thought's representational power ('intentionality') we need to understand the representation of the non-existent.

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 book on the philosophy of science argues for an empiricism, opposed to the tradition of David Hume, in which singular rather than general causal claims are primary; causal laws express facts about singular causes whereas the general causal claims of science are ascriptions of capacities or causal powers, capacities to make things happen. Taking science as measurement, Cartwright argues that capacities are necessary for science and that these can be measured, provided suitable conditions are met. There are case studies (...) from both econometrics and quantum mechanics. (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)

Some machine learning models, in particular deep neural networks (DNNs), are not very well understood; nevertheless, they are frequently used in science. Does this lack of understanding pose a problem for using DNNs to understand empirical phenomena? Emily Sullivan has recently argued that understanding with DNNs is not limited by our lack of understanding of DNNs themselves. In the present paper, we will argue, _contra_ Sullivan, that our current lack of understanding of DNNs does limit our ability to understand with (...) DNNs. Sullivan’s claim hinges on which notion of understanding is at play. If we employ a weak notion of understanding, then her claim is tenable, but rather weak. If, however, we employ a strong notion of understanding, particularly explanatory understanding, then her claim is not tenable. (shrink)

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)

Peer reporting is a specific form of whistelblowing in which an individual discloses the wrongdoing of a peer. Previous studies have examined situational variables thought to influence a person's decision to report the wrongdoing of a peer. The present study looked at peer reporting from the individual level. Five hypotheses were developed concerning the relationships between (1) religiosity and ethical ideology, (2) ethical ideology and ethical judgments about peer reporting, and (3) ethical judgments and intentions to report peer wrongdoing.Subjects read (...) a vignette concerning academic cheating, and were asked to respond to a question-naire concerning the vignette. Data were analyzed using structural equation methodology. (shrink)

The empirical content of the modern definition of relativity given in the Andersonian approach to spacetime theory has been overestimated. It does not imply the empirical relativity Galileo illustrated in his famous ship thought experiment. I offer a number of arguments—some of which are in essential agreement with a recent analysis of Brown and Sypel [1995]—which make this plausible. Then I go on to present example spacetime theories which are modern relativistic but violate Galileo's relativity. I end by briefly discussing (...) the prospects for improving on modern relativity. (shrink)

Consider a variant of the usual story about the iterative conception of sets. As usual, at every stage, you find all the (bland) sets of objects which you found earlier. But you also find the result of tapping any earlier-found object with any magic wand (from a given stock of magic wands). -/- By varying the number and behaviour of the wands, we can flesh out this idea in many different ways. This paper's main Theorem is that any loosely constructive (...) way of fleshing out this idea is synonymous with a ZF-like theory. -/- This Theorem has rich applications; it realizes John Conway's (1976) Mathematicians' Liberation Movement; and it connects with a lovely idea due to Alonzo Church (1974). (shrink)

This paper argues that a notion of statistical explanation, based on Salmon’s statistical relevance model, can help us better understand deep neural networks. It is proved that homogeneous partitions, the core notion of Salmon’s model, are equivalent to minimal sufficient statistics, an important notion from statistical inference. This establishes a link to deep neural networks via the so-called Information Bottleneck method, an information-theoretic framework, according to which deep neural networks implicitly solve an optimization problem that generalizes minimal sufficient statistics. The (...) resulting notion of statistical explanation is general, mathematical, and subcausal. (shrink)

A popular approach to monothematic delusions in the recent literature has been to argue that monothematic delusions involve broadly rational responses to highly unusual experiences. Campbell calls this the empiricist approach to monothematic delusions, and argues that it cannot account for the links between meaning and rationality. In place of empiricism Campbell offers a rationalist account of monothematic delusions, according to which delusional beliefs are understood as Wittgensteinian framework propositions. We argue that neither Campbell's attack on empiricism nor his rationalist (...) alternative to empiricism is successful. (shrink)

Salient landmarks enhance route learning. We hypothesised that semantically salient nostalgic landmarks would improve route learning compared to non-nostalgic landmarks. In two experiments, participants learned a route through a computer-generated maze using directional arrows and wall-mounted pictures. On the test trial, the arrows were removed, and participants completed the maze using only the pictures. In the nostalgia condition, pictures were of popular music artists and TV characters from 5 to 10 years ago. In the control condition, they were recent pictures (...) of these same artists and characters. In Experiment 1, in the test trial, participants in the nostalgia condition completed the maze faster than controls. Experiment 2 conceptually replicated these findings and extended them by exploring boundary conditions. Participants had to learn two mazes sequentially. In Maze 1, we placed nostalgic/control landmarks only at non-decision points (whereas we placed them at decision points in Experiment 1). In Maze 2, we placed nostalgic/control landmarks at decision points during acquisition but removed them in the test trial (whereas they were present in the test trial in Experiment 1). In both mazes, participants in the nostalgia (compared to control) condition completed the test trial faster. (shrink)

Many think that the aim of Hume’s Dialogues is simply to discredit the design argument for the existence of an intelligent designer. We think instead that the Dialogues provides a model of true religion. We argue that, for Hume, the truly religious person: believes that an intelligent designer created and imposed order on the universe; grounds this belief in an irregular argument rooted in a certain kind of experience, for example, in the experience of anatomizing complex natural systems such as (...) the eye; and retains this belief, on the basis of these reasons, even after careful scrutiny. We argue that two of the Dialogues’s characters, Philo and Cleanthes, exhibit true religion. A third character, Demea, exhibits false religion and a persistent impiety. Taken as a whole, we see the Dialogues as an educational performance for the benefit of Pamphilus, Cleanthes’s ward, as well as for the benefit of readers of the Dialogues. Specifically, we think, given that its lessons concern theology and the principles of religion, the dynamics of the Dialogues’s discussion and the interplay between its characters can be seen as a demonstration of a method for becoming truly religious. (shrink)

John McDowell's contribution to philosophy has ranged across Greek philosophy, philosophy of language, philosophy of mind, metaphysics and ethics. His writings have drawn on the works of, amongst others, Aristotle, Kant, Hegel, Frege, Russell, Wittgenstein, Sellars, and Davidson. His contributions have made him one of the most widely read, discussed and challenging philosophers writing today. This book provides a careful account of the main claims that McDowell advances in a number of different areas of philosophy. The interconnections between the different (...) arguments are highlighted and Tim Thornton shows how these individual projects are unified in a post-Kantian framework that articulates the preconditions of thought and language. Thornton sets out the differing strands of McDowell's work prior to, and leading up to, their combination in the broader philosophical vision revealed in "Mind and World" and provides an interpretative and critical framework that will help shape ongoing debates surrounding McDowell's work. An underlying theme of the book is whether McDowell's therapeutic approach to philosophy, which owes much to the later Wittgenstein, is consistent with the substance of McDowell's discussion of nature that uses the vocabulary of other philosophers including, centrally, Kant. (shrink)

A sophisticated and original introduction to the philosophy of quantum mechanics from one of the world’s leading philosophers of physics In this book, Tim Maudlin, one of the world’s leading philosophers of physics, offers a sophisticated, original introduction to the philosophy of quantum mechanics. The briefest, clearest, and most refined account of his influential approach to the subject, the book will be invaluable to all students of philosophy and physics. Quantum mechanics holds a unique place in the history of physics. (...) It has produced the most accurate predictions of any scientific theory, but, more astonishing, there has never been any agreement about what the theory implies about physical reality. Maudlin argues that the very term “quantum theory” is a misnomer. A proper physical theory should clearly describe what is there and what it does—yet standard textbooks present quantum mechanics as a predictive recipe in search of a physical theory. In contrast, Maudlin explores three proper theories that recover the quantum predictions: the indeterministic wavefunction collapse theory of Ghirardi, Rimini, and Weber; the deterministic particle theory of deBroglie and Bohm; and the conceptually challenging Many Worlds theory of Everett. Each offers a radically different proposal for the nature of physical reality, but Maudlin shows that none of them are what they are generally taken to be. (shrink)

In a recent paper, Aidan Lyon and Mark Colyvan have proposed an explanation of the structure of the bee's honeycomb based on the mathematical Honeycomb Conjecture. This explanation has instantly become one of the standard examples in the philosophical debate on mathematical explanations of physical phenomena. In this critical note, I argue that the explanation is not scientifically adequate. The reason for this is that the explanation fails to do justice to the essentially three-dimensional structure of the bee's honeycomb.

In this paper we respond to Benjamin Crowe's criticisms in this issue of our discussion of the grounds of worship. We clarify our previous position, and examine Crowe's account of what it is about God's nature that might ground our obligation to worship Him. We find Crowe's proposals no more persuasive than the accounts that we examined in our previous paper, and conclude that theists still owe us an account of what it is in virtue of which we have obligations (...) to worship God. (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.

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)

Psychiatry’s inchoate wish for a paradigm shift and the biopsychosocial model of mental illness’ critically examines the much discussed goal of a paradigm shift in psychiatric taxonomy. The chapter first highlights some illustrative calls for such a change and then sets these against the Kuhnian account of science from which the idea is taken, highlighting the connection to incommensurability. Relative to a distinction drawn from Winch, between putative sciences where the self-understanding of subjects plays no role and those where it (...) is fundamental, psychiatry falls into the latter kind. This suggests that the wish for a paradigm shift in psychiatry is either incoherent or a wish for a radical but unpredictable overhaul of a significant aspect of our self-understanding as subjects and agents. The biopsychosocial model of mental illness is thus a helpful reminder of the cost of a paradigm shift in psychiatry. (shrink)

This article analyzes articulations among urban enclaves, finance capital, and glass architecture by exploring MGM’s corporate investments in the Las Vegas CityCenter development and the Chinese enclave of Macau. CityCenter is an unsuccessful $9 billion master-planned urban community financed by MGM and Dubai World. Macau is a former Portuguese colony and Special Administrative Region of the People’s Republic of China which has, since its return to the PRC in 1999, replaced Las Vegas as the world’s most lucrative site of casino (...) gaming revenue. Taken together, CityCenter and Macau are illustrative of the political economy and cultural logics of financialization. Foreign investment from Las Vegas entrepreneurs has vitrified Macau, transforming it into a phantasmagoria of glass resorts. Macau in turn plays a crucial functional role in capitalism’s recomposition in East Asia, similar to the autochthonous role of the Italian city-states of Venice and Genoa in the historical origins of capitalism. In order to ‘read’ the cities of Las Vegas and Macau, I explore intertextual legibilities among fictitious capital that relies on glass fiber-optic technology to enable grand architectural projects; expressionist fictional representations of glass architecture and its utopian transformative potential; and glass buildings that themselves dissimulate in a manner not unlike fiction. (shrink)