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

As his editor John L. Stanley points out, Georges Sorel was "that fascinating polymath." This volume, the third in his selected works in the English language published by Transaction, emphasizes Sorel's extraordinary writings in the philosophy of science, religion, culture, and art. For those who know Sorel only as author of Reflections on Violence, the present volume will come as a forceful reminder of the range and depth of Sorelian efforts to construct a world view. Sorel is throughout concerned (...) with the moral development of human beings. In this sense, his writings on politics are of a piece with his writings on religion, "facticity" of human history and society. Sorel's earliest writings were on religion, and key portions of that period are reflected in selections here. And he went on from there to study the sociology of science, the ways in which science fits into the cultural history of civilization and present day social relationships of industrial society. Stanley provides a profound framework based on two decades of close study and translation of Sorel's texts. He helps to explain how the partial theories of Sorel lead to holistic intellectual consequences, how the psychological method does not foreclose political activism, and how historical limits can be transformed against a background of aesthetics or considerations of taste. He shows that Sorel comes as a close as Manheim and Simmel and Durkheim to the creation of a modern social science--albeit he lacks the overall philosophical theorems of people like Marx and Weber. In Sorel we have a first-class mind at work. And in Stanley, we have a first-class analyst at work. Together, the volume adds up to something special for the political scientist, sociologist, art historian, theologian--in short for those to whom the ideal of a human science endures. John L. Stanley is professor of political science at the University of California at Riverside. He is the author of The Sociology of Virtue: The Political and Social Theories of Georges Sorel. He has written many articles and reviews on the history of European political theory. With his wife, Charlotte Stanley, he has been long engaged in the translation of the works of Georges Sorel. (shrink)

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

Stuart Russell [14] describes rational agents as --œthose that do the right thing--�. The problem of designing a rational agent then becomes the problem of figuring out what the right thing is. There are two approaches to the latter problem, depending upon the kind of agent we want to build. On the one hand, anthropomorphic agents are those that can help human beings rather directly in their intellectual endeavors. These endeavors consist of decision making and data processing. An agent that (...) can help humans in these enterprises must make decisions and draw conclusions that are rational by human standards of rationality. Anthropomorphic agents can be contrasted with goal-oriented agents --” those that can carry out certain narrowly-defined tasks in the world. Here the objective is to get the job done, and it makes little difference how the agent achieves its design goal. (shrink)

If we imagine a chess-board with alternate blue and red squares, then this is something in which the individual red and blue areas allow themselves to be distinguished from each other in juxtaposition, and something similar holds also if we imagine each of the squares divided into four smaller squares also alternating between these two colours. If, however, we were to continue with such divisions until we had exceeded the boundary of noticeability for the individual small squares which result, then (...) it would no longer be possible to apprehend the individual red and blue areas in their respective positions. But would we then see nothing at all? Not in the least; rather we would see the whole chessboard as violet, i.e. apprehend it as something that participates simultaneously in red and blue. (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.

Two new intuitionistic equivalents to Zarn’s Lemma are stated and proved.

This exceptionally successful survey text introduces the teachings and practice of Islam from its earliest origins up to its contemporary practice. John L. Esposito, an internationally renowned expert on Islam, traces the development of Islam and its impact on world history and politics.Lucidly written and expansive in scope, Islam: The Straight Path, Updated Fifth Edition, provides keen insight into one of the world's least understood religions. It is ideally suited for use in courses on Islam, world religions, comparative religions, (...) and Middle East history and culture.A FREE 6-month subscription to Oxford Islamic Studies Online, edited by John L. Esposito, is included with the purchase of every new copy of this text. (shrink)

Full proofs of the Gödel incompleteness theorems are highly intricate affairs. Much of the intricacy lies in the details of setting up and checking the properties of a coding system representing the syntax of an object language (typically, that of arithmetic) within that same language. These details are seldom illuminating and tend to obscure the core of the argument. For this reason a number of efforts have been made to present the essentials of the proofs of Gödel’s theorems without getting (...) mired in syntactic or computational details. One of the most important of these efforts was made by Löb [8] in connection with his analysis of sentences asserting their own provability. Löb formulated three conditions (now known as the Hilbert-Bernays-Löb derivability conditions), on the provability predicate in a formal system which are jointly sufficient to yield the Gödel’s second incompleteness theorem for it. A key role in Löb’s analysis is played by (a special case of) what later became known as the diagonalization or fixed point property of formal systems, a property which had already, in essence, been exploited by Gödel in his original proofs of the incompleteness theorems. The fixed point property plays a central role in Lawvere’s [7] category-theoretic account of incompleteness phenomena (see also [10]). Incompleteness theorems have also been subjected to intensive investigation within the framework of modal logic (see, e.g.[4], [5]). In this formulation the modal operator takes up the role previously played by the provability predicate, and the derivability conditions on the latter are translated into algebraic conditions (the so-called GL, i.e., Gödel–Löb, conditions) on the former. My purpose here is to present a framework for incompleteness phenomena, fully compatible with intuitionistic or constructive principles, in which the idea of a coding system is retained, only in a 2 simple, but very general form, a form wholly free of syntactical notions. As codes we shall take the elements of an arbitrary given nonempty set, possibly, but not necessarily, the set of natural numbers.. (shrink)

The objective of the OSCAR Project is twofold. On the one hand, it is to construct a general theory of rational cognition. On the other hand, it is to construct an artificial rational agent (an "artilect") implementing that theory. This is a joint project in philosophy and AI.

IN THEIR WELL-KNOWN PAPER, Kochen and Specker (1967) introduce the concept of partial Boolean algebra (pBa) and show that certain (finitely generated) partial Boolean algebras arising in quantum theory fail to possess morphisms to any Boolean algebra (we call such pBa's intractable in the sequel). In this note we begin by discussing partial..

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)

5.5. Every topos is linguistic: the equivalence theorem.

Why should one believe that conscious awareness is solely the result of organizational complexity? What is the connection between consciousness and combinatorics: transformation of quantity into quality? The claim that the former is reducible to the other seems unconvincing—as unlike as chalk and cheese! In his book1 Penrose is at least attempting to compare like with like: the enigma of consciousness with the progress of physics.

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)

There was a long tradition in philosophy according to which good reasoning had to be deductively valid. However, that tradition began to be questioned in the 1960’s, and is now thoroughly discredited. What caused its downfall was the recognition that many familiar kinds of reasoning are not deductively valid, but clearly confer justification on their conclusions. Here are some simple examples.

Two seemingly complementary trends stand out currently in school science education in the United States: one is the increased emphasis on inquiry activities in classrooms, and the other is the high level of attention given to student understanding of the nature of science. This essay looks at the range of activities that fall within the first trend, noting, in particular, the growing popularity of inquiry activities that engage students in engineering-type tasks. The potential for public disengagement from science and technology (...) issues is described as a result of the continued juxtaposition of these sorts of inquiry activities with our current, idealized portrayals of the nature of science—the emphasis of the second trend. Drawing on Dewey's instrumental theory of knowledge, an alternative way of thinking about science is offered that would not only provide for a more authentic understanding of science, but also invite much needed public participation in the broad governance of science in modern-day democratic societies. (shrink)

SUMMARYThis essay combines the study of Humboldt's sources with a critique of the treatment of this subject in most studies of Humboldt and his linguistic thought. One crucial issue is the date of his early ‘Über Denken und Sprechen’, which is our first evidence of his mature thinking about language. This text is conventionally dated 1795, thus ruling out that Humboldt might be indebted to the anthropo-linguistic philosophy that he explored in Paris a few years later. But a host of (...) facts make the date untenable and the debt unquestionable, including incontrovertible evidence that ‘Über Denken und Sprechen’ relies on Condillac's argument for the anti-idealist principle that the distinction between subject and object is the absolute precondition for self-awareness and reflection, and thus, by the same token, for the concept of Weltansicht. ‘Über Denken und Sprechen’ also shows that Humboldt was inspired to choose Condillac's and Destutt de Tracy's argument over that of Fichte for what Berkeley disapprovingly called ‘outness’. This analysis exemplifies the critique that is advanced in this essay. (shrink)

Presenting an analytical and critical study of the contemporary adult educator, Paulo Freire, this book deals with all aspects of his thought, placing at the centre of consideration his educational philosophy.

ABSTRACT: It is characteristic of a continuum that it be “all of one piece”, in the sense of being inseparable into two (or more) disjoint nonempty parts. By taking “part” to mean open (or closed) subset of the space, one obtains the usual topological concept of connectedness . Thus a space S is defined to be connected if it cannot be partitioned into two disjoint nonempty open (or closed) subsets – or equivalently, given any partition of S into two open (...) (or closed) subsets, one of the members of the partition must be empty. This holds, for example, for the space R of real numbers and for all of its open or closed intervals. Now a truly radical condition results from taking the idea of being “all of one piece” literally, that is, if it is taken to mean inseparability into any disjoint nonempty parts, or subsets, whatsoever . A space S satisfying this condition is called cohesive or indecomposable. While the law of excluded middle of classical logic reduces indecomposable spaces to the trivial empty space and one-point spaces, the use of intuitionistic logic makes it possible not only for nontrivial cohesive spaces to exist, but for every connected space to be cohesive.In this paper I describe the philosophical background to cohesiveness as well as some of the ways in which the idea is modelled in contemporary mathematics. (shrink)

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

The strategy of this paper is to throw light on rational cognition and epistemic justification by examining irrationality. Epistemic irrationality is possible because we are reflexive cognizers, able to reason about and redirect some aspects of our own cognition. One consequence of this is that one cannot give a theory of epistemic rationality or epistemic justification without simultaneously giving a theory of practical rationality. A further consequence is that practical irrationality can affect our epistemic cognition. I argue that practical irrationality (...) derives from a general difficulty we have in overriding built-in shortcut modules aimed at making cognition more efficient, and all epistemic irrationality can be traced to this same source. A consequence of this account is that a theory of rationality is a descriptive theory, describing contingent features of a cognitive architecture, and it forms the core of a general theory of “voluntary” cognition — those aspects of cognition that are under voluntary control. It also follows that most of the so-called “rules for rationality” that philosophers have proposed are really just rules describing default (non- reflexive) cognition. It can be perfectly rational for a reflexive cognizer to break these rules. The “normativity” of rationality is a reflection of a built-in feature of reflexive cognition — when we detect violations of rationality, we have a tendency to desire to correct them. This is just another part of the descriptive theory of rationality. Although theories of rationality are descriptive, the structure of reflexive cognition gives philosophers, as human cognizers, privileged access to certain aspects of rational cognition. Philosophical theories of rationality are really scientific theories, based on inference to the best explanation, that take contingent introspective data as the evidence to be explained. (shrink)

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