 |
|
What people are saying - Write a reviewWe haven't found any reviews in the usual places. Related books
Other editions - View all
Common terms and phrasesability abstract machines algorithms appears approach argument Artificial Intelligence automatic formal systems axioms behavior beliefs C. A. R. Hoare capacity causal systems computational conception computer programs computer science computer systems conclusion connectionism connectionist deductive deductive reasoning defined DeMillo depends display dispositions distinction domain Dordrecht evidence example execution expert system false Fetzer Fodor formal methods formal proofs formal systems function garlic Harnad Haugeland Hoare human icons inductive inference input interpretation involves kind knowledge language of thought linguistic Lipton and Perlis logical mathematics meaning minds nature Newell and Simon's output performance phenomena Philosophy physical machine physical symbol systems position possess premises primitive problem procedures program verification programming language properties purely qualify reasoning relation reliability representations require respect semantic semiotic systems sense sentences Simon social process specific stand syntactical syntax systems of Type theorems thesis things thinking tion tokens true truth users words Popular passagesPage 210 - As far as the laws of mathematics refer to reality, they are not certain ; and as far as they are certain, they do not refer to reality. Page 90 - Consequently, the most perfect account of a concept that words can convey will consist in a description of the habit which that concept is calculated to produce. But how otherwise can a habit be described than by a description of the kind of action to which it gives rise, with the specification of the conditions and of the motive? Page 55 - A physical symbol system consists of a set of entities, called symbols, which are physical patterns that can occur as components of another type of entity called an expression (or symbol structure). Page 76 - Fodor has observed that such a construction entails the thesis that "mental processes have access only to formal (non-semantic) properties of the mental representations over which they are defined" [Fodor (1980), p. 307], Thus, the computational theory of the mind requires that two thoughts can be distinct in content only if they can be identified with relations to formally distinct representations. Page 56 - Two notions are central to this structure of expressions, symbols, and objects: designation and interpretation. DESIGNATION. An expression designates an object if, given the expression, the system can either affect the object itself or behave in ways depending on the object. In either case, access to the object via the expression has been obtained, which is the essence of designation. INTERPRETATION. The system can interpret an expression if the expression designates a process and if, given the expression,... Page 58 - The number of expressions that the system can hold is essentially unbounded. The type of system we have just defined is not unfamiliar to computer scientists. It bears a strong family resemblance... Page 88 - Belief does not make us act at once, but puts us into such a condition that we shall behave in a certain way, when the occasion arises. Page 49 - Since signs are things that stand for other things (in some respect or other) for something, minds are those things for which something can stand for something else (in some respect or other). This approach affords a conception that might apply to other animals or even to machines. Peirce distinguishes between three basic kinds of signs, to which he refers as "icons", "indices" and "symbols Page 306 - In the real world, the outcome of software system operation is inherently uncertain with the precise area of uncertainty also not... References to this bookFrom other books
From Google ScholarAgainst Formal PhonologyRobert F Port, Adam P Leary - 2005 - LANGUAGE A semiotic analysis of the genetic information systemCharbel Nino El-Hani, Joao Queiroz, Claus Emmeche - 2006 - Semiotica Computer systems: Moral entities but not moral agentsDeborah G Johnson - 2006 - Ethics and Information Technology References from web pagesComputer Science ingentaconnect James H. Fetzer, Computers and Cognition: Why Minds ... James H. Fetzer, <i>Computers and Cognition Computers and Cognition - Wikipedia, the free encyclopedia Truth and Reality References Bibliographic information
|