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)

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

This essay focuses on the cognitive tension between science and religion, in particular on the contradictions between some of the claims of current science and some of the claims in religious texts. My aim is to suggest how some work in the philosophy of science may help to manage this tension. Thus I will attempt to apply some work in the philosophy of science to the philosophy of religion, following the traditional gambit of trying to stretch the little one does (...) understand to cover what one does not understand. My own views on science and religion are hardly views from nowhere. My scientific perspective is that of a hopeful realist. Scientific realism is the view that science, though fallible through and through, is in the truth business, attempting to find out about a world independent of ourselves, and it is the view that business is, on the whole, going pretty well. My religious perspective is that of a progressive Jew. The problem I am worrying in this essay is my own problem. I take my other philosophical problems seriously too, but for the me the question of the relationship between science and religion has a personal edge I do not feel in my other philosophical obsessions with the likes of the problems of induction or the content of ceteris paribus laws. My reply to a charge of self-indulgence would be that my cognitive predicament is, I believe, widely shared. (shrink)

The thirteenth century mystic Ibn ʻArabi was the foremost Sufi theorist of the premodern era. For more than a century, Western scholars and esotericists have heralded his universalism, arguing that he saw all contemporaneous religions as equally valid. In Rethinking Ibn ʻArabi, Gregory Lipton calls this image into question and throws into relief how Ibn ʻArabi's discourse is inseparably intertwined with the absolutist vision of his own religious milieu-- that is, the triumphant claim that Islam fulfilled, superseded, and therefore (...) abrogated all previous revealed religions. Lipton juxtaposes Ibn ʻArabi's absolutist conception with the later reception of his ideas, exploring how they have been read, appropriated, and universalized within the reigning interpretive field of Perennial Philosophy in the study of Sufism. The contours that surface through this comparative analysis trace the discursive practices that inform Ibn ʻArabi's Western reception back to the eighteenth and nineteenth century study of 'authentic' religion, where European ethno-racial superiority was wielded against the Semitic Other - both Jewish and Muslim. Lipton argues that supersessionist models of exclusivism are buried under contemporary Western constructions of religious authenticity in ways that ironically mirror Ibn ʻArabi's medieval absolutism. (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)

Structural realism is considered by many realists and antirealists alike as the most defensible form of scientific realism. There are now many forms of structural realism and an extensive literature about them. There are interesting connections with debates in metaphysics, philosophy of physics and philosophy of mathematics. This entry is intended to be a comprehensive survey of the field.

Moral philosophy is the study of what morality is and what it requires of us. As Socrates said, it's about "how we ought to live"-and why. It would be helpful if we could begin with a simple, uncontroversial definition of what morality is. Unfortunately, we cannot. There are many rival theories, each expounding a different conception of what it means to live morally, and any definition that goes beyond Socrates's simple formula-tion is bound to offend at least one of them. (...) This should make us cautious, but it need not paralyze us. In this chapter, I will describe the "minimum conception" of morality. (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)

"The lectures that follow were delivered at the Lowell Institute in Boston in November and December, 1906, and in January, 1907, at Columbia University, in New York."-Preface, pg. 3.

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)

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)

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)

For this 1897 publication, the American philosopher William James brought together ten essays, some of which were originally talks given to Ivy League societies. Accessible to a broader audience, these non-technical essays illustrate the author's pragmatic approach to belief and morality, arguing for faith and action in spite of uncertainty. James thought his audiences suffered 'paralysis of their native capacity for faith' while awaiting scientific grounds for belief. His response consisted in an attitude of 'radical empiricism', which deals (...) practically rather than ideologically with real-world phenomena. When facing a 'momentous' decision about belief, he says, we both can and must choose the best hypothesis. The first four essays apply this principle to religious faith, and the rest explore the pragmatic approach to such topics as determinism, ethics and individual achievement. James developed his ideas further in The Varieties of Religious Experience and Pragmatism, both of which are reissued in this series. (shrink)

The Gifford Lectures were established in 1885 at the universities of St Andrews, Glasgow, Aberdeen and Edinburgh to promote the discussion of 'Natural Theology in the widest sense of the term - in other words, the knowledge of God', and some of the world's most influential thinkers have delivered them. The 1901–2 lectures given in Edinburgh by American philosopher William James are considered by many to be the greatest in the series. The lectures were published in book form in (...) 1902 and have been reprinted many times. James, who was educated in the United States and Europe, and spent much of his career teaching philosophy at Harvard, was very influential in the development of modern psychology, and in these twenty lectures he explores the personal experience of religion. Some of the topics include religion and neurology, 'the sick soul', saintliness, and mysticism. (shrink)

One of the most influential men of his time, philosopher, psychologist, educator, and author William James (1842-1910) helped lead the transition from a predominantly European-centered nineteenth-century philosophy to a new "pragmatic" American philosophy. Helping to pave the way was his seminal book Pragmatism (1907), in which he included a chapter on "Truth," an essay which provoked severe criticism. In response, he wrote the present work, an attempt to bring together all he had ever written on the theory of knowledge, (...) including an article on the function of cognition, later polemic and expository contributions, and some replies to previous criticism. The result was a full and definitive expression of the pragmatist "epistemology" from James' point of view. In the book, he urges the reader to "turn away from abstractions, verbal solutions, fixed principles, and pretended absolutes and look for concreteness and facts, action and power," arguing that "the ultimate test for us of what a truth means is the conduct it dictates or inspires." For students, scholars--anyone interested in William James or the history of American philosophical thought--this book offers an in-depth exposition of the influential ideas of one of the greatest American thinkers. Unabridged republication of the edition originally published by Longmans, Green and Co., New York and London, 1909. (shrink)

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)

We have several intuitive paradigms of defeating evidence. For example, let E be the fact that Ernie tells me that the notorious pet Precious is a bird. This supports the premise F, that Precious can fly. However, Orna gives me *opposing* evidence. She says that Precious is a dog. Alternatively, defeating evidence might not oppose Ernie's testimony in that direct way. There might be other ways for it to weaken the support that Ernie's testimony gives me for believing F, without (...) the new evidence itself intuitively constituting reasons to believe one way or the other about Precious's flight ability. An example: Ursula tells me that Ernie has no idea what Precious's species is; he's just guessing. She may not herself want to or be in a position to weigh in about Precious's real species or flight ability. I call defeating evidence of this sort *undermining evidence. (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)

Two books bound together, from the religious period of one of the most renowned and representative thinkers. Written for laymen, thus easy to understand, it is penetrating and brilliant as well. Illuminations of age-old religious questions from a pragmatic perspective, written in a luminous style.

Noted psychologist and philosopher develops his own brand of pragmatism, based on theories of C. S. Peirce. Emphasis on "radical empiricism," versus the transcendental and rationalist tradition. One of the most important books in American philosophy. Note.

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)

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)

From the bestselling author of Assholes: A Theory, a book that--in the tradition of Shopclass as Soulcraft, Barbarian Days and Zen and the Art of Motorcycle Maintenance--uses the experience and the ethos of surfing to explore key concepts in philosophy. The existentialist philosopher Jean-Paul Sartre once declared "the ideal limit of aquatic sports...is waterskiing." The avid surfer and lavishly credentialed academic philosopher Aaron James vigorously disagrees, and in Surfing with Sartre he intends to expound the thinking surfer's view of (...) the matter, in the process elucidating such philosophical categories as freedom, being, phenomenology, morality, epistemology, and even the emerging values of what he terms "leisure capitalism." In developing his unique surfer-philosophical worldview, he draws from his own experience of surfing and from surf culture and lingo, and includes many relevant details from the lives of the philosophers, from Aristotle to Wittgenstein, with whose thought he engages. In the process, he'll speak to readers in search of personal and social meaning in our current anxious moment, by way of doing real, authentic philosophy. (shrink)

Yoga is hugely popular around the world today, yet until now little has been known of its roots. This book collects, for the first time, core teachings of yoga in their original form, translated and edited by two of the world's foremost scholars of the subject. It includes a wide range of texts from different schools of yoga, languages and eras: among others, key passages from the early Upanisads and the Mahabharata, and from the Tantric, Buddhist and Jaina traditions, with (...) many pieces in scholarly translation for the first time. Covering yoga's varying definitions across systems, models of the esoteric and physical bodies, and its most important practices, such as posture, breath control, sensory withdrawal and meditation, Roots of Yoga is a unique and essential source of knowledge. (shrink)

Louis Agassiz.--Address at the Emerson Centenary in Concord.--Robert Gould Shaw.--Francis Boott.--Thomas Davidson: a knight-errant of the intellectual life.--Herbert Spencer's autobiography.--Frederick Myers' services to psychology.--Final impressions of a psychical researcher.--On some mental effects of the earthquake.--The energies of men.--The moral equivalent of war.--Remarks at the peace banquet.--The social value of the college-bred.--The university and the individual: The Ph.D. octopus. The true Harvard. Stanford's ideal destiny.--A pluralistic mystic.

An approach to argument macrostructure -- The dialectical nature of argument -- Toulmin's problematic notion of warrant -- The linked-convergent distinction, a first approximation -- Argument structure and disciplinary perspective : the linked-convergent versus multiple-co-ordinatively compound distinctions -- The linked-convergent distinction, refining the criterion -- Argument structure and enthymemes -- From analysis to evaluation.

History and Systems of Psychology provides an engaging introduction to the rich story of psychology's past. Retaining the clarity and accessibility praised by readers of earlier editions, this classic textbook provides a chronological history of psychology from the pre-Socratic Greeks to contemporary systems, research, and applications. The new edition also features expanded coverage of Eastern as well as Western traditions, influential women in psychology, professional psychology in clinical, educational, and social settings, and new directions in twenty-first century psychology as a (...) cognitive and a positive science. Assuming little prerequisite knowledge, the authors discuss the people, places, and concepts that have shaped psychology's story, and show that we remain fascinated by the same enduring questions that confronted our ancestors - namely, our wonder at our subjectivity and consciousness of self. The seventh edition is fully supported by robust pedagogical features, instructor resources, and a companion website to aid student learning. (shrink)

This chapter contains sections titled: Contact‐Period Indigenous Andean Philosophy Contact‐Era Aztec or Nahua Philosophy Conclusion References.

Background -- The moral manualists -- Initiating reform : Odon Lottin -- Retrieving Scripture and charity : Fritz Tillman and Gérard Gilleman -- Synthesis : Bernard Häring -- The neo-manualists -- New foundations for moral reasoning, 1970-89 -- New foundations for a theological anthropology, 1980-2000 -- Toward a global discourse on suffering and solidarity -- Afterword: The encyclicals of Pope Benedict XVI.