02.11.2012 Views

Reduction and Elimination in Philosophy and the Sciences

Reduction and Elimination in Philosophy and the Sciences

Reduction and Elimination in Philosophy and the Sciences

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

The ideal physics doesn’t have to be conceptualized<br />

as <strong>the</strong> most complete <strong>the</strong>ory of <strong>the</strong> world <strong>in</strong> <strong>the</strong> sense that<br />

it would conta<strong>in</strong> all <strong>the</strong> possible physical knowledge. In<br />

o<strong>the</strong>r words, it’s not what Mary <strong>the</strong> color scientist would<br />

know (by def<strong>in</strong>ition she has all <strong>the</strong> possible knowledge of<br />

colors; cf. Jackson 1986); no f<strong>in</strong>ite cognitive agent can<br />

have all <strong>the</strong> knowledge due to cognitive limitations. It<br />

would be much more limited; by referr<strong>in</strong>g to this ideal<br />

physics, we mean that we are ready to accept all progress<br />

<strong>in</strong> physical <strong>the</strong>ories that would enhance explanatory,<br />

predictive <strong>and</strong> descriptive powers of <strong>the</strong> current physical<br />

knowledge. To wit, <strong>the</strong>ory-based physicalism def<strong>in</strong>es<br />

physical objects as objects that physics is committed to,<br />

<strong>and</strong> physics is understood as <strong>the</strong> current-day physics<br />

<strong>in</strong>clud<strong>in</strong>g any future enhancements to it. So physicalism<br />

claims:<br />

228<br />

(P) There exists everyth<strong>in</strong>g that can be expla<strong>in</strong>ed by<br />

ideal physical <strong>the</strong>ories or observed us<strong>in</strong>g <strong>the</strong> best<br />

st<strong>and</strong>ard observational procedures <strong>in</strong> <strong>the</strong>se <strong>the</strong>ories,<br />

<strong>and</strong> whatever is excluded as impossible by<br />

ideal physics, doesn’t exist.<br />

The above explication of <strong>the</strong> idea of <strong>the</strong> ideal physics<br />

doesn’t imply that physics will turn out to be united or unify<strong>in</strong>g<br />

science at all. It just has more explanatory, descriptive<br />

<strong>and</strong> predictive power, while rema<strong>in</strong><strong>in</strong>g faithful to scientific<br />

st<strong>and</strong>ards. It is probable that it will rema<strong>in</strong> <strong>the</strong> most basic<br />

<strong>and</strong> most universal science but we can only hope that it<br />

will help us unify special sciences (<strong>in</strong>terdiscipl<strong>in</strong>ary unification)<br />

or even physical <strong>the</strong>ories (<strong>in</strong>tradiscipl<strong>in</strong>ary unification).<br />

The claim (P) can be made stronger (or narrow) by<br />

add<strong>in</strong>g an explicit condition that <strong>the</strong> ideal physics will unify<br />

<strong>the</strong> special sciences as <strong>the</strong> most basic <strong>and</strong> universal <strong>the</strong>ory.<br />

Yet, such a condition is not based on any evidence<br />

<strong>and</strong> as such is simply metaphysically dogmatic <strong>and</strong> unpalatable<br />

for naturalists. Weak (or broad) physicalism doesn’t<br />

have to be overoptimistic per def<strong>in</strong>itionem.<br />

This is one of <strong>the</strong> reasons why ontological<br />

naturalism might seem more attractive than narrow<br />

physicalism. While we might hope that physics will be <strong>the</strong><br />

most basic science, as physical laws are known to be<br />

universal, it may turn out that special sciences that deal<br />

with objects on o<strong>the</strong>r level of organization <strong>and</strong> with<br />

context-dependent phenomena will rema<strong>in</strong> irreducible to<br />

physics (or to one of <strong>the</strong> compet<strong>in</strong>g universal physical<br />

<strong>the</strong>ories). Even if <strong>the</strong> microreduction should rema<strong>in</strong><br />

possible if universal laws of conservation are not<br />

underm<strong>in</strong>ed (<strong>the</strong> parts of complex systems as described by<br />

special sciences will rema<strong>in</strong> reducible to physical<br />

processes <strong>and</strong> properties), <strong>the</strong> system-level properties, or<br />

emergent properties, could be out of <strong>the</strong> scope of physics.<br />

There is yet a deeper reason for th<strong>in</strong>k<strong>in</strong>g that simple<br />

convergence to physics is not a realistic account of<br />

science. Natural k<strong>in</strong>ds, <strong>and</strong> physical objects are a natural<br />

k<strong>in</strong>d, are notoriously hard to def<strong>in</strong>e with a normal<br />

def<strong>in</strong>ition. They are ra<strong>the</strong>r determ<strong>in</strong>ed by bundles of laws<br />

<strong>in</strong> which <strong>the</strong>y are referred to. The more <strong>in</strong>dependent<br />

various determ<strong>in</strong>ations are, <strong>the</strong> more robust <strong>the</strong> objects<br />

(for more on robustness <strong>in</strong> <strong>the</strong>ories, see Wimsatt 2007).<br />

Robust objects tend to appear <strong>in</strong> several clusters of laws.<br />

Real progress of science doesn’t <strong>in</strong>validate this<br />

robustness; as f<strong>in</strong>ite cognitive agents, we need several<br />

<strong>in</strong>dependent ways of confirm<strong>in</strong>g that objects are real, <strong>and</strong><br />

we try to f<strong>in</strong>d new ways of do<strong>in</strong>g that. But this also means<br />

that any k<strong>in</strong>d of unification is actually detrimental to<br />

robustness of <strong>the</strong> objects we quantify over <strong>in</strong> <strong>the</strong>ories: we<br />

lose ways to re-eng<strong>in</strong>eer <strong>and</strong> correct mistakes <strong>in</strong> <strong>the</strong>ories,<br />

if we replace several <strong>the</strong>ories with one. This is not to say<br />

that reduction is necessarily wrong; if successful, it shows<br />

Def<strong>in</strong><strong>in</strong>g Ontological Naturalism — Marc<strong>in</strong> Miłkowski<br />

that what was thought of as <strong>in</strong>dependent, is actually <strong>in</strong>terrelated,<br />

<strong>and</strong> it shows unexpected features of <strong>the</strong>ories.<br />

Moreover, as <strong>the</strong>re is no universal algorithm for<br />

discover<strong>in</strong>g physical laws, we must use fallible heuristics<br />

<strong>in</strong>stead. The biased heuristics generate different clusters<br />

of laws that operate on various levels of abstraction, <strong>and</strong><br />

unify<strong>in</strong>g <strong>the</strong>m might be not only <strong>in</strong>feasible but useless as<br />

well: add as many heuristics as you might, you'll never get<br />

a universal algorithm out if it. So <strong>the</strong>re is little hope for<br />

gett<strong>in</strong>g rid of heuristics even <strong>in</strong> <strong>the</strong> long run.<br />

This is why it seems more appropriate to rema<strong>in</strong> at<br />

least neutral towards <strong>the</strong> unification <strong>in</strong> science, <strong>and</strong><br />

endorse a weaker naturalistic position:<br />

(N) There exists everyth<strong>in</strong>g that can be expla<strong>in</strong>ed by<br />

ideal natural science or observed us<strong>in</strong>g <strong>the</strong> best<br />

st<strong>and</strong>ard observational procedures <strong>in</strong> science, <strong>and</strong><br />

whatever is excluded as impossible by ideal science,<br />

doesn’t exist.<br />

(N) is a paraphrase of <strong>the</strong> famous Sellars adage (Sellars<br />

1956) that science is <strong>the</strong> measure of th<strong>in</strong>gs. It doesn’t<br />

exclude <strong>the</strong> possibility that it will be physics that will unify<br />

sciences via reduction or similar procedures but it doesn’t<br />

require it. Yet, it shares a certa<strong>in</strong> feature with (P) that<br />

needs to be elaborated. It could seem that it’s possible that<br />

<strong>the</strong>re exist some objects that are <strong>in</strong>accessible to science<br />

because of <strong>the</strong> cognitive limitations that are specific to<br />

human be<strong>in</strong>gs. Though we might try to alleviate this<br />

situation by us<strong>in</strong>g more <strong>in</strong>struments <strong>and</strong> artificial cognitive<br />

systems, <strong>the</strong>re will always rema<strong>in</strong> objects that, for<br />

example, do not <strong>in</strong>teract causally with anyth<strong>in</strong>g we might<br />

possibly have access to. Doesn’t (P) or (N) say that those<br />

objects do not exist? The explicit second clause states that<br />

<strong>the</strong> criteria for non-existence should be supplied by a<br />

<strong>the</strong>ory. If <strong>the</strong> existence of such an isolated object X is not<br />

excluded by physics <strong>in</strong> case of (P), or any o<strong>the</strong>r science <strong>in</strong><br />

case of (N), we can rema<strong>in</strong> agnostic towards it. On <strong>the</strong><br />

o<strong>the</strong>r h<strong>and</strong>, if anyone wants to assert that X exists, (P) <strong>and</strong><br />

(N) will ra<strong>the</strong>r imply we should use st<strong>and</strong>ard<br />

methodological approaches, <strong>and</strong> that will <strong>in</strong>clude us<strong>in</strong>g<br />

Occam’s Razor aga<strong>in</strong>st objects with no evidence<br />

whatsoever. So, it’s far from suggest<strong>in</strong>g that (N) is a<br />

version of idealism where <strong>the</strong> role of <strong>the</strong> subject is played<br />

by science; it’s not <strong>the</strong> science that determ<strong>in</strong>es what<br />

exists. It’s ra<strong>the</strong>r o<strong>the</strong>r way round: science uses its<br />

procedures to see what does exist <strong>and</strong> what does not.<br />

Ontological naturalism appreciates that we have<br />

multiple ways of access to objects on various levels of <strong>the</strong>ir<br />

organization. Far from deny<strong>in</strong>g <strong>the</strong> role of physics <strong>in</strong><br />

contemporary science, it is able to <strong>in</strong>tegrate special<br />

sciences <strong>in</strong> <strong>the</strong> realistic account of human knowledge.<br />

There is no better source of knowledge than science, <strong>and</strong><br />

<strong>the</strong>re is no evidence that all special sciences will converge<br />

<strong>in</strong>to ideal physics. No ideal physics will be a complete, all<strong>in</strong>clusive<br />

<strong>the</strong>ory as <strong>the</strong>re are unsurmountable cognitive<br />

limitations. We will need different, <strong>in</strong>dependent ways of<br />

expla<strong>in</strong><strong>in</strong>g, describ<strong>in</strong>g, <strong>and</strong> predict<strong>in</strong>g <strong>the</strong> world.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!