El filósofo Charles Sanders Peirce (1839-1914) realizó un trabajo considerable durante varios años sobre la clasificación de las ciencias (incluidas las matemáticas ). [1] Sus clasificaciones son de interés tanto como un mapa para navegar por su filosofía como un estudio de la investigación en su tiempo realizado por un polímata consumado . El propio Peirce tenía una buena formación y produjo trabajos en muchos campos de investigación, incluidos la lógica , las matemáticas, la estadística , la filosofía , la espectroscopia , la gravimetría , la geodesia , la química y la psicología experimental . [2]
Desde la época de Peirce, los filósofos han realizado pocos trabajos sobre la clasificación de las ciencias y las matemáticas. Al destacar la "importante" contribución de Peirce, el danés Birger Hjørland comentó: "No existe hoy (2005), que yo sepa, ningún programa de investigación organizado sobre la clasificación de las ciencias en ninguna disciplina ni en ningún país". [3] [4] Como escribe Miksa (1998), "el interés por esta cuestión murió en gran medida a principios del siglo XX". [5] No está claro si Hjørland incluye la clasificación de las matemáticas en esa caracterización.
En 1902 y 1903 Peirce elabora clasificaciones de las ciencias en:
Sin embargo, sólo en la "Clasificación detallada" y en la aplicación de Carnegie analiza los taxones que utilizó, que se inspiraron en los taxones biológicos de Louis Agassiz . [9]
En 1902, dividió la ciencia en teórica y práctica. [12] La ciencia teórica consistía en la ciencia del descubrimiento y la ciencia de la revisión, a la última de las cuales también llamó "filosofía sintética", un nombre tomado del título de la vasta obra, escrita a lo largo de muchos años, por Herbert Spencer . Luego, en 1903, la dividió en tres partes: ciencia del descubrimiento, ciencia de la revisión y ciencia práctica. [13] En 1903 caracterizó la ciencia de la revisión como: [14]
...ordenar los resultados de los descubrimientos, comenzando por compendios y continuando hasta tratar de formar una filosofía de la ciencia. Tal es la naturaleza del Cosmos de Humboldt , de la Philosophie positive de Comte y de la Synthetic Philosophy de Spencer . La clasificación de las ciencias pertenece a este departamento.
Peirce ya había dividido desde hacía tiempo las Ciencias del Descubrimiento en:
De este modo, Peirce termina por enmarcar dos campos, cada uno de los cuales es filosofía en cierto sentido: la filosofía cenoscópica, que precede a las ciencias especiales, y la filosofía sintética (es decir, la ciencia de la revisión), que aprovecha los resultados de todas las ciencias del descubrimiento y desarrolla, por ejemplo, clasificaciones de las ciencias.
Peirce abre su clasificación de 1903 (la clasificación "Syllabus") con una declaración concisa del método y el propósito: [16]
Esta clasificación, que pretende basarse en las afinidades principales de los objetos clasificados, no se refiere a todas las ciencias posibles ni a tantas ramas del conocimiento, sino a las ciencias en su estado actual, como a otras tantas actividades de grupos de hombres vivos. Toma prestada su idea de la clasificación de Comte, es decir, la idea de que una ciencia depende de otra para los principios fundamentales, pero no proporciona tales principios a la otra. Resulta que en la mayoría de los casos las divisiones son tricotómicas: el primero de los tres miembros se refiere a los elementos o leyes universales, el segundo ordena las clases de formas y trata de someterlas a leyes universales, el tercero entra en el máximo detalle, describe los fenómenos individuales y trata de explicarlos. Pero no todas las divisiones son de este carácter...
La siguiente tabla se basa principalmente en la clasificación de Peirce de 1903, que era más o menos la forma definitiva. Pero véase después de la tabla un análisis de sus comentarios posteriores sobre las divisiones de la lógica.
En un artículo que los editores de Collected Papers llamaron "Phaneroscopy" y fecharon en 1906, Peirce escribió (CP 4.9): [24]
... extiendo la lógica para abarcar todos los principios necesarios de la semiótica, y reconozco una lógica de iconos, y una lógica de índices, así como una lógica de símbolos; y en esta última reconozco tres divisiones: Estequiología , que antes llamé Gramática especulativa; Crítica , que antes llamé Lógica; y Metodéutica , que antes llamé Retórica especulativa.
De este modo, los tres departamentos principales de lógica de 1903 eran ahora subdepartamentos del estudio de la lógica de los símbolos.
En una carta a JH Kehler, impresa en The New Elements of Mathematics v.3, p. 207 y fechada en 1911, [25] Peirce escribió:
He esbozado mi doctrina de la crítica lógica, saltándome muchos puntos. Reconozco otras dos partes de la lógica. Una, que podría llamarse analítica, examina la naturaleza del pensamiento, no psicológicamente, sino simplemente para definir qué es dudar, creer, aprender, etc., y luego basar la crítica en estas definiciones es mi verdadero método, aunque en esta carta he tomado la tercera rama de la lógica, la metodéutica, que muestra cómo llevar a cabo una investigación. A esto he dedicado la mayor parte de mi vida, aunque la baso en la crítica.
En 1911, Peirce no menciona la división de 1906 en lógicas de iconos, índices y símbolos. La crítica y la metodéutica aparecen, como en 1902 y 1903, como el segundo y tercer departamento principal de la lógica. La analítica es ahora el primer departamento y la palabra "estequiología" no se utiliza. Incluye en la analítica la consideración de cuestiones que, en su solicitud de ingreso al Carnegie Institute de 1902, había discutido en secciones sobre lógica con títulos como "Presuposiciones de la lógica" [26] y "Sobre la concepción lógica de la mente" [27] que había colocado antes de las secciones sobre los departamentos de la lógica (estequiología, crítica y metodéutica). [28]
Sobre la cuestión de la relación entre la estequiología y la analítica que parece haberla reemplazado, nótese que, en el Borrador D de la Memoria 15 en su solicitud al Carnegie Institute de 1902, Peirce dijo que la estequiología [ verifique la ortografía ] , también llamada grammatica speculativa , equivale a una Erkenntnisslehre , una teoría de la cognición, siempre que esa teoría esté despojada de materia irrelevante e inadmisible en la lógica filosófica, materia irrelevante como todas las verdades (por ejemplo, la asociación de ideas) establecidas por los psicólogos, en la medida en que la ciencia especial de la psicología depende de la lógica, no al revés. [29] En esa misma solicitud al Carnegie Institute, como en muchos otros lugares, Peirce trató la creencia y la duda como cuestiones de lógica filosófica separadas de la psicología.
1.† Elasticidad; especialmente la expansibilidad de un gas.
Puede decirse que la hinchazón del agua comprimida en el recipiente de peltre mencionado recientemente y el salto del agua hacia arriba en el orificio hecho por la aguja no fueron efectos de un elater interno del agua, sino del salto de las muchas pequeñas partículas de aire dispersas a través de esa agua. Boyle , Spring of the Air, Exp. xxii.