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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Gett<strong>in</strong>g out from Inside: Why <strong>the</strong> Closure Pr<strong>in</strong>ciple cannot Support External World Scepticism — Guido Melchior<br />

corresponds to <strong>the</strong> second <strong>in</strong>terpretation of K(a) → K(b), is<br />

<strong>the</strong> follow<strong>in</strong>g:<br />

Argument2 for premise1:<br />

P can only have knowledge about <strong>the</strong> external world<br />

if she <strong>in</strong>fers it from knowledge that she is not a bra<strong>in</strong><br />

<strong>in</strong> a vat.<br />

Therefore, P knows that she is not a bra<strong>in</strong> <strong>in</strong> a vat, if<br />

P has knowledge about <strong>the</strong> external world.<br />

To sum up, <strong>the</strong>re are two possible argumentations for<br />

premise1. The common one uses a version of <strong>the</strong> closure<br />

pr<strong>in</strong>ciple for argu<strong>in</strong>g that <strong>in</strong>ferences from “e” to “¬BiV” can<br />

always be drawn. Accord<strong>in</strong>g to <strong>the</strong> alternative argumentation,<br />

<strong>the</strong> <strong>in</strong>ference from “¬BiV” to “e” is a necessary condition<br />

for K(¬BiV).<br />

In a next step, I will show that premise2 of external<br />

world scepticism can only be true if argument2 for<br />

premise1 holds <strong>and</strong> if argument1, which is based on <strong>the</strong><br />

closure pr<strong>in</strong>ciple, is rejected.<br />

Argumentations for premise2<br />

I will now analyze possible argumentations for premise2,<br />

which states that a person cannot know that she is not a<br />

bra<strong>in</strong> <strong>in</strong> a vat. If knowledge is justified, true belief, <strong>the</strong>re are<br />

obviously three possible reasons why P cannot know that<br />

she is not a bra<strong>in</strong> <strong>in</strong> a vat: <strong>the</strong> impossibility to believe it, <strong>the</strong><br />

impossibility that <strong>the</strong> belief is true <strong>and</strong> <strong>the</strong> impossibility that<br />

<strong>the</strong> belief is justified. P can obviously believe that she is<br />

not a bra<strong>in</strong> <strong>in</strong> a vat <strong>and</strong> it is possible that this belief is true.<br />

If knowledge is justified, true belief, <strong>the</strong> problematic aspect<br />

for P’s knowledge that she is not a bra<strong>in</strong> <strong>in</strong> a vat is justification.<br />

Tak<strong>in</strong>g <strong>in</strong>to account <strong>in</strong>ternalistic as well as<br />

externalistic <strong>the</strong>ories of justification, <strong>the</strong> obvious<br />

c<strong>and</strong>idates for methods of justification are evidence,<br />

<strong>in</strong>ference <strong>and</strong> externalistic justification. If it is possible that<br />

P’s belief that she is not a bra<strong>in</strong> <strong>in</strong> vat can ei<strong>the</strong>r be<br />

evident or externalistically justified, <strong>the</strong>re is obviously no<br />

specific problem of justification. Therefore, premise2 can<br />

only be true, if P’s belief that she is not a bra<strong>in</strong> <strong>in</strong> a vat<br />

cannot be evident or externalistically justified. It is<br />

philosophically plausible that this belief is nei<strong>the</strong>r evident<br />

nor externalistically justified. Hence, it can be accepted<br />

that premise2 is true if P’s belief that she is not a bra<strong>in</strong> <strong>in</strong><br />

vat cannot be justified through <strong>in</strong>ference.<br />

Next, I will <strong>in</strong>vestigate why it should be impossible<br />

that P’s belief that she is not a bra<strong>in</strong> <strong>in</strong> vat is justified<br />

through <strong>in</strong>ference by focus<strong>in</strong>g my attention on <strong>the</strong> follow<strong>in</strong>g<br />

challenge for sceptics: Why is it impossible for person to<br />

justify that she is not a bra<strong>in</strong> <strong>in</strong> vat by <strong>in</strong>ferr<strong>in</strong>g it from<br />

knowledge about <strong>the</strong> external world? Why is <strong>the</strong> follow<strong>in</strong>g<br />

argumentation <strong>in</strong>adequate?<br />

The anti-sceptical argument:<br />

K(e)<br />

P <strong>in</strong>fers “¬BiV” from “e”.<br />

Therefore, K(¬BiV).<br />

This argument is at least close to <strong>the</strong> anti-sceptical argumentation<br />

proposed by Moore (1925 <strong>and</strong> 1939).<br />

Example:<br />

I know <strong>the</strong>re is a computer <strong>in</strong> front of me.<br />

Therefore, I am not a bra<strong>in</strong> <strong>in</strong> a vat.<br />

This anti-sceptical argument is an <strong>in</strong>ference from K(e) to<br />

K(¬BiV). It is based on <strong>the</strong> idea that a person can <strong>in</strong>fer<br />

from any knowledge of <strong>the</strong> external world that she is not a<br />

bra<strong>in</strong> <strong>in</strong> vat. The closure pr<strong>in</strong>ciple states: If K(a) <strong>and</strong> K(a →<br />

b), <strong>the</strong>n K(b). Hence, <strong>the</strong> anti-sceptical argument uses <strong>the</strong><br />

closure pr<strong>in</strong>ciple for argu<strong>in</strong>g that a person can know that<br />

she is not a bra<strong>in</strong> <strong>in</strong> a vat. Why should this argumentation<br />

l<strong>in</strong>e be wrong?<br />

Generally speak<strong>in</strong>g, <strong>the</strong>re are three possible<br />

reasons why an argument respectively an <strong>in</strong>ference is not<br />

a justification:<br />

1. The argument is not preserv<strong>in</strong>g truth respectively<br />

justification.<br />

2. The premise of <strong>the</strong> argument is not justified.<br />

3. O<strong>the</strong>r reasons.<br />

I will now <strong>in</strong>vestigate each of <strong>the</strong>se three possible reasons:<br />

1. The <strong>in</strong>ference from a person’s belief about <strong>the</strong><br />

external world to <strong>the</strong> belief that she is not a bra<strong>in</strong> <strong>in</strong> a vat is<br />

truth-preserv<strong>in</strong>g. This follows from <strong>the</strong> fact, that premise1<br />

can only be valid, if “bra<strong>in</strong> <strong>in</strong> a vat” refers to persons with<br />

totally false beliefs about <strong>the</strong> external world. If premise1 is<br />

true, <strong>the</strong>n <strong>the</strong> <strong>in</strong>ference from a person’s belief of <strong>the</strong><br />

external world to <strong>the</strong> belief, that <strong>the</strong> person is not a bra<strong>in</strong> <strong>in</strong><br />

a vat is truth preserv<strong>in</strong>g <strong>and</strong>, <strong>the</strong>refore, preserv<strong>in</strong>g<br />

justification. Hence, <strong>in</strong> <strong>the</strong> context of defend<strong>in</strong>g external<br />

world scepticism <strong>the</strong> first objection aga<strong>in</strong>st <strong>the</strong> antisceptical<br />

argument has to be rejected.<br />

2. Accord<strong>in</strong>g to <strong>the</strong> second objection, <strong>the</strong> premise<br />

of <strong>the</strong> anti-sceptical argument is false, i.e. P’s belief about<br />

<strong>the</strong> external world is not justified. The conclusion of <strong>the</strong><br />

argument of external world scepticism is that P does have<br />

knowledge respectively justified beliefs about <strong>the</strong> external<br />

world. This is <strong>the</strong> same <strong>the</strong>ory as <strong>the</strong> second objection to<br />

<strong>the</strong> anti-sceptical argument. If it is assumed that <strong>the</strong> belief<br />

about <strong>the</strong> external world is not justified <strong>in</strong> order to argue for<br />

premise2 of <strong>the</strong> argument of external world scepticism this<br />

sceptical argument itself becomes circular. Therefore, <strong>the</strong><br />

second objection aga<strong>in</strong>st <strong>the</strong> anti-sceptical argument is not<br />

adequate <strong>in</strong> <strong>the</strong> context of external world scepticism.<br />

3. The first two objections aga<strong>in</strong>st <strong>the</strong> anti-sceptical<br />

argument are <strong>in</strong>adequate. Therefore, <strong>the</strong> anti-sceptical<br />

argument only fails, if <strong>the</strong> <strong>in</strong>ference is deficient for o<strong>the</strong>r<br />

reasons. The only reason, why a truth-preserv<strong>in</strong>g <strong>in</strong>ference<br />

with justified premises is not a valid justification, is that <strong>the</strong><br />

<strong>in</strong>ference leads <strong>in</strong>to a vicious circle. This is <strong>the</strong> case for <strong>the</strong><br />

anti-sceptical argument, if a person can only justify beliefs<br />

about <strong>the</strong> external world by <strong>in</strong>ferr<strong>in</strong>g it from knowledge that<br />

she is not a bra<strong>in</strong> <strong>in</strong> a vat. This means that justification of<br />

beliefs about <strong>the</strong> external world is only possible through<br />

<strong>in</strong>ference from “<strong>in</strong>side out”. Hence, premise2 is only true if<br />

this <strong>in</strong>ternalistic condition for justify<strong>in</strong>g beliefs about <strong>the</strong><br />

external world is fulfilled.<br />

219

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

Saved successfully!

Ooh no, something went wrong!