Charles Sanders Peirce ( / pɜːr s / [8] [9] PURSS ; 10 de septiembre de 1839 - 19 de abril de 1914) fue un científico, matemático, lógico y filósofo estadounidense que a veces es conocido como "el padre del pragmatismo ". [10] [11] Según el filósofo Paul Weiss , Peirce fue "el más original y versátil de los filósofos estadounidenses y el más grande lógico de Estados Unidos". [12] Bertrand Russell escribió "fue una de las mentes más originales de finales del siglo XIX y ciertamente el más grande pensador estadounidense de todos los tiempos".
Peirce, que se formó como químico y trabajó como científico durante treinta años, realizó importantes contribuciones a la lógica, como las teorías de las relaciones y la cuantificación . C. I. Lewis escribió: «Las contribuciones de C. S. Peirce a la lógica simbólica son más numerosas y variadas que las de cualquier otro escritor, al menos en el siglo XIX». Para Peirce, la lógica también abarcaba gran parte de lo que ahora se llama epistemología y filosofía de la ciencia . Veía la lógica como la rama formal de la semiótica o estudio de los signos , de la que es fundador, que prefiguró el debate entre los positivistas lógicos y los defensores de la filosofía del lenguaje que dominó la filosofía occidental del siglo XX. El estudio de los signos de Peirce también incluía una teoría tripartita de la predicación .
Además, definió el concepto de razonamiento abductivo , así como formuló rigurosamente la inducción matemática y el razonamiento deductivo . Fue uno de los fundadores de la estadística . Ya en 1886, vio que las operaciones lógicas podían llevarse a cabo mediante circuitos de conmutación eléctrica . La misma idea se utilizó décadas después para producir computadoras digitales. [13]
En metafísica , Peirce era un " idealista objetivo " en la tradición del filósofo alemán Immanuel Kant , así como un realista escolástico sobre los universales. También defendía las ideas de continuidad y azar como características reales del universo, puntos de vista que denominó sinequismo y tiquismo respectivamente. Peirce creía que un falibilismo epistémico y un antiescepticismo acompañaban a estos puntos de vista.
Peirce nació en el número 3 de Phillips Place, en Cambridge, Massachusetts . Era hijo de Sarah Hunt Mills y Benjamin Peirce , profesor de matemáticas y astronomía en la Universidad de Harvard . [a] A los 12 años, Charles leyó la copia de su hermano mayor de Elementos de lógica de Richard Whately , entonces el principal texto en lengua inglesa sobre el tema. Así comenzó su fascinación por la lógica y el razonamiento, que duraría toda su vida. [14]
Desde su adolescencia sufrió una afección nerviosa conocida entonces como "neuralgia facial", que hoy se diagnosticaría como neuralgia del trigémino . Su biógrafo, Joseph Brent, dice que cuando sufría los efectos de esta afección "al principio se mostraba casi estupefacto, y luego distante, frío, deprimido, extremadamente desconfiado, impaciente ante la más mínima contradicción y propenso a violentos arrebatos de ira". [15] Sus consecuencias pueden haber conducido al aislamiento social de su vida posterior.
Peirce obtuvo una licenciatura en Artes y una maestría en Artes (1862) de Harvard. En 1863, la Escuela Científica Lawrence le otorgó una licenciatura en Ciencias, el primer título de química summa cum laude de Harvard. [16] Su historial académico no fue distinguido en otros aspectos. [17] En Harvard, comenzó amistades para toda la vida con Francis Ellingwood Abbot , Chauncey Wright y William James . [18] Uno de sus instructores de Harvard, Charles William Eliot , se formó una opinión desfavorable de Peirce. Esto resultó fatídico, porque Eliot, mientras era presidente de Harvard (1869-1909, un período que abarcó casi toda la vida laboral de Peirce), vetó repetidamente el empleo de Peirce en la universidad. [19]
Entre 1859 y 1891, Peirce trabajó intermitentemente en diversas funciones científicas para el United States Coast Survey, que en 1878 pasó a llamarse United States Coast and Geodetic Survey , [20] donde disfrutó de la protección de su influyente padre hasta la muerte de este último en 1880. [21] En el Survey, trabajó principalmente en geodesia y gravimetría , refinando el uso de péndulos para determinar pequeñas variaciones locales en la gravedad de la Tierra . [20]
Este empleo eximió a Peirce de tener que participar en la Guerra Civil estadounidense ; hubiera sido muy incómodo para él hacerlo, ya que los brahmanes de Boston Peirce simpatizaban con la Confederación . [22] Ningún miembro de la familia Peirce se ofreció como voluntario o se alistó. Peirce creció en un hogar donde la supremacía blanca se daba por sentado y la esclavitud se consideraba natural. [23] El padre de Peirce se había descrito a sí mismo como secesionista hasta el estallido de la guerra, después de lo cual se convirtió en un partidario de la Unión , proporcionando donaciones a la Comisión Sanitaria , la principal organización benéfica de guerra del Norte.
A Peirce le gustaba utilizar el siguiente silogismo para ilustrar la falta de fiabilidad de las formas tradicionales de lógica (ya que la primera premisa presupone posiblemente la conclusión ): [24]
Todos los hombres son iguales en sus derechos políticos.
Los negros son hombres.
Por lo tanto, los negros son iguales en derechos políticos a los blancos.
Fue elegido miembro residente de la Academia Estadounidense de las Artes y las Ciencias en enero de 1867. [25] La Encuesta lo envió a Europa cinco veces, [26] la primera en 1871 como parte de un grupo enviado a observar un eclipse solar . Allí, buscó a Augustus De Morgan , William Stanley Jevons y William Kingdon Clifford , [27] matemáticos y lógicos británicos cuyo modo de pensar se parecía al suyo.
De 1869 a 1872, trabajó como asistente en el observatorio astronómico de Harvard, donde realizó un importante trabajo para determinar el brillo de las estrellas y la forma de la Vía Láctea . [28] En 1872 fundó el Metaphysical Club , un club filosófico conversacional que Peirce, el futuro juez de la Corte Suprema Oliver Wendell Holmes Jr. , el filósofo y psicólogo William James , entre otros, formaron en enero de 1872 en Cambridge, Massachusetts , y disolvieron en diciembre de 1872. Otros miembros del club incluían a Chauncey Wright , John Fiske , Francis Ellingwood Abbot , Nicholas St. John Green y Joseph Bangs Warner. [29] Las discusiones finalmente dieron origen a la noción de pragmatismo de Peirce.
El 20 de abril de 1877 fue elegido miembro de la Academia Nacional de Ciencias . [31] También en 1877, propuso medir el metro como tantas longitudes de onda de luz de una cierta frecuencia , [32] el tipo de definición empleada entre 1960 y 1983 .
En 1879, Peirce desarrolló la proyección quincuncial de Peirce , inspirado en la transformación conforme de un círculo en un polígono de n lados de H. A. Schwarz de 1869 (conocida como la proyección de Schwarz-Christoffel).
Durante la década de 1880, la indiferencia de Peirce hacia los detalles burocráticos aumentó mientras que la calidad y la puntualidad de su trabajo de Survey disminuían. Peirce tardó años en escribir informes que debería haber completado en meses. [ ¿según quién? ] Mientras tanto, escribió entradas, en última instancia miles, durante 1883-1909 sobre filosofía, lógica, ciencia y otros temas para el enciclopédico Century Dictionary . [33] En 1885, una investigación de la Comisión Allison exoneró a Peirce, pero condujo al despido del superintendente Julius Hilgard y varios otros empleados de Coast Survey por mal uso de fondos públicos. [34] En 1891, Peirce renunció a Coast Survey a pedido del superintendente Thomas Corwin Mendenhall . [35]
En 1879, Peirce fue nombrado profesor de lógica en la Universidad Johns Hopkins , que tenía departamentos importantes en áreas que le interesaban, como filosofía ( Royce y Dewey completaron sus doctorados en Hopkins), psicología (enseñada por G. Stanley Hall y estudiada por Joseph Jastrow , quien fue coautor de un estudio empírico histórico con Peirce) y matemáticas (enseñada por J. J. Sylvester , quien llegó a admirar el trabajo de Peirce sobre matemáticas y lógica). Sus Estudios de lógica por miembros de la Universidad Johns Hopkins (1883) contenían trabajos de él mismo y de Allan Marquand , Christine Ladd , Benjamin Ives Gilman y Oscar Howard Mitchell, [36] varios de los cuales fueron sus estudiantes de posgrado. [7] El puesto no titular de Peirce en Hopkins fue el único nombramiento académico que tuvo.
Brent documenta algo que Peirce nunca sospechó, a saber, que sus esfuerzos por obtener empleo académico, becas y respetabilidad científica se vieron frustrados repetidamente por la oposición encubierta de un importante científico canadiense-estadounidense de la época, Simon Newcomb . [37] Newcomb había sido un estudiante favorito del padre de Peirce; aunque "sin duda bastante brillante", "como Salieri en Amadeus de Peter Shaffer, también tenía el talento suficiente para reconocer que no era un genio y la mezquindad suficiente para resentirse con alguien que lo era". Además, "un cristiano intensamente devoto y de mentalidad literal con estándares morales rígidos", estaba horrorizado por lo que consideraba las deficiencias personales de Peirce. [38] Los esfuerzos de Peirce también pueden haber sido obstaculizados por lo que Brent caracteriza como "su personalidad difícil". [39] En contraste, Keith Devlin cree que el trabajo de Peirce estaba demasiado adelantado a su tiempo para ser apreciado por el establecimiento académico de la época y que esto jugó un papel importante en su incapacidad para obtener un puesto titular. [40]
La vida personal de Peirce sin duda jugó en contra de su éxito profesional. Después de que su primera esposa, Harriet Melusina Fay ("Zina"), lo dejara en 1875, [41] Peirce, mientras todavía estaba legalmente casado, se involucró con Juliette , cuyo apellido, dado de diversas maneras como Froissy y Pourtalai, [42] y nacionalidad (hablaba francés) [43] sigue siendo incierto. [44] Cuando su divorcio de Zina se hizo definitivo en 1883, se casó con Juliette. [45] Ese año, Newcomb señaló a un fideicomisario de Johns Hopkins que Peirce, mientras era empleado de Hopkins, había vivido y viajado con una mujer con la que no estaba casado; el escándalo resultante llevó a su despido en enero de 1884. [46] A lo largo de los años, Peirce buscó empleo académico en varias universidades sin éxito. [47] No tuvo hijos de ninguno de los dos matrimonios. [48]
En 1887, Peirce gastó parte de la herencia de sus padres para comprar 2000 acres (8 km² ) de tierra rural cerca de Milford, Pensilvania , que nunca le rindió un rendimiento económico. [49] Allí hizo remodelar una casa de campo de 1854 según su diseño. [50] Los Peirce llamaron a la propiedad " Arisbe ". Allí vivieron con pocas interrupciones durante el resto de sus vidas, [51] Charles escribió prolíficamente, y gran parte de su obra permanece inédita hasta el día de hoy (ver Obras). Vivir por encima de sus posibilidades pronto lo llevó a graves dificultades financieras y legales. [52] Charles pasó gran parte de sus últimas dos décadas sin poder pagar la calefacción en invierno y subsistiendo con pan viejo donado por el panadero local. Incapaz de permitirse nuevo material de oficina, escribía en el reverso de viejos manuscritos. Una orden de arresto pendiente por asalto y deudas impagas lo llevaron a ser un fugitivo en la ciudad de Nueva York durante un tiempo. [53] Varias personas, entre ellas su hermano James Mills Peirce [54] y sus vecinos, parientes de Gifford Pinchot , liquidaron sus deudas y pagaron sus impuestos sobre la propiedad y su hipoteca. [55]
Peirce realizó algunas consultorías científicas y de ingeniería y escribió mucho por un salario exiguo, principalmente entradas de diccionarios enciclopédicos y reseñas para The Nation (con cuyo editor, Wendell Phillips Garrison , entabló amistad). Hizo traducciones para el Instituto Smithsoniano , a instancias de su director Samuel Langley . Peirce también realizó cálculos matemáticos sustanciales para la investigación de Langley sobre el vuelo propulsado. Con la esperanza de ganar dinero, Peirce intentó inventar. [56] Comenzó, pero no completó varios libros. [57] En 1888, el presidente Grover Cleveland lo nombró miembro de la Comisión de Ensayos . [58]
A partir de 1890, tuvo un amigo y admirador en el juez Francis C. Russell de Chicago, [59] quien presentó a Peirce al editor Paul Carus y al propietario Edward C. Hegeler de la revista pionera de filosofía estadounidense The Monist , que finalmente publicó al menos 14 artículos de Peirce. [60] Escribió muchos textos en el Dictionary of Philosophy and Psychology (1901-1905) de James Mark Baldwin ; la mitad de los que se le atribuyen parecen haber sido escritos en realidad por Christine Ladd-Franklin bajo su supervisión. [61] En 1902 solicitó a la recién formada Carnegie Institution una beca para escribir un libro sistemático que describiera el trabajo de su vida. La solicitud estaba condenada al fracaso; su némesis, Newcomb, sirvió en el comité ejecutivo de la Carnegie Institution, y su presidente había sido presidente de Johns Hopkins en el momento del despido de Peirce. [62]
El que más hizo por ayudar a Peirce en estos tiempos desesperados fue su viejo amigo William James , quien le dedicó su Will to Believe (1897) y consiguió que se le pagara por dar dos series de conferencias en Harvard o cerca de allí (1898 y 1903). [63] Lo más importante es que cada año, desde 1907 hasta la muerte de James en 1910, James escribió a sus amigos de la intelectualidad de Boston para solicitar ayuda financiera para Peirce; el fondo continuó incluso después de que James muriera. Peirce correspondió designando al hijo mayor de James como su heredero en caso de que Juliette falleciera antes que él. [64] Se ha creído que esta fue también la razón por la que Peirce usó "Santiago" ("St. James" en inglés) como segundo nombre, pero apareció impreso ya en 1890 como Charles Santiago Peirce. (Véase Charles Santiago Sanders Peirce para discusión y referencias).
Peirce murió en la indigencia en Milford, Pensilvania , veinte años antes que su viuda. Juliette Peirce conservó la urna con sus cenizas en Arisbe. En 1934, el gobernador de Pensilvania, Gifford Pinchot, dispuso el entierro de Juliette en el cementerio de Milford. La urna con las cenizas de Peirce fue enterrada junto a Juliette. [65]
Bertrand Russell (1959) escribió: "Sin duda [...] fue una de las mentes más originales de finales del siglo XIX y, sin duda, el mayor pensador americano de todos los tiempos". [66] Los Principia Mathematica de Russell y Whitehead , publicados entre 1910 y 1913, no mencionan a Peirce (el trabajo de Peirce no fue ampliamente conocido hasta más tarde). [67] AN Whitehead , mientras leía algunos de los manuscritos inéditos de Peirce poco después de llegar a Harvard en 1924, se sorprendió por cómo Peirce había anticipado su propio pensamiento de "proceso". (Sobre Peirce y la metafísica de procesos , véase Lowe 1964. [28] ) Karl Popper veía a Peirce como "uno de los filósofos más grandes de todos los tiempos". [68] Sin embargo, los logros de Peirce no fueron reconocidos de inmediato. Sus imponentes contemporáneos William James y Josiah Royce [69] lo admiraban y Cassius Jackson Keyser , en Columbia, y CK Ogden escribieron sobre Peirce con respeto, pero sin efecto inmediato.
El primer académico que le prestó a Peirce su atención profesional considerada fue Morris Raphael Cohen , alumno de Royce , editor de una antología de los escritos de Peirce titulada Chance, Love, and Logic (1923) y autor de la primera bibliografía de los escritos dispersos de Peirce. [70] John Dewey estudió con Peirce en Johns Hopkins. [7] A partir de 1916, los escritos de Dewey mencionan repetidamente a Peirce con deferencia. Su Logic: The Theory of Inquiry de 1938 está muy influenciada por Peirce. [71] La publicación de los primeros seis volúmenes de Collected Papers (1931-1935) fue el evento más importante hasta la fecha en los estudios de Peirce y uno que Cohen hizo posible al recaudar los fondos necesarios; [72] sin embargo, no provocó una avalancha de estudios secundarios. Los editores de esos volúmenes, Charles Hartshorne y Paul Weiss , no se convirtieron en especialistas en Peirce. Los primeros hitos de la literatura secundaria incluyen las monografías de Buchler (1939), Feibleman (1946) y Goudge (1950), la tesis doctoral de 1941 de Arthur W. Burks (quien luego editó los volúmenes 7 y 8) y los estudios editados por Wiener y Young (1952). La Charles S. Peirce Society fue fundada en 1946. Sus Transactions , una revista académica trimestral especializada en el pragmatismo de Peirce y la filosofía estadounidense, ha aparecido desde 1965. [73] (Véase Phillips 2014, 62 para una discusión de Peirce y Dewey en relación con el transaccionalismo ).
En 1943, la reputación de Peirce era tal, al menos en Estados Unidos, que el Diccionario Biográfico de Webster decía que Peirce era "considerado ahora como el pensador más original y el mayor lógico de su tiempo". [74]
En 1949, mientras realizaba un trabajo de archivo no relacionado, la historiadora de las matemáticas Carolyn Eisele (1902-2000) se topó por casualidad con una carta autógrafa de Peirce. Así comenzaron sus cuarenta años de investigación sobre Peirce, “el matemático y científico”, que culminaron en Eisele (1976, 1979, 1985). A partir de 1960, el filósofo e historiador de las ideas Max Fisch (1900-1995) emergió como una autoridad sobre Peirce (Fisch, 1986). [75] Incluye muchos de sus artículos relevantes en un estudio (Fisch 1986: 422-448) del impacto del pensamiento de Peirce hasta 1983.
Peirce ha ganado un seguimiento internacional, marcado por centros de investigación universitarios dedicados a los estudios de Peirce y al pragmatismo en Brasil (CeneP/CIEP y Centro de Estudos de Pragmatismo), Finlandia (HPRC y Commens), Alemania (el grupo de Wirth, el grupo de Hoffman y Otte, y el grupo de Deuser y Härle [76] ), Francia (L'IRSCE), España (GEP) e Italia (CSP). Sus escritos han sido traducidos a varios idiomas, incluidos alemán, francés, finlandés, español y sueco. Desde 1950, ha habido académicos franceses, italianos, españoles, británicos y brasileños de renombre. Durante muchos años, el departamento de filosofía norteamericano más dedicado a Peirce fue la Universidad de Toronto , gracias en parte al liderazgo de Thomas Goudge y David Savan. En los últimos años, los académicos estadounidenses de Peirce se han agrupado en la Universidad de Indiana (la Universidad Purdue de Indianápolis , sede del Proyecto Edición Peirce (PEP)) y en la Universidad Estatal de Pensilvania .
En la actualidad, investigadores que no pertenecen al ámbito de la filosofía académica están mostrando un interés considerable por las ideas de Peirce. Este interés proviene de la industria, los negocios, la tecnología, las organizaciones de inteligencia y el ejército, y ha dado como resultado la existencia de un número considerable de agencias, institutos, empresas y laboratorios en los que se están llevando a cabo con ahínco investigaciones y desarrollos de los conceptos de Peirce.
— Robert Burch, 2001, actualizado en 2010 [20]
En los últimos años, la tricotomía de signos de Peirce es explotada por un número creciente de profesionales para tareas de marketing y diseño.
John Deely escribe que Peirce fue el último de los “modernos” y el “primero de los posmodernos”. Elogia la doctrina de los signos de Peirce como una contribución al amanecer de la época posmoderna . Deely comenta además que “Peirce se encuentra… en una posición análoga a la que ocupó Agustín como último de los Padres occidentales y primero de los medievales”. [77]
La reputación de Peirce se basa en gran medida en artículos académicos publicados en revistas científicas y académicas estadounidenses como Proceedings of the American Academy of Arts and Sciences , Journal of Speculative Philosophy , The Monist , Popular Science Monthly , American Journal of Mathematics , Memoirs of the National Academy of Sciences , The Nation y otras. Consulte Artículos de Peirce, publicados en vida para obtener una lista extensa con enlaces a ellos en línea. El único libro completo (ni extracto ni panfleto) que Peirce escribió y vio publicado en vida [78] fue Photometric Researches (1878), una monografía de 181 páginas sobre las aplicaciones de los métodos espectrográficos a la astronomía. Mientras estaba en Johns Hopkins, editó Studies in Logic (1883), que contiene capítulos de él mismo y de sus estudiantes de posgrado. Además de las conferencias durante sus años (1879-1884) como profesor de lógica en Johns Hopkins, dio al menos nueve series de conferencias, muchas de ellas publicadas actualmente; véase Conferencias de Peirce .
Tras la muerte de Peirce, la Universidad de Harvard obtuvo de la viuda de Peirce los documentos encontrados en su estudio, pero no los microfilmó hasta 1964. Sólo después de que Richard Robin (1967) [79] catalogara este Nachlass se hizo evidente que Peirce había dejado aproximadamente 1.650 manuscritos inéditos, con un total de más de 100.000 páginas, [80] en su mayoría aún sin publicar, salvo en microfilm . Sobre las vicisitudes de los documentos de Peirce, véase Houser (1989). [81] Según se informa, los documentos permanecen en condiciones insatisfactorias. [82]
La primera antología publicada de los artículos de Peirce fue Chance, Love and Logic: Philosophical Essays , editada por Morris Raphael Cohen en 1923 y que todavía se encuentra en imprenta. Otras antologías de un solo volumen se publicaron en 1940, 1957, 1958, 1972, 1994 y 2009, la mayoría de ellas todavía en imprenta. Las principales ediciones póstumas [83] de las obras de Peirce en su largo camino hacia la luz, a menudo en varios volúmenes y algunas todavía en imprenta, incluyen:
1931–1958: Collected Papers of Charles Sanders Peirce (CP), 8 volúmenes, incluye muchas obras publicadas, junto con una selección de trabajos inéditos y un puñado de su correspondencia. Esta edición estándar de larga data extraída del trabajo de Peirce desde la década de 1860 hasta 1913 sigue siendo el estudio más completo de su prolífica producción desde 1893 hasta 1913. Está organizada temáticamente, pero los textos (incluida la serie de conferencias) a menudo se dividen en volúmenes, mientras que los textos de varias etapas en el desarrollo de Peirce a menudo se combinan, lo que requiere visitas frecuentes a las notas de los editores. [84] Editado (1–6) por Charles Hartshorne y Paul Weiss y (7–8) por Arthur Burks , en versión impresa y en línea.
1975–1987: Charles Sanders Peirce: Contributions to The Nation , 4 volúmenes, incluye más de 300 reseñas y artículos de Peirce publicados entre 1869 y 1908 en The Nation . Editado por Kenneth Laine Ketner y James Edward Cook, en línea.
1976: The New Elements of Mathematics de Charles S. Peirce , 4 volúmenes en 5, incluía muchos manuscritos inéditos de Peirce sobre temas matemáticos, junto con importantes artículos matemáticos publicados por Peirce. Editado por Carolyn Eisele, de nuevo en imprenta.
1977: Semiotic and Significatives: The Correspondence between CS Peirce and Victoria Lady Welby (2.ª edición, 2001), que incluía toda la correspondencia de Peirce (1903-1912) con Victoria, Lady Welby . La otra correspondencia publicada de Peirce se limita en gran medida a las 14 cartas incluidas en el volumen 8 de Collected Papers y los 20 artículos anteriores a 1890 incluidos hasta ahora en Writings . Editado por Charles S. Hardwick con James Cook, agotado.
1982–actualidad: Writings of Charles S. Peirce, A Chronological Edition (W), volúmenes 1–6 y 8, de un total proyectado de 30. La cobertura limitada y la edición y organización defectuosas de Collected Papers llevaron a Max Fisch y otros en la década de 1970 a fundar el Peirce Edition Project (PEP), cuya misión es preparar una edición cronológica crítica más completa. Hasta la fecha solo han aparecido siete volúmenes, pero cubren el período de 1859 a 1892, cuando Peirce llevó a cabo gran parte de su trabajo más conocido. Writings of Charles S. Peirce , 8 se publicó en noviembre de 2010; y se continúa trabajando en Writings of Charles S. Peirce , 7, 9 y 11. En versión impresa y en línea.
1985: Historical Perspectives on Peirce's Logic of Science: A History of Science (Perspectivas históricas sobre la lógica de la ciencia de Peirce: una historia de la ciencia) , 2 volúmenes. Auspitz ha dicho: [85] "El grado de inmersión de Peirce en la ciencia de su época es evidente en sus reseñas en The Nation [...] y en sus artículos, solicitudes de subvenciones y prospectos de editoriales sobre la historia y la práctica de la ciencia", refiriéndose posteriormente a Historical Perspectives (Perspectivas históricas ). Editado por Carolyn Eisele, de nuevo en imprenta.
1992: Reasoning and the Logic of Things reúne en un solo lugar la serie de conferencias que Peirce dio en 1898 por invitación de William James. Editado por Kenneth Laine Ketner, con comentarios de Hilary Putnam , en versión impresa.
1992–1998: The Essential Peirce (EP), 2 volúmenes, es una importante muestra reciente de los escritos filosóficos de Peirce. Editado (1) por Nathan Hauser y Christian Kloesel y (2) por los editores del Peirce Edition Project , en versión impresa.
1997: Pragmatism as a Principle and Method of Right Thinking recopila las "Lectures on Pragmatism" de Peirce de Harvard de 1903 en una edición de estudio, que incluye borradores de los manuscritos de las conferencias de Peirce, que se habían publicado previamente en forma abreviada; las conferencias ahora también aparecen en The Essential Peirce , 2. Editado por Patricia Ann Turisi, en versión impresa.
2010: Philosophy of Mathematics: Selected Writings (Filosofía de las matemáticas: escritos selectos) recopila importantes escritos de Peirce sobre el tema, muchos de ellos no publicados anteriormente. Editado por Matthew E. Moore, en versión impresa.
El trabajo más importante de Peirce en matemáticas puras se centró en áreas lógicas y fundamentales. También trabajó en álgebra lineal , matrices , diversas geometrías, topología y números de Listing , números de Bell , gráficos , el problema de los cuatro colores y la naturaleza de la continuidad.
Trabajó en matemáticas aplicadas a la economía, la ingeniería y las proyecciones cartográficas, y fue especialmente activo en probabilidad y estadística. [86]
Peirce hizo una serie de descubrimientos sorprendentes en lógica formal y matemáticas fundamentales, casi todos los cuales llegaron a ser apreciados solo mucho después de su muerte:
En 1860 [87] sugirió una aritmética cardinal para números infinitos, años antes de cualquier trabajo de Georg Cantor (quien completó su disertación en 1867 ) y sin acceso a Paradoxien des Unendlichen (póstumo) de Bernard Bolzano de 1851 .
En 1880-1881 [88] demostró cómo se podía realizar el álgebra de Boole mediante una única operación binaria repetida lo suficiente ( NOR lógico ), anticipándose por 33 años a Henry M. Sheffer . (Véase también Leyes de De Morgan .)
En 1881 [89], Peirce propuso la axiomatización de la aritmética de los números naturales , unos años antes que Richard Dedekind y Giuseppe Peano . En el mismo artículo, Peirce dio, años antes que Dedekind, la primera definición puramente cardinal de un conjunto finito en el sentido que ahora se conoce como " finito de Dedekind ", e implicó de la misma manera una importante definición formal de un conjunto infinito (infinito de Dedekind), como un conjunto que puede ponerse en correspondencia biunívoca con uno de sus subconjuntos propios .
En 1885 [90] distinguió entre cuantificación de primer orden y cuantificación de segundo orden. [91] [92] En el mismo artículo, expuso lo que puede leerse como la primera teoría de conjuntos axiomática (primitiva) , anticipándose a Zermelo por aproximadamente dos décadas (Brady 2000, [93] pp. 132-133).
En 1886, vio que los cálculos booleanos podían realizarse mediante interruptores eléctricos, [13] anticipándose a Claude Shannon por más de 50 años. A finales de la década de 1890 [94], estaba ideando gráficos existenciales , una notación diagramática para el cálculo de predicados . Basados en ellos están los gráficos conceptuales de John F. Sowa y el razonamiento diagramático de Sun-Joo Shin .
Peirce escribió borradores para un libro de texto introductorio, con el título provisional The New Elements of Mathematics , que presentaba las matemáticas desde un punto de vista original. Esos borradores y muchos otros de sus manuscritos matemáticos inéditos aparecieron finalmente [86] en The New Elements of Mathematics de Charles S. Peirce (1976), editado por la matemática Carolyn Eisele .
Peirce coincidió con Auguste Comte en considerar las matemáticas como algo más básico que la filosofía y las ciencias especiales (de la naturaleza y la mente). Peirce clasificó las matemáticas en tres subáreas: (1) matemáticas de la lógica, (2) series discretas y (3) pseudo-continuos (como los llamó, incluidos los números reales ) y continuos. Influenciado por su padre Benjamin , Peirce argumentó que las matemáticas estudian objetos puramente hipotéticos y no son solo la ciencia de la cantidad, sino que, de manera más amplia, son la ciencia que extrae conclusiones necesarias; que las matemáticas ayudan a la lógica, no al revés; y que la lógica en sí misma es parte de la filosofía y es la ciencia que trata de extraer conclusiones necesarias y no necesarias. [95]
Peirce sostuvo que la ciencia logra probabilidades estadísticas, no certezas, y que la espontaneidad ("azar absoluto") es real (ver Tichismo sobre su punto de vista). La mayoría de sus escritos estadísticos promueven la interpretación de frecuencia de la probabilidad (proporciones objetivas de casos), y muchos de sus escritos expresan escepticismo sobre (y critican el uso de) la probabilidad cuando tales modelos no se basan en la aleatorización objetiva . [96] Aunque Peirce era en gran medida un frecuentista, su semántica del mundo posible introdujo la teoría de la "propensión" de la probabilidad antes de Karl Popper . [97] [98] Peirce (a veces con Joseph Jastrow ) investigó los juicios de probabilidad de sujetos experimentales, "quizás la primera" elicitación y estimación de probabilidades subjetivas en psicología experimental y (lo que llegó a llamarse) estadística bayesiana . [2]
Peirce fue uno de los fundadores de la estadística . Formuló la estadística moderna en " Ilustraciones de la lógica de la ciencia " (1877-1878) y " Una teoría de la inferencia probable " (1883). Con un diseño de medidas repetidas , Charles Sanders Peirce y Joseph Jastrow introdujeron experimentos aleatorios controlados a ciegas en 1884 [99] (Hacking 1990:205) [1] (antes de Ronald A. Fisher ). [2] Inventó el diseño óptimo para experimentos sobre la gravedad, en el que " corrigió las medias ". Utilizó la correlación y el suavizado . Peirce amplió el trabajo sobre valores atípicos de Benjamin Peirce , su padre. [2] Introdujo los términos " confianza " y " verosimilitud " (antes de Jerzy Neyman y Fisher ). (Véase los libros históricos de Stephen Stigler y de Ian Hacking 1990. [1] )
Peirce trabajó como científico durante 30 años y, posiblemente, fue un filósofo profesional solo durante los cinco años que dio clases en Johns Hopkins. Aprendió filosofía principalmente leyendo, cada día, unas pocas páginas de la Crítica de la razón pura de Immanuel Kant , en el alemán original, mientras era estudiante de Harvard. Sus escritos se refieren a una amplia gama de disciplinas, incluidas las matemáticas, la lógica , la filosofía, la estadística, la astronomía , [28] la metrología , [3] la geodesia , la psicología experimental , [4] la economía, [5] la lingüística , [6] y la historia y la filosofía de la ciencia . Esta obra ha gozado de un renovado interés y aprobación, un renacimiento inspirado no solo por sus anticipaciones de los desarrollos científicos recientes, sino también por su demostración de cómo la filosofía se puede aplicar de manera efectiva a los problemas humanos.
La filosofía de Peirce incluye un sistema generalizado de tres categorías: la creencia de que la verdad es inmutable y es independiente de la opinión real ( falibilismo ) y descubrible (sin escepticismo radical), la lógica como semiótica formal de signos, argumentos y formas de investigación (incluido el pragmatismo filosófico (que él fundó), el sentido común crítico y el método científico ) y, en metafísica: el realismo escolástico , por ejemplo, John Duns Scotus , la creencia en Dios, la libertad y al menos una inmortalidad atenuada, el idealismo objetivo y la creencia en la realidad de la continuidad y del azar absoluto, la necesidad mecánica y el amor creativo. [100] En su obra, el falibilismo y el pragmatismo pueden parecer que funcionan de forma similar al escepticismo y el positivismo , respectivamente, en la obra de otros. Sin embargo, para Peirce, el falibilismo está equilibrado por un antiescepticismo y es una base para la creencia en la realidad del azar absoluto y de la continuidad, [101] y el pragmatismo compromete a uno con la creencia antinominalista en la realidad de lo general (CP 5.453–457).
Para Peirce, la filosofía primera, a la que también llamó cenoscopia, es menos básica que las matemáticas y más básica que las ciencias especiales (de la naturaleza y la mente). Estudia los fenómenos positivos en general, fenómenos accesibles a cualquier persona en cualquier momento de vigilia, y no resuelve cuestiones recurriendo a experiencias especiales. [ 102] Dividió esta filosofía en (1) fenomenología (a la que también llamó faneroscopia o categórica), (2) ciencias normativas (estética, ética y lógica) y (3) metafísica; sus opiniones sobre ellas se analizan en orden a continuación.
Peirce no escribió extensamente sobre estética y ética, [103] pero en 1902 llegó a sostener que la estética, la ética y la lógica, en ese orden, comprenden las ciencias normativas. [104] Caracterizó la estética como el estudio del bien (entendido como lo admirable) y, por lo tanto, de los fines que gobiernan toda conducta y pensamiento. [105]
Umberto Eco describió a Peirce como "sin duda el mayor escritor inédito de nuestra generación" [106] y Karl Popper lo describió como "uno de los filósofos más grandes de todos los tiempos". [107] La Enciclopedia de Filosofía de Internet dice de Peirce que, aunque "durante mucho tiempo se lo consideró una figura excéntrica cuya contribución al pragmatismo fue proporcionar su nombre y cuya importancia influyó en James y Dewey, la importancia de Peirce por derecho propio es ahora ampliamente aceptada". [108]
La receta de Peirce para el pensamiento pragmático, a la que llamó pragmatismo y, más tarde, pragmaticismo , se recapitula en varias versiones de la llamada máxima pragmática . He aquí una de sus reiteraciones más enfáticas :
Piensa en qué efectos concebibles podrían tener repercusiones prácticas para los objetos de tu concepción . Entonces, tu concepción de esos efectos constituye la totalidad de tu concepción del objeto.
Como movimiento, el pragmatismo comenzó a principios de la década de 1870 en discusiones entre Peirce, William James y otros en el Club Metafísico . James, entre otros, consideró algunos artículos de Peirce como "La fijación de la creencia" (1877) y especialmente "Cómo aclarar nuestras ideas" (1878) como fundamentales para el pragmatismo . [109] Peirce (CP 5.11-12), al igual que James ( Pragmatism: A New Name for Some Old Ways of Thinking , 1907), vio al pragmatismo como la encarnación de actitudes familiares, en filosofía y en otros lugares, elaboradas en un nuevo método deliberado para pensar fructíferamente sobre los problemas. Peirce se diferenciaba de James y del primer John Dewey , en algunos de sus entusiasmos tangenciales, en ser decididamente más racionalista y realista, en varios sentidos de esos términos, a lo largo de la preponderancia de sus propios estados de ánimo filosóficos.
En 1905 Peirce acuñó el nuevo nombre pragmaticismo "con el propósito preciso de expresar la definición original", diciendo que "todo salió bien" con los usos variantes de James y FCS Schiller del antiguo nombre "pragmatismo" y que acuñó el nuevo nombre debido al creciente uso del antiguo nombre en "revistas literarias, donde se abusa de él". Sin embargo, citó como causas, en un manuscrito de 1906, sus diferencias con James y Schiller y, en una publicación de 1908, sus diferencias con James, así como la declaración del autor literario Giovanni Papini sobre la indefinibilidad del pragmatismo. En cualquier caso, Peirce consideró que sus puntos de vista de que la verdad es inmutable y el infinito es real, eran opuestos por los otros pragmatistas, pero permaneció aliado con ellos en otras cuestiones. [110] [ referencia circular ]
El pragmatismo comienza con la idea de que la creencia es aquello sobre lo que uno está dispuesto a actuar. El pragmatismo de Peirce es un método de clarificación de las concepciones de los objetos. Equiparaba cualquier concepción de un objeto con una concepción de los efectos de ese objeto en una medida general de las implicaciones concebibles de los efectos para la práctica informada. Es un método para aclarar las confusiones conceptuales ocasionadas, por ejemplo, por distinciones que hacen diferencias formales (a veces necesarias) pero no prácticas. Formuló tanto el pragmatismo como los principios estadísticos como aspectos de la lógica científica en su serie de artículos "Ilustraciones de la lógica de la ciencia". En el segundo, "Cómo aclarar nuestras ideas", Peirce analizó tres grados de claridad de concepción:
A modo de ejemplo de cómo aclarar las concepciones, abordó las concepciones sobre la verdad y lo real como cuestiones de las presuposiciones del razonamiento en general. En el segundo grado de claridad (el grado "nominal"), definió la verdad como la correspondencia de un signo con su objeto, y lo real como el objeto de esa correspondencia, de modo que la verdad y lo real son independientes de lo que usted o yo o cualquier comunidad real y definida de investigadores pensemos. Después de ese paso necesario pero limitado, en el tercer grado de claridad (el grado pragmático, orientado a la práctica) definió la verdad como esa opinión a la que se llegaría, tarde o temprano pero siempre inevitablemente, mediante una investigación llevada lo suficientemente lejos, de modo que lo real dependa de esa opinión final ideal, una dependencia a la que apela en argumentos teóricos en otros lugares, por ejemplo, para la validez a largo plazo de la regla de inducción. [111] Peirce sostuvo que incluso argumentar contra la independencia y la capacidad de descubrimiento de la verdad y de lo real es presuponer que hay, acerca de esa misma cuestión bajo discusión, una verdad con exactamente esa independencia y capacidad de descubrimiento.
Peirce dijo que el significado de una concepción consiste en " todos los modos generales de conducta racional " que implica la "aceptación" de la concepción; es decir, si uno aceptara, en primer lugar, la concepción como verdadera, ¿qué modos generales de conducta racional consecuentes podrían concebirse como consecuencia de todos los que aceptan la concepción como verdadera? El conjunto de esos modos generales consecuentes es el significado total. Su pragmatismo no equipara el significado de una concepción, su propósito intelectual, con el beneficio o el costo concebidos de la concepción misma, como un meme (o, digamos, propaganda), fuera de la perspectiva de su veracidad, ni, dado que una concepción es general, su significado se equipara con ningún conjunto definido de consecuencias o resultados reales que corroboren o socaven la concepción o su valor. Su pragmatismo tampoco se parece en nada al pragmatismo "vulgar", que engañosamente connota una búsqueda despiadada y maquiavélica de ventajas mercenarias o políticas. En cambio, la máxima pragmática es el corazón de su pragmatismo como un método de reflexión mental experimental [112] que llega a concepciones en términos de circunstancias confirmatorias y desconfirmatorias concebibles, un método propicio para la formación de hipótesis explicativas y propicio para el uso y la mejora de la verificación. [113]
El pragmatismo de Peirce, como método y teoría de definiciones y claridad conceptual, es parte de su teoría de la investigación, [114] a la que llamó de diversas formas retórica especulativa, general, formal o universal o simplemente metodéutica. [115] Aplicó su pragmatismo como método a lo largo de su obra.
En "La fijación de la creencia" (1877), Peirce ofrece su opinión sobre el origen psicológico y el objetivo de la investigación. Según su opinión, los individuos se ven motivados a investigar por el deseo de escapar de los sentimientos de ansiedad e inquietud que, según Peirce, son característicos del estado de duda. Peirce describe la duda como un "estado incómodo e insatisfecho del que luchamos por liberarnos y pasar al estado de creencia". Peirce utiliza palabras como "irritación" para describir la experiencia de estar en duda y para explicar por qué cree que encontramos tales experiencias motivadoras. El sentimiento irritante de la duda se apacigua, dice Peirce, mediante nuestros esfuerzos por alcanzar un estado estable de satisfacción con lo que encontramos como respuesta a la pregunta que condujo a esa duda en primer lugar. Peirce describe este estado estable, es decir, la creencia, como "un estado tranquilo y satisfactorio que no deseamos evitar". Nuestros esfuerzos por lograr la satisfacción de la creencia, cualesquiera sean los métodos que utilicemos, son lo que Peirce llama "indagación". A continuación se resumen en la siguiente sección cuatro métodos que Peirce describe como realmente aplicados a lo largo de la historia del pensamiento.
El sentido común crítico, [116] considerado por Peirce como una consecuencia de su pragmatismo, es su combinación de la filosofía del sentido común de Thomas Reid con un falibilismo que reconoce que las proposiciones de nuestro sentido común más o menos vago, que ahora son indudables, pueden ser cuestionadas más adelante, por ejemplo debido a las transformaciones de nuestro mundo a través de la ciencia. Incluye esfuerzos por plantear dudas genuinas en las pruebas para un grupo central de indudables comunes que cambian lentamente, si es que cambian.
En "La fijación de la creencia" (1877), Peirce describió la investigación en general no como la búsqueda de la verdad per se, sino como la lucha por alejarse de la duda irritante e inhibidora nacida de la sorpresa, el desacuerdo y similares, y llegar a una creencia segura, siendo la creencia aquello sobre lo que uno está dispuesto a actuar. Eso le permitió a Peirce enmarcar la investigación científica como parte de un espectro más amplio y como impulsada, como la investigación en general, por la duda real, no la mera duda verbal, pendenciera o hiperbólica , que él consideraba infructuosa. Peirce esbozó cuatro métodos para establecer una opinión, ordenados de menos a más exitosos:
Peirce sostuvo que, en los asuntos prácticos, el razonamiento lento y vacilante es a menudo peligrosamente inferior al instinto y al sentimiento tradicional, y que el método científico es el más adecuado para la investigación teórica [117] , que a su vez no debe verse obstaculizada por los otros métodos y fines prácticos; la "primera regla" de la razón [118] es que, para aprender, uno debe desear aprender y, como corolario, no debe bloquear el camino de la investigación. El método científico sobresale sobre los demás finalmente porque está diseñado deliberadamente para llegar, eventualmente, a las creencias más seguras, sobre las que se pueden basar las prácticas más exitosas. Partiendo de la idea de que las personas no buscan la verdad per se sino, en cambio, dominar la duda irritante e inhibidora, Peirce mostró cómo, a través de la lucha, algunos pueden llegar a someterse a la verdad por el bien de la integridad de la creencia, buscar como verdad la guía de la conducta potencial correctamente hacia su objetivo dado y casarse con el método científico.
En la medida en que la clarificación mediante la reflexión pragmática se adapta a las hipótesis explicativas y fomenta las predicciones y las pruebas, el pragmatismo apunta más allá del dúo habitual de alternativas fundamentales: la deducción a partir de verdades evidentes, o racionalismo , y la inducción a partir de fenómenos experienciales, o empirismo .
Basado en su crítica de tres modos de argumentación y diferente tanto del fundacionalismo como del coherentismo , el enfoque de Peirce busca justificar afirmaciones mediante una dinámica de investigación de tres fases:
De este modo, Peirce ideó un enfoque de la investigación mucho más sólido que la imagen más plana de la generalización inductiva simpliciter , que es una mera redefinición de los patrones fenomenológicos. El pragmatismo de Peirce fue la primera vez que se propuso el método científico como una epistemología para las cuestiones filosóficas.
Se dice que una teoría que logra predecir y controlar nuestro mundo mejor que sus rivales está más cerca de la verdad. Se trata de una noción operativa de verdad que utilizan los científicos.
Peirce extrajo el modelo pragmático o teoría de la investigación de sus materias primas en la lógica clásica y lo refinó en paralelo con el desarrollo temprano de la lógica simbólica para abordar problemas sobre la naturaleza del razonamiento científico.
La abducción, la deducción y la inducción no tienen sentido completo si se las separa, pero forman un ciclo comprensible en su conjunto en la medida en que colaboran en pos del fin común de la investigación. En la forma pragmática de pensar en las implicaciones prácticas concebibles, todo tiene un propósito y, en la medida de lo posible, su propósito debe ser denotado primero. La abducción plantea una hipótesis para que la deducción aclare las implicaciones que deben ser puestas a prueba, de modo que la inducción pueda evaluar la hipótesis, en la lucha por pasar de la incertidumbre problemática a una creencia más segura. No importa cuán tradicional y necesario sea estudiar los modos de inferencia en abstracción unos de otros, la integridad de la investigación limita fuertemente la modularidad efectiva de sus componentes principales.
A continuación se resume el esquema que Peirce hace del método científico en los §III-IV de “A Neglected Argument” [119] (salvo que se indique lo contrario). Allí también analiza la plausibilidad y la precisión inductiva (cuestiones de crítica de los argumentos).
Peirce recurrió a las implicaciones metodológicas de las cuatro incapacidades (ninguna introspección genuina, ninguna intuición en el sentido de cognición no inferencial, ningún pensamiento excepto en signos y ninguna concepción de lo absolutamente incognoscible) para atacar el cartesianismo filosófico , del que dijo que: [126]
El 14 de mayo de 1867, Peirce, de 27 años, presentó un artículo titulado "Sobre una nueva lista de categorías" a la Academia Estadounidense de las Artes y las Ciencias , que lo publicó al año siguiente. El artículo esbozaba una teoría de la predicación, que incluía tres categorías universales que Peirce desarrolló en respuesta a la lectura de Aristóteles , Immanuel Kant y GWF Hegel , categorías que Peirce aplicó a lo largo de su obra durante el resto de su vida. [20] Los estudiosos de Peirce generalmente consideran que la "Nueva lista" es fundamental o que abre el camino para la "arquitectónica" de Peirce, su plan para una filosofía pragmática. En las categorías se discernirá, concentrado, el patrón que se encuentra formado por los tres grados de claridad en "Cómo aclarar nuestras ideas" (artículo de 1878 fundamental para el pragmatismo), y en numerosas otras tricotomías en su obra.
"Sobre una nueva lista de categorías" se presenta como una deducción kantiana; es breve pero densa y difícil de resumir. La siguiente tabla está compilada a partir de esa obra y de obras posteriores. [129] En 1893, Peirce replanteó la mayor parte de la obra para un público menos avanzado. [130]
*Nota: Un interpretante es una interpretación (humana o de otro tipo) en el sentido del producto de un proceso interpretativo.
En 1918, el lógico C. I. Lewis escribió: "Las contribuciones de CS Peirce a la lógica simbólica son más numerosas y variadas que las de cualquier otro escritor, al menos en el siglo XIX". [137]
A partir de su primer artículo sobre la "Lógica de los relativos" (1870) , Peirce amplió la teoría de las relaciones iniciada por Augustus De Morgan . [b] A partir de 1940, Alfred Tarski y sus estudiantes redescubrieron aspectos de la visión más amplia de Peirce sobre la lógica relacional, desarrollando la perspectiva del álgebra relacional .
La lógica relacional ganó aplicaciones. En matemáticas, influyó en el análisis abstracto de EH Moore y la teoría reticular de Garrett Birkhoff . En informática, el modelo relacional para bases de datos se desarrolló con ideas peirceanas en el trabajo de Edgar F. Codd , quien era estudiante de doctorado [138] de Arthur W. Burks , un erudito de Peirce. En economía, la lógica relacional fue utilizada por Frank P. Ramsey , John von Neumann y Paul Samuelson para estudiar las preferencias y la utilidad y por Kenneth J. Arrow en Social Choice and Individual Values , tras la asociación de Arrow con Tarski en el City College de Nueva York .
En relación con Peirce y sus contemporáneos Ernst Schröder y Gottlob Frege , Hilary Putnam (1982) [91] documentó que el trabajo de Frege sobre la lógica de los cuantificadores tuvo poca influencia en sus contemporáneos, aunque se publicó cuatro años antes del trabajo de Peirce y su alumno Oscar Howard Mitchell. Putnam descubrió que los matemáticos y los lógicos aprendieron sobre la lógica de los cuantificadores a través del trabajo independiente de Peirce y Mitchell, particularmente a través de "On the Algebra of Logic: A Contribution to the Philosophy of Notation" [90] (1885) de Peirce, publicado en la principal revista matemática estadounidense de la época, y citado por Peano y Schröder, entre otros, que ignoraron a Frege. También adoptaron y modificaron las notaciones de Peirce, variantes tipográficas de las que se usan ahora. Peirce aparentemente ignoraba el trabajo de Frege, a pesar de sus logros superpuestos en lógica, filosofía del lenguaje y los fundamentos de las matemáticas .
El trabajo de Peirce sobre la lógica formal tuvo admiradores además de Ernst Schröder :
Una filosofía de la lógica, basada en sus categorías y semiótica, se puede extraer de los escritos de Peirce y, junto con el trabajo lógico de Peirce en general, se expone y defiende en Hilary Putnam (1982); [91] la Introducción en Nathan Houser et al. (1997); [140] y el capítulo de Randall Dipert en Cheryl Misak (2004). [141]
Peirce consideraba la lógica per se como una división de la filosofía, como una ciencia normativa basada en la estética y la ética, más básica que la metafísica [118] y como "el arte de idear métodos de investigación". [142] De manera más general, como inferencia, "la lógica tiene sus raíces en el principio social", ya que la inferencia depende de un punto de vista que, en cierto sentido, es ilimitado. [143] Peirce llamó (sin ningún sentido de desprecio) "matemáticas de la lógica" a mucho del tipo de cosas que, en la investigación y las aplicaciones actuales, se llama simplemente "lógica". Fue productivo tanto en lógica (filosófica) como en matemáticas de la lógica, que estaban profundamente conectadas en su obra y pensamiento.
Peirce sostuvo que la lógica es semiótica formal: el estudio formal de los signos en el sentido más amplio, no sólo los signos que son artificiales, lingüísticos o simbólicos, sino también los signos que son semblanzas o son indiciales como las reacciones. Peirce sostuvo que "todo este universo está perfundido de signos, si no está compuesto exclusivamente de signos", [144] junto con sus relaciones representacionales e inferenciales. Sostuvo que, dado que todo pensamiento lleva tiempo, todo pensamiento está en signos [145] y procesos de signos ("semiosis") como el proceso de investigación. Dividió la lógica en: (1) gramática especulativa, o estequiología, sobre cómo los signos pueden ser significativos y, en relación con eso, qué tipos de signos hay, cómo se combinan y cómo algunos encarnan o incorporan a otros; (2) crítica lógica, o lógica propiamente dicha, sobre los modos de inferencia; y (3) retórica especulativa o universal , o metodéutica, [115] la teoría filosófica de la investigación, incluido el pragmatismo.
En su "FRL" [First Rule of Logic] (1899), Peirce afirma que la primera, y "en cierto sentido, la única", regla de la razón es que, para aprender, uno necesita desear aprender y desearlo sin conformarse con lo que uno se inclina a pensar. [118] Por lo tanto, la primera regla es preguntarse . Peirce procede a un tema crítico en las prácticas de investigación y la formación de teorías:
...de ahí se sigue un corolario que merecería estar inscrito en cada pared de la ciudad de la filosofía:
No bloquees el camino de la investigación.
Peirce añade que el método y la economía son lo mejor en la investigación, pero que no hay ningún pecado manifiesto en probar cualquier teoría, en el sentido de que la investigación, mediante su adopción experimental, puede avanzar sin obstáculos ni desaliento, y que "la única ofensa imperdonable" es una barricada filosófica contra el avance de la verdad, una ofensa a la que "los metafísicos de todas las épocas se han mostrado los más adictos". Peirce sostiene en muchos escritos que la lógica precede a la metafísica (ontológica, religiosa y física).
Peirce continúa enumerando cuatro barreras comunes a la investigación: (1) la afirmación de certeza absoluta; (2) sostener que algo es absolutamente incognoscible; (3) sostener que algo es absolutamente inexplicable porque es absolutamente básico o último; (4) sostener que la exactitud perfecta es posible, especialmente tal que excluya por completo los fenómenos inusuales y anómalos. Rechazar la certeza teórica absoluta es el corazón del falibilismo , que Peirce desarrolla en negativas a establecer cualquiera de las barreras enumeradas. Peirce argumenta en otro lugar (1897) que la presuposición de falibilismo por parte de la lógica conduce en última instancia a la visión de que el azar y la continuidad son muy reales ( tiquismo y sinequismo ). [101]
La primera regla de la lógica se refiere a las presuposiciones de la mente al emprender el razonamiento y la lógica; presuposiciones, por ejemplo, de que la verdad y lo real no dependen de la opinión que usted o yo tengamos de ellos, sino que dependen de la relación representacional y consisten en el fin predestinado de una investigación llevada lo suficientemente lejos (véase más adelante). Describe tales ideas como, colectivamente, esperanzas de las que, en casos particulares, uno no puede dudar seriamente. [146]
En tres artículos de 1868-1869, [145] [126] [147] Peirce rechazó la mera duda verbal o hiperbólica y los principios primeros o últimos, y argumentó que tenemos (como él los numeró [126] ):
(El sentido antes dado del término "intuición" es casi el de Kant, dijo Peirce. Se diferencia del sentido actual más laxo que abarca la inferencia instintiva o, en todo caso, semiconsciente.)
Peirce argumentó que esas incapacidades implican la realidad de lo general y de lo continuo, la validez de los modos de razonamiento, [147] y la falsedad del cartesianismo filosófico (véase más adelante).
Peirce rechazó la concepción (generalmente atribuida a Kant) de la cosa en sí incognoscible [126] y más tarde dijo que "descartar las ficciones" es un prerrequisito para el pragmatismo. [148]
Peirce buscó, a través de sus estudios de amplio alcance a lo largo de las décadas, formas filosóficas formales para articular los procesos del pensamiento, y también para explicar el funcionamiento de la ciencia. Estas preguntas inextricablemente enredadas de una dinámica de investigación arraigada en la naturaleza y la crianza lo llevaron a desarrollar su semiótica con concepciones muy amplias de signos e inferencia, y, como culminación, una teoría de la investigación para la tarea de decir 'cómo funciona la ciencia' y diseñar métodos de investigación. Esto sería lógica según la definición medieval enseñada durante siglos: arte de artes, ciencia de ciencias, que tiene el camino hacia los principios de todos los métodos. [142] Las influencias irradian desde puntos en líneas paralelas de investigación en la obra de Aristóteles , en lugares tales como: la terminología básica de la psicología en Sobre el alma ; la descripción fundadora de las relaciones de signo en Sobre la interpretación ; y la diferenciación de la inferencia en tres modos que comúnmente se traducen al inglés como abducción , deducción e inducción , en los Analíticos Primeros , así como la inferencia por analogía (llamada paradeigma por Aristóteles), que Peirce consideraba que involucraba los otros tres modos.
Peirce comenzó a escribir sobre semiótica en la década de 1860, en la época en que ideó su sistema de tres categorías. Lo llamó tanto semiótico como semiótico . Ambos son comunes en singular y plural. Lo basó en la concepción de una relación triádica de signos y definió la semiosis como "acción o influencia que es, o implica, una cooperación de tres sujetos, como un signo, su objeto y su interpretante, siendo esta influencia tri-relativa de ninguna manera resoluble en acciones entre pares". [149] En cuanto a los signos en el pensamiento, Peirce enfatizó lo contrario: "Decir, por lo tanto, que el pensamiento no puede suceder en un instante, sino que requiere un tiempo, no es más que otra forma de decir que cada pensamiento debe ser interpretado en otro, o que todo pensamiento está en signos". [145]
Peirce sostuvo que todo pensamiento está en signos, que surgen de la interpretación, donde signo es la palabra para la más amplia variedad de semejanzas, diagramas, metáforas, síntomas, señales, designaciones, símbolos, textos, incluso conceptos e ideas mentales concebibles, todos como determinaciones de una mente o cuasi-mente , aquello que al menos funciona como una mente, como en el trabajo de los cristales o las abejas [150] —el enfoque está en la acción del signo en general más que en la psicología, la lingüística o los estudios sociales (campos que también cuidó).
La indagación es una especie de proceso de inferencia, una manera de pensar y de semiosis. Las divisiones globales de las formas en que los fenómenos pueden presentarse como signos y la subsunción de la indagación y el pensamiento dentro de la inferencia como un proceso de signos, permiten el estudio de la indagación en los tres niveles de la semiótica:
Peirce utiliza a menudo ejemplos de la experiencia común, pero define y analiza cuestiones como la afirmación y la interpretación en términos de lógica filosófica. En un tono formal, Peirce dijo:
Sobre la definición de lógica . La lógica es semiótica formal . Un signo es algo, A , que pone algo, B , su signo interpretante , determinado o creado por él, en el mismo tipo de correspondencia (o un tipo implícito inferior) con algo, C , su objeto , como aquella en la que él mismo se encuentra con C. Esta definición no implica ninguna referencia al pensamiento humano, al igual que la definición de una línea como el lugar dentro del cual se encuentra una partícula durante un lapso de tiempo. Es de esta definición que deduzco los principios de la lógica por razonamiento matemático, y por razonamiento matemático que, afirmo, apoyará la crítica de la severidad weierstrassiana , y eso es perfectamente evidente. La palabra "formal" en la definición también está definida. [151]
La teoría de los signos de Peirce es conocida por ser una de las teorías semióticas más complejas debido a su pretensión generalista. Cualquier cosa es un signo, no absolutamente en sí misma, sino en una u otra relación. La relación de signo es la clave. Define tres roles que abarcan (1) el signo, (2) el tema del signo, llamado su objeto , y (3) el significado o ramificación del signo como formado en una especie de efecto llamado su interpretante (un signo adicional, por ejemplo una traducción). Es una relación triádica irreducible , según Peirce. Los roles son distintos incluso cuando las cosas que cumplen esos roles no lo son. Los roles son solo tres: un signo de un objeto conduce a uno o más interpretantes y, como signos, conducen a otros interpretantes.
Extensión × intención = información. Dos enfoques tradicionales para la relación entre signos, necesarios aunque insuficientes, son la vía de la extensión (los objetos de un signo, también llamados amplitud, denotación o aplicación) y la vía de la intención (las características, cualidades y atributos de los objetos a los que hace referencia el signo, también llamados profundidad, comprensión , significado o connotación). Peirce añade una tercera vía, la vía de la información , que incluye el cambio de información, para integrar las otras dos vías en un todo unificado. [152] Por ejemplo, debido a la ecuación anterior, si la cantidad total de información de un término permanece igual, entonces cuanto más "intenta" o significa el término acerca de los objetos, menos objetos son a los que el término "se extiende" o se aplica.
Determination. A sign depends on its object in such a way as to represent its object—the object enables and, in a sense, determines the sign. A physically causal sense of this stands out when a sign consists in an indicative reaction. The interpretant depends likewise on both the sign and the object—an object determines a sign to determine an interpretant. But this determination is not a succession of dyadic events, like a row of toppling dominoes; sign determination is triadic. For example, an interpretant does not merely represent something which represented an object; instead an interpretant represents something as a sign representing the object. The object (be it a quality or fact or law or even fictional) determines the sign to an interpretant through one's collateral experience[153] with the object, in which the object is found or from which it is recalled, as when a sign consists in a chance semblance of an absent object. Peirce used the word "determine" not in a strictly deterministic sense, but in a sense of "specializes", bestimmt,[154] involving variable amount, like an influence.[155] Peirce came to define representation and interpretation in terms of (triadic) determination.[156] The object determines the sign to determine another sign—the interpretant—to be related to the object as the sign is related to the object, hence the interpretant, fulfilling its function as sign of the object, determines a further interpretant sign. The process is logically structured to perpetuate itself, and is definitive of sign, object, and interpretant in general.[155]
Peirce held there are exactly three basic elements in semiosis (sign action):
Some of the understanding needed by the mind depends on familiarity with the object. To know what a given sign denotes, the mind needs some experience of that sign's object, experience outside of, and collateral to, that sign or sign system. In that context Peirce speaks of collateral experience, collateral observation, collateral acquaintance, all in much the same terms.[153]
Among Peirce's many sign typologies, three stand out, interlocked. The first typology depends on the sign itself, the second on how the sign stands for its denoted object, and the third on how the sign stands for its object to its interpretant. Also, each of the three typologies is a three-way division, a trichotomy, via Peirce's three phenomenological categories: (1) quality of feeling, (2) reaction, resistance, and (3) representation, mediation.[161]
I. Qualisign, sinsign, legisign (also called tone, token, type, and also called potisign, actisign, famisign):[162] This typology classifies every sign according to the sign's own phenomenological category—the qualisign is a quality, a possibility, a "First"; the sinsign is a reaction or resistance, a singular object, an actual event or fact, a "Second"; and the legisign is a habit, a rule, a representational relation, a "Third".
II. Icon, index, symbol: This typology, the best known one, classifies every sign according to the category of the sign's way of denoting its object—the icon (also called semblance or likeness) by a quality of its own, the index by factual connection to its object, and the symbol by a habit or rule for its interpretant.
III. Rheme, dicisign, argument (also called sumisign, dicisign, suadisign, also seme, pheme, delome,[162] and regarded as very broadened versions of the traditional term, proposition, argument): This typology classifies every sign according to the category which the interpretant attributes to the sign's way of denoting its object—the rheme, for example a term, is a sign interpreted to represent its object in respect of quality; the dicisign, for example a proposition, is a sign interpreted to represent its object in respect of fact; and the argument is a sign interpreted to represent its object in respect of habit or law. This is the culminating typology of the three, where the sign is understood as a structural element of inference.
Every sign belongs to one class or another within (I) and within (II) and within (III). Thus each of the three typologies is a three-valued parameter for every sign. The three parameters are not independent of each other; many co-classifications are absent, for reasons pertaining to the lack of either habit-taking or singular reaction in a quality, and the lack of habit-taking in a singular reaction. The result is not 27 but instead ten classes of signs fully specified at this level of analysis.
Borrowing a brace of concepts from Aristotle, Peirce examined three basic modes of inference—abduction, deduction, and induction—in his "critique of arguments" or "logic proper". Peirce also called abduction "retroduction", "presumption", and, earliest of all, "hypothesis". He characterized it as guessing and as inference to an explanatory hypothesis. He sometimes expounded the modes of inference by transformations of the categorical syllogism Barbara (AAA), for example in "Deduction, Induction, and Hypothesis" (1878).[163] He does this by rearranging the rule (Barbara's major premise), the case (Barbara's minor premise), and the result (Barbara's conclusion):
Peirce 1883 in "A Theory of Probable Inference" (Studies in Logic) equated hypothetical inference with the induction of characters of objects (as he had done in effect before[126]). Eventually dissatisfied, by 1900 he distinguished them once and for all and also wrote that he now took the syllogistic forms and the doctrine of logical extension and comprehension as being less basic than he had thought. In 1903 he presented the following logical form for abductive inference:[164]
The surprising fact, C, is observed;
- But if A were true, C would be a matter of course,
- Hence, there is reason to suspect that A is true.
The logical form does not also cover induction, since induction neither depends on surprise nor proposes a new idea for its conclusion. Induction seeks facts to test a hypothesis; abduction seeks a hypothesis to account for facts. "Deduction proves that something must be; Induction shows that something actually is operative; Abduction merely suggests that something may be."[165] Peirce did not remain quite convinced that one logical form covers all abduction.[166] In his methodeutic or theory of inquiry (see below), he portrayed abduction as an economic initiative to further inference and study, and portrayed all three modes as clarified by their coordination in essential roles in inquiry: hypothetical explanation, deductive prediction, inductive testing
Peirce divided metaphysics into (1) ontology or general metaphysics, (2) psychical or religious metaphysics, and (3) physical metaphysics.
On the issue of universals, Peirce was a scholastic realist, declaring the reality of generals as early as 1868.[167] According to Peirce, his category he called "thirdness", the more general facts about the world, are extra-mental realities. Regarding modalities (possibility, necessity, etc.), he came in later years to regard himself as having wavered earlier as to just how positively real the modalities are. In his 1897 "The Logic of Relatives" he wrote:
I formerly defined the possible as that which in a given state of information (real or feigned) we do not know not to be true. But this definition today seems to me only a twisted phrase which, by means of two negatives, conceals an anacoluthon. We know in advance of experience that certain things are not true, because we see they are impossible.
Peirce retained, as useful for some purposes, the definitions in terms of information states, but insisted that the pragmaticist is committed to a strong modal realism by conceiving of objects in terms of predictive general conditional propositions about how they would behave under certain circumstances.[168]
Continuity and synechism are central in Peirce's philosophy: "I did not at first suppose that it was, as I gradually came to find it, the master-Key of philosophy".[169]
From a mathematical point of view, he embraced infinitesimals and worked long on the mathematics of continua. He long held that the real numbers constitute a pseudo-continuum;[170] that a true continuum is the real subject matter of analysis situs (topology); and that a true continuum of instants exceeds—and within any lapse of time has room for—any Aleph number (any infinite multitude as he called it) of instants.[171]
In 1908 Peirce wrote that he found that a true continuum might have or lack such room. Jérôme Havenel (2008): "It is on 26 May 1908, that Peirce finally gave up his idea that in every continuum there is room for whatever collection of any multitude. From now on, there are different kinds of continua, which have different properties."[172]
Peirce believed in God, and characterized such belief as founded in an instinct explorable in musing over the worlds of ideas, brute facts, and evolving habits—and it is a belief in God not as an actual or existent being (in Peirce's sense of those words), but all the same as a real being.[173] In "A Neglected Argument for the Reality of God" (1908),[119] Peirce sketches, for God's reality, an argument to a hypothesis of God as the Necessary Being, a hypothesis which he describes in terms of how it would tend to develop and become compelling in musement and inquiry by a normal person who is led, by the hypothesis, to consider as being purposed the features of the worlds of ideas, brute facts, and evolving habits (for example scientific progress), such that the thought of such purposefulness will "stand or fall with the hypothesis"; meanwhile, according to Peirce, the hypothesis, in supposing an "infinitely incomprehensible" being, starts off at odds with its own nature as a purportively true conception, and so, no matter how much the hypothesis grows, it both (A) inevitably regards itself as partly true, partly vague, and as continuing to define itself without limit, and (B) inevitably has God appearing likewise vague but growing, though God as the Necessary Being is not vague or growing; but the hypothesis will hold it to be more false to say the opposite, that God is purposeless. Peirce also argued that the will is free[174] and (see Synechism) that there is at least an attenuated kind of immortality.
Peirce held the view, which he called objective idealism, that "matter is effete mind, inveterate habits becoming physical laws".[175] Peirce observed that "Berkeley's metaphysical theories have at first sight an air of paradox and levity very unbecoming to a bishop".[176]
Peirce asserted the reality of (1) "absolute chance" or randomness (his tychist view), (2) "mechanical necessity" or physical laws (anancist view), and (3) what he called the "law of love" (agapist view), echoing his categories Firstness, Secondness, and Thirdness, respectively.[100] He held that fortuitous variation (which he also called "sporting"), mechanical necessity, and creative love are the three modes of evolution (modes called "tychasm", "anancasm", and "agapasm")[177] of the cosmos and its parts. He found his conception of agapasm embodied in Lamarckian evolution; the overall idea in any case is that of evolution tending toward an end or goal, and it could also be the evolution of a mind or a society; it is the kind of evolution which manifests workings of mind in some general sense. He said that overall he was a synechist, holding with reality of continuity,[100] especially of space, time, and law.[178]
Peirce outlined two fields, "Cenoscopy" and "Science of Review", both of which he called philosophy. Both included philosophy about science. In 1903 he arranged them, from more to less theoretically basic, thus:[102]
Peirce placed, within Science of Review, the work and theory of classifying the sciences (including mathematics and philosophy). His classifications, on which he worked for many years, draw on argument and wide knowledge, and are of interest both as a map for navigating his philosophy and as an accomplished polymath's survey of research in his time.
In his brilliant but troubled life, Peirce was a pioneer in both metrology and philosophy.
{{cite encyclopedia}}: CS1 maint: location missing publisher (link){{cite encyclopedia}}: CS1 maint: location missing publisher (link)Consequently, to discover is simply to expedite an event that would occur sooner or later, if we had not troubled ourselves to make the discovery. Consequently, the art of discovery is purely a question of economics. The economics of research is, so far as logic is concerned, the leading doctrine with reference to the art of discovery. Consequently, the conduct of abduction, which is chiefly a question of heuretic and is the first question of heuretic, is to be governed by economical considerations.
Thus, twenty skillful hypotheses will ascertain what 200,000 stupid ones might fail to do.
Now logical terms are of three grand classes. The first embraces those whose logical form involves only the conception of quality, and which therefore represent a thing simply as "a —." These discriminate objects in the most rudimentary way, which does not involve any consciousness of discrimination. They regard an object as it is in itself as such (quale); for example, as horse, tree, or man. These are absolute terms. (Peirce, 1870. But also see "Quale-Consciousness", 1898, in CP 6.222–237.)
... death makes the number of our risks, the number of our inferences, finite, and so makes their mean result uncertain. The very idea of probability and of reasoning rests on the assumption that this number is indefinitely great. ... logicality inexorably requires that our interests shall not be limited. ... Logic is rooted in the social principle.
I define a Sign as anything which is so determined by something else, called its Object, and so determines an effect upon a person, which effect I call its Interpretant, that the latter is thereby mediately determined by the former. My insertion of "upon a person" is a sop to Cerberus, because I despair of making my own broader conception understood.
I will also take the liberty of substituting "reality" for "existence." This is perhaps overscrupulosity; but I myself always use exist in its strict philosophical sense of "react with the other like things in the environment." Of course, in that sense, it would be fetichism to say that God "exists." The word "reality," on the contrary, is used in ordinary parlance in its correct philosophical sense. [....] I define the real as that which holds its characters on such a tenure that it makes not the slightest difference what any man or men may have thought them to be, or ever will have thought them to be, here using thought to include, imagining, opining, and willing (as long as forcible means are not used); but the real thing's characters will remain absolutely untouched.
Media from Commons
Quotations from Wikiquote
Texts from Wikisource