===== ANALITICIDADE =====
Segundo a [[lexico:i:ideia:start|ideia]] (ou o [[lexico:p:principio:start|princípio]]) de analiticidade, [[lexico:t:todo:start|todo]] [[lexico:o:objeto:start|objeto]] [[lexico:c:complexo:start|complexo]] deve [[lexico:s:ser:start|ser]] reduzido a [[lexico:e:elementos:start|elementos]] mais [[lexico:s:simples:start|simples]]; e essa [[lexico:r:reducao:start|redução]] deve ser levada o mais longe [[lexico:p:possivel:start|possível]]. O simples passa a ser considerado como a chave do complexo e [[lexico:n:nao:start|não]] o contrário. A ideia subjacente é a de que só compreenderemos uma [[lexico:r:realidade:start|realidade]] complexa quando soubermos de que efeitos ela é constituída e como esses elementos constituintes são agenciados, uns com [[lexico:r:relacao:start|relação]] aos outros, de [[lexico:m:modo:start|modo]] a produzirem os efeitos de conjunto que podemos efetivamente observar. [Ladrière]

(in. Analyticity; fr. Analyticité; al. Analytizität; it. Analiticita).

[[lexico:v:validade:start|validade]] das proposições, que não depende dos fatos. [[lexico:e:esse:start|esse]] [[lexico:c:conceito:start|conceito]] é [[lexico:m:moderno:start|moderno]] e nasce com a [[lexico:d:distincao:start|distinção]] estabelecida por [[lexico:h:hume:start|Hume]], entre [[lexico:r:relacoes:start|relações]] de [[lexico:i:ideias-e-coisas:start|ideias e coisas]] de [[lexico:f:fato:start|fato]], e com a distinção estabelecida por [[lexico:l:leibniz:start|Leibniz]], entre [[lexico:v:verdades-de-razao:start|verdades de razão]] e [[lexico:v:verdades-de-fato:start|verdades de fato]] (v. [[lexico:e:experiencia:start|Experiência]]; Fato). Foram estabelecidos os seguintes fundamentos da analiticidade:

1) Certa [[lexico:o:operacao:start|operação]] do [[lexico:e:espirito:start|espírito]]. É o que faz Hume, ao afirmar que as proposições concernentes às [[lexico:i:ideias:start|ideias]] "podem ser descobertas com uma simples operação do [[lexico:p:pensamento:start|pensamento]]" (Inq. Conc. Underst, IV, 1). A [[lexico:c:caracteristica:start|característica]] desta operação é não depender dos fatos, mas trata-se de uma característica negativa que pouco diz sobre o [[lexico:f:fundamento:start|fundamento]] da analiticidade.

2) Certa relação de [[lexico:i:implicacao:start|implicação]] entre [[lexico:s:sujeito:start|sujeito]] e [[lexico:p:predicado:start|predicado]]. É o que faz [[lexico:k:kant:start|Kant]], ao definir o [[lexico:j:juizo:start|juízo]] [[lexico:a:analitico:start|analítico]] como o juízo em que "o predicado B pertence ao sujeito A como algo que está contido (implicitamente) nesse conceito A" (Crít. R. Pura, intr., IV). Sobre o [[lexico:c:carater:start|caráter]] dessa implicação, porém, [[lexico:n:nada:start|nada]] se diz; e o famoso [[lexico:e:exemplo:start|exemplo]], aduzido por Kant, da [[lexico:p:proposicao:start|proposição]] "os corpos são extensos", que seria [[lexico:a:analitica:start|analítica]] em face da proposição "os corpos são pesados", que seria sintética, não esclarece por certo esse conceito, já que não se vê por que a [[lexico:e:extensao:start|extensão]] deve [[lexico:e:estar:start|estar]] contida implicitamente no conceito de [[lexico:c:corpo:start|corpo]], e não o [[lexico:p:peso:start|peso]].

3) A [[lexico:t:tautologia:start|tautologia]]. Nesse [[lexico:s:sentido:start|sentido]], [[lexico:w:wittgenstein:start|Wittgenstein]] considerou as proposições analíticas como tautologias. "A tautologia", disse ele, "não tem condições de [[lexico:v:verdade:start|verdade]] porque é incondicionalmente verdadeira" (Tractatus, 4.461). Mas, por [[lexico:o:outro:start|outro]] lado, ela não é uma "[[lexico:r:representacao:start|representação]] da realidade" porque "permite todas as situações possíveis" Çibid, 4.462). Essa [[lexico:d:definicao:start|definição]] tem grande difusão na [[lexico:f:filosofia:start|Filosofia]] contemporânea. Carnap exprimiu-a dizendo que "um [[lexico:e:enunciado:start|enunciado]] é [[lexico:c:chamado:start|chamado]] analítico quando é uma [[lexico:c:consequencia:start|consequência]] da [[lexico:c:classe:start|classe]] nula de enunciados (e, assim, uma consequência de cada enunciado)" (Logische Syntax der Sprache, § 14). Isso significa que um enunciado é analítico quando a sua [[lexico:n:negacao:start|negação]] é contraditória: caráter aceito por outros autores para definir a analiticidade e que faz das verdades analíticas "verdades necessárias" ([[lexico:r:reichenbach:start|Reichenbach]], The Theory of Probability, 1949, § 4, p. 20; Lewis, Analysis of Knowledge and Valuation, 1950, p. 89, etc). A verdade analítica da tautologia deriva do fato de que ela exaure o nível das possibilidades e, portanto, é evidente pela simples [[lexico:f:forma:start|forma]] do enunciado. Carnap exprimiu esse caráter com o conceito de "[[lexico:d:descricao:start|descrição]] de [[lexico:e:estado:start|Estado]]" (State-description), pelo qual se entende "a descrição completa de um possível estado do [[lexico:u:universo:start|universo]] dos indivíduos relativamente a todas as propriedades e relações expressas pelos [[lexico:p:predicados:start|predicados]] do [[lexico:s:sistema:start|sistema]]" (Meaning and Necessity, § 2). A descrição de estado representa os "[[lexico:m:mundos:start|mundos]] possíveis" de Leibniz: um enunciado é analítico quando é válido para todos os mundos possíveis. Os lógicos, todavia, tendem hoje a fazer a distinção entre [[lexico:v:verdade-logica:start|verdade lógica]] e verdade analítica. P. ex., a proposição "nenhum [[lexico:h:homem:start|homem]] não casado é casado" é uma tautologia e, portanto, uma verdade [[lexico:l:logica:start|lógica]]; mas a proposição "nenhum solteiro é casado" não é mais uma tautologia, mas ainda é uma proposição analítica, fundada na [[lexico:s:sinonimia:start|sinonímia]] entre "solteiro" e "não casado". (Cf. Quine, From a Logical Point of View, 1953, cap. II).

4) A sinonímia. Esta pode ser estabelecida: a) mediante definições, [[lexico:c:como-se:start|como se]] costuma fazer na [[lexico:m:matematica:start|matemática]] e em todas as linguagens artificiais; b) mediante o [[lexico:c:criterio:start|critério]] da intercambiabilidade, com que Leibniz define a própria [[lexico:i:identidade:start|identidade]]; nesse caso, chamam-se [[lexico:s:sinonimos:start|sinônimos]] os termos intercambiáveis num mesmo contexto, sem que se altere a verdade do [[lexico:p:proprio:start|próprio]] contexto; c) mediante regras semânticas, como também ocorre nas linguagens artificiais. É de se notar que a dificuldade de se estabelecer, com esses procedimentos, o [[lexico:s:significado:start|significado]] [[lexico:e:exato:start|exato]] de sinonímia e, portanto, o de analiticidade levou alguns lógicos modernos a negar a [[lexico:e:existencia:start|existência]] de distinção nítida entre analiticidade e [[lexico:s:sinteticidade:start|sinteticidade]] (Morton White, The Analytic and the Synthetic an Untenable Dualism, em Sidney Hook, ed. John [[lexico:d:dewey:start|Dewey]], Nova York, 1950; W. V. O. Quine, From a Logical Point of View, Cambridge, 1953, cap. II).

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}