ser o no ser

ENUNCIADOS ANALÍTICOS Y ENUNCIADOS SINTÉTICOS
Los enunciados o proposiciones pueden dividirse en analíticos y sintéticos. Ejemplo del primer tipo es “El complemento del complemento de un conjuntoes igual a ese conjunto”, y es sintético “En la península de Yucatán hay restos de las construcciones mayas”. Si bien hay discusiones entre los estudiosos sobre estos extremos, hay casosparadigmáticos de cada uno de estos enunciados que permiten caracterizar distintos tipos de ciencias: las formales en principio sólo contienen enunciados analíticos y las fácticas contienen principalmenteenunciados sintéticos.
Los enunciados analíticos son aquellos cuya verdad o falsedad no depende de su correspondencia con la realidad, sino que su valor de verdad depende de las relaciones internas delenunciado. Pueden clasificarse en varios subtipos:
Enunciados lógicos, lógicamente verdaderos, como “Llueve o no llueve” y “Los perros blancos son blancos”, o lógicamente falsos como “Llueve y no llueve”.Su verdad o falsedad depende exclusivamente de las relaciones formales entre los componentes de las proposiciones.
Enunciados matemáticos, como “a+(b+c)=(a+b)+c” o “Los triángulos tienen tres lados”,que suponen propiedades y relaciones formales entre entidades específicas de las matemáticas.
Enunciados por sinonimia, cuya verdad o falsedad depende de cuestiones semánticas o de los significados,como en el conocido ejemplo de Quine “Ningún soltero es casado”.
Enunciados definicionales, que o bien constituyen definiciones o bien presuponen, como en el enunciado “Los perros son animales”, quees analítico si en la definición de perro se incluye como nota definitoria la de ser animal.
Los enunciados sintéticos son aquellos cuya verdad y falsedad no depende de relaciones internas delenunciado, sino de su correspondencia o no con estados de cosas reales. Pueden tener a su vez distintas modalidades:
Enunciados empíricos singulares, que refieren a hechos o situaciones particulares:...