Odor and color are strongly associated. Numerous studies demonstrate consistent odor‐color associations, as well as effects of color on odor perception and language. Yet, we know little about how these associations arise. Here, we test whether language is a possible mediator of odor‐color associations, specifically whether odor‐color associations are mediated by implicit odor naming. In two experiments, we used an interference paradigm to prevent the verbalization of odors during an odor‐color matching task. If participants generate color associations subsequent to labeling (...) an odor, interfering with verbalization during the task should affect the ability to make color associations. In Experiment 1, contrary to our hypothesis, verbal interference did not affect odor‐color matches. However, since performance accuracy on the verbal interference task was high, it is possible our task did not sufficiently disrupt verbal processing. In Experiment 2, we, therefore, used an active verbal interference task, and still found no difference across interference conditions. Odor naming accuracy, odor familiarity, and odor pleasantness, however, did predict odor‐color matches. This suggests that although color associations are related to semantic factors, they are not generated by recruiting odor labels in the moment. Overall, our results do not provide evidence that language plays an online role in odor‐color associations, instead, they are consistent with the claim that language may have shaped associations during development. (shrink)

The human body is central to myriad metaphors, so studying the conceptualisation of the body itself is critical if we are to understand its broader use. One essential but understudied issue is whether languages differ in which body parts they single out for naming. This paper takes a multi-method approach to investigate body part nomenclature within a single language family. Using both a naming task and colouring-in task to collect data from six Japonic languages, we found that lexical similarity for (...) body part terminology was notably differentiated within Japonic, and similar variation was evident in semantics too. Novel application of cluster analysis on naming data revealed a relatively flat hierarchical structure for parts of the face, whereas parts of the body were organised with deeper hierarchical structure. The colouring data revealed that bounded parts show more stability across languages than unbounded parts. Overall, the data reveal there is not a single universal conceptualisation of the body as is often assumed, and that in-depth, multi-method explorations of under-studied languages are urgently required. (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)

Language, like other human traits, could only have evolved during one or more stages of development. We enlist the theoretical framework of human life history to account for certain aspects of linguistic evolution, with special reference to initial phases in the process. It is hypothesized that selection operated at several developmental stages, the earlier ones producing new behaviors that were reinforced by additional, and possibly more powerful, forms of selection during later stages, especially adolescence and early adulthood. Peer commentaries have (...) provided opportunities to explain human life history more comprehensively, and to add details to our account of spoken language. We made no attempt to explain syntax in the target article, but we propose here that selection for “vocal plumage” may have increased our species’ capacity for utterance complexity, a development that would have benefited all levels of language. (shrink)

Van de Vliert embraces a model of human needs, underplaying a model whereby individuals, motivated by psychological needs, develop coping strategies that help them meet their personal goals and collectively exert an influence on social and economic systems. Undesirable climates may inflate the value of financial capital, but they also boost the value of social capital.

This chapter traces the historical and conceptual development of the idea of the continuum and the allied concept of real number. Particular attention is paid to the idea of infinitesimal, which played a key role in the development of the calculus during the seventeenth and eighteenth centuries, and which has undergone a revival in the later twentieth century.

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.

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

Bundle theory takes objects to be bundles of properties. Some bundle theorists take objects to be bundles of instantiated universals, and some take objects to be bundles of tropes. Tropes are instances of properties: some take instantiated universals to be tropes, while others deny the existence of universals and take tropes to be ontologically fundamental. Historically, the bundling relation has been taken to be a primitive relation, not analyzable in terms of or ontologically reducible to some other relation, and has (...) been variously characterized as, e.g., “compresence,” “concurrence,” or “consubstantiation.” Bertrand Russell (1940) defends compresence of universals, and Hector-Neri Castañeda (1974) defends consubstantiation of universals. John Bacon (1995) defends concurrent tropes and Keith Campbell (1990) defends compresent tropes. Jonathan Schaffer (2001) bucks this trend, endorsing compresence understood as co-location in spacetime, but this brings with it undesireable consequences such as the impossibility of distinguishing between objects (such as electrons or other microentities) with the same location. Mereological bundle theory improves upon traditional bundle theory by taking the primitive relation of bundling to be the more familiar relation of fusing or composing, such that objects are fusions of properties or fusions of property instances. Hence, mereological bundle theorists endorse a property mereology: a mereology where properties or property instances can be parts of objects. An advantage of the approach derives from the fact that standard mereologies take composition to be primitive or define it using a different primitive mereological notion (such as primitive parthood). Thus, taking the basic primitive of bundle theory to be composition can reduce the need for.. (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)

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)

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)

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

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)

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.

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.

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)

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)

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

then E has a subset which is the domain of a model of Peano's axioms for the natural numbers. (This result is proved explicitly, using classical reasoning, in section 3 of [1].) My purpose in this note is to strengthen this result in two directions: first, the premise will be weakened so as to require only that the map ν be defined on the family of (Kuratowski) finite subsets of the set E, and secondly, the argument will be constructive, i.e., (...) will involve no use of the law of excluded middle. To be precise, we will prove, in constructive (or intuitionistic) set theory3, the following.. (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.

The years 1850–80 saw great advances in electrical technology in France. Innovations and inventions in this field came mainly but not exclusively from the artisan/craftsman sector, with some contribution from men from a more academic science research environment. By the end of the period inventors were more likely to have undergone some formal training in science, although there were still contributions from those who had not attended courses at the Grandes Écoles or the faculties of science but had benefited from (...) lower level classes. However, from whatever sector the innovations came, they were likely to have been, at some stage, submitted to the Academy for its judgement and approval. Thus the Academy was still playing something of its pre-revolutionary role and having an influence on the pace of electrical innovation in France. (shrink)

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)

It is shown by Parsons [2] that the first-order fragment of Frege's logical system in the Grundgesetze der Arithmetic is consistent. In this note we formulate and prove a stronger version of this result for arbitrary first-order theories. We also show that a natural attempt to further strengthen our result runs afoul of Tarski's theorem on the undefinability of truth.

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)

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

Among the many philosophers who hold that causal facts1 are to be explained in terms of—or more ambitiously, shown to reduce to—facts about what happens, together with facts about the fundamental laws that govern what happens, the clear favorite is an approach that sees counterfactual dependence as the key to such explanation or reduction. The paradigm examples of causation, so advocates of this approach tell us, are examples in which events c and e— the cause and its effect— both occur, (...) but: had c not occurred, e would not have occurred either. From this starting point ideas proliferate in a vast profusion. But the remarkable disparity among these ideas should not obscure their common foundation. Neither should the diversity of opinion about the prospects for a philosophical analysis of causation obscure their importance. For even those philosophers who see these prospects as dim—perhaps because they suffer post-Quinean queasiness at the thought of any analysis of any concept of interest—can often be heard to say such things as that causal relations among events are somehow “a matter of” the patterns of counterfactual dependence to be found in them. (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)

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

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.

The objective of this book is to produce a theory of rational decision making for realistically resource-bounded agents. My interest is not in “What should I do if I were an ideal agent?”, but rather, “What should I do given that I am who I am, with all my actual cognitive limitations?” The book has three parts. Part One addresses the question of where the values come from that agents use in rational decision making. The most comon view among philosophers (...) is that they are based on preferences, but I argue that this is computationally impossible. I propose an alternative theory somewhat reminiscent of Bentham, and explore how human beings actually arrive at values and how they use them in decision making. Part Two investigates the knowledge of probability that is required for decision-theoretic reasoning. I argue that subjective probability makes no sense as applied to realistic agents. I sketch a theory of objective probability to put in its place. Then I use that to define a variety of causal probability and argue that this is the kind of probability presupposed by rational decision making. So what is to be defended is a variety of causal decision theory. Part Three explores how these values and probabilities are to be used in decision making. In chapter eight, it is argued first that actions cannot be evaluated in terms of their expected values as ordinarily defined, because that does not take account of the fact that a cognizer may be unable to perform an action, and may even be unable to try to perform it. An alternative notion of “expected utility” is defined to be used in place of expected values. In chapter nine it is argued that individual actions cannot be the proper objects of decision-theoretic evaluation. We must instead choose plans, and select actions indirectly on the grounds that they are prescribed by the plans we adopt. However, our objective cannot be to find plans with maximal expected utilities. Plans cannot be meaningfully compared in that way. (shrink)

"There is no attempt here to lay down as inviolable or to legislate certain ways of looking at things or ways of proceeding for philosophers of religion, only proposals for how to deal with a range of basic issues-proposals that I hope will ignite much fruitful discussion and which, in any case, I shall take as a basis for my own ongoing work in the field."-from the Preface Providing an original and systematic treatment of foundational issues in philosophy of religion, (...) J. L. Schellenberg's new book addresses the structure of religious and irreligious belief, the varieties of religious skepticism, and the nature of religion itself. From the author's searching analysis of faith emerges a novel understanding of propositional faith as requiring the absence of belief. Schellenberg asks what the aims of the field should be, setting out a series of principles for carrying out some of the most important of these aims. His account of justification considers not only belief but also other responses to religious claims and distinguishes the justification of responses, propositions, and persons. Throughout Prolegomena to a Philosophy of Religion, Schellenberg is laying the groundwork for an elaboration of his own vision while at the same time suggesting how philosophers might rethink assumptions guiding most of today's work in analytic philosophy of religion. (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 bee.ng up WST with moderate extensionality principles or quotient sets enables the derivation to go through.

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

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 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, 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 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. (shrink)

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