We use formal semantic analysis based on new constructions to study abstract realizability, introduced by Läuchli in 1970, and expose its algebraic content. We claim realizability so conceived generates semantics-based intuitive confidence that the Heyting Calculus is an appropriate system of deduction for constructive reasoning.Well-known semantic formalisms have been defined by Kripke and Beth, but these have no formal concepts corresponding to constructions, and shed little intuitive light on the meanings of formulae. In particular, the completeness proofs for these semantics (...) do not generate confidence in the sufficiency of the Heyting Calculus, since we have no reason to believe that every intuitively constructive truth is valid in the formal semantics.Läuchli has proved completeness for a realizability semantics with formal concepts analogous to constructions. We argue in some detail that, in spite of a certain inherent inexactness of the analogy, every intuitively constructive truth is valid in Läuchli semantics, and therefore the Heyting Calculus is powerful enough to prove all constructive truths. Our argument is based on the postulate that a uniformly constructible object must be communicable in spite of imprecision in our language, and that the permutations in Läuchli's semantics represent conceivable imprecision in a language, while allowing a certain amount of freedom in choosing the particular structure of the language.We give a detailed generalization of Läuchli's proof of completeness for the propositional part of the Heyting Calculus, in order to make explicit constructive and algebraic content.In our treatment, we establish several new results about Läuchli models. We show how to extend the sconing and gluing constructions familiar from Kripke and Frame semantics and Topos theory, to Läuchli models, and use them to give an algebraic approach to countermodel construction. In particular, the Läuchli arguments are given without the restriction to the integers, Z, as a group of permutations, which makes much of the coding scheme used in Läuchli's original paper transparent.We also make use of a new propositions-as-types syntax for the Heyting calculus, with limited nondeterminism, in which validity of formulae can be decided without loop-detection. (shrink)

According to the evolutionary sceptic, the fact that our cognitive faculties evolved radically undermines their reliability. A number of evolutionary epistemologists have sought to refute this kind of scepticism. This paper accepts the success of these attempts, yet argues that refuting the evolutionary sceptic is not enough to put any particular domain of beliefs – notably scientific beliefs, which include belief in Darwinian evolution – on a firm footing. The paper thus sets out to contribute to this positive justificatory project, (...) underdeveloped in the literature. In contrast to a ‘wholesale’ approach, attempting to secure justification for all of our beliefs on the grounds that our belief-forming mechanisms evolved to track truth, we propose a ‘piecemeal’ approach of assessing the reliability of particular belief-forming mechanisms in particular domains. This stands in contrast to the more familiar attempt to transfer warrant obtained for one domain to another by showing how one is somehow an extension of the other. We offer a naturalist reply to the charge of circularity by appealing to reliabilist work on the problem of induction, notably Peter Lipton's distinction between self-certifying and non-self-certifying inductive arguments. We show how, for scientific beliefs, a non-self-certifying argument might be made for the reliability of our cognitive faculties in that domain. We call this strategy Humean Bootstrapping. (shrink)

The present paper proposes a route to modal claims that allows us to infer to certain possibilities even if they are sensorily unimaginable and beyond the evidential capacity of stipulative imagining. After a brief introduction, Sect. 2 discusses imaginative resistance to help carve a niche for the kinds of inferences about which this essay is chiefly concerned. Section 3 provides three classic examples, along with a discussion of their similarities and differences. Section 4 recasts the notion of potential explanation in (...) Lipton’s (Inference to the best explanation, Routledge, Abingdon, 2004) in order to accommodate inferences to possibility claims; Sect. 5 then attempts to characterise a principle underlying such inferences. Section 6 concludes by discussing how the proposal relates to other modal epistemologies, with emphasis on the potential of such inferences to produce genuinely new ideas. (shrink)

"How do we go about weighing evidence, testing hypotheses and making inferences? According to the model of 'inference to the Best explanation', we work out what to inter from the evidence by thinking about what would actually explain that evidence, and we take the ability of a hypothesis to explain the evidence as a sign that the hypothesis is correct. In inference to the Best Explanation, Peter Lipton gives this important and influential idea the development and assessment it deserves." (...) "The second edition has been substantially enlarged and reworked, with a new chapter on the relationship between explanation and Bayesianism, and an extension and defence of the account of contractive explanation. It also includes an expanded defence of the claims that our inferences really are guided by diverse explanatory considerations, and that this pattern of inference can take us towards the truth. This edition of Inference to the Best Explanation has also been updated throughout and incudes a new bibliography."--BOOK JACKET. (shrink)

Earlier in this volume, Wesley Salmon has given a characteristically clear and trenchant critique of the account of non-demonstrative reasoning known by the slogan `Inference to the Best Explanation'. As a long-time fan of the idea that explanatory considerations are a guide to inference, I was delighted by the suggestion that Wes and I might work together on a discussion of the issues. In the event, this project has exceeded my high expectations, for in addition to the intellectual gain that (...) comes from the careful study of his essay, I have benefited enormously from the stream of illuminating emails and faxes that Wes has sent me during our collaboration. Doing philosophy together has been an education and a pleasure. Salmon's essay would place Inference to the Best Explanation beyond the pale of acceptable philosophical accounts of inference. According to Salmon, Inference to the Best Explanation has serious internal difficulties and compares very unfavourably with Bayesian approaches to these matters. My aim in the following remarks is irenic. I hope to show that a number of the claimed difficulties either are not really difficulties or are avoidable. In some cases, the avoidance will require a mild reinterpretation of the account that lies behind the slogan `Inference to the Best Explanation'; in others, it will require admitting limits to the scope of the account. For I accept at the outset that Inference to the Best Explanation cannot possibly be the whole story about the assessment of scientific hypotheses. For me, the interesting idea is simply that we sometimes decide how likely a hypothesis is to be correct in part by considering how good an explanation it would provide, if it were correct. This is the idea of explanatory considerations providing a guide to inference, and this is the idea that I will here promote. (shrink)

How do we go about weighing evidence, testing hypotheses, and making inferences? The model of " inference to the best explanation " -- that we infer the hypothesis that would, if correct, provide the best explanation of the available evidence--offers a compelling account of inferences both in science and in ordinary life. Widely cited by epistemologists and philosophers of science, IBE has nonetheless remained little more than a slogan. Now this influential work has been thoroughly revised and updated, and features (...) a new introduction and two new chapters. Inference to the Best Explanation is an unrivaled exposition of a theory of particular interest in the fields both of epistemology and the philosophy of science. (shrink)

How do we go about weighing evidence, testing hypotheses, and making inferences? According to the model of _Inference to the Best Explanation_, we work out what to infer from the evidence by thinking about what would actually explain that evidence, and we take the ability of a hypothesis to explain the evidence as a sign that the hypothesis is correct. In _Inference to the Best Explanation_, Peter Lipton gives this important and influential idea the development and assessment it deserves. (...) The second edition has been substantially enlarged and reworked, with a new chapter on the relationship between explanation and Bayesianism, and an extension and defence of the account of contrastive explanation. It also includes an expanded defence of the claims that our inferences really are guided by diverse explanatory considerations, and that this pattern of inference can take us towards the truth. This edition of _Inference to the Best Explanation_ has also been updated throughout and includes a new bibliography. (shrink)

Inspired by recent breakthroughs in predictive modeling, practitioners in both industry and government have turned to machine learning with hopes of operationalizing predictions to drive automated decisions. Unfortunately, many social desiderata concerning consequential decisions, such as justice or fairness, have no natural formulation within a purely predictive framework. In efforts to mitigate these problems, researchers have proposed a variety of metrics for quantifying deviations from various statistical parities that we might expect to observe in a fair world and offered a (...) variety of algorithms in attempts to satisfy subsets of these parities or to trade o the degree to which they are satised against utility. In this paper, we connect this approach to fair machine learning to the literature on ideal and non-ideal methodological approaches in political philosophy. The ideal approach requires positing the principles according to which a just world would operate. In the most straightforward application of ideal theory, one supports a proposed policy by arguing that it closes a discrepancy between the real and the perfectly just world. However, by failing to account for the mechanisms by which our non-ideal world arose, the responsibilities of various decision-makers, and the impacts of proposed policies, naive applications of ideal thinking can lead to misguided interventions. In this paper, we demonstrate a connection between the fair machine learning literature and the ideal approach in political philosophy, and argue that the increasingly apparent shortcomings of proposed fair machine learning algorithms reflect broader troubles faced by the ideal approach. We conclude with a critical discussion of the harms of misguided solutions, a reinterpretation of impossibility results, and directions for future research. (shrink)

This paper considers a central objection to evolutionary epistemology. The objection is that biological and epistemic development are not analogous, since while biological variation is blind, epistemic variation is not. The generation of hypotheses, unlike the generation of genotypes, is not random. We argue that this objection is misguided and show how the central analogy of evolutionary epistemology can be preserved. The core of our reply is that much epistemic variation is indeed directed by heuristics, but these heuristics are analogous (...) to biological preadaptations which account for the evolution of complex organs. We also argue that many of these heuristics or epistemic preadaptations are not innate but were themselves generatedby a process of blind variation and selective retention. (shrink)

In this paper I outline the PAIR account of joint attention as a perceptual-practical, affectively charged intentional relation. I argue that to explain joint attention we need to leave the received understanding of propositions and propositional attitudes and the picture of content connected to it behind and embrace the notions of subject mode and position mode content. I also explore the relation between joint attention and communication.

Machine learning algorithms are increasingly used to shape high-stake allocations, sparking research efforts to orient algorithm design towards ideals of justice and fairness. In this research on algorithmic fairness, normative theorizing has primarily focused on identification of “ideally fair” target states. In this paper, we argue that this preoccupation with target states in abstraction from the situated dynamics of deployment is misguided. We propose a framework that takes dynamic trajectories as direct objects of moral appraisal, highlighting three respects in which (...) such trajectories can be subject to evaluation in relation to their temporal dynamics, robustness, and representation. (shrink)

Morals from Motives develops a virtue ethics inspired more by Hume and Hutcheson's moral sentimentalism than by recently-influential Aristotelianism. It argues that a reconfigured and expanded "morality of caring" can offer a general account of right and wrong action as well as social justice. Expanding the frontiers of ethics, it goes on to show how a motive-based "pure" virtue theory can also help us to understand the nature of human well-being and practical reason.

Science depends on judgments of the bearing of evidence on theory. Scientists must judge whether an observation or the result of an experiment supports, disconfirms, or is simply irrelevant to a given hypothesis. Similarly, scientists may judge that, given all the available evidence, a hypothesis ought to be accepted as correct or nearly so, rejected as false, or neither. Occasionally, these evidential judgments can be made on deductive grounds. If an experimental result strictly contradicts a hypothesis, then the truth of (...) the data deductively entails the falsity of the hypothesis. In the great majority of cases, however, the connection between evidence and hypothesis is non-demonstrative, or inductive. In particular, this is so whenever a general hypothesis is inferred to be correct on the basis of the available data, since the truth of the data will not deductively entail the truth of the hypothesis. It always remains possible that the hypothesis is false even though the data are correct. (shrink)

Scientific articles exemplify standard functional units constraining argumentative structures. Severe space limitations demand every paragraph and illustration contribute to establishing the paper's claims. Philosophical testing and confirmation models should take into account each paragraph, table, and illustration. Hypothetico-Deductive, Bayesian Inductive, and Inference-to-the-Best-Explanation models do not, garbling the logic of papers. Micro-analysis of the fundamental paper in plate tectonics reveals an argumentative structure commonplace in science but ignored by standard philosophical accounts that cannot be dismissed as mere rhetorical embellishment. Papers with (...) illustrations often display a second argumentative structure differing from the text's. Constraints on adequate testing and confirmation analyses are adduced. “Experiments are about the assembly of persuasive arguments, ones that will stand up in court. … The task at hand is to capture the building-up of a persuasive argument about the world even in the absence of the logician's certainty.”—Galison, How Experiments End, 277. (shrink)

The American Journal of Bioethics, Volume 12, Issue 7, Page 27-30, July 2012.

There is a natural objection to the epistemic coherence of Bas van Fraassen’s use of a distinction between the observable and unobservable in his constructive empiricism, an objection that has been raised with particular clarity by Alan Musgrave. We outline Musgrave’s objection, and then consider how one might interpret and evaluate van Fraassen’s response. According to the constructive empiricist, observability for us is measured with respect to the epistemic limits of human beings qua measuring devices, limitations ‘which will be described (...) in detail in the final physics and biology’ (van Fraassen 1980: 17). In order for the constructive empiricist to determine what counts as observable, he will have to appeal to our best scientific theories of light, human physiology, and so forth. To put the same point in a slightly more abstract way, in order to draw a distinction between observable and unobservable entities, the constructive empiricist needs to use his best scientific theory of observability – call it T* – to tell him the identity of the observable entities. This raises an interesting difficulty. Constructive empiricism is the view that ‘science aims to give us theories that are empirically adequate; and acceptance of a theory involves as belief only that it is empirically adequate’ (van Fraassen 1980:12). When he accepts a theory, the constructive empiricist only believes the statements of his scientific theories that are about observable entities. Thus, in order to know which statements of a scientific theory to believe, the constructive empiricist needs to know which statements of that theory are about observable entities. In particular then, the constructive empiricist only believes the statements of his theory of observability T* that are about observable entities. Therefore, in order to know which statements of T* he can believe, the constructive empiricist needs to know which statements of T* are about observable entities. However, it is T* that tells the constructive empiricist what counts as an observable entity: the constructive empiricist therefore needs to use T* to tell him which statements of T* he can believe. The fact that the distinction drawn by T* must also apply to itself is not an immediate cause for alarm.. (shrink)

This book fills a gap in studies of meaning by providing detailed case studies of attested corpus data on the meanings of words and phrases.

Theories of discourse bring to realism new ideas about how knowledge develops and how representations of reality are influenced. We gain an understanding of the conceptual aspect of social life and the processes by which meaning is produced. This collection reflects the growing interest realist critics have shown towards forms of discourse theory and deconstruction. The diverse range of contributions address such issues as the work of Derrida and deconstruction, discourse theory, Eurocentrism and poststructuralism. What unites all of the contributions (...) is a sense that it is essential to provide a realist alternative to the hitherto dominance of social constructionism, hermeneutics and postmodernism, over many of the issues discussed. By developing a realist perspective the different authors attempt to embed discourse within the structured nature of the reality of the world. Realism can situate language, discourse and ideology within context specific, or 'causally efficacious' circumstances. Realism can help to uncover issues of power, representation, and subjectivity and how discursive and other social practices produce real effects. This can help us understand the manner in which social structures are reproduced through various forms of ideology and discourse. And by knowing this, we can start to address questions concerning human emancipation and how the world is to be transformed. (shrink)

Typically, fair machine learning research focuses on a single decision maker and assumes that the underlying population is stationary. However, many of the critical domains motivating this work are characterized by competitive marketplaces with many decision makers. Realistically, we might expect only a subset of them to adopt any non-compulsory fairness-conscious policy, a situation that political philosophers call partial compliance. This possibility raises important questions: how does partial compliance and the consequent strategic behavior of decision subjects affect the allocation outcomes? (...) If k% of employers were to voluntarily adopt a fairness-promoting intervention, should we expect k% progress (in aggregate) towards the benefits of universal adoption, or will the dynamics of partial compliance wash out the hoped-for benefits? How might adopting a global (versus local) perspective impact the conclusions of an auditor? In this paper, we propose a simple model of an employment market, leveraging simulation as a tool to explore the impact of both interaction effects and incentive effects on outcomes and auditing metrics. Our key findings are that at equilibrium: (1) partial compliance by k% of employers can result in far less than proportional (k%) progress towards the full compliance outcomes; (2) the gap is more severe when fair employers match global (vs local) statistics; (3) choices of local vs global statistics can paint dramatically different pictures of the performance vis-a-vis fairness desiderata of compliant versus non-compliant employers; (4) partial compliance based on local parity measures can induce extreme segregation. Finally, we discuss implications for auditors and insights concerning the design of regulatory frameworks. (shrink)

According to a causal model of explanation, we explain phenomena by giving their causes or, where the phenomena are themselves causal regularities, we explain them by giving a mechanism linking cause and effect. If we explain why smoking causes cancer, we do not give the cause of this causal connection, but we do give the causal mechanism that makes it. The claim that to explain is to give a cause is not only natural and plausible, but it also avoids many (...) of the objections to other accounts of explanation, such as the views that to explain is to give a reason to believe the phenomenon occurred, to somehow make the phenomenon familiar, or to give a Deductive-Nomological argument. Unlike the reason for belief account, a causal model makes a clear distinction between understanding why a phenomenon occurs and merely knowing that it does, and the model does so in a way that makes understanding unmysterious and objective. Understanding is not some sort of super-knowledge, but simply more knowledge: knowledge of the phenomenon and knowledge of its causal history. A causal model makes it clear how something can explain without itself being explained, and so avoids the regress of whys, since we can know a phenomenon's cause without knowing the cause of the cause. It also accounts for legitimate self-evidencing explanations, explanations where the phenomenon is an essential part of the evidence that the explanation is correct, so the explanation can not supply a non-circular reason for believing the phenomenon occurred. There is no barrier to knowing a cause through its effects and also knowing that it is their cause. The speed of recession of a star explains its observed red-shift, even though the shift is an essential part of the evidence for its speed of recession. The model also avoids the most serious objection to the familiarity view, which is that some phenomena are familiar yet not understood, since a phenomenon can be perfectly familiar, such as the blueness of the sky or the fact that the same side of the moon always faces the earth, even if we do not know its cause. Finally, a causal model avoids many of the objections to the Deductive-Nomological model. Ordinary explanations do not have to meet the requirements of the Deductive-Nomological model, because one does not need to give a law to give a cause, and one does not need to know a law to have good reason to believe that a cause is a cause. As for the notorious over-permissiveness of the Deductive-Nomological model, the reason recession explains red-shift but not conversely, is simply that causes explain effects but not conversely, and the reason a conjunction of laws does not explain its conjuncts is that conjunctions do not cause their conjuncts. (shrink)

The definitive work on the philosophical nature and impact of the theories of Charles Darwin, written by a well-known authority on the history and philosophy of Darwinism. Broadly explores the theories of Charles Darwin and Darwin studies Incorporates much information about modern Biology Offers a comprehensive discussion of Darwinism and Christianity – including Creationism – by one of the leading authorities in the field Written in clear, concise, user-friendly language supplemented with quality illustrations Examines the status of evolutionary theory as (...) a genuine theory and its implications for philosophy, epistemology and ethics Provides a strong understanding of the philosophical nature and impact of Darwin's thought Holds wide appeal for general audiences outside the world of academic philosophy Strongly supports Darwinism and fully explores modern naturalistic explanations of religion. (shrink)

Michael Quante focuses on what Hegel has to say about such central concepts as action, person and will, and then brings these views to bear on contemporary debates in analytic philosophy. This book enables professional analytic philosophers and their students to understand the significance of Hegel's philosophy to contemporary theory of action. As such, it will contribute to the ever-increasing erosion of the barrier between the continental and analytic approaches to philosophy.

The guiding inspiration of this book is the attraction and distance that mark the relation between anthropology and philosophy. This theme is explored through encounters between individual anthropologists and particular regions of philosophy. Several of the most basic concepts of the discipline—including notions of ethics, politics, temporality, self and other, and the nature of human life—are products of a dialogue, both implicit and explicit, between anthropology and philosophy. These philosophical undercurrents in anthropology also speak to the question of what it (...) is to experience our being in a world marked by radical difference and otherness. In The Ground Between, twelve leading anthropologists offer intimate reflections on the influence of particular philosophers on their way of seeing the world, and on what ethnography has taught them about philosophy. Ethnographies of the mundane and the everyday raise fundamental issues that the contributors grapple with in both their lives and their thinking. With directness and honesty, they relate particular philosophers to matters such as how to respond to the suffering of the other, how concepts arise in the give and take of everyday life, and how to be attuned to the world through the senses. Their essays challenge the idea that philosophy is solely the province of professional philosophers, and suggest that certain modalities of being in the world might be construed as ways of doing philosophy. Contributors. João Biehl, Steven C. Caton, Vincent Crapanzano, Veena Das, Didier Fassin, Michael M. J. Fischer, Ghassan Hage, Clara Han, Michael Jackson, Arthur Kleinman, Michael Puett, Bhrigupati Singh. (shrink)

Divided into four parts, this treatise begins with well-known criticisms of nonreligious ethics and then develops an atheistic metaethics. In Part 2, Martin criticizes the Christian foundation of ethics, specifically the ’divine command theory’ and the idea of imitating the life of Jesus as the basis of Christian morality. Part 3 demonstrates that life can be meaningful in the absence of religious belief. Part 4 criticizes the theistic point of view in general terms as well as the specific Christian doctrines (...) of the atonement, salvation, and the resurrection. (publisher, edited). (shrink)

The Oxford Handbook of Metaphysics offers the most authoritative and compelling guide to this diverse and fertile field of philosophy. Twenty-four of the world's most distinguished specialists provide brand-new essays about 'what there is': what kinds of things there are, and what relations hold among entities falling under various categories. They give the latest word on such topics as identity, modality, time, causation, persons and minds, freedom, and vagueness. The Handbook's unrivaled breadth and depth make it the definitive reference work (...) for students and academics across the philosophical spectrum. (shrink)

Most laws are ceteris paribus (cp) laws: they say not that all Fs are G but only that All Fs are G all else being equal. Most philosophical accounts of laws, however, have focused on strict laws. This paper considers how some of the standard philosophical problems about laws change when we switch attention from strict to cp laws and what special problems these laws raise. It is argued that some cp laws do not simply reflect the complexity of the (...) world and the limitations of our minds. Correctly interpreted, they reveal the simplicity that underlies the complexity, a simplicity that it is without our cognitive powers to grasp. (shrink)

This thought provoking book uncovers a crisis in the political imagination, a wide-spread failure to provide the passionate sense of community "in which our need for belonging can be met." Seeking the answers to fundamental questions, Michael Ignatieff writes vividly both about ideas and about the people who tried to live by them—from Augustine to Bosch, from Rosseau to Simone Weil. Incisive and moving, The Needs of Strangers returns philosophy to its proper place, as a guide to the art (...) of being human. (shrink)

We ordinarily suppose that there is a difference between having and failing to exercise a rational capacity on the one hand, and lacking a rational capacity altogether on the other. This is crucial for our allocations of responsibility. Someone who has but fails to exercise a capacity is responsible for their failure to exercise their capacity, whereas someone who lacks a capacity altogether is not. However, as Gary Watson pointed out in his seminal essay ’Skepticism about Weakness of Will’, the (...) idea of an unexercised capacity is much more difficult to make sense of than it initially appears. The aim of ’Rational Capacities’ is to provide the needed explication of this idea. (shrink)

Eldred offers a remedy to the consequences of ancient Greek misconceptions of time that are also entrenched in today’s mathematized physics. Here time is spatialized as the one-dimensionally linear ‘arrow of time’ for the sake of predicting and controlling movement. But such spatialized time distorts the phenomenon of time itself. An alternative, hermeneutic-phenomenological path begins with a pre-spatial concept of time that is genuinely three-dimensional. This paves the way for recasting who we are as humans in belonging, first of all, (...) to the free openness of 3D-temporality. This belonging enables temporally 3D-vision of the psyche that empowers us to see movement at all and reconcile its inherent contradictoriness. We are then also able to conceive ourselves no longer merely as internally cogitating, self-conscious subjects, but as engaged existentially in temporally 3D-interplay, mutually estimating and esteeming who we are. This unpredictable interplay is constrained, however, by being played out in the sociating medium of thingified value, the accumulative movement of thingified value having gained the upper hand in dictating our life-movements as well as our interplay with the earth. (shrink)