Por cierto, analiticidad existe??

Aparece un par o tres de veces

De la nocin de significado deriva la propiedad semntica de la analiticidad. Entre

las oraciones analticas, cabe distinguir dos clases: las lgicamente verdaderas, que son
verdaderas en virtud de su forma lgica ("Ningn hombre no casado es casado") y las
oraciones propiamente analticas ("Ningn soltero es casado"). Para su confirmacin, ha
recurrido a los populares conceptos de casado y soltero.
Segn Quine, las oraciones propiamente analticas estn en conexin con las
lgicamente verdaderas a travs de la sinonimia. Al sustituir uno de los trminos de la
oracin entendida como propiamente analtica, por su sinnimo elegido, es evidente que
se obtiene una oracin lgicamente verdadera (en este caso el trmino soltero es
sustituido por `no casado).
Para poder comprobar la sinonimia de los trminos A y B, Quine establece un
ejemplo recurriendo a los trminos anteriores, de tal modo que al sustituir en la oracin
(1), el trmino soltero por su supuesta sinnimo no casado en la oracin (2):
(1 ) Necesariamente todos los solteros son solteros
(2) Necesariamente todos los solteros son no casados
El resultado obtenido es la evidencia de que (2) es tan verdadero como (1), la oracin
de partida. A y B son realmente conceptos sinnimos porque su sustitucin no supone
un cambio en el valor de verdad.