Primal emergence -- Out of the dreamtime -- The quickening of chemistry -- Ecology emergent -- Intimate ark : sex and emergence -- Social order in nature : between conflict and cooperation -- Self within world -- From self to sage -- From self to no-self to all-self -- Anti-sage : from cult to empire -- Into Indra's net.

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 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)

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)

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.

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)

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)

As a high school student, I rediscovered Hume’s problem of induction on my own. For a while, I was horrified. I thought, “We cannot know anything!” After a couple of weeks I calmed down and reasoned that there had to be something wrong with my thinking, and that led me quickly to the realization that good reasons need not be deductive, and to the discovery of defeasible reasoning. From there it was a short jump to a more general interest in (...) how rational cognition works. I am interested in rational cognition in general. Epistemology is one constituent of rational cognition, practical cognition (rational decision making) another. Much of the work on rational cognition begins with the supposition that only ideal agents can be truly rational. Real agents have limited powers of reasoning and limited memory capacity. It is often supposed that such resource-bounded agents can only approximate rationality, and that as philosophers we should confine our attention to ideal agents. If one wishes, one can of course define “rationality” in this way, but this has never been what interested me. We come to philosophy wondering what we should believe, what we should do, and how we should go about deciding these matters. These are questions about ourselves, with all of our cognitive limitations. For example, it is often claimed that ideal agents, with unlimited cognitive powers, should believe all of the logical consequences of their beliefs. But we, as real resource-bounded agents, cannot do that, so that is not something we should do. What I want to know is how I, as a real agent, should go about deciding what to believe and what to do. Thus my topic is real rationality as opposed to ideal rationality. In the realm of practical decision making, I have explored this distinction at great length in my recent book (2006). Here I will focus on its implications for epistemology. For many years epistemology was derailed by the Gettier problem.. (shrink)

The principle of set theory known as the Axiom of Choice has been hailed as “probably the most interesting and, in spite of its late appearance, the most discussed axiom of mathematics, second only to Euclid's axiom of parallels which was introduced more than two thousand years ago” (Fraenkel, Bar-Hillel & Levy 1973, §II.4). The fulsomeness of this description might lead those unfamiliar with the axiom to expect it to be as startling as, say, the Principle of the Constancy of (...) the Velocity of Light or the Heisenberg Uncertainty Principle. But in fact the Axiom of Choice as it is usually stated appears humdrum, even self-evident. For it amounts to nothing more than the claim that, given any collection of mutually disjoint nonempty sets, it is possible to assemble a new set — a transversal or choice set — containing exactly one element from each member of the given collection. Nevertheless, this seemingly innocuous principle has far-reaching mathematical consequences — many indispensable, some startling — and has come to figure prominently in discussions on the foundations of mathematics. It (or its equivalents) have been employed in countless mathematical papers, and a number of monographs have been exclusively devoted to it. (shrink)

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)

subsets X of A for which ∃x (x ∈ A). The set of functions from A to B is denoted by BA.

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)

5.5. Every topos is linguistic: the equivalence theorem.

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.

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..

This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory, an important form of type theory (...) based on intuitionistic logic. In Section 4 number of contemporary forms of type theory are described, all of which are based on the so-called 'doctrine of propositions as types'. We conclude with an Appendix in which the semantics for Local Set Theory - based on category theory - is outlined. (shrink)

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

This paper presents a challenge problem for decision-theoretic planners. State-space planners reason globally, building a map of the parts of the world relevant to the planning problem, and then attempt to distill a plan out of the map. A planning problem is constructed that humans find trivial, but no state-space planner can solve. Existing POCL planners cannot solve the problem either, but for a less fundamental reason.

It’s morning. You sit down at your desk, cup of coffee in hand, and prepare to begin your day. First, you turn on your computer. Once it is running, you check your e-mail. Having decided it is all spam, you trash it. You close the window on your e-mail program, but leave the program running so that it will periodically check the mail server to see whether you have new mail. If it finds new mail it will alert you by (...) playing a musical tone. Next you start your word processor. You have in mind to write a paper in moral philosophy about whether people who send spam deserve capital punishment. So you open a new window and type several paragraphs of text into it. You like what you wrote, so you save it, creating a file. Later, you have more thoughts about spam and capital punishment, so you open the file again and make some changes. Then it is time to go to class. You turn off your word processor, but leave your computer running so that your email program can collect your e-mail. This mundane sequence of events can seem philosophically puzzling when we think about it carefully. While in your word processor, you opened several windows, entered text into them, and created files. What sorts of things are these files, windows, and text? It might seem that windows are easy to understand. You can, after all, see windows. That is the whole point of them. You see a window by seeing a pattern on the surface of your monitor. Isn’t the window identical with that physical pattern? But that is too quick. First, you can turn your monitor off. The window is still open. You can type text into it, and if you turn the monitor back on you can verify that you made that change. Second, you can drag another window in front of the original window. The original window disappears from view, but it still exists. Things may be happening in it that you cannot see. For example, if it is an e-mail window, new messages may be listed in it as they are 1 downloaded.. (shrink)

Perkins, John L With his regular programmes on radio and television, newspaper columns and commentary, Waleed Aly has become Australia's favourite Muslim celebrity. He is intelligent, articulate and provides incisive analysis of political and social issues. Given this, it might have been expected that he could have applied the same quality of analysis in his book, People Like Us: How Arrogance is Dividing Islam and the West (2007); however this is not the case.

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)

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.

This book is written for those who are in sympathy with its spirit. This spirit is different from the one which informs the vast stream of European and American civilization in which all of us stand. That spirit expresses itself in an onwards movement, in building ever larger and more complicated structures; the other in striving in clarity and perspicuity in no matter what structure. The first tries to grasp the world by way of its periphery—in its variety; the second (...) at its centre—in its essence. And so the first adds one construction to another, moving on and up, as it were, from one thing to the next, while the other remains where it is and what it tries to grasp is always the same. (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)

From unemployment to Brexit to climate change, capitalism is in trouble and ill-prepared to cope with the challenges of the coming decades. How did we get here? While contemporary economists and policymakers tend to ignore the political and social dimensions of capitalism, some of the great economists of the past - Adam Smith, Friedrich List, John Maynard Keynes, Joseph Schumpeter, Karl Polanyi and Albert Hirschman - did not make the same mistake. Leveraging their insights, sociologists John L. Campbell (...) and John A. Hall trace the historical development of capitalism as a social, political, and economic system throughout the twentieth and early twenty-first centuries. They draw comparisons across eras and around the globe to show that there is no inevitable logic of capitalism. Rather, capitalism's performance depends on the strength of nation-states, the social cohesion of capitalist societies, and the stability of the international system - three things that are in short supply today. (shrink)

Axioms for the continuum, or smooth real line R. These include the usual axioms for a commutative ring with unit expressed in terms of two operations + and i , and two distinguished elements 0 ≠ 1. In addition we stipulate that R is a local ring, i.e., the following axiom: ∃y x i y = 1 ∨ ∃y (1 – x) i y = 1. Axioms for the strict order relation < on R. These are: 1. a < b (...) and b < c implies a < c. 2. ¬(a < a) 3. a < b implies a + c < b + c for any c. ≤ 4. a < b and 0 < c implies acbc.. (shrink)

to indicate that the object a is an element or member of the class A. We assume that every member of a class is an object. Lower-case letters a, b, c, x, y, z, … will always denote objects, and later, sets. Equality between classes is governed by the Axiom of Extensionality.

On the contrary, I find nothing in logistic but shackles. It does not help us at all in the direction of conciseness, far from it; and if it requires 27 equations to establish that 1 is a number, how many will it require to demonstrate a real theorem?