<?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="Logic translation - Page 3 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Logic_translation&amp;p=2">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Logic_translation&amp;p=4">3.Next</a>
</p>
<p>the English word "is" can mean that something <a href="page.php?w=existence">exists</a>, that it is <a href="page.php?w=Identity_%28philosophy%29">identical</a> to something else, or that it has a certain <a href="page.php?w=Property_%28philosophy%29">property</a>. This contrasts with the precise nature of formal logic, which avoids such ambiguities. Natural language formalization is relevant to various fields in the <a href="page.php?w=sciences">sciences</a> and <a href="page.php?w=humanities">humanities</a>. It may play a key role for <a href="page.php?w=logic">logic</a></p><p>
<a accesskey="1" href="page.php?w=Logic_translation&amp;p=2">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Logic_translation&amp;p=4">3.Next</a>
</p>

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

</card>
</wml>
