§ 1º O «background» da analiticidade
Leibniz: verdades da razão / verdades de facto
Hume: relações de ideias / questões de facto
Kant: verdades analíticas / verdades sintéticas
Em Kant, uma proposição analítica é a que não atribui ao sujeito nada que não esteja já incluído no seu conceito. É uma formulação que pressupõe uma noção de inclusão e a forma de proposição sujeito-predicado. Quine reformula-a nestes termos:
[
Error: Irreparable invalid markup ('<uma [...] facto.>') in entry. Owner must fix manually. Raw contents below.]
<span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana">
<p class="MsoNormal" style="MARGIN: 0cm 47.2pt 0pt 0cm; TEXT-ALIGN: justify"><strong><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana">§ 1º O «background» da anali<a href="http://"></a>ticidade<o:p></o:p></span></strong></p>
<p class="MsoNormal" style="MARGIN: 0cm 47.2pt 0pt 0cm; TEXT-ALIGN: justify"><strong style="mso-bidi-font-weight: normal"><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana">Leibniz</span></strong><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana">: verdades da razão / verdades de facto<o:p></o:p></span></p>
<p class="MsoNormal" style="MARGIN: 0cm 47.2pt 0pt 0cm; TEXT-ALIGN: justify"><strong style="mso-bidi-font-weight: normal"><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana">Hume</span></strong><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana">: relações de ideias / questões de facto<o:p></o:p></span></p>
<p class="MsoNormal" style="MARGIN: 0cm 47.2pt 0pt 0cm; TEXT-ALIGN: justify"><strong style="mso-bidi-font-weight: normal"><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana">Kant</span></strong><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana">: verdades analíticas / verdades sintéticas<o:p></o:p></span></p>
<p class="MsoNormal" style="MARGIN: 0cm 47.2pt 0pt 0cm; TEXT-ALIGN: justify"><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana"><o:p> </o:p></span></p>
<p class="MsoNormal" style="MARGIN: 0cm 47.2pt 0pt 0cm; TEXT-ALIGN: justify"><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana">Em Kant, uma <em>proposição analítica</em> é a que não atribui ao sujeito nada que não esteja já incluído no seu conceito. É uma formulação que pressupõe uma noção de <em>inclusão</em> e a forma de proposição <em>sujeito-predicado</em>. Quine reformula-a nestes termos:<o:p></o:p></span></p>
<p class="MsoNormal" style="MARGIN: 0cm 47.2pt 0pt 0cm; TEXT-ALIGN: justify"><em><span style="FONT-SIZE: 9pt; COLOR: #3366ff; FONT-FAMILY: Verdana"><uma proposição="" analítica="" quando="" é="" verdadeira="" em="" virtude="" significado="" do="" seu="" sentido="" e="" independentemente="" de="" qualquer="" facto.=""></uma></span></em><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana"><o:p></o:p></span></p>
<p class="MsoNormal" style="MARGIN: 0cm 47.2pt 0pt 0cm; TEXT-ALIGN: justify"><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana">Note-se que intensão (sentido) </span><span style="FONT-SIZE: 9pt; FONT-FAMILY: Symbol; mso-ascii-font-family: Verdana; mso-hansi-font-family: Verdana; mso-char-type: symbol; mso-symbol-font-family: Symbol"><span style="mso-char-type: symbol; mso-symbol-font-family: Symbol">¹</span></span><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana"> nomeação: dois termos podem <u>nomear o mesmo objecto e diferir em sentido</u>. Exemplo, para termos singulares:<o:p></o:p></span></p>
<p class="MsoNormal" style="MARGIN: 0cm 47.2pt 0pt 0cm; TEXT-INDENT: 35.4pt; TEXT-ALIGN: justify"><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana">concreto]<span style="mso-spacerun: yes"> </span>estrela da tarde<span style="mso-spacerun: yes"> </span>estrela da manhã<o:p></o:p></span></p>
<p class="MsoHeader" style="MARGIN: 0cm 47.2pt 0pt 0cm; TEXT-INDENT: 35.4pt; TEXT-ALIGN: justify; tab-stops: 35.4pt"><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana">abstracto] o número de planetas<span style="mso-spacerun: yes"> </span>nove<o:p></o:p></span></p>
<p class="MsoNormal" style="MARGIN: 0cm 47.2pt 0pt 0cm; TEXT-ALIGN: justify"><span style="FONT-SIZE: 9pt; FONT-FAMILY: Verdana">Note-se ainda que, enquanto um <em><span style="COLOR: #3366ff">termo</span></em><span style="COLOR: #3366ff"> <em>singular</em></span>, concreto ou abstracto, se propõe <em>nomear</em> uma <strong><em>entidade</em></strong>, um <em><span style="COLOR: #3366ff">termo</span></em><span style="COLOR: #3366ff"> <em>geral</em></span> reporta-se, é verdadeiro, de <em>uma</em> ou <em>de cada um de muitos</em> ou de <em>nenhuma</em> <strong><em>entidade</em></strong>. A classe de todas as entidades das quais um termo geral é verdadeiro chama-se a <strong>extensão</strong> do termo.<o:p></o:p></span></p>
<p class="MsoNormal" style="MARGIN: 0cm 47.2pt 0pt 0cm; TEXT-ALIGN: justify"><a href="http://"></a><a href="http://"></a></p>
</span>