I 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 FodorThe data that can bear on the confirmation of perceptual hypotheses includes, in the general case, considerably less than the organism may know.
Jerry FodorThe degree of confirmation assigned to any given hypothesis is sensitive to properties of the entire belief system... simplicity, plausibility, and conservatism are properties that theories have in virtue of their relation to the whole structure of scientific beliefs taken collectively. A measure of conservatism or simplicity would be a metric over global properties of belief systems.
Jerry FodorThere are lots of cases where we know more about how the world works than we do about how we know how it works. That's no paradox. Understanding the structure of galaxies is one thing, understanding how we understand the structure of galaxies is quite another. There isn't the slightest reason why the first should wait on the second and, in point of historical fact, it didn't. This bears a lot of emphasis; it turns up in philosophy practically everywhere you look.
Jerry Fodor...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 Fodor