Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

This is not your psychoanalyst's unconscious.

In this paper we defend the doxastic conception of delusions against the metacognitive account developed by Greg Currie and collaborators. According to the metacognitive model, delusions are imaginings that are misidentified by their subjects as beliefs: the Capgras patient, for instance, does not believe that his wife has been replaced by a robot, instead, he merely imagines that she has, and mistakes this imagining for a belief. We argue that the metacognitive account is untenable, and that the traditional conception of (...) delusions as beliefs should be retained. (shrink)

Most of our knowledge is inexact, and known by us to be so. An example of such known inexactness will be described in some detail. The description seems to entail a contradiction. However, the paradoxical reasoning rests on an assumption. It will be suggested that the description is correct and this assumption false. Its failure will be explained by means of a picture of inexact knowledge in which the notion of a margin for error is central. This picture suggests diagnoses (...) of other paradoxical arguments: Surprise Examinations, backwards inductions about Iterated Prisoner's Dilemma, and the Heap. (shrink)

Probability is increasingly important for our understanding of the world. What is probability? How do we model it, and how do we use it? Timothy Childers presents a lively introduction to the foundations of probability and to philosophical issues it raises. He keeps technicalities to a minimum, and assumes no prior knowledge of the subject.

The full-text of this article is not currently available in ORA, but you may be able to access the article via the publisher copy link on this record page. N.B. Prof Williamson is now based at the Faculty of Philosophy, University of Oxford.

There is an argument which seems to show that if all truths are knowable then all truths are known. It may be viewed as a "reductio ad absurdum" of certain forms of antirealism. However, The claim has been made elsewhere that the argument fails against antirealists who employ constructivist rather than classical logic. The paper defends and amplifies this claim against criticisms by crispin wright and others. Relations between knowability and time are discussed. Suggestions are also made about the proper (...) form of the constructivist semantics for the conditional, Involving a non-Platonistic version of the distinction between types and tokens of proofs. (shrink)

Experiment, instrumentation, and procedures of measurement, the body of practices and technologies forming the technical culture of science, have received at most a cameo appearance in most histories. For the history of science is almost always written as the history of theory. Of course, the interpretation of science as dominated by theory was the main pillar of the critique, launched by Kuhn, Quine, Hanson, Feyerabend, and others, of the positivist and logical empiricist traditions in the philosophy of science. Against Carnap, (...) Hempel, Nagel, and Popper, who accorded observation reports an independent status either as a source of inductive support or as a basis for the falsification of scientific theories, Hanson and Kuhn emphasized the theory-ladenness of observation. They made this central point – that all observation is shaped by reference to theory – the cornerstone of a full-blown philosophy of science by buttressing it with two additional lines of argument: First, theories are always underdetermined by the data, several theories being compatible with the same set of data. Hence, choice between theories is never a matter of empirical support, but always turns around conceptual issues. Second, statements derived from theory never confront nature alone; they are always clothed in a web of interrelated beliefs. Thus, theories, their associated observation languages, and the entire technical culture they support must be accepted or rejected as wholes. (shrink)

Journal of Philosophy of Education, EarlyView.

Rational thinkers respect their evidence. Properly understood, that is a platitude. But how can one respect one's evidence unless one knows what it is? So must not rational thinkers know what their evidence is?

We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that abstraction through information hiding is a (...) primary factor in computer science progress and success through an examination of the ubiquitous role of information hiding in programming languages, operating systems, network architecture, and design patterns. (shrink)

Russian translation of Williamson T. Imagination, Stipulation and Vagueness // Philosophical Issues, 8, 1997. Translated by Alisa Veruk, Nina Zubkova with kind permission of the author.

The paper criticizes epistemological conceptions of analytic or conceptual truth, on which assent to such truths is a necessary condition of understanding them. The critique involves no Quinean scepticism about meaning. Rather, even granted that a paradigmatic candidate for analyticity is synonymy with a logical truth, both the former and the latter can be intelligibly doubted by linguistically competent deviant logicians, who, although mistaken, still constitute counterexamples to the claim that assent is necessary for understanding. There are no analytic or (...) conceptual truths in the epistemological sense. The critique is extended to purportedly analytic inference rules. An alternative account is sketched on which understanding a word is a matter of participation in a linguistic practice, while synonymy and concept identity consist in sameness of truth-conditional semantic properties. Although there are philosophical questions about concepts, the idea that philosophical questions in general are conceptual questions generates only an illusion of insight into philosophical methodology. (shrink)

The core of Tony Brueckner’s critique in ‘Knowledge, Evidence, and Skepticism according to Williamson’ is his claim in section 5 that my account of perceptual knowledge has an unacceptable consequence. My reply will concentrate on that claim and largely ignore the rest of Brueckner’s interesting discussion, for it is easy to check that the claim is essential to Brueckner’s argument against my analysis of skepticism and evidence. The alleged consequence at issue concerns a case in which Brueckner knows by seeing (...) that his cup is red. According to Brueckner, I am committed to the implausible view that ‘[his] belief of the proposition that [his] cup is red is justified in virtue of [his] belief of the proposition that [his] cup is red!’ Why does he take my account of.. (shrink)

Explores moral progress in the American military.

It is not my claim that the ‘L¨ owenheim-Skolem paradox’ is an antinomy in formal logic; but I shall argue that it is an antinomy, or something close to it, in philosophy of language. Moreover, I shall argue that the resolution of the antinomy—the only resolution that I myself can see as making sense—has profound implications for the great metaphysical dispute about realism which has always been the central dispute in the philosophy of language.

Some commentators indirectly challenge the ethics of using synthetic gametes as a way for same-sex couples to have children with shared genetics. These commentators typically impose a moral burden of proof on same-sex couples they do not impose on opposite-sex couples in terms of their eligibility to have children. Other commentators directly raise objections to parenthood by same-sex couples on the grounds that it compromises the rights and/or welfare of children. Ironically, the prospect of synthetic gametes neutralises certain of these (...) objections, insofar as they would ensure that children have parents whom they can know as their genetic parents, which outcome is not always possible when same-sex couples involve third parties as the source of gametes or embryos. Not all commentators in bioethics throw the use of synthetic gametes into doubt as far as same-sex couples are concerned, but even these commentators put parenting by gay men and lesbians at the conclusion of an argument rather than presupposing parental legitimacy from the outset. Synthetic gametes do raise questions of ethics in regard to parenthood for gay men and lesbians, but these are largely questions of access and equity, not questions of parental fitness and/or child welfare. (shrink)

The question 'What is the criterion of identity for directions?' might be construed as asking either 'When do lines have the same direction?' or 'When are directions identical?'. Frege's answer 'When they are parallel' fits the former question, not the latter, for it specifies a relation other than identity between lines, not directions. Jonathan Lowe thinks the latter question more fundamental, and claims that Frege's criterion can be reformulated to answer it: 'When some line with one is parallel to some (...) line with the other'. At p. 147 of Identity and Discrimination I make three points against this view: Lowe's construal does not permit a principled rejection of an intuitively unacceptable answer to the original question, On pain of circularity, Lowe's answer uses conceptual resources beyond those of Frege's, and thus is not a mere reformulation, Lowe's question seems to make the hopeless demand for something more basic than 'x = y Lowe's reply 'One-level versus two-level identity criteria' does not address or . I shall follow him in discussing only. (shrink)

This paper concerns Tarski’s use of the term “model” in his 1936 paper “On the Concept of Logical Consequence.” Against several of Tarski’s recent defenders, I argue that Tarski employed a non-standard conception of models in that paper. Against Tarski’s detractors, I argue that this non-standard conception is more philosophically plausible than it may appear. Finally, I make a few comments concerning the traditionally puzzling case of Tarski’s ω-rule example.

Individuals frequently make use of the body and environment when engaged in a cognitive task. For example, individuals will often spontaneously physically rotate when faced with rotated objects, such as an array of words, to putatively offload the performance costs associated with stimulus rotation. We looked to further examine this idea by independently manipulating the costs associated with both word rotation and array frame rotation. Surprisingly, we found that individuals’ patterns of spontaneous physical rotations did not follow patterns of performance (...) costs or benefits associated with being physically rotated, findings difficult to reconcile with existing theories of strategy selection involving external resources. Individuals’ subjective ratings of perceived benefits, rather, provided an excellent match to the patterns of physical rotations, suggesting that the critical variable when deciding on-the-fly whether to incorporate an external resource is the participant's metacognitive beliefs regarding expected performance or the effort required for each approach. Implications for metacognition's future in theories of cognitive offloading are discussed. (shrink)

In discussing the obligation to love everyone, Mary Astell (1666–1731) recognizes and responds to what I call the theocentric challenge: if humans are required to love God entirely, then they cannot fulfill the second requirement to love their neighbor. In exploring how Astell responds to this challenge, I argue that Astell is an astute metaphysician who does not endorse the metaphysical views she praises. This viewpoint helps us to understand the complicated relationship between her views and those of Descartes, Malebranche, (...) Henry More, and John Norris, as well as her sophisticated approach to biblical interpretation and theology. Attending to theocentrism opens up new avenues of research in the study of early modern philosophy. It also helps us to see connections between Astell and other theocentric philosophers such as Spinoza and Anne Conway. (shrink)

Hume’s criticisms of divine causation are insufficient because he does not respond to important philosophical positions that are defended by those whom he closely read. Hume’s arguments might work against the background of a Cartesian definition of body, or a Malebranchian conception of causation, or some defenses of occasionalism. At least, I will not here argue that they succeed or fail against those targets. Instead, I will lay out two major deficiencies in his arguments against divine causation. I call these (...) “deficiencies” because Hume does not adequately address live positions. This does not mean, of course, that there are not problems with these views or that Hume could not have given strong arguments against them. Rather, Hume’s arguments, which can seem comprehensive to the twenty-first century reader, are in fact not so. For the deficiencies discussed in this essay, I point to writers from Hume’s near context (many of whom we know he read carefully) who held the views not discussed, and I provide reasons why Hume seems not to have entertained these possibilities. I won’t distinguish between accidentally overlooking and actively ignoring. By drawing attention to these three deficiencies, I have two goals. The first is to demonstrate the diversity of seventeenth and early eighteenth century views on divine causation, especially among philosophers in England, Scotland, and Ireland, who are often ignored by philosophers today who, like Hume, focus on continental Cartesians while ignoring British dualists and vitalists. The second goal is to make today’s readers aware of shortcomings in Hume’s arguments to encourage productively contextual readings of Hume and his contemporaries. (shrink)

Anne Conway and Maria W. Stewart are quietly revolutionary philosophers who provide valuable insights into the nature of suffering and its relation to justice. Conway scholars have claimed that she offers a theodicy, trying to reconcile suffering with the existence of a just God. However, this does not make sense of her arguments or audience. Instead, we should see her as a theoretician of the role of suffering in a person's life. Moving beyond the personal, Stewart's emphasis on social sources (...) of suffering leads her to posit a vision for bringing about a more just society in the near term that is absent in Conway. Both philosophers provide fascinating insight into how to theorize suffering and justice, including the role of unity in a just society. (shrink)

Whit Stillman’s films depict characters attempting to gain relevant knowledge of their historical situation so that they can shape their lives. Through an analysis of scenes from each of Stillman’s films, this essay demonstrates that historical knowledge is presented as a kind of self-understanding in the films. That historical knowledge is useful for gaining control over one’s future as well as for properly evaluating one’s life reveals a philosophically interesting approach to self-knowledge. Stillman’s complex approach of layering contexts further suggests (...) an elusive account of the self. (shrink)

This anthology collects the texts that defined the concept of biopolitics, which has become so significant throughout the humanities and social sciences today. The far-reaching influence of the biopolitical—the relation of politics to life, or the state to the body—is not surprising given its centrality to matters such as healthcare, abortion, immigration, and the global distribution of essential medicines and medical technologies. Michel Foucault gave new and unprecedented meaning to the term "biopolitics" in his 1976 essay "Right of Death and (...) Power over Life." In this anthology, that touchstone piece is followed by essays in which biopolitics is implicitly anticipated as a problem by Hannah Arendt and later altered, critiqued, deconstructed, and refined by major political and social theorists who explicitly engaged with Foucault's ideas. By focusing on the concept of biopolitics, rather than applying it to specific events and phenomena, this Reader provides an enduring framework for assessing the central problematics of modern political thought. _Contributors_. Giorgio Agamben, Hannah Arendt, Alain Badiou, Timothy Campbell, Gilles Deleuze, Roberto Esposito, Michel Foucault, Donna Haraway, Michael Hardt, Achille Mbembe, Warren Montag, Antonio Negri, Jacques Rancière, Adam Sitze, Peter Sloterdijk, Paolo Virno, Slavoj Žižek. (shrink)

Hearing Things is the first work to treat systematically the relation between Cavell's pervasive authorial voice and his equally powerful, though less discernible, impulse to produce a set of usable philosophical methods.

THERE IS WIDESPREAD AGREEMENT among historians that the writings of Robert Boyle (1697-1691) constitute a valuable archive for understanding the concerns of seventeenth-century British natural philosophers. His writings have often been seen as representing, in one fashion or another, all of the leading intellectual currents of his day. ~ There is somewhat less consensus, however, on the proper historiographic method for interpreting these writings, as well as on the specific details of the beliefs expressed in them. Studies seeking to explicate (...) Boyle's thought have been, roughly speaking, of two general sorts. On the one hand there are those studies of a broadly "intellectualist" orientation which situate his natural philosophy within the intellectual context provided by metaphysics, religion, and early modern science. In this connection his corpuscularianism has been shown to be motivated by specific epistemological, theological, as well as empirical concerns. One of the central aims of such studies has been to show that apparently discordant elements in his scientific thought are rendered coherent by referring them to such "non-scientific" commitments. Among studies of this sort might be mentioned the works of John Hedley Brooke, E. A. Burtt, Gary B. Deason, J. E. McGuire, R. Hooykaas, Robert H. Kargon, Eugene M. Klaaren, P. M. Rattansi, and Richard S. Westfall. (shrink)

In his writings Alfred Schutz identifies an artificiality in the concept of life-world produced by Edmund Husserl's method of reduction. As an alternative, he proposes to assume intersubjectivity as a given of everyday life. This eradicates Husserl's distinction between life-world and natural attitude. The subsequent phenomenological project appears to center upon sociological descriptions of the structures of the life-world rather than on a search for apodictic truth. Schutz, however, actually retains Husserl's emphasis on the subject. A tension then arises between (...) the assumption of intersubjectivity and individual experience. Rather than clarifying the concept of intersubjectivity, this further problematizes it. Drawing upon Max Weber's work, Schutz responds by developing a rigorous methodology for studying the social world. But having rejected Husserl's reduction and conflated life-world and natural attitude, Schutz's analysis moves at the level of daily life itself. Consequently, the explanatory categories he proposes appear as abstractions rather than as a way of describing lived experience. Schutz, it is concluded, initiates a scientistic sociology in which the commonsense structures of the natural attitude of everyday life are subverted and replaced by the more rigorous knowledge of the scientific attitude. Schutz's version of phenomenology is ultimately untrue to the spirit of Husserl's original project; and deploying his work as a clear-cut alternative to scientistic tendencies within sociology is not as straightforward as it might at first seem. (shrink)

I present two generalizations of Putnam's model-theoretic argument against realism. The first replaces Putnam's model theory with some new, and substantially simpler, model theory, while the second replaces Putnam's model theory with some more accessible results from astronomy. By design, both of these new arguments fail. But the similarities between these new arguments and Putnam's original arguments illuminate the latter's overall structure, and the flaws in these new arguments highlight the corresponding flaws in Putnam's arguments.

While the Enlightenment brought about an unprecedented growth in freedom, it also gave rise to a set of dichotomies that Hegel's philosophy helps to overcome. In this book, Timothy C. Luther examines Hegel's contribution to polical philosophy and his attempt to resolve tensions in political philosophy and democracy_particularly, his reconciliation of individual liberty and community. Hegel's dialectic preserves what he sees as valuable in liberalism while reformulating it in a way that is more sensitive to community and historical context.

On method, discursive logics, and epistemology -- Questions of medieval discursive practice -- From the middle ages to the (w)hole of Utopia -- Kepler, his Dream, and the analysis and pattern of thought -- Campanella and Bacon: concerning structures of mind -- The masculine birth of time -- Cyrano and the experimental discourse -- The myth of sun and moon -- The difficulty of writing -- Crusoe rights his story -- Gulliver's critique of Euclid -- Emergence, consolidation, and dominance of (...) a discourse. (shrink)

Choice is a sine qua non of contemporary life. From childhood until death, we are faced with an unending series of choices through which we cultivate a sense of self, govern conduct, and shape the future. Nowadays, individuals increasingly experience and enact consumer choice online through web-based platforms such as Yelp.com, TripAdvisor.com and Amazon.com. These platforms not only provide a sprawling array of goods and services to choose from, but also reviews, ratings and ranking devices and systems of classification to (...) navigate this landscape of choice. This paper suggests a radical reconsideration of platform architectures and design features to consider how they reconfigure and respecify choice, ‘choosers’, and choice-making practices. Platforms are not simply cameras that present choice and enable comparisons between different options, but are more akin to engines that govern, drive and expand choice, configuring users within particular discourses, practices and subjectivities. In making sense of the entangled trajectories of consumer choice, platform architectures and Big Data, I suggest that ‘hyper-choice’ emerges as a condition of the contemporary platform-driven web. I examine hyper-choice not only in terms of the relationship between platforms and a growing abundance of choice, but more importantly how platforms reconfigure choice in ways that go beyond and fundamentally challenge existing understandings of what choice is, who and what is involved in producing knowledge about choice, and what it means to be a ‘chooser’. (shrink)

Somatic cell nuclear transfer (SCNT) remains a controversial technique, one that has elicited a variety of regulatory responses throughout the world. On March 29, 2005, Canada's Assisted Human Reproduction Act came into force. This law prohibits a number of research activities, including SCNT. Given the pluralistic nature of Canadian society, the creation of this law stands as an interesting case study of the policy-making process and how and why a liberal democracy ends up making the relatively rare decision to use (...) a statutory prohibition, backed by severe penalties, to stop a particular scientific activity. In this article, we provide a comprehensive and systematic legal analysis of the legislative process and parliamentary debates associated with the passage of this law. (shrink)