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)

Inference to the best explanation—or, IBE—tells us to infer from the available evidence to the hypothesis which would, if correct, best explain that evidence. As Peter Lipton puts it, the core idea driving IBE is that explanatory considerations are a guide to inference. But what is the epistemic status of IBE, itself? One issue of contemporary interest is whether it is possible to provide a justification for IBE itself which is non- objectionably circular. We aim to carve out some (...) new space in this debate. In particular, we suggest that the matter of whether a given rule-circular argument is objectionably circular itself depends crucially on some subtle distinctions which have been made in the recent literature on perceptual warrant. By bringing these debates together, a principled reason emerges for why some kinds of rule-circular justifications for IBE are considerably less objectionable than others. (shrink)

The idea that a serious threat to scientific realism comes from unconceived alternatives has been proposed by van Fraassen, Sklar, Stanford and Wray among others. Peter Lipton's critique of this threat from underconsideration is examined briefly in terms of its logic and its applicability to the case of space-time and particle physics. The example of space-time and particle physics indicates a generic heuristic for quantitative sciences for constructing potentially serious cases of underdetermination, involving one-parameter family of rivals T_m that (...) work as a team rather than as a single rival against default theory T_0. In important examples this new parameter has a physical meaning and makes a crucial _conceptual_ difference, shrinking the symmetry group and in some case putting gauge freedom, formal indeterminism vs. determinism, the presence of the hole argument, etc., at risk. Methodologies akin to eliminative induction or tempered subjective Bayesianism are more demonstrably reliable than the custom of attending only to "our best theory": they can lead either to a serious rivalry or to improved arguments for the favorite theory. The example of General Relativity vs. massive spin 2 gravity, a recent topic in the physics literature, is discussed. Arguably the General Relativity and philosophy literatures have ignored the most serious rival to General Relativity. (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)

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 comprehensive and important volume includes contributions by activists, journalists, lawyers and scholars from twenty-one countries. The essays map the directions the movement for women's rights is taking--and will take in the coming decades--and the concomittant transformation of prevailing notions of rights and issues. They address topics such as the rapes in former Yugoslavia and efforts to see that a War Crimes Tribunal responds; domestic violence; trafficking of women into the sex trade; the persecution of lesbians; female genital mutilation; and (...) reproductive rights. (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)

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 argues that for the purposes of any sort of serious discussion about immoral conduct in sport very little is illuminated by claiming that the conduct in question is cheating. In fact, describing some behavior as cheating is typically little more than expressing strong, but thoroughly vague and imprecise, moral disapproval or condemnation of another person or institution about a wide and ill-defined range of improper advantage-seeking behavior. Such expressions of disapproval fail to distinguish cheating from many other types (...) of immoral conduct. The discussion shows that we should set the concept aside and assess the moral disapproval implied by claims of cheating by reference to the moral and other principles that underlie the practice of sport. This allows us to consider carefully the complexity of the issues that are raised when allegations of cheating are made and not be distracted by the emotionally loaded, conversation-stopping tendency of the concept. This means that some types of disputes in sport will be messy and demand more effort to resolve, but the payoff will be better informed and more thoughtful discussions and greater awareness of the moral complexity of sport and of its principled underpinnings. (shrink)

Scientists and laypeople alike use the sense of understanding that an explanation conveys as a cue to good or correct explanation. Although the occurrence of this sense or feeling of understanding is neither necessary nor sufficient for good explanation, it does drive judgments of the plausibility and, ultimately, the acceptability, of an explanation. This paper presents evidence that the sense of understanding is in part the routine consequence of two well-documented biases in cognitive psychology: overconfidence and hindsight. In light of (...) the prevalence of counterfeit understanding in the history of science, I argue that many forms of cognitive achievement do not involve a sense of understanding, and that only the truth or accuracy of an explanation make the sense of understanding a valid cue to genuine understanding. (shrink)

Providing an original and systematic treatment of foundational issues in philosophy of religion, J. L. Schellenberg's new book addresses the structure of..

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)

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)

Philosophical Analysis Its Development between the Two World Wars.

This book reconstructs the concept and practice of dialectics as a means of grounding a critical theory of society. At the center of this project is the thesis of phronetic criticism or a form of reason that is able to synthesize human value with objective rationality. This book argues that defects in modern forms of social reason are the result of the powers of social structure and the norms and purposes they embody. Increasingly, modern societies are driven not by substantive (...) values concerning human good but by the technical imperatives of economic management leading to a cultural condition of nihilism that has eroded dialectical consciousness. The first half of the book demonstrates the various ways that social power erodes and undermines critical-rational forms of consciousness. The second part of the book constructs an alternative basis for critical reason by showing how it requires seeing human value as essentially ontological: that is, constituted by objective forms of sociality that either promote human freedom or pervert our capacities and drives toward pathological forms of life. The philosophical claim is that a critical theory of ethics must be rooted in these concrete forms of life and that this will serve as a critical vantage point for critical political judgment and transformational praxis. Descent of the Dialectic will be of interest to researchers working in philosophy, political theory, social theory, and critical theory. (shrink)

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)

The philosophical literature on sport and games has had little to say about boredom beyond presuming that sports and games can be important ways of overcoming or preventing it. But boredom is an interesting and often misunderstood phenomenon with overlooked implications in this context. Boredom has significant human value and motivates play in ways that contribute to well-being and culture, often through encouraging engaged agency and exploration of novelty. Understanding boredom can also help to clarify problems and tendencies in sports (...) and games that qualify them as havens from boredom. (shrink)

The posterior parietal cortex (PPC) is the most likely site where egocentric spatial relationships are represented in the brain. PPC cells receive visual, auditory, somaesthetic, and vestibular sensory inputs; oculomotor, head, limb, and body motor signals; and strong motivational projections from the limbic system. Their discharge increases not only when an animal moves towards a sensory target, but also when it directs its attention to it. PPC lesions have the opposite effect: sensory inattention and neglect. The PPC does not seem (...) to contain a “map” of the location of objects in space but a distributed neural network for transforming one set of sensory vectors into other sensory reference frames or into various motor coordinate systems. Which set of transformation rules is used probably depends on attention, which selectively enhances the synapses needed for making a particular sensory comparison or aiming a particular movement. (shrink)

Ned Block argues that the higher-order (HO) approach to explaining consciousness is ‘defunct’ because a prominent objection (the ‘misrepresentation objection’) exposes the view as ‘incoherent’. What’s more, a response to this objection that I’ve offered elsewhere (Weisberg 2010) fails because it ‘amounts to abusing the notion of what-it’s-like-ness’ (xxx).1 In this response, I wish to plead guilty as charged. Indeed, I will continue herein to abuse Block’s notion of what-it’s-like-ness. After doing so, I will argue that the HO approach accounts (...) for the sense of what-it’s-like-ness that matters in a theory of consciousness. I will also argue that the only incoherence present in the HO theory is that generated by embracing Block’s controversial notion of what-it’s-like-ness, something no theorist of any stripe ought to do. Block is famous for (among other things) having introduced the notion of ‘phenomenal consciousness’ into contemporary philosophy of mind (Block 1995). This term is widely employed in the philosophical literature and it even appears in the empirical literature. But wide-speared usage has brought about divergent interpretations of the term. We can distinguish a ‘moderate’ and a ‘zealous’ reading of ‘phenomenal consciousness’. On the moderate reading, ‘phenomenal consciousness’ just means ‘experience’. Many people have embraced this sense of the term and use it to roughly pick out conscious experience involving sensory quality (states like conscious visual experiences or conscious pains, for example).2 On the zealous reading, however, phenomenal consciousness is held to be ‘distinct from any cognitive, intentional, or functional property’ (Block 1995: 234). That is, any explanation of phenomenal consciousness in exclusively cognitive, intentional, or functional terms will fail to capture, without remainder, what is really distinctive about phenomenal consciousness. Block, of course, is fully clear about embracing the zealous reading; indeed, his initial introduction of the notion is in those terms. The same ambiguity occurs with the much-used (and abused) idea of ‘what-it’s-like-ness’.. (shrink)

Appearing in English for the first time, Schelling’s 1842 lectures develop the idea that many philosophical concepts are born of religious-mythological notions.

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)

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 make on deductive grounds. If an experimental result strictly contradicts a hypothesis, then the truth of (...) the evidence deductively entails the falsity of the hypothesis. In the great majority of cases, however, the connection between evidence and hypothesis is nondemonstrative 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)

Prolegomena : the ritual context for Ambrose's soteriology -- The case of Augustine's baptism -- The loss of harmonic unity : Ambrose's account of the fallen human condition -- The soul : Ambrose's true self -- Essential unity of soul and body : Ambrose's hylomorphic theory -- The body of death : the legacy of the fall -- Raised to new life : Ambrose's theology of baptism -- Baptism : sacrament of justification -- Resurrection and regeneration -- Baptismal regeneration : (...) participation in the new humanity -- The inner man's new desire -- Conclusion : the inner man's heavenly dwelling place. (shrink)

Este volumen recoge las lecciones del X Curso de Cultura hispanojudía y sefardí de la Universidad de Castilla-La Mancha, organizado por la Asociación de Amigos del Museo Sefardí (Toledo, Septiembre 2000) y consagrado al Pensamiento y Mística hispanojudía y sefardí. Las quince conferencias aquí reunidas ofrecen una perspectiva amplia, representativa y completa de los momentos, autores y temas más significativos tratados por pensadores y místicos sefardíes desde la Edad Media hasta nuestros días. Se aprecia una continuidad en los problemas y (...) una búsqueda constante de nuevas soluciones, adaptadas a las circunstancias de cada época. Es la primera vez que aparece en lengua castellana una visión global de esta rica faceta de la cultura hispanohebrea, que permite al lector acercarse a la evolución del pensamiento de los judíos originarios de Sefarad antes y después de 1492, tanto en su faceta filosófica con en su faceta mística (cábala). (shrink)