¿Es la distinción analítico-sintética en sí misma analítica o sintética?

Desde que Kant introdujo por primera vez la distinción analítico-sintética, el trabajo filosófico más importante en este asunto ha sido el famoso argumento de Quine (en el artículo “Dos dogmas del empirismo”) de que en realidad no existe tal cosa. En mi opinión (y creo que la de muchos filósofos), Quine en realidad no logró refutar la distinción, sino que demostró que la distinción es más vaga que aguda; es decir, hay proposiciones que no son realmente analíticas o sintéticas, sino que son más bien casos intermedios.

Cuando una proposición p es un caso claro de una proposición analítica o sintética, esta claridad proviene de la naturaleza de los términos constituyentes en p. Por lo tanto, en tal caso, la proposición de que p es analítica (o sintética) es en sí misma analítica. Pero cuando p es uno de los casos intermedios, se requerirá algún razonamiento sintético para determinar el estado exacto de p; Por lo tanto, las proposiciones relativas a la analiticidad de p también terminarán entre los casos intermedios de la distinción analítico-sintética.

¡Buena pregunta! Sujeto a algunas advertencias, probablemente sintéticas, pero es complicado.

La distinción analítico / sintético se aplica a las proposiciones (o en algunos puntos de vista estrechamente relacionados, como oraciones o enunciados). Asumiré que cuando pregunta si la distinción analítico / sintético es analítica o sintética, se pregunta si las proposiciones de la forma ” p es analítica” y ” p es sintética” son analíticas o sintéticas.

Primero, un poco de contexto. La discusión clásica de la distinción analítica / sintética se puede encontrar en Kant. Según Kant, la filosofía y las matemáticas son ejemplos de disciplinas que son a priori , lo que significa que las verdaderas proposiciones que descubren pueden descubrirse razonando solo en lugar de depender de experimentos científicos o experiencias cotidianas. Ahora, algunas proposiciones a priori realmente no parecen reclamar nada sustantivo en absoluto. Por ejemplo, cualquiera que sepa que un oftalmólogo es un oftalmólogo debería poder ver la verdad de “todos los oftalmólogos son doctores”. Pero esa propuesta no parece decir realmente nada sustantivo; Es trivial. Probablemente su uso más probable sería decir oblicuamente algo sobre el significado de “oftalmólogo” a pesar de que literalmente no dice nada al respecto. Kant llamó a tales proposiciones analíticas , y llamó a las proposiciones que no eran analíticas sintéticas . Pensó que no era problemático cómo las proposiciones analíticas podrían ser a priori, pero que las matemáticas y la filosofía consisten en gran medida en proposiciones sintéticas que, sin embargo, son a priori . El punto de partida de su filosofía fue preguntar cómo son posibles tales proposiciones.

Entonces, nuestra pregunta es: cuando dice que una proposición es trivial o que es sustantiva, ¿lo que está diciendo es trivial o sustantivo? Además, es natural preguntar, si está diciendo algo sustantivo, ¿es a priori o a posteriori ?

Como primera observación, se puede hacer referencia a las proposiciones bajo descripciones empíricas como en “Lo que John dijo ayer al mediodía es analítico”. Está bastante claro que esto es sintético y de hecho a posteriori .

Pero, ¿qué pasa con proposiciones como “‘Todos los oftalmólogos son médicos’ es analítico”? Aquí las cosas se ponen más complicadas.

Es plausible que esta proposición pueda conocerse a priori. (Los defensores de la opinión de que la analiticidad es realmente una propiedad de las oraciones, no de las proposiciones, podrían argumentar que también requiere conocimiento del idioma inglés). ¿Pero es realmente analítico? Algunos filósofos niegan que cualquier proposición sea sintética a priori , y para ellos la visión más natural puede ser que lo sea. Por otro lado, la proposición ciertamente parece más sustantiva que “Todos los oftalmólogos son médicos”. Para ir más allá, tendríamos que mirar con más cuidado las diferentes formas en que los filósofos han establecido la distinción analítico / sintético. Un lugar para buscar es La distinción analítica / sintética (artículo de la Enciclopedia de filosofía de Stanford).

Webster dice que un predicado es “algo afirmado o negado del sujeto en una proposición en lógica”.

Analítico es A = B en virtud del concepto de sujeto A y sintético es A = B por medios propuestos desde fuera del concepto de sujeto A.

Una distinción analítico-sintética se puede establecer como “caracterizar un predicado de la información contenida dentro del concepto del sujeto (analítico) es diferente de caracterizar un predicado de la información no contenida dentro del concepto del sujeto pero está relacionado (sintético)”.

Puedo estar fuera de lugar debido a mi relación íntima con la ignorancia, pero llamo a la distinción analítica.

La distinción analítico / sintético debería ser analítica. La afirmación de que hay dos tipos diferentes de enunciados proposicionales: enunciados que son tautológicamente verdaderos y enunciados que son verdaderos por extensión o relación, es axiomática y, por lo tanto, tautológicamente verdadera si el axioma se acepta como verdadero.

Diría que la distinción es parte del enfoque dialéctico de Hegel a la filosofía. El dialéctico surgió de la observancia de varias dualidades naturales, pero lo consideraría un enfoque sintético para clasificar el conocimiento. Entonces, mi respuesta es que comenzó desde una posición analítica, pero es una herramienta sintética.