Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the (...) Russellian conception of the relation between sentences, propositions, and truth is crucially flawed in limiting cases, the Austinian perspective has fruitful applications to the analysis of semantic paradox. In the course of their study of a language admitting circular reference and containing its own truth predicate, Barwise and Etchemendy also develop a wide range of model-theoretic techniques--based on a new set-theoretic tool, Peter Aczel's theory of hypersets--that open up new avenues in logical and formal semantics. (shrink)

First published in 1903, _Principles of Mathematics_ was Bertrand Russell’s first major work in print. It was this title which saw him begin his ascent towards eminence. In this groundbreaking and important work, Bertrand Russell argues that mathematics and logic are, in fact, identical and what is commonly called mathematics is simply later deductions from logical premises. Highly influential and engaging, this important work led to Russell’s dominance of analytical logic on western philosophy in the twentieth century.

First published in 1903, _Principles of Mathematics_ was Bertrand Russell’s first major work in print. It was this title which saw him begin his ascent towards eminence. In this groundbreaking and important work, Bertrand Russell argues that mathematics and logic are, in fact, identical and what is commonly called mathematics is simply later deductions from logical premises. Highly influential and engaging, this important work led to Russell’s dominance of analytical logic on western philosophy in the twentieth century.

Unexpected discoveries in nonequilibrium physics and nonlinear dynamics are changing our understanding of complex phenomena. Recent research has revealed fundamental new properties of matter in far-from-equilibrium conditions, and the prevalence of instability-where small changes in initial conditions may lead to amplified effects.

Ontological and methodological constraints on a theory of cognition that would generalize across species are identified. Within these constraints, ecological arguments for animal-environment mutuality and reciprocity and the necessary specificity of structured energy distributions to environmental facts are developed as counterpoints to the classical doctrines of animal-environment dualism and intractable nonspecificity. Implications of and for a cognitive theory consistent with Gibson's programme of ecological psychology are identified and contrasted with contemporary cognitivism.

I argue that the most promising approach to understanding J.J. Gibson's "affordances" takes affordances themselves as ontological primitives, instead of treating them as dispositional properties of more primitive things, events, surfaces, or substances. These latter are best treated as coalescences of affordances present in the environment (or "coalescences of use-potential," as in Sanders (1994) and Hilditch (1995)). On this view, even the ecological approach's stress on the complementary organism/environment pair is seen as expressing a particular affordance relation between the world (...) and the analyst. That the world is parsed in any way among events and objects, perceivers and worlds, etc., reflects equally features of certain real or possible perspectives on the world and features of the world itself. In section 1, I begin by contending that, contrary to the apparent expectations of some in the field, the bare existence of affordances is surely quite uncontroversial. In section 2, I argue that the most reasonable approach to foundational ontology is a relativistic one. In section 3, I address the claim that affordances must be ontologically complemented by effectivities for the sake of completeness, and I shall argue against that claim on grounds that I take to reflect some of Gibson's most important insights. This work will help to clarify the way affordances are to be used in the fourth and final section, where I argue that ontological work, even within special sciences, should not be merely "regional," and that the most attractive general approach to ontological questions is one that is based on affordances, rather than upon things, events, surfaces, and the like. (shrink)

In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological..

Cells are cognitive entities possessing great computational power. DNA serves as a multivalent information storage medium for these computations at various time scales. Information is stored in sequences, epigenetic modifications, and rapidly changing nucleoprotein complexes. Because DNA must operate through complexes formed with other molecules in the cell, genome functions are inherently interactive and involve two-way communication with various cellular compartments. Both coding sequences and repetitive sequences contribute to the hierarchical systemic organization of the genome. By virtue of nucleoprotein complexes, (...) epigenetic modifications, and natural genetic engineering activities, the genome can serve as a read-write storage system. An interactive informatic conceptualization of the genome allows us to understand the functional importance of DNA that does not code for protein or RNA structure, clarifies the essential multidirectional and systemic nature of genomic information transfer, and emphasizes the need to investigate how cellular computation operates in reproduction and evolution. (shrink)

Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...) philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gode1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Godel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.". (shrink)

This is a book about how we see: the environment around us (its surfaces, their layout, and their colors and textures); where we are in the environment; whether or not we are moving and, if we are, where we are going; what things are good for; how to do things (to thread a needle or drive an automobile); or why things look as they do.The basic assumption is that vision depends on the eye which is connected to the brain. The (...) author suggests that natural vision depends on the eyes in the head on a body supported by the ground, the brain being only the central organ of a complete visual system. When no constraints are put on the visual system, people look around, walk up to something interesting and move around it so as to see it from all sides, and go from one vista to another. That is natural vision—and what this book is about. (shrink)

Jerry Fodor argues against the widely held view that mental processes are largely computations, that the architecture of cognition is massively modular, and...

The primary difference between direct and inferential theories of perception concerns the location of perceptual content, the meaning of our perceptions. In inferential theories of perception, these meanings arise inside animals, based upon their interactions with the physical environment. Light, for example, bumps into receptors causing a sensation. The animal (or its brain) performs inferences on the sensation, yielding a meaningful perception. In direct theories of perception, on the other hand, meaning is in the environment, and perception does not depend (...) upon meaning- conferring inferences. Instead the animal simply gathers information from a meaning- laden environment. But if the environment contains meanings, then it cannot be merely physical. This places a heavy theoretical burden on direct theories of perception, a burden so severe that it may outweigh all the advantages to conceiving perception as. (shrink)

Compiling twenty articles on the nature of life and on the objective of the natural sciences, this remarkable book complements Robert Rosen's groundbreaking Life Itself--a work that influenced a wide range of philosophers, biologists, linguists, and social scientists. In Essays on Life Itself, Rosen takes to task the central objective of the natural sciences, calling into question the attempt to create objectivity in a subjective world and forcing us to reconsider where science can lead us in the years to come.

Metabolism is a criterion of life. Three senses are distinguished. The weakest allows strong A-Life: virtual creatures having physical existence in computer electronics, but not bodies, are classes as 'alive'. The second excludes strong A-Life but allows that some non-biochemical A-Life robots could be classed as alive. The third, which stresses the body's self-production by energy budgeting and self-equilibrating energy exchanges of some (necessary) complexity, excludes both strong A-Life and living non-biochemical robots.

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and reworking the proofs. Infinite cardinals are treated anew in clearer and fuller terms than before. Improvements have been made all through the book; in various instances a proof has been shortened, a theorem strengthened, a space-saving (...) lemma inserted, an obscurity clarified, an error corrected, a historical omission supplied, or a new event noted. (shrink)

Cognition means different things to different psychologists depending on the position held on the mind-matter problem. Ecological psychologists reject the implied mind-matter dualism as an ill-posed theoretic problem because the assumed mind-matter incommensurability precludes a solution to the degrees of freedom problem. This fundamental problem was posed by both Nicolai Bernstein and James J. Gibson independently. It replaces mind-matter dualism with animal-environment duality -- a better posed scientific problem because commensurability is assured. Furthermore, when properly posed this way, a conservation (...) law is suggested that encompasses a psychology of transactional systems, a biology of self-actional systems, and a physics of interactional systems. For such a solution, a theory of cognition for goal-directed behaviour is needed. A sketch is supplied for how such a theory might be pursued in the spirit of the new physics of evolving complex systems. (shrink)

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject.

While the notion of the mind as information-processor--a kind of computational system--is widely accepted, many scientists and philosophers have assumed that this account of cognition shows that the mind's operations are characterizable independent of their relationship to the external world. Existential Cognition challenges the internalist view of mind, arguing that intelligence, thought, and action cannot be understood in isolation, but only in interaction with the outside world. Arguing that the mind is essentially embedded in the external world, Ron McClamrock provides (...) a schema that allows cognitive scientists to address such long-standing problems in artificial intelligence as the "frame" problem and the issue of "bounded" rationality. Extending this schema to cover progress in other studies of behavior, including language, vision, and action, McClamrock reinterprets the importance of the organism/environment distinction. McClamrock also considers the broader philosophical question of the place of mind in the world, particularly with regard to questions of intentionality, subjectivity, and phenomenology. With implications for philosophy, cognitive and computer science, AI, and psychology, this book synthesizes state-of-the-art work in philosophy and cognitive science on how the mind interacts with the world to produce thoughts, ideas, and actions. (shrink)