Objective Bayesianism is a methodological theory that is currently applied in statistics, philosophy, artificial intelligence, physics and other sciences. This book develops the formal and philosophical foundations of the theory, at a level accessible to a graduate student with some familiarity with mathematical notation.

A feature of Frege's philosophy of arithmetic that has elicited a great deal of attention in the recent secondary literature is his contention that numbers are ‘self‐subsistent’ objects. The considerable interest in this thesis among the contemporary philosophy of mathematics community stands in marked contrast to Kreisel's folk‐lore observation that the central problem in the philosophy of mathematics is not the existence of mathematical objects, but the objectivity of mathematics. Although Frege was undoubtedly concerned with both questions, a goal of (...) the present paper is to argue that his success in securing the objectivity of arithmetic depends on a less contentious commitment to numbers as objects than either he or his critics have supposed. As such, this paper is an articulation and defense of both Frege's analysis of arithmetic and Kreisel's observation. (shrink)

I defend the view that the truth conditions of the ordinary indicative conditional are those of the material conditional. This is done via a discussion of assertability and by appeal to conventional implicature rather than conversational implicature.

In this review, I discuss Balibar’s ‘proposition of equaliberty’ with regard to its theoretical status and contribution, its relationship to other contemporary theories of radical democracy as well as to the problematic of bourgeois versus communist emancipation in Marx. The primary interest of this essay is to develop a detailed understanding of Balibar’s analytical schema, which draws a complex picture of our contemporary ‘human condition’, and to place it within his own theoretical development since his contribution toReading Capitalin the 60s. (...) On that basis, it will be possible to assess his contribution to thinking politics with and after Marx and place it more concretely within the generalised radical-democratic turn in post-Marxist theory. (shrink)

What in our theoretical pronouncements commits us to objects? The Quinean standard for ontological commitment involves (nearly enough) commitments when we utter “there is” or “there are” statements without hope of eliminating these by paraphrase. Coupled with the indispensability of the truth of applied mathematical doctrine, the result is that the ontologically hard-nosed scientist is a Platonist—haplessly commited to abstracta. In this book Azzouni offers a way around the Quinean straitjacket: ontological commitment turns on how theories are (nearly enough) nailed (...) to the world. The specifics of how theories are applied indicates which among the posits of a theory are mere mathematical garb and which are genuine connections to items out there. In the first part of the book Azzouni undercuts the arguments, both actual and possible, in support of Quine’s criterion. An alternative criterion for what exists—ontological independence—is offered, one in sturdy accord with ordinary folk views on the matter. In the second part of the book, a beginning is made of bringing this alternative to bear upon scientific theories with a rich mathematical component. Along the way, old philosophical issues about absolute space and time versus relative space and time, the status of mathematical posits, such as spatial and temporal points, and so on, are illuminated. (shrink)

"[This book] proposes new foundations for the Bayesian principle of rational action, and goes on to develop a new logic of desirability and probabtility."—Frederic Schick, _Journal of Philosophy_.

A response is given here to Benacerraf's 1973 argument that mathematical platonism is incompatible with a naturalistic epistemology. Unlike almost all previous platonist responses to Benacerraf, the response given here is positive rather than negative; that is, rather than trying to find a problem with Benacerraf's argument, I accept his challenge and meet it head on by constructing an epistemology of abstract (i.e., aspatial and atemporal) mathematical objects. Thus, I show that spatio-temporal creatures like ourselves can attain knowledge about mathematical (...) objects by simply explaininghow they can do this. My argument is based upon the adoption of a particular version of platonism — full-blooded platonism — which asserts that any mathematical object which possiblycould exist actuallydoes exist. (shrink)

Our conception of logical space is the set of distinctions we use to navigate the world. Agustn Rayo argues that this is shaped by acceptance or rejection of 'just is'-statements: e.g. 'to be composed of water just is to be composed of H2O'. He offers a novel conception of metaphysical possibility, and a new trivialist philosophy of mathematics.

Using formal systems to represent and reason about uncertainty.

Charles Chihara's new book develops and defends a structural view of the nature of mathematics, and uses it to explain a number of striking features of mathematics that have puzzled philosophers for centuries. The view is used to show that, in order to understand how mathematical systems are applied in science and everyday life, it is not necessary to assume that its theorems either presuppose mathematical objects or are even true. Chihara builds upon his previous work, in which he presented (...) a new system of mathematics, the constructibility theory, which did not make reference to, or presuppose, mathematical objects. Now he develops the project further by analysing mathematical systems currently used by scientists to show how such systems are compatible with this nominalistic outlook. He advances several new ways of undermining the heavily discussed indispensability argument for the existence of mathematical objects made famous by Willard Quine and Hilary Putnam. And Chihara presents a rationale for the nominalistic outlook that is quite different from those generally put forward, which he maintains have led to serious misunderstandings.A Structural Account of Mathematics will be required reading for anyone working in this field. (shrink)

In his 1979 foreword to The World Viewed, Stanley Cavell remarks on the curiousrelationship between Heidegger and cinema . Cavell is inspired to do so byTerrence Malick's Days of Heaven , a film that not only presents us with images ofpreternatural beauty, but also acknowledges the self-referential character of thecinematic image . For Cavell, Malick's films have a formal radiance thatsuggest something of Heidegger's thinking of the relationship between Being and beings,the radiant self-showing of things in luminous appearance . Days (...) of Heaven doesindeed have a metaphysical vision of the world, but 'one feels that one has never quiteseen the scene of human existence-call it the arena between earth and heavenquite realized this way on film before' . As Cavell observes, however,the relationship between Heidegger's philosophy and Malick's films seems to challengeboth philosophers and film-theorists. The film-theorists struggle to show how Heidegger isrelevant to the experience of cinema, while the philosophers grapple with the question ofcinema and aesthetics, precisely because film puts into question traditional concepts ofvisual art, as Walter Benjamin showed long ago .In what follows, I take up Cavell's invitation to think about the relationshipbetween Heidegger and film by considering Malick's 1998 masterpiece, The Thin Red Line.The question I shall explore is whether we should describe The Thin Red Line as'Heideggerian Cinema'. Along the way I discuss two different approaches to the film: a'Heideggerian' approach that reads the film as exemplifying Heideggerian themes; and a 'film as philosophy' approach arguing that, while the film is philosophical, we should refrain from reading it in relation toany particular philosophical framework. In conclusion, I offer some brief remarks abouthow The Thin Red Line can be regarded as 'Heideggerian cinema,' not because we need toread Heidegger in order to understand it, but because Malick's film performs a cinematicpoesis, a revealing of world through image,sound, and word. (shrink)

Stathis Psillos divides his account into three sections: causation, laws of nature, and explanation. He begins the causation section with Hume's classic "reductive" account and then focuses on the subsequent division between Humean and non-Humean accounts, examining topics such as regularities and singular causation, causation and counterfactuals, and causation and mechanism.

Beliefs come in different strengths. An agent's credence in a proposition is a measure of the strength of her belief in that proposition. Various norms for credences have been proposed. Traditionally, philosophers have tried to argue for these norms by showing that any agent who violates them will be lead by her credences to make bad decisions. In this article, we survey a new strategy for justifying these norms. The strategy begins by identifying an epistemic utility function and a decision-theoretic (...) norm; we then show that the decision-theoretic norm applied to the epistemic utility function yields the norm for credences that we wish to justify. We survey results already obtained using this strategy, and we suggest directions for future research. (shrink)

One of the most intriguing features of mathematics is its applicability to empirical science. Every branch of science draws upon large and often diverse portions of mathematics, from the use of Hilbert spaces in quantum mechanics to the use of differential geometry in general relativity. It's not just the physical sciences that avail themselves of the services of mathematics either. Biology, for instance, makes extensive use of difference equations and statistics. The roles mathematics plays in these theories is also varied. (...) Not only does mathematics help with empirical predictions, it allows elegant and economical statement of many theories. Indeed, so important is the language of mathematics to science, that it is hard to imagine how theories such as quantum mechanics and general relativity could even be stated without employing a substantial amount of mathematics. (shrink)

Jim Joyce has presented an argument for Probabilism based on considerations of epistemic utility [Joyce, 1998]. In a recent paper, I adapted this argument to give an argument for Probablism and the Principal Principle based on similar considerations [Pettigrew, 2012]. Joyce’s argument assumes that a credence in a true proposition is better the closer it is to maximal credence, whilst a credence in a false proposition is better the closer it is to minimal credence. By contrast, my argument in that (...) paper assumed (roughly) that a credence in a proposition is better the closer it is to the objective chance of that proposition. In this paper, I present an epistemic utility argument for Probabilism and the Principal Principle that retains Joyce’s assumption rather than the alternative I endorsed in the earlier paper. I argue that this results in a superior argument for these norms. (shrink)

_Possible Worlds_ presents the first up-to-date and comprehensive examination of one of the most important topics in metaphysics. John Divers considers the prevalent philosophical positions, including realism, antirealism and the work of important writers on possible worlds such as David Lewis, evaluating them in detail.

Pollock argues that theories of ideal rationality are largely irrelevant to the decision making of real agents. Thinking about Acting aims to provide a theory of "real rationality.".

Two thoughts about the concept of number are incompatible: that any zero or more things have a number, and that any zero or more things have a number only if they are the members of some one set. It is Russell's paradox that shows the thoughts incompatible: the sets that are not members of themselves cannot be the members of any one set. The thought that any things have a number is Frege's; the thought that things have a number only (...) if they are the members of a set may be Cantor's and is in any case a commonplace of the usual contemporary presentations of the set theory that originated with Cantor and has become ZFC.In recent years a number of authors have examined Frege's accounts of arithmetic with a view to extracting an interesting subtheory from Frege's formal system, whose inconsistency, as is well known, was demonstrated by Russell. These accounts are contained in Frege's formal treatise Grundgesetze der Arithmetik and his earlier exoteric book Die Grundlagen der Arithmetik. We may describe the two central results of the recent re-evaluation of his work in the following way: Let Frege arithmetic be the result of adjoining to full axiomatic second-order logic a suitable formalization of the statement that the Fs and the Gs have the same number if and only if the F sand the Gs are equinumerous. (shrink)

At the beginning of Die Grundlagen der Arithmetik [1884], Frege observes that “it is in the nature of mathematics to prefer proof, where proof is possible”. This, of course, is true, but thinkers differ on why it is that mathematicians prefer proof. And what of propositions for which no proof is possible? What of axioms? This talk explores various notions of self-evidence, and the role they play in various foundational systems, notably those of Frege and Zermelo. I argue that both (...) programs are undermined at a crucial point, namely when self-evidence is supported by holistic and even pragmatic considerations. (shrink)

Plato’s allegory of the cave tells of the soul’s advance from ignorance to knowledge, leaving open the question of what this knowledge is and what its objects are. Heidegger’s 1947 analysis of the allegory is of course just one of many. However, as I argue in this paper, if we read that analysis in the context of Husserlian phenomenology, we find a remarkable congruence between the latter’s process of “eidetic reduction” and the ascent out of the cave. In §1, I (...) lay out the phenomenological concepts relevant to my interpretation of Heidegger’s text. In §2, I apply these to the allegory itself. In §3, I examine Heidegger’s critique of eidetic “truth” in the allegory, arguing that it equally applies to Husserl’s phenomenology. My paper shows both the utility and limits of a “phenomenological” approach toreading Plato’s theory of forms. (shrink)

First issued in translation as a two-volume work in 1975, this classic book provides the first complete development of the theory of probability from a subjectivist viewpoint. It proceeds from a detailed discussion of the philosophical mathematical aspects to a detailed mathematical treatment of probability and statistics. De Finetti’s theory of probability is one of the foundations of Bayesian theory. De Finetti stated that probability is nothing but a subjective analysis of the likelihood that something will happen and that that (...) probability does not exist outside the mind. It is the rate at which a person is willing to bet on something happening. This view is directly opposed to the classicist/ frequentist view of the likelihood of a particular outcome of an event, which assumes that the same event could be identically repeated many times over, and the 'probability' of a particular outcome has to do with the fraction of the time that outcome results from the repeated trials. (shrink)

This dictionary introduces undergraduate and post-graduate students in philosophy, mathematics, and computer science to the main problems and positions in philosophical logic. Coverage includes not only key figures, positions, terminology, and debates within philosophical logic itself, but issues in related, overlapping disciplines such as set theory and the philosophy of mathematics as well. Entries are extensively cross-referenced, so that each entry can be easily located within the context of wider debates, thereby providing a valuable reference both for tracking the connections (...) between concepts within logic and for examining the manner in which these concepts are applied in other philosophical disciplines. Roy T. Cook is Assistant Professor in the Department of Philosophy at the University of Minnesota and an Associate Fellow at Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology at the University of St Andrews. He works primarily in the philosophy of logic, language, and mathematics, and has also published papers on seventeenth century philosophy. (shrink)

Contemporary research on Neuroimaging seems to provide various techniques toread a personÏs mind and her individual thoughts. In this essay I examine someethical and metaphysical aspects of mind reading with a focus on how techniques ofmind-reading might concern the idea of human dignity.

The book contains the transcription of a course on the foundations of probability given by the Italian mathematician Bruno de Finetti in 1979 at the a oeNational Institute of Advanced Mathematicsa in Rome.

This volume provides an overview of issues arising in work on the foundations of decision theory and social choice. The collection will be of particular value to researchers in economics with interests in utility or welfare, but also to any social scientist or philosopher interested in theories of rationality or group decision-making.

I propose a way of thinking aboout content, and a related way of thinking about ontological commitment. (This is part of a series of four closely related papers. The other three are ‘On Specifying Truth-Conditions’, ‘An Actualist’s Guide to Quantifying In’ and ‘An Account of Possibility’.).

This essay is a study of ontological commitment, focused on the special case of arithmetical discourse. It tries to get clear about what would be involved in a defense of the claim that arithmetical assertions are ontologically innocent and about why ontological innocence matters. The essay proceeds by questioning traditional assumptions about the connection between the objects that are used to specify the truth-conditions of a sentence, on the one hand, and the objects whose existence is required in order for (...) the truth-conditions thereby specified to be satisfied, on the other. This allows one to set forth an assignment of truth-conditions to arithmetical sentences whereby nothing is required of the world in order for the truth-conditions of a truth of pure arithmetic to be satisfied. The essay then argues that such an assignment can be used to account for the a priori knowability of certain arithmetical truths. (shrink)

Probably there is no position in Goodman’s corpus that has generated greater perplexity and criticism than Goodman’s “nominalism”. As is abundantly clear from Goodman’s writings, it is not “abstract entities” generally that he questions—indeed, he takes sensory qualia as “basic” in his Carnap-inspired constructional system in Structure—but rather just those abstracta that are so crystal clear in their identity conditions, so fundamental to our thought, so prevalent and seemingly unavoidable in our discourse and theorizing that they have come to form (...) the generally accepted framework for the most time-honored, exact, sophisticated, refined, central, and secure branch of human knowledge yet devised, mathematics itself! Of all the abstracta to question, why sets? Of course, Goodman gave his “reasons”, the unintelligibility of “generating” an infinitude of “constructed objects” automatically from any given object or objects. But critics have been quick to point out that set theory is intended not as a theory of what can be “generated” or “constructed” from given objects in any literal sense but rather as a theory of a certain realm of objects independently existing in their own right. “Construction” is a metaphor. (shrink)

What is mathematics about? Does the subject-matter of mathematics exist independently of the mind or are they mental constructions? How do we know mathematics? Is mathematical knowledge logical knowledge? And how is mathematics applied to the material world? In this introduction to the philosophy of mathematics, Michele Friend examines these and other ontological and epistemological problems raised by the content and practice of mathematics. Aimed at a readership with limited proficiency in mathematics but with some experience of formal logic it (...) seeks to strike a balance between conceptual accessibility and correct representation of the issues. Friend examines the standard theories of mathematics - Platonism, realism, logicism, formalism, constructivism and structuralism - as well as some less standard theories such as psychologism, fictionalism and Meinongian philosophy of mathematics. In each case Friend explains what characterises the position and where the divisions between them lie, including some of the arguments in favour and against each. This book also explores particular questions that occupy present-day philosophers and mathematicians such as the problem of infinity, mathematical intuition and the relationship, if any, between the philosophy of mathematics and the practice of mathematics. Taking in the canonical ideas of Aristotle, Kant, Frege and Whitehead and Russell as well as the challenging and innovative work of recent philosophers like Benacerraf, Hellman, Maddy and Shapiro, Friend provides a balanced and accessible introduction suitable for upper-level undergraduate courses and the non-specialist. (shrink)

general, abstract situation. On the other side, I know that graduate students and all mathematicians sometimes falter because their intuitive, ..

In the philosophy of mathematics, indispensability arguments aim to show that we are justified in believing that abstract mathematical objects exist. I wish to defend a particular objection to such arguments that has become increasingly popular recently. It is called instrumental nominalism. I consider the recent versions of this view and conclude that it has yet to be given an adequate formulation. I provide such a formulation and show that it can be used to answer the indispensability arguments. -/- There (...) are two main indispensability arguments in the literature, though one has received nearly all of the attention. They correspond to two ways in which we use mathematics in science and in everyday life. We use mathematical language to help us describe non-mathematical reality; and we use mathematical reasoning to help us perform inferences concerning non-mathematical reality using only a feasible amount of cognitive power. The former use is the starting point of the Quine-Putnam indispensability argument ([Quine, 1980a], [Quine, 1980b], [Quine, 1981a], [Quine, 1981b], [Putnam, 1979a], [Putnam, 1979b]); the latter provides the basis for Ketland’s more recent argument ([Ketland, 2005]). I begin by considering the Quine-Putnam argument and introduce instrumental nominalism to defuse it. Then I show that Ketland’s argument can be defused in a similar way. (shrink)

Frank Jackson; VIII*—Conditionals and Possibilia, Proceedings of the Aristotelian Society, Volume 81, Issue 1, 1 June 1981, Pages 125–138, https://doi.org/10.10.

This makes his book especially valuable." -- Yuri Gurevich, Professor of Computer Science, University of Michigan Computability and complexity theory should be of central concern to practitioners as well as theorists.

This note examines the mereological component of Geoffrey Hellman's most recent version of modal structuralism. There are plausible forms of agnosticism that benefit only a little from Hellman's mereological turn.