<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Consequence argument - Page 13 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=consequence_argument&amp;p=12">1.Previous</a><br />
<a accesskey="3" href="page.php?w=consequence_argument&amp;p=14">3.Next</a>
</p>
<p>for the laws of physics, the argument can be stated thus:</p>

<p>
# 1) 	If determinism is true, then L and P<sub>0</sub> entail p.<br/>
# 2) 	If S had ?'d at t, then p would be false.<br/>
# 3) 	If (2) is true, then S could render p false.<br/>
# 4) 	If S could render p false, and if L and P<sub>0</sub> entail p, then S could have rendered L and P<sub>0</sub> false.<br/>
# 5) 	If S could have rendered the conjunction of L and P<sub>0</sub> false, then S could have rendered L false.<br/>
# 6) 	If S could have rendered the conjunction of L and</p><p>
<a accesskey="1" href="page.php?w=consequence_argument&amp;p=12">1.Previous</a><br />
<a accesskey="3" href="page.php?w=consequence_argument&amp;p=14">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
