Continuing his exploration of the organization of complexity and the science of design, this new edition of Herbert Simon's classic work on artificial ...

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Machine generated contents note: 1. The Computability Concept;2. General Recursive Functions;3. Programs and Machines;4. Recursive Enumerability;5. Connections to Logic;6. Degrees of Unsolvability;7. Polynomial-Time Computability;Appendix: Mathspeak;Appendix: Countability;Appendix: Decadic Notation;.

This article shows that social norms are better explained as correlating devices for a correlated equilibrium of the underlying stage game, rather than Nash equilibria. Whereas the epistemological requirements for rational agents playing Nash equilibria are very stringent and usually implausible, the requirements for a correlated equilibrium amount to the existence of common priors, which we interpret as induced by the cultural system of the society in question. When the correlating device has perfect information, we need in addition only to (...) posit that individuals obey the social norm when it is costless to do so. When the correlating device has incomplete information, the operation of the social norm requires that individuals have a predisposition to follow the norm even when this is costly. The latter case explains why social norms are associated with other-regarding preferences and provides a basis for analyzing honesty and corruption. (shrink)

Both and agree that there are universals—that qualities are universals. To say that the quality white is a universal is to say, in part, that one and the same thing is connected in some way to both Plato and Socrates and accounts for the truth of the sentences "Plato is white" and "Socrates is white." To put it another way, the term "white" in both sentences refers to the same entity. What arguments are there for such a view? Russell elegantly (...) put forth the classic argument in "On the Relations of Universals to Particulars." To deny universals is to assert that the quality attributed to Socrates is not one and the same with the quality attributed to Plato. The quality "in" each is numerically distinct and, furthermore, no one thing accounts for these distinct qualities being of the same kind. [I mention this latter point since one might, on a version of, hold that there are particular qualities as well as universal qualities. The former account for the whiteness of particular patches; the latter for such particular whitenesses being just that.] One must then hold that such particular qualities are related in some way, since they are the entities in virtue of which we truly assert that both things are white. One must then specify such a relation. The obvious point is that such a relation will either be taken as a universal or a particular instance. If a particular then the original problem recurs when we introduce a third white patch or a pair of black patches. If admitted as a universal then the view finally accepts universals, albeit relational ones. No other alternative can answer the original question—to account for Socrates and Plato having the same color. That is, no alternative acknowledging only individuals—that denies the two patches are connected, in some way, to one and the same entity—can prevent the recurrence of exactly the same kind of question we started out with. Let us consider the case of particulars. One may argue that just as universals account for the sameness of quality, something must account for the difference of two patches which, conceivably, have all their nonrelational qualities in common. This something, the ground of numerical difference, is considered to be a substratum which stands in a unique relation or connection with universals to form or constitute facts and the things we started out with, Plato and Socrates. These ordinary things are thought of as composed of a substratum and universals connected together. Facts about such things may be composed of the substratum and one universal. The facts are about the things since the same substratum is a constituent of both sorts of entities. Such substrata account for the difference of the two patches; for there being two and not one thing. These substrata, in turn, are held to be simply different. At this point one may balk. If substrata are held to be simply different, why bother with them at all? Why not hold that Socrates and Plato are composites, not classes, of universals, and that they are different composites of the same universals? They just simply differ. If substrata can simply differ, why may not composites of universals simply differ? The proponent of substrata must retort that since Plato and Socrates are composite entities they cannot simply differ but must be held to differ in a constituent. Only simple entities can simply differ. Let me call this assertion the axiom of difference. The first point to note is that it is a necessary assumption in the argument to establish the need for substrata in an adequate ontology. We must then inquire why some accept, implicitly or explicitly, such an axiom. (shrink)

Consider statements like ``Machines will never be able to think'' or ``You cannot turn a cat into a dog''. Many people will find such propositions evident, but we have learned to be cautious. 100 years from now things might look very different; it seems unduly dogmatic to insist on todays opinions as unrevisable points of reference, disallowing future breakthroughs in computer science or biology. The scientific outlook presupposes and enhances a high degree of curiosity and it seems a good idea (...) to generally keep one's meanings flexible so as to master break-downs of everyday understanding induced by unforseen circumstances, science or technology. Such intuitions are at the heart of Quine's philosophy. According to him we find ourselves enmeshed within a web of belief that joins together past and present attitudes, cognitive procedures and evidential tests. The strands show various degrees of coherence and interconnectedness and there are no general rules on how to proceed in case something unexpected happens. Sometimes it is ignored, sometimes it is explained away and sometimes it induces more or less extensive changes in our predictive and behavioural patterns. This seems to be the lesson drawn from the Vienna Circle's battle against metaphysics. Philosophers like Putnam, Kripke and Davidson have, it is true, come up with accounts of meaning, necessity and reality that seriously challenge Quine's indeterminacy of translation and ontological relativity, re-introducing elements of a priori presuppositions and (quasi-)transcendental arguments into philosophical discourse. But - compared to Quine's unrelenting insistence on naturalistic first-level talk - those attempts have a free-floating, speculative touch. Quine refuses to engage in elaborate philosophical constructions designed to block the permanent drift of meaning. His is a truly radical position, admirably suggestive and provocative, to be challenged on its own ground. The untenability of a priori truth is suggested by profound experiences that cannot easily be refuted by arguments purporting to show how some more or less exotic sentences could, after all, be held immune from change.1 If the untenability thesis is to be shaken a more down to earth strategy seems to be called for. It would have to be shown that Quine's radical move entails consequences that are highly unattractive even according to its own standards. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in (...) the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Music and listening, music and consciousness -- Conceptualizing consciousness -- The phenomenology of everyday music listening experiences -- Absorption, dissociation and trancing -- Musical and non-musical trancing in daily life -- Imaginative involvement -- Musical and non-musical trancing : similarities and differences -- Experiencing life and art : ethological and evolutionary perspectives on -- Transformations of consciousness -- Everyday music listening experiences reframed.

A consideration of the unity of a class or kind as including its member or instances.