In this book Pollock deals with the subject of probabilistic reasoning, making general philosophical sense of objective probabilities and exploring their ...

Pollock describes an exciting theory of rationality and its partial implementation in OSCAR, a computer system whose descendants will literally be persons.

Probability is sometimes regarded as a universal panacea for epistemology. It has been supposed that the rationality of belief is almost entirely a matter of probabilities. Unfortunately, those philosophers who have thought about this most extensively have tended to be probability theorists first, and epistemologists only secondarily. In my estimation, this has tended to make them insensitive to the complexities exhibited by epistemic justification. In this paper I propose to turn the tables. I begin by laying out some rather simple (...) and uncontroversial features of the structure of epistemic justification, and then go on to ask what we can conclude about the connection between epistemology and probability in the light of those features. My conclusion is that probability plays no central role in epistemology. This is not to say that probability plays no role at all. In the course of the investigation, I defend a pair of probabilistic acceptance rules which enable us, under some circumstances, to arrive at justified belief on the basis of high probability. But these rules are of quite limited scope. The effect of there being such rules is merely that probability provides one source for justified belief, on a par with perception, memory, etc. There is no way probability can provide a universal cure for all our epistemological ills. (shrink)

This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice.

For this second edition, the editors have returned to Austin's original lecture notes, amending the printed text where it seemed necessary.

Hermann Weyl, one of the twentieth century's greatest mathematicians, was unusual in possessing acute literary and philosophical sensibilities—sensibilities to which he gave full expression in his writings. In this paper I use quotations from these writings to provide a sketch of Weyl's philosophical orientation, following which I attempt to elucidate his views on the mathematical continuum, bringing out the central role he assigned to intuition.

Some proponents of the preservation of American wildemess-for example, Aldo Leopold-have argued in terms of the role of wildemess in forming and maintaining a set of distinctive national character traits. l examine and defend the value judgment implicit in Leopold’s argument. The value of one's cultural heritage is, I contend, as important and valid as other familiar goods appealed to in defense of social policy.

Newcomb's paradox was first presented by Robert Nozick and has been discussed by a considerable number of writers. You are playing a game with a Being who seems to have extraordinary predictive powers. Before you are two boxes, in one of which you can see $1,000. The other is closed and you cannot see what it contains, but you know that the Being has put a million dollars into it if he has predicted that you will take it only, but (...) nothing if he has predicted that you will take both boxes; you may take either both boxes or the closed one only. The Being has correctly predicted the choices of all who have so far played with him. What should you do?Let us call the Being the seer, and his opponent the player. I should also like to reduce the amount that may, or may not, be in the closed box to $10,000. Nearly everyone could make good use of $1,000 and better use of $10,000 or $11,000, but it is hard to say whether a million dollars would be a blessing or a curse. (shrink)

Princeton University Press, 1974. This book is out of print, but can be downloaded as a pdf file (5 MB).

Hastings Center Report, Volume 52, Issue 2, Page 14-20, March‐April 2022.

This essay is an attempt to sketch the evolution of type theory from its beginnings early in the last century to the present day. Central to the development of the type concept has been its close relationship with set theory to begin with and later its even more intimate relationship with category theory. Since it is effectively impossible to describe these relationships (especially in regard to the latter) with any pretensions to completeness within the space of a comparatively short article, (...) I have elected to offer detailed technical presentations of just a few important instances. (shrink)

We investigate Hilbert’s varepsilon -calculus in the context of intuitionistic type theories, that is, within certain systems of intuitionistic higher-order logic. We determine the additional deductive strength conferred on an intuitionistic type theory by the adjunction of closed varepsilon -terms. We extend the usual topos semantics for type theories to the varepsilon -operator and prove a completeness theorem. The paper also contains a discussion of the concept of “partially defined‘ varepsilon -term. MSC: 03B15, 03B20, 03G30.

Reliabilist theories propose to analyse epistemic justification in terms of reliability. This paper argues that if we pay attention to the details of probability theory we find that there is no concept of reliability that can possibly play the role required by reliabilist theories. A distinction is drawn between the general reliability of a process and the single case reliability of an individual belief, And it is argued that neither notion can serve the reliabilist adequately.

Falk claims that human language took a step forward when infants lost their ability to cling and were placed on the ground, increasing their fears, which mothers assuaged prosodically. This claim, which is unsupported by anthropological and psychological evidence, would have done little for the syllabic and segmental structure of language, and ignores infants' own contribution to the process.

Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic logic, three-valued logic, fuzzy logic, and free logic. Each logic is introduced with a brief description of some aspect of its philosophical significance, and wherever possible semantic and proof methods are employed to facilitate comparison of the various systems. The book is designed to be useful for philosophy students and professional philosophers who have learned some (...) classical first-order logic and would like to learn about other logics important to their philosophical work. (shrink)

This new edition of the classic Contemporary Theories of Knowledge has been significantly updated to include analyses of the recent literature in epistemology.

is a presentation of mathematics in terms of the fundamental concepts of transformation, and composition of transformations. While the importance of these concepts had long been recognized in algebra (for example, by Galois through the idea of a group of permutations) and in geometry (for example, by Klein in his Erlanger Programm), the truly universal role they play in mathematics did not really begin to be appreciated until the rise of abstract algebra in the 1930s. In abstract algebra the idea (...) of transformation of structure (homomorphism) was central from the beginning, and it soon became apparent to algebraists that its most important concepts and constructions were in fact formulable in terms of that idea alone. Thus emerged the view that the essence of a mathematical structure is to be sought not in its internal constitution, but rather in the nature of its relationships with other structures of the same kind, as manifested through the network of transformations. This idea has achieved its fullest expression in category theory, an axiomatic framework within which the notions of transformation (as morphism or arrow) and composition (and also structure, as object) are fundamental, that is, are not defined in terms of anything else. (shrink)

5.5. Every topos is linguistic: the equivalence theorem.

In this bold addition to Oxford's What Everyone Needs to Know® series, John L. Esposito and Natana DeLong-Bas offer a guide to the often-discussed but seldom-understood concept of Sharia, responding to misunderstandings and distortions, as well as providing answers to questions about the origin, nature, and content of Sharia.

Despite the general acceptance of Hegel's importance for Marx, virtually no one has paid sufficient attention to Marx's youthful critique of Hegel's Philosophy of Nature. Even Alfred Schmidt, whose work refers to the Naturphilosophie most frequently, underestimates its importance in the formulation of Marx's own materialist philosophy of nature and comes close to replicating the very Hegelian views that Marx is attacking. Yet the critique of the Naturphilosophie in Marx's Dissertation and the 1844 Manuscripts foreshadows Marx's later stated intention in (...) Capital to turn Hegel right-side up. It affirms not only a theory of the ontological reality of the material world, but a dialectics of nature whose importance for Marx extends from the Paris Manuscripts to Capital. Marx' s Naturphilosophie criticizes Hegel's replacement of natural history with a Philosophy of Nature derived from logical categories. It affirms Engels' later view that natural history should be restored by discovering dialectics in nature rather than imposing dialectics on it. (shrink)

A rational agent has beliefs reflecting the state of its environment, and likes or dislikes Its situation. When it finds the world not entirely to Its liking, it tries to change that. We can, accordingly, evaluate a system of cognition in terms of its probable success in bringing about situations that are to the agent's liking. In doing this we are viewing practical reasoning from “the design stance.” It is argued that a considerable amount of the structure of rationality can (...) be elicited as providing the only apporant solutions to various logical and feasibility problems that arise in the course of trying to design a rational agent that satisfies this design specification. (shrink)

In this article, I argue that significant potential for psychological growth and self-learning exists in independent foreign travel characterized by long periods of movement under challenging conditions and combined with intense cross-cultural contact. I call this style of travel autonomous cross-cultural hardship travel (ACHT). A number of studies regarding the personal effects of travel and cross-cultural contact are reviewed. The relevance of humanistic psychology and transformative learning (TL) theory is also considered. I propose that the psychological benefits of ACHT are (...) found in its capacity to promote a “deepened sense of self” that is paradoxical, emergent, and universal. (shrink)

Recent scholarship has inquired into the socio-historical, discursive genesis of trauma. Trauma and the Ontology of the Modern Subject, however, seeks what has not been actualized in trauma studies - that is, how the necessity and unassailable intensity of trauma is fastened to its historical emergence. We must ask not only what trauma means for the individual person's biography, but also what it means to be the historical subject of trauma. In other words, how does being human in this current (...) period of history implicate one's lived possibilities that are threatened, and perhaps framed, through trauma? Foucauldian sensibilities inform a critical and structural analysis that is hermeneutically grounded. Drawing on the history of ideas and on Lacan's work in particular, John L. Roberts argues that what we mean by trauma has developed over time, and that it is intimately tied with an ontology of the subject; that is to say, what it is to be, and means to be human. He argues that modern subjectivity - as articulated by Heidegger, Levinas, and Lacan - is structurally traumatic, founded in its finitude as self-withdrawal in time, its temporal self-absence becoming the very conditions for agency, truth and knowledge. The book also argues that this fractured temporal horizon - as an effect of an interrupting Otherness or alterity - is obscured through the discourses and technologies of the psy-disciplines (psychiatry, psychology, and psychotherapy). Consideration is given to social, political, and economic consequences of this concealment. Trauma and the Ontology of the Modern Subject will be of enduring interest to psychoanalysts and psychotherapists as well as scholars of philosophy and cultural studies. (shrink)

In the past, few mainstream epistemologists have endorsed Bayesian epistemology, feeling that it fails to capture the complex structure of epistemic cognition. The defenders of Bayesian epistemology have tended to be probability theorists rather than epistemologists, and I have always suspected they were more attracted by its mathematical elegance than its epistemological realism. But recently Bayesian epistemology has gained a following among younger mainstream epistemologists. I think it is time to rehearse some of the simpler but still quite devastating objections (...) to Bayesian epistemology. Most of these objections are familiar, but have never been adequately addressed by the Bayesians. (shrink)

A weak form of intuitionistic set theory WST lacking the axiom of extensionality is introduced. While WST is too weak to support the derivation of the law of excluded middle from the axiom of choice, we show that beefing up WST with moderate extensionality principles or quotient sets enables the derivation to go through.

This book examines the revival of antique philosophy in the Renaissance as a literary preoccupation informed by wit.