Putnam construed the aim of Carnap’s program of inductive logic as the specification of a “universal learning machine,” and presented a diagonal proof against the very possibility of such a thing. Yet the ideas of Solomonoff and Levin lead to a mathematical foundation of precisely those aspects of Carnap’s program that Putnam took issue with, and in particular, resurrect the notion of a universal mechanical rule for induction. In this paper, I take up the question whether the Solomonoff–Levin proposal is (...) successful in this respect. I expose the general strategy to evade Putnam’s argument, leading to a broader discussion of the outer limits of mechanized induction. I argue that this strategy ultimately still succumbs to diagonalization, reinforcing Putnam’s impossibility claim. (shrink)

The inference from determinism to predictability, though intuitively plausible, needs to be qualified in an important respect. We need to distinguish between two different kinds of predictability. On the one hand, determinism implies external predictability , that is, the possibility for an external observer, not part of the universe, to predict, in principle, all future states of the universe. Yet, on the other hand, embedded predictability as the possibility for an embedded subsystem in the universe to make such predictions, does (...) not obtain in a deterministic universe. By revitalizing an older result—the paradox of predictability —we demonstrate that, even in a deterministic universe, there are fundamental, non-epistemic limitations on the ability of one subsystem embedded in the universe to predict the future behaviour of other subsystems embedded in the same universe. As an explanation, we put forward the hypothesis that these limitations arise because the predictions themselves are physical events which are part of the law-like causal chain of events in the deterministic universe. While the limitations on embedded predictability cannot in any direct way show evidence of free human agency, we conjecture that, even in a deterministic universe, human agents have a take-it-or-leave-it control over revealed predictions of their future behaviour. (shrink)

In a famous passage drawing implications from determinism, Laplace introduced the image an intelligence who knew the positions and momenta of all of the particles of which the universe is composed, and asserted that in a deterministic universe such an intelligence would be able to predict everything that happens over its entire history. It is not, however, difficult to establish the physical possibility of a counterpredictive device, i.e., a device designed to act counter to any revealed prediction of its behavior. (...) What would happen if a Laplacean intelligence were put into communication with such a device and forced to reveal its prediction of what the device would do on some occasion? On the one hand, it seems that the Laplacean Intelligence should be able to predict the device's behavior. On the other hand, it seems like that device should be able to act counter to the prediction. An examination of the puzzle leads to clarification of what determinism does entail, with some insights about various other things along the way. (shrink)

It is a commonplace within philosophy that the ontology of institutions can be captured in terms of constitutive rules. What exactly such rules are, however, is not well understood. They are usually contrasted to regulative rules: constitutive rules (such as the rules of chess) make institutional actions possible, whereas regulative rules (such as the rules of etiquette) pertain to actions that can be performed independently of such rules. Some, however, maintain that the distinction between regulative and constitutive rules is merely (...) a linguistic one. In this paper I present the status account of constitutive rules in order to address this criticism. According to the status account constitutive rules pertain to institutional statuses and statuses are to be understood in terms of status rules. Status rules concern the enabling and constraining roles of institutions, and constitutive rules specify the preconditions that have to be met in order for them to play these roles. Even though I end up endorsing the claim that the distinction mentioned is a linguistic one, I go on to argue that there is an underlying reality that constitutive rules serve to make apparent. (shrink)

In 1687 Isaac Newton ushered in a new scientific era in which laws of nature could be used to predict the movements of matter with almost perfect precision. Newton's physics also posed a profound challenge to our self-understanding, however, for the very same laws that keep airplanes in the air and rivers flowing downhill tell us that it is in principle possible to predict what each of us will do every second of our entire lives, given the early conditions of (...) the universe. Can it really be that even while you toss and turn late at night in the throes of an important decision and it seems like the scales of fate hang in the balance, that your decision is a foregone conclusion? Can it really be that everything you have done and everything you ever will do is determined by facts that were in place long before you were born? This problem is one of the staples of philosophical discussion. It is discussed by everyone from freshman in their first philosophy class, to theoretical physicists in bars after conferences. And yet there is no topic that remains more unsettling, and less well understood. If you want to get behind the façade, past the bare statement of determinism, and really try to understand what physics is telling us in its own terms, read this book. The problem of free will raises all kinds of questions. What does it mean to make a decision, and what does it mean to say that our actions are determined? What are laws of nature? What are causes? What sorts of things are we, when viewed through the lenses of physics, and how do we fit into the natural order? Ismael provides a deeply informed account of what physics tells us about ourselves. The result is a vision that is abstract, alien, illuminating, and-Ismael argues-affirmative of most of what we all believe about our own freedom. Written in a jargon-free style, How Physics Makes Us Free provides an accessible and innovative take on a central question of human existence. (shrink)

Written in an outstandingly clear and lively style, this 1969 book provokes its readers to rethink issues they may have regarded as long since settled.

John Searle began to discuss his recently published book `The Construction of Social Reality' with Anthony Freeman, and they ended up talking about God. The book itself and part of their conversation are introduced and briefly reflected upon by Anthony Freeman. Many familiar social facts -- like money and marriage and monarchy -- are only facts by human agreement. They exist only because we believe them to exist. That is the thesis, at once startling yet obvious, that philosopher John Searle (...) explores in The Construction of Social Reality. (shrink)

A few philosophers have held that determinism should lead to an attitude of resignation: since what will be will be, there is no point trying to influence the future. That argument has rightly been seen as mistaken. But a plausible parallel argument leads from the thesis of predictability---the thesis that it can be known what will happen---to an attitude of resignation. So if predictability is true, our normal practical attitudes may well be deeply mistaken. Fortunately, whilst determinism is a plausible (...) doctrine, there is a strong argument against predictability. Determinism and predictability should be kept well apart. (shrink)

Kevin T. Kelly, Cory Juhl and Clark Glymour. Reliability, Realism, and Relativism.