Andy Clark argues that the reality and causal efficacy of the folk psychological attitudes do not require in‐the‐head correlates of the that‐clauses by which they are attributed. The facts for which Fodor invokes a language of thought as empirical explanation—systemati‐city, for example—are, Clark argues, an a priori conceptual demand upon propositional attitude ascription, and hence not in need of empirical explanation. However, no such strategy can work. A priori demands imposed by our practices do not eliminate the need for empirical (...) explanation of how these demands are satisfied by particular beings. And given the vast number of potential beliefs, and the interrelationships they exhibit, no one has the slightest idea how they might be explained except by in‐the‐head syntax. (shrink)

Any successful account of general terms must explain our ability to apply terms correctly to new instances. Many philosophers have thought resemblance offers an ontologically sparse basis for such an account. However, Any natural and plausible account of general terms on the basis of resemblance requires quite a rich ontology, Including at least second order properties and relations. Given a sufficiently rich structure of resemblances, We can surely account for the application of many general terms. I argue, However, That our (...) ability to recognize shapes and to apply terms for shapes cannot be explained on the basis of resemblance. (shrink)

"A third of the papers in this volume originated at the 1987 Spindel Conference ... at Memphis State University"--Pref.

In the first post World War II identity theories (e.g., Place 1956, Smart 1962), mind brain identities were held to be contingent. However, in work beginning in the late 1960's, Saul Kripke (1971, 1980) convinced the philosophical community that true identity statements involving names and natural kind terms are necessarily true and furthermore, that many such necessary identities can only be known a posteriori. Kripke also offered an explanation of the a posteriori nature of ordinary theoretical identities such as that (...) water = H2O. We identify the kinds and substances involved in theoretical identities by certain of their contingent properties. What we discover when we discover a theoretical identity is the underlying nature of the kind that we identify by those contingent properties. Now, of course, it was being a posteriori, not being contingent, that mattered to the identity theorists anyway, so the necessity of identity is not, in itself, damaging to mind brain identity theories. However, Kripke also argued persuasively that the alleged mind brain identities could not be treated in the same way as ordinary theoretical identities. We "identify" pain by feeling it, and surely how it feels is an essential property of pain, not a contingent property. Thus, a mind body identity theory must provide a different explanation of why its identities are a posteriori. A new wave of materialists has appeared on the scene with a new strategy for explaining [1] the a posteriori nature of its alleged identities. The strategy is to locate the explanation for the a posteriori nature of mind body identities, not on the side of the world, but on the side of the mind -in different ways of thinking about or imagining, or in different concepts. Thus, on this new view, there is only one property—this brain process type, which is identical with this pain.. (shrink)

David Marr provided a useful framework for theorizing about cognition within classical, AI-style cognitive science, in terms of three levels of description: the levels of (i) cognitive function, (ii) algorithm and (iii) physical implementation. We generalize this framework: (i) cognitive state transitions, (ii) mathematical/functional design and (iii) physical implementation or realization. Specifying the middle, design level to be the theory of dynamical systems yields a nonclassical, alternative framework that suits (but is not committed to) connectionism. We consider how a brain's (...) (or a network's) being a dynamical system might be the key both to its realizing various essential features of cognition — productivity, systematicity, structure-sensitive processing, syntax — and also to a non-classical solution of (frame-type) problems plaguing classical cognitive science. (shrink)

Human cognition is rich, varied, and complex. In this Chapter we argue that because of the richness of human cognition (and human mental life generally), there must be a syntax of cognitive states, but because of this very richness, cognitive processes cannot be describable by exceptionless rules. The argument for syntax, in Section 1, has to do with being able to get around in any number of possible environments in a complex world. Since nature did not know where in the (...) world humans would find themselves—nor within pretty broad limits what the world would be like —nature had to provide them with a means of “representing” a great deal of information about any of indefinitely many locations. We see no way that this could be done except by way of syntax— that is, by a systematic way of producing new, appropriate representations as needed. We discuss what being systematic must amount to, and what, in consequence, syntax should mean. We hold that syntax does not require a part/whole relationship. The argument for the claim that human cognitive processes cannot be described by exceptionless rules, in Section 2, appeals to the fact that there is no limit to the factors one might.. (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.

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

This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view: the philosophical and the mathematical. The first section covers the history of these ideas in philosophy. Chapter one, entitled ‘The continuous and the discrete in Ancient Greece, the Orient and the European Middle Ages,’ reviews the work of Plato, Aristotle, Epicurus, and other Ancient Greeks; the elements of early Chinese, Indian and Islamic thought; and early Europeans including Henry of Harclay, Nicholas of (...) Autrecourt, Duns Scotus, William of Ockham, Thomas Bradwardine and Nicolas Oreme. The second chapter of the book covers European thinkers of the sixteenth and seventeenth centuries: Galileo, Newton, Leibniz, Descartes, Arnauld, Fermat, and more. Chapter three, 'The age of continuity,’ discusses eighteenth century mathematicians including Euler and Carnot, and philosophers, among them Hume, Kant and Hegel. Examining the nineteenth and early twentieth centuries, the fourth chapter describes the reduction of the continuous to the discrete, citing the contributions of Bolzano, Cauchy and Reimann. Part one of the book concludes with a chapter on divergent conceptions of the continuum, with the work of nineteenth and early twentieth century philosophers and mathematicians, including Veronese, Poincaré, Brouwer, and Weyl. Part two of this book covers contemporary mathematics, discussing topology and manifolds, categories, and functors, Grothendieck topologies, sheaves, and elementary topoi. Among the theories presented in detail are non-standard analysis, constructive and intuitionist analysis, and smooth infinitesimal analysis/synthetic differential geometry. No other book so thoroughly covers the history and development of the concepts of the continuous and the infinitesimal. (shrink)

The usual meaning of the word continuous is “unbroken” or “uninterrupted”: thus a continuous entity —a continuum—has no “gaps.” We commonly suppose that space and time are continuous, and certain philosophers have maintained that all natural processes occur continuously: witness, for example, Leibniz's famous apothegm natura non facit saltus—“nature makes no jump.” In mathematics the word is used in the same general sense, but has had to be furnished with increasingly precise definitions. So, for instance, in the later 18th century (...) continuity of a function was taken to mean that infinitesimal changes in the value of the argument induced infinitesimal changes in the value of the function. With the abandonment of infinitesimals in the 19th century this definition came to be replaced by one employing the more precise concept of limit. (shrink)

"The Third Edition of Philosophical Foundations of Adult Education presents seven theoretical approaches to adult education: liberal, progressive, behaviorist, humanist, radical/critical, analytic, and postmodem. The book gives the historical grounding as well as the basic principles for each approach. In this edition each chapter has been revised and brought up to date. The chapter on radical adult education incorporates recent developments in radical education, phenomenology, feminist educational theory, and critical social theory. The book contains an entirely new chapter on postmodem (...) adult education.". (shrink)

"A sequel to Pollock's How to Build a Person, this volume builds upon that theoretical groundwork for the implementation of rationality through artificial ...

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)

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)

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.

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

5.5. Every topos is linguistic: the equivalence theorem.

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)

(1984). Weather foreasting and the development of meteorological theory at the Paris Observatory, 1853–1878. Annals of Science: Vol. 41, No. 4, pp. 359-382.

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

Traditionally, expressions in formal systems have been regarded as signifying finite inscriptions which are—at least in principle—capable of actually being written out in primitive notation. However, the fact that (first-order) formulas may be identified with natural numbers (via "Gödel numbering") and hence with finite sets makes it no longer necessary to regard formulas as inscriptions, and suggests the possibility of fashioning "languages" some of whose formulas would be naturally identified as infinite sets . A "language" of this kind is called (...) an infinitary language : in this article I discuss those infinitary languages which can be obtained in a straightforward manner from first-order languages by allowing conjunctions, disjunctions and, possibly, quantifier sequences, to be of infinite length. In the course of the discussion it will be seen that, while the expressive power of such languages far exceeds that of their finitary (first-order) counterparts, very few of them possess the "attractive" features (e.g., compactness and completeness) of the latter. Accordingly, the infinitary languages that do in fact possess these features merit special attention. (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.

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)

In their writings on Africa and colonialism, John and Jean Comaroff have explored some of the fundamental questions of social science, delving into the nature of history and human agency, culture and consciousness, ritual and representation. How are human differences constructed and institutionalized, transformed and (sometimes) resisted? How do local cultures articulate with global forms? How is the power of some people over others built, sustained, eroded, and negated?These essays work toward an "imaginative sociology," demonstrating the techniques by which (...) social science may capture the contexts that human beings construct and inhabit. In the introduction the authors offer their most complete statement to date on historical anthropology. Standing apart from the traditional disciplines of social history and modernist social science, their work is dedicated to discovering how human worlds are made and signified, forgotten and remade. (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.