Suppose that the organism is given the problem of determining the analysis of a stimulus at a certain level of representation - e.g., the problem of determining which sequence of words a given utterance encodes. Since, in the general case, transducer outputs underdetermine perceptual analyses, we can think of the solution of such problems as involving processes of nondemonstrative inference. In particular, we can think of each input system as a computational mechanism which projects and confirms a certain class of hyputheses on the basis of a certain body of data.
Jerry FodorPhilosophers who pay for their semantics by drawing checks on Darwin are in debt way over their heads.
Jerry FodorIt simply isn't true, for example, that being big is in general better for fitness than being small except when there are effects of interacting variables; or that flying slow and high is in general better for fitness than flying fast and low except when there are effects of interacting variables; or that being monogamous is in general better for fitness than being polygamous... except when there are effects of interacting variables... It's not that the underlying generalizations are there but imperceptible in the ambient noise.
Jerry FodorI take it that computational processes are both symbolic and formal. They are symbolic because they are defined over representations, and they are formal because they apply to representations, in virtue of (roughly) the syntax of the representations.
Jerry Fodor