...there are special sciences not because of the nature of our epistemic relation to the world, but because of the way the world is put together: not all natural kinds (not all the classes of things and events about which there are important, counterfactual supporting generalizations to make) are, or correspond to, physical natural kinds.
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 FodorSuppose 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 Fodor