In this paper we explore the relationship between norms of belief revision that may be adopted by members of a community and the resulting dynamic properties of the distribution of beliefs across that community. We show that at a qualitative level many aspects of social belief change can be obtained from a very simple model, which we call ‘threshold influence’. In particular, we focus on the question of what makes the beliefs of a community stable under various dynamical situations. We (...) also consider refinements and alternatives to the ‘threshold’ model, the most significant of which is to consider changes to plausibility judgements rather than mere beliefs. We show first that some such change is mandated by difficult problems with belief-based dynamics related to the need to decide on an order in which different beliefs are considered. Secondly, we show that the resulting plausibility-based account results in a deterministic dynamical system that is non-deterministic at the level of beliefs. (shrink)

We shed light on an old problem by showing that the logic LP cannot define a binary connective $\odot$ obeying detachment in the sense that every valuation satisfying $\varphi$ and $(\varphi\odot\psi)$ also satisfies $\psi$ , except trivially. We derive this as a corollary of a more general result concerning variable sharing.

Ceteris Paribus clauses in reasoning are used to allow for defeaters of norms, rules or laws, such as in von Wright’s example “I prefer my raincoat over my umbrella, everything else being equal”. In earlier work, a logical analysis is offered in which sets of formulas Γ, embedded in modal operators, provide necessary and sufficient conditions for things to be equal in ceteris paribus clauses. For most laws, the set of things allowed to vary is small, often finite, and so (...) Γ is typically infinite. Yet the axiomatisation they provide is restricted to the special and atypical case in which Γ is finite. We address this problem by being more flexible about ceteris paribus conditions, in two ways. The first is to offer an alternative, slightly more general semantics, in which the set of formulas only give necessary but not sufficient conditions. This permits a simple axiomatisation. (shrink)

Turing's (1936) analysis of effective symbolic procedures is a model of conceptual clarity that plays an essential role in the philosophy of mathematics. Yet appeal is often made to the effectiveness of human procedures in other areas of philosophy. This paper addresses the question of whether Turing's analysis can be applied to a broader class of effective human procedures. We use Sieg's (1994) presentation of Turing's Thesis to argue against Cleland's (1995) objections to Turing machines and we evaluate her proposal (...) to understand the effectiveness of procedures in terms of their reliability and precision. A number of conditions for effectiveness are identified and these are used to provide a general argument against the possibility of a Leibnizian decision procedure. (shrink)

Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of formal derivations in a suitable axiomatic foundation, but then it is hard to see how this normative standard can be met, given the differences between informal proofs and formal derivations, and given the inherent fragility and complexity of (...) the latter. This essay describes some of the ways that mathematical practice makes it possible to reliably and robustly meet the formal standard, preserving the standard normative account while doing justice to epistemically important features of informal mathematical justification. (shrink)

The main aim of this paper is to make a remark about the relation between dualities between theories, as `duality' is understood in physics and equivalence of theories, as `equivalence' is understood in logic and philosophy. The remark is that in physics, two theories can be dual, and accordingly get called `the same theory', though we interpret them as disagreeing---so that they are certainly not equivalent, as `equivalent' is normally understood. So the remark is simple: but, I shall argue, worth (...) stressing---since often neglected. My argument for this is based on the account of duality developed by De Haro: which is illustrated here with several examples, from both elementary physics and string theory. Thus I argue that in some examples, including in string theory, two dual theories disagree in their claims about the world. I also spell out how this remark implies a limitation of proposals to understand theoretical equivalence as either logical equivalence or a weakening of it. (shrink)

I have two main aims. The first is general, and more philosophical. The second is specific, and more closely related to physics. The first aim is to state my general views about laws and causation at different ”levels’. The main task is to understand how the higher levels sustain notions of law and causation that ”ride free’ of reductions to the lower level or levels. I endeavour to relate my views to those of other symposiasts. The second aim is to (...) give a framework for describing dynamics at different levels, emphasizing how the various levels’ dynamics can mesh or fail to mesh. This framework is essentially that of elementary dynamical systems theory. The main idea will be, for simplicity, to work with just two levels, dubbed ”micro’ and ”macro’, which are related by coarse-graining. I use this framework to describe, in part, the first four of Ellis’ five types of top-down causation. (shrink)

We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

In a wide range of fields, the word “modular” is used to describe complex systems that can be decomposed into smaller systems with limited interactions between them. This essay argues that mathematical knowledge can fruitfully be understood as having a modular structure and explores the ways in which modularity in mathematics is epistemically advantageous.

On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued. I argue that at least some of these criteria depend on the methods of inference the proofs employ, and that (...) standard models of formal deduction are not well-equipped to support such evaluations. I discuss a model of proof that is used in the automated deduction community, and show that this model does better in that respect. (shrink)

"Arguing that debates over legitimacy, political violence, freedom, and justice would benefit greatly from cross-tradition theorizing, this book shows how putting analytic and continental political theory in conversation would help us to overcome these intractable problems"--.

We show that certain model-theoretic forcing arguments involving subsystems of second-order arithmetic can be formalized in the base theory, thereby converting them to effective proof-theoretic arguments. We use this method to sharpen the conservation theorems of Harrington and Brown-Simpson, giving an effective proof that WKL+0 is conservative over RCA0 with no significant increase in the lengths of proofs.

The concept of minimal risk has been used to regulate and limit participation by adolescents in clinical trials. It can be understood as setting an absolute standard of what risks are considered minimal or it can be interpreted as relative to the actual risks faced by members of the host community for the trial. While commentators have almost universally opposed a relative interpretation of the environmental risks faced by potential adolescent trial participants, we argue that the ethical concerns against the (...) relative standard may not be as convincing as these commentators believe. Our aim is to present the case for a relative standard of environmental risk in order to open a debate on this subject. We conclude by discussing how a relative standard of environmental risk could be defended in the specific case of an HIV vaccine trial among adolescents in South Africa. (shrink)

Picturing is a poorly understood element of Sellars’s philosophical project. We diagnose the problem with picturing as follows: on the one hand, it seems that it must be connected with action in order for it to do its job. On the other hand, the representational states of a picturing system are characterized in descriptive and seemingly static terms. How can static terms be connected with action? To solve this problem, we adopt a concept from recent work in Sellarsian metaethics: the (...) idea of a material practical inference, which (we argue) features centrally in how we picture. The key distinction is that the picturing of nonhuman animals involves only Humean material practical inference, in which representational states are corrected only by feedback from the environment and not from discursive interactions. The resulting view shows that Sellars’s contributions to practical philosophy (especially theory of action and metaethics) cannot be separated from his contributions to philosophy of mind, language, and cognitive science. Further, the view makes it clear that picturing is neither a version of the Given, nor is it a fifth wheel to inferential role in explaining representation, but is essential to Sellars’s model of how animals—including humans—represent their environment. (shrink)

The purpose of this paper is to think about the various methods of attempting to make money in the capital markets (“investing”). I suggest that though running a betting system on a Roulette wheel is silly, running a betting system on the capital markets may be a good idea.

This paper provides a new analysis and critique of Rawlsian public reason’s handling of the abortion question. It is often claimed that public reason is indeterminate on abortion, because it cannot say enough about prenatal moral status, or give content to the (allegedly) political value which Rawls calls ‘respect for human life’. I argue that public reason requires much greater argumentative restraint from citizens debating abortion than critics have acknowledged. Beyond the preliminary observation that fetuses do not meet the criteria (...) of political personhood, I contend, public reasoners may say nothing about prenatal moral status. Indeed, respect for human life (as distinct from respect for persons) is not, I show, a genuine political value, whose interpretation lies within public reason’s remit. This fact does not, however, prevent deliberators from drawing determinate conclusions regarding the law of abortion. Instead, I show, public reason has radically permissive implications for the legal regulation of feticide, inclining heavily towards the view that abortion should be allowed with little or no qualification, right until birth. I end by giving grounds for thinking that, even if the argumentative restraint which public reason enjoins over prenatal moral status does not generate indeterminacy, it is nonetheless objectionable. (shrink)

Many psychological studies of categorization and reasoning use undergraduates to make claims about human conceptualization. Generalizability of findings to other populations is often assumed but rarely tested. Even when comparative studies are conducted, it may be challenging to interpret differences. As a partial remedy, in the present studies we adopt a 'triangulation strategy' to evaluate the ways expertise and culturally different belief systems can lead to different ways of conceptualizing the biological world. We use three groups (US bird experts, US (...) undergraduates, and ordinary Itza' Maya) and two sets of birds (North American and Central American). Categorization tasks show considerable similarity among the three groups' taxonomic sorts, but also systematic differences. Notably, US expert categorization is more similar to Itza' than to US novice categorization. The differences are magnified on inductive reasoning tasks where only undergraduates show patterns of judgment that are largely consistent with current models of category-based taxonomic inference. The Maya commonly employ causal and ecological reasoning rather than taxonomic reasoning. Experts use a mixture of strategies (including causal and ecological reasoning), only some of which current models explain. US and Itza' informants differed markedly when reasoning about passerines (songbirds), reflecting the somewhat different role that songbirds play in the two cultures. The results call into question the importance of similarity-based notions of typicality and central tendency in natural categorization and reasoning. These findings also show that relative expertise leads to a convergence of thought that transcends cultural boundaries and shared experiences. (shrink)

No contemporary compatibilist account of free will can be complete unless it engages with the consequence argument. I will argue that Wilfrid Sellars offered an ingenious version of compatibilism that can be used to refute the consequence argument. Unfortunately, owing to the opacity of Sellars’s writings on free will, his solution has been neglected. I will reconstruct his view here, demonstrating how it represents a powerful challenge to the consequence argument and tying it to some recent developments in the compatibilist (...) literature. (shrink)

A notion called Herbrand saturation is shown to provide the model-theoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a number of important conservation theorems. A constructive, algebraic variation of the method is described, providing yet a third approach, which is finitary but retains the semantic flavor of the model-theoretic version.

is a fragment of first-order aritlimetic so weak that it cannot prove the totality of an iterated exponential fimction. Surprisingly, however, the theory is remarkably robust. I will discuss formal results that show that many theorems of number theory and combinatorics are derivable in elementary arithmetic, and try to place these results in a broader philosophical context.

Paul Cohen’s method of forcing, together with Saul Kripke’s related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set theory and model theory to constructive and categorical logic. Here, I argue that forcing also has a place in traditional Hilbert-style proof theory, where the goal is to formalize portions of ordinary mathematics in restricted axiomatic theories, and study those theories in constructive or syntactic terms. I will discuss the aspects (...) of forcing that are useful in this respect, and some sample applications. The latter include ways of obtaining conservation results for classical and intuitionistic theories, interpreting classical theories in constructive ones, and constructivizing model-theoretic arguments. (shrink)

In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. We survey implicit and explicit uses ofDirichlet characters in presentations of Dirichlet’s proof in the nineteenth and early twentieth centuries, with an eye toward understanding some of the pragmatic pressures that shaped the evolution of modern mathematical method.

The purpose of this paper is to point the way to the money tree. Currently, almost all investment professionals think that outperformance requires an “edge,” that is, the ability to predict the future to some degree. In this paper, I suggest that money can be made in a 0, or even slightly negative, expected value environment by carefully choosing investment/bet sizes. Philosophical considerations are found mainly in Section 4.

We analyze the pointwise convergence of a sequence of computable elements of L1 in terms of algorithmic randomness. We consider two ways of expressing the dominated convergence theorem and show that, over the base theory RCA0, each is equivalent to the assertion that every Gδ subset of Cantor space with positive measure has an element. This last statement is, in turn, equivalent to weak weak Königʼs lemma relativized to the Turing jump of any set. It is also equivalent to the (...) conjunction of the statement asserting the existence of a 2-random relative to any given set and the principle of Σ2 collection. (shrink)

This is a discussion of some themes in Max Tegmark’s recent book, Our Mathematical Universe. It was written as a review for Plus Magazine, the online magazine of the UK’s national mathematics education and outreach project, the Mathematics Millennium Project. Since some of the discussion---about symmetry breaking, and Pythagoreanism in the philosophy of mathematics---went beyond reviewing Tegmark’s book, the material was divided into three online articles. This version combines those three articles, and adds some other material, in particular a brief (...) defence of quidditism about properties. It also adds some references, to other Plus articles as well as academic articles. But it retains the informal style of Plus. (shrink)

We investigate the entrepreneurial opportunities and ethical dilemmas presented by technological turbulence. More specifically we investigate the line between Baumol’s [J. Polit. Econ. 98 (1990) 893] productive (e.g. innovation), unproductive (e.g. rent seeking) and destructive (e.g. criminal) entrepreneurship through three examples of Internet innovation – spam (destructive), music file sharing (unproductive), and Internet pharmacies (potentially productive). The emergence of accessible Internet technologies, under present norms, has created the potential for all three entrepreneurial activities. Because of the propensity for self-serving biases (...) and for bending the rules, the need for creativity in overcoming obstacles and overall liabilities of newness, entrepreneurs are likely to challenge established industrial morals and laws. Unlike new entrants, incumbents must abide by the currently accepted norms, and thus suffer from “liabilities of oldness”. The challenge for new entrants is to change sociopolitical legitimacy, whereas incumbents need to defend the established norms. We discuss competitive and other issues that result from technological turbulence and innovation. (shrink)

We describe a model-theoretic approach to ordinal analysis via the finite combinatorial notion of an α-large set of natural numbers. In contrast to syntactic approaches that use cut elimination, this approach involves constructing finite sets of numbers with combinatorial properties that, in nonstandard instances, give rise to models of the theory being analyzed. This method is applied to obtain ordinal analyses of a number of interesting subsystems of first- and second-order arithmetic.

We develop fundamental aspects of the theory of metric, Hilbert, and Banach spaces in the context of subsystems of second-order arithmetic. In particular, we explore issues having to do with distances, closed subsets and subspaces, closures, bases, norms, and projections. We pay close attention to variations that arise when formalizing definitions and theorems, and study the relationships between them.

This paper gives a technically elementary treatment of some aspects of Hamilton -Jacobi theory, especially in relation to the calculus of variations. The second half of the paper describes the application to geometric optics, the optico-mechanical analogy and the transition to quantum mechanics. Finally, I report recent work of Holland providing a Hamiltonian formulation of the pilot-wave theory.

The purpose of this note is to contrast a Cantorian outlook with a non-Cantorian one and to present a picture that provides support for the latter. In particular, I suggest that: i) infinite hyperreal numbers are the (actual, determined) infinite numbers, ii) ω is merely potentially infinite, and iii) infinitesimals should not be used in the di Finetti lottery. Though most Cantorians will likely maintain a Cantorian outlook, the picture is meant to motivate the obvious nature of the non-Cantorian outlook.

Solovay has shown that if $\cal{O}$ is an open subset of $P(\omega)$ with code $S$ and no infinite set avoids $\cal{O}$ , then there is an infinite set hyperarithmetic in $S$ that lands in $\cal{O}$ . We provide a direct proof of this theorem that is easily formalizable in $ATR_0$.

Extending Gödel's Dialectica interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theories of finite-type functionals defined using transfinite recursion on well-founded trees.

Recent analyses of food sharing in small-scale societies indicate that reciprocal altruism maintains interhousehold food transfers, even among close kin. In this study, matrix-based regression methods are used to test the explanatory power of reciprocal altruism, kin selection, and tolerated scrounging. In a network of 35 households in Nicaragua’s Bosawas Reserve, the significant predictors of food sharing include kinship, interhousehold distance, and reciprocity. In particular, resources tend to flow from households with relatively more meat to closely related households with little, (...) as predicted by kin selection. This generalization is especially true of household dyads with mother-offspring relationships, which suggests that studies of food sharing may benefit from distinctions between lineal and collateral kin. Overall, this analysis suggests that exchanges among kin are primarily associated with differences in need, not reciprocity. Finally, although large game is distributed widely, qualitative observations indicate that hunters typically do not relinquish control of the distribution in ways predicted by costly signaling theory. (shrink)

In this paper, I suggest that infinite numbers are large finite numbers, and that infinite numbers, properly understood, are 1) of the structure omega + (omega* + omega)Ө + omega*, and 2) the part is smaller than the whole. I present an explanation of these claims in terms of epistemic limitations. I then consider the importance, part of which is demonstrating the contradiction that lies at the heart of Cantorian set theory: the natural numbers are too large to be counted (...) by any finite number, but too small to be counted by any infinite number – there is no number of natural numbers. (shrink)