This paper treats entailment as a subrelation of classical consequence and deducibility. Working with a Gentzen set-sequent system, we define an entailment as a substitution instance of a valid sequent all of whose premisses and conclusions are necessary for its classical validity. We also define a sequent Proof as one in which there are no applications of cut or dilution. The main result is that the entailments are exactly the Provable sequents. There are several important corollaries. Every unsatisfiable set is (...) Provably inconsistent. Every logical consequence of a satisfiable set is Provable therefrom. Thus our system is adequate for ordinary mathematical practice. Moreover, transitivity of Proof fails upon accumulation of Proofs only when the newly combined premisses are inconsistent anyway, or the conclusion is a logical truth. In either case Proofs that show this can be effectively determined from the Proofs given. Thus transitivity fails where it least matters — arguably, where it ought to fail! We show also that entailments hold by virtue of logical form insufficient either to render the premisses inconsistent or to render the conclusion logically true. The Lewis paradoxes are not Provable. Our system is distinct from Anderson and Belnap''s system of first degree entailments, and Johansson''s minimal logic. Although the Curry set paradox is still Provable within naive set theory, our system offers the prospect of a more sensitive paraconsistent reconstruction of mathematics. It may also find applications within the logic of knowledge and belief. (shrink)

Los poemas históricos de Ships in Bottles de Neil Curry ofrecen una oportunidad de hacer una reflexión sobre la posible vigencia de la teoría del gran hombre. Contrasta la desconsideración que dicha aportación de Carlyle tiene en la actualidad con su seguimiento en otros campos, como los negocios o la política. En el caso de la poesía, los poemas seleccionados hacen ver de qué manera los grandes actantes de la historia conviven con las personas que hacen la microhistoria.

This important book provides a theory about the nature of fiction, and about the relation between the author, the reader and the fictional text. The approach is philosophical: that is to say, the author offers an account of key concepts such as fictional truth, fictional characters, and fiction itself. The book argues that the concept of fiction can be explained partly in terms of communicative intentions, partly in terms of a condition which excludes relations of counterfactual dependence between the world (...) and the text. This communicative model is then applied to the following problems: how can something be 'true in the story' without being explicitly stated in the text? In what ways does interpreting a fictional story depend upon grasping its author's intentions? Is there always a unique best interpretation of a fictional text? What is the correct semantics for fictional names? What is the nature of our emotional response to a fictional work? In answering these questions the author explores the complex interaction between author, reader, and text. This interaction requires the reader to construct a 'fictional author' - a character in the story whose personality, beliefs and emotional states must be interpreted if the reader is to grasp the meaning of the work. (shrink)

This book challenges the view that bad beliefs - beliefs that blatantly conflict with easily available evidence - can largely be explained by widespread irrationality, instead arguing that ordinary people are rational agents whose beliefs are the result of their rational response to the evidence they're presented with.

The Taming of the True poses a broad challenge to realist views of meaning and truth that have been prominent in recent philosophy. Neil Tennant argues compellingly that every truth is knowable, and that an effective logical system can be based on this principle. He lays the foundations for global semantic anti-realism and extends its consequences from the philosophy of mathematics and logic to the theory of meaning, metaphysics, and epistemology.

This book discusses theories of legal reasoning and provides an overall view of the rhetoric of legal justification. It shows how and why lawyers arguments can be rationally persuasive even though rarely, if ever, logically conclusive or compelling. It examines the role of "legal syllogism" and universality of legal reasoning, looking at arguments of consequentialism and principle, and concludes by questioning the infallibility of judges as lawmakers.

Abstract The typical explanation of an event or process which attracts the label ‘conspiracy theory’ is an explanation that conflicts with the account advanced by the relevant epistemic authorities. I argue that both for the layperson and for the intellectual, it is almost never rational to accept such a conspiracy theory. Knowledge is not merely shallowly social, in the manner recognized by social epistemology, it is also constitutively social: many kinds of knowledge only become accessible thanks to the agent's embedding (...) in an environment that includes other epistemic agents. Moreover, advances in knowledge typically require ongoing immersion in this social environment. But the intellectual who embraces a conspiracy theory risks cutting herself off from this environment, and therefore epistemically disabling herself. Embracing a conspiracy theory therefore places at risk the ability to engage in genuine enquiry, including the enquiry needed properly to evaluate the conspiracy theory. (shrink)

McKenna’s critique (rather than criticisms) of idealized approaches to epistemology is an important contribution to the literature. In this brief discussion, I set out his main concerns about more idealized approaches, within and beyond social epistemology, before turning to some issues I think he neglects. I suggest that it’s important to pay attention to the prestige hierarchy in philosophy, and to how that hierarchy can serve ideological purposes. The greater prestige of more abstract approaches plays a role in determining what (...) issues and what voices we attend to. (shrink)

On his death in 2007, Richard Rorty was heralded by the New York Times as “one of the world’s most influential contemporary thinkers.” Controversial on the left and the right for his critiques of objectivity and political radicalism, Rorty experienced a renown denied to all but a handful of living philosophers. In this masterly biography, Neil Gross explores the path of Rorty’s thought over the decades in order to trace the intellectual and professional journey that led him to that (...) prominence. The child of a pair of leftist writers who worried that their precocious son “wasn’t rebellious enough,” Rorty enrolled at the University of Chicago at the age of fifteen. There he came under the tutelage of polymath Richard McKeon, whose catholic approach to philosophical systems would profoundly influence Rorty’s own thought. Doctoral work at Yale led to Rorty’s landing a job at Princeton, where his colleagues were primarily analytic philosophers. With a series of publications in the 1960s, Rorty quickly established himself as a strong thinker in that tradition—but by the late 1970s Rorty had eschewed the idea of objective truth altogether, urging philosophers to take a “relaxed attitude” toward the question of logical rigor. Drawing on the pragmatism of John Dewey, he argued that philosophers should instead open themselves up to multiple methods of thought and sources of knowledge—an approach that would culminate in the publication of Philosophy and the Mirror of Nature , one of the most seminal and controversial philosophical works of our time. In clear and compelling fashion, Gross sets that surprising shift in Rorty’s thought in the context of his life and social experiences, revealing the many disparate influences that contribute to the making of knowledge. As much a book about the growth of ideas as it is a biography of a philosopher, Richard Rorty will provide readers with a fresh understanding of both the man and the course of twentieth-century thought. (shrink)

How may we characterize the intrinsic structure of physical quantities such as mass, length, or electric charge? This article shows that group-theoretic methods—specifically, the notion of a free and transitive group action—provide an elegant way of characterizing the structure of scalar quantities, and uses this to give an intrinsic treatment of vector quantities. It also gives a general account of how different scalar or vector quantities may be algebraically combined with one another. Finally, it uses this apparatus to give a (...) simple intrinsic treatment of Newtonian gravitation. (shrink)

An argument that we should be optimistic about the capacity of “methodologically omnivorous” geologists, paleontologists, and archaeologists to uncover truths about the deep past. -/- The “historical sciences”—geology, paleontology, and archaeology—have made extraordinary progress in advancing our understanding of the deep past. How has this been possible, given that the evidence they have to work with offers mere traces of the past? In Rock, Bone, and Ruin, Adrian Currie explains that these scientists are “methodological omnivores,” with a variety of strategies (...) and techniques at their disposal, and that this gives us every reason to be optimistic about their capacity to uncover truths about prehistory. Creative and opportunistic paleontologists, for example, discovered and described a new species of prehistoric duck-billed platypus from a single fossilized tooth. Examining the complex reasoning processes of historical science, Currie also considers philosophical and scientific reflection on the relationship between past and present, the nature of evidence, contingency, and scientific progress. -/- Currie draws on varied examples from across the historical sciences, from Mayan ritual sacrifice to giant Mesozoic fleas to Mars's mysterious watery past, to develop an account of the nature of, and resources available to, historical science. He presents two major case studies: the emerging explanation of sauropod size, and the “snowball earth” hypothesis that accounts for signs of glaciation in Neoproterozoic tropics. He develops the Ripple Model of Evidence to analyze “unlucky circumstances” in scientific investigation; examines and refutes arguments for pessimism about the capacity of the historical sciences, defending the role of analogy and arguing that simulations have an experiment-like function. Currie argues for a creative, open-ended approach, “empirically grounded” speculation. (shrink)

What is posthumanism and why does it matter? This book offers an introduction to the ways in which humanism's belief in the natural supremacy of the Family of Man has been called into question at different moments and from different theoretical positions. What is the relationship between posthumanism and technology? Can posthumanism have a politics—postcolonial or feminist? Are postmodernism and poststructuralism posthumanist? What happens when critical theory meets Hollywood cinema? What links posthumanism to science fiction. Posthumanism addresses these and other (...) questions in an attempt to come to terms with one of the most pressing issues facing contemporary society. (shrink)

Studie over het werk van de Duitse wijsgeer Friedrich Ludwig Gottlob Frege (1848-1925).

We can infer moral conclusions from nonmoral evidence using a three-step procedure. First, we distinguish the processes generating belief so that their reliability in generating true belief is statistically predictable. Second, we assess the processes’ reliability, perhaps by observing how frequently they generate true nonmoral belief or logically inconsistent beliefs. Third, we adjust our credence in moral propositions in light of the truth ratios of the processes generating beliefs in them. This inferential route involves empirically discovering truths of the form (...) “Process P, which generates belief in moral proposition M, has truth ratio T", and using them to discover probabilities for moral propositions. The inferential route is noncircular, and progress along it is driven fundamentally by induction. (shrink)

Nietzsche takes moral judgments to be false beliefs, and encourages us to pursue subjective nonmoral value arising from our passions. His view that strong and unified passions make one virtuous is mathematically derivable from this subjectivism and a conceptual analysis of virtue, explaining his evaluations of character and the nature of the Overman.

Most philosophers think that phenomenal consciousness underlies, or at any rate makes a large contribution, to moral considerability. This paper argues that many such accounts invoke question-begging arguments. Moreover, they’re unable to explain apparent differences in moral status across and within different species. In the light of these problems, I argue that we ought to take very seriously a view according to which moral considerability is grounded in functional properties. Phenomenal consciousness may be sufficient for having a moral value, but (...) it may not be necessary, and it may contribute relatively little to our overall considerability. (shrink)

Informed consent is a central topic in contemporary biomedical ethics. Yet attempts to set defensible and feasible standards for consenting have led to persistent difficulties. In Rethinking Informed Consent in Bioethics Neil Manson and Onora O'Neill set debates about informed consent in medicine and research in a fresh light. They show why informed consent cannot be fully specific or fully explicit, and why more specific consent is not always ethically better. They argue that consent needs distinctive communicative transactions, by (...) which other obligations, prohibitions, and rights can be waived or set aside in controlled and specific ways. Their book offers a coherent, wide-ranging and practical account of the role of consent in biomedicine which will be valuable to readers working in a range of areas in bioethics, medicine and law. (shrink)

Parents play a critical role in their child’s personal development and day-to-day experiences. However, as digital technologies are increasingly embedded in most New Zealand children’s everyday life activities parents face the task of ensuring their child’s online safety. To do so, they need to understand the way their child engages with and through these tools and make sense of the rapidly changing, and more technically complex, nature of digital devices. This presents a digital parenting dilemma: maximising children’s online opportunities while (...) minimising online risks and potential harm. This factsheet presents evidence about digital parenting in New Zealand based on nationally representative data collected from parents, caregivers and whānau and their children aged 9-17. It uses measures from the Global Kids Online project to explore the prevalence of different practices used by New Zealand parents to influence or mediate children’s internet use. (shrink)

Disputes over territory are a major contributing factor to the disruption of international relations. We believe that a cumulative, integrated, and continuously updated resource providing information about such disputes in an easily accessible form would be of benefit to intelligence analysts, military strategists, political scientists, and also to historians and others concerned with international disputes. We propose an ontology-based strategy for creating such a resource. The resource will contain information about territorial disputes, arguments for and against claims pertaining to sovereignty, (...) proffered evidence for such claims, political and military motives (overt or hidden), and associated conflicts. Our approach is designed to address several issues surrounding the representation of geopolitical conflict, including the tracking and individuation of disputes and the validation of disseminated information. (shrink)

Multiverse Views in set theory advocate the claim that there are many universes of sets, no-one of which is canonical, and have risen to prominence over the last few years. One motivating factor is that such positions are often argued to account very elegantly for technical practice. While there is much discussion of the technical aspects of these views, in this paper I analyse a radical form of Multiversism on largely philosophical grounds. Of particular importance will be an account of (...) reference on the Multiversist conception, and the relativism that it implies. I argue that analysis of this central issue in the Philosophy of Mathematics indicates that Radical Multiversism must be algebraic, and cannot be viewed as an attempt to provide an account of reference without a softening of the position. (shrink)

An account of how a rational agent should revise beliefs in the light of new evidence.

Essays devoted to the work of the late Neil Wilson, Canadian philosopher and contributor to the field of semantic analysis that emerged from the fusion of logic, pragmatism, and ontology. Many of the essays in this volume take their initial inspiration from Wilson's seminal work Substances Without Substrata.

This chapter is a manifesto of the film theory of Gregory Currie. He thinks that his work brings a connection between film and cognitive psychology. The chapter begins with a glimpse of an ideal theoretical structure and his opinion on the philosophical background against the manifesto itself. Then the theses and the arguments on film theory and the philosophy of film, moving pictures, convention, intention, and genre, and the viewer is laid out. The description includes an outline of what he (...) thinks is the ideal abstract structure for the film theory. He hoped that by doing this, he would contribute to the exemplification of the structure. The manifesto aims to promote the following: open criticism from the outside, struggle for inner coherence, comprehensiveness, and intuitive judgment. It is evident that his work is in a top-down mode which is why it is called a nervous manifesto. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

Are moral properties intellectually indispensable, and, if so, what consequences does this have for our understanding of their nature, and of our talk and knowledge of them? Are mathematical objects intellectually indispensable, and, if so, what consequences does this have for our understanding of their nature, and of our talk and knowledge of them? What similarities are there, if any, in the answers to the first two questions? Can comparison of the two cases shed light on which answers are most (...) plausible in either case? This chapter – the introduction to the volume Explanation in Ethics and Mathematics – elucidates these questions and sketches their history. (shrink)

Neil Van Leeuwen argues that many religious people do not act and infer as we would expect believers to act and infer, and on this basis argues that they are not genuine believers. They take some other, nondoxastic, attitude to the claims they profess to believe. In this short commentary, I argue that in many (but far from all) such cases, the content, and not the attitude, explains the departures from the inferential and behavioral stereotype we associate with belief.

The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of maximality principles. In this paper I question this claim. I show that there is a kind of maximality (namely absoluteness) on which large cardinal axioms come out as restrictive relative to a formal notion of restrictiveness. Within this framework, I argue that large cardinal axioms can still play many of (...) their usual foundational roles. (shrink)

We examine the sense in which logic is a priori, and explain how mathematical theories can be dichotomized non-trivially into analytic and synthetic portions. We argue that Core Logic contains exactly the a-priori-because-analytically-valid deductive principles. We introduce the reader to Core Logic by explaining its relationship to other logical systems, and stating its rules of inference. Important metatheorems about Core Logic are reported, and its important features noted. Core Logic can serve as the basis for a foundational program that could (...) be called Natural Logicism, an exposition of which will build on the (meta)logical ideas explained here. (shrink)

Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...) and meta-theoretic properties when comparing first-order and second-order logic. (shrink)

This essay discusses the moral costs and benefits of sexual technology. It starts with first-wave sexual technology, such as dating apps, messaging apps, and social networks, and then discusses second-wave sexual technology, which offers users more immersive experiences, such as virtual reality and sex robots. The paper argues that, overall, such technologies provide more benefits than they incur costs. Finally, the paper discusses the rise of a new identity—digisexuality, explaining that digisexuals are people who consider sexual technology an essential part (...) of who they are, and who might forego relationships with other people. The paper argues that the development of this new identity is a good thing, and that reasons against it are not convincing. (shrink)

We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.