stringtranslate.com

Categorías (Pierce)

El 14 de mayo de 1867, Charles Sanders Peirce , de 27 años, quien finalmente fundó el pragmatismo , presentó un artículo titulado "Sobre una nueva lista de categorías" ante la Academia Estadounidense de Artes y Ciencias . Entre otras cosas, este artículo esboza una teoría de la predicación que involucra tres categorías universales que Peirce continuó aplicando en filosofía y en otros lugares durante el resto de su vida. [1] [2] Las categorías demuestran y concentran el patrón visto en "Cómo aclarar nuestras ideas" (1878, el artículo fundamental del pragmatismo ) y otras distinciones triples en el trabajo de Peirce.

Las categorías

En la lógica de Aristóteles, las categorías son complementos del razonamiento diseñado para resolver equívocos, ambigüedades que hacen que las expresiones o signos sean recalcitrantes a ser regidos por la lógica. Las categorías ayudan al razonador a preparar signos para la aplicación de leyes lógicas. Un equívoco es una variación en el significado (una variedad de sentidos de signo) tal que, como lo expresó Aristóteles acerca de los nombres al comienzo de Categorías (1.1 a 1-12), "se dice que las cosas se nombran 'equívocamente' cuando, aunque tienen un nombre común, la definición correspondiente al nombre difiere para cada uno". Así, la afirmación de Peirce de que tres categorías son suficientes equivale a la afirmación de que todas las variedades de significado pueden unificarse en sólo tres pasos.

El siguiente pasaje es fundamental para la comprensión de las categorías de Peirce:

Diré ahora unas pocas palabras sobre lo que usted ha llamado Categorías, pero para las cuales prefiero la designación Predicamentos, y que usted ha explicado como predicados de predicados.

Esa maravillosa operación de abstracción hipostática mediante la cual parecemos crear entia rationis que, sin embargo, a veces son reales, nos proporciona los medios para convertir los predicados de signos que pensamos o a través de los cuales pensamos , en sujetos en los que pensamos. Así pensamos en el signo de pensamiento mismo, convirtiéndolo en objeto de otro signo de pensamiento.

Entonces podemos repetir la operación de la abstracción hipostática y de estas segundas intenciones derivar terceras intenciones. ¿Esta serie continúa sin cesar? Yo creo que no. ¿Cuáles son entonces los caracteres de sus diferentes integrantes?

Mis pensamientos sobre este tema aún no han sido recogidos. Sólo diré que el tema concierne a la Lógica, pero que las divisiones así obtenidas no deben confundirse con los diferentes Modos de Ser: Actualidad, Posibilidad, Destino (o Libertad del Destino).

Por el contrario, la sucesión de Predicados de Predicados es diferente en los distintos Modos de Ser. Mientras tanto, será apropiado que en nuestro sistema de diagramación preveamos la división, cuando sea necesario, de cada uno de nuestros tres Universos de modos de realidad en Reinos para los diferentes Dilemas. (Peirce 1906 [3] ).

Lo primero que hay que extraer de este pasaje es el hecho de que las categorías de Peirce, o "situaciones", son predicados de predicados. Los predicados significativos tienen tanto extensión como intensión , por lo que los predicados de predicados obtienen su significado de al menos dos fuentes de información, a saber, las clases de relaciones y las cualidades de las cualidades a las que se refieren. Consideraciones como estas tienden a generar jerarquías de temas, que se extienden a través de lo que tradicionalmente se llama la lógica de segundas intenciones , [4] o lo que se maneja de manera muy aproximada por la lógica de segundo orden en el lenguaje contemporáneo, y continúan a través de intenciones superiores o de orden superior. Lógica y teoría de tipos .

Peirce llegó a su propio sistema de tres categorías después de un estudio exhaustivo de sus predecesores, con especial referencia a las categorías de Aristóteles, Kant y Hegel. Los nombres que utilizó para sus propias categorías variaron según el contexto y la ocasión, pero abarcaron desde términos razonablemente intuitivos como calidad , reacción y representación hasta términos máximamente abstractos como primero , segundo y tercero , respectivamente. Tomado en toda su generalidad, la n- ésima puede entenderse como una referencia a aquellas propiedades que todas las n -relaciones ádicas tienen en común. La afirmación distintiva de Peirce es que una jerarquía de tipos de tres niveles genera todo lo que necesitamos en lógica.

Parte de la justificación de la afirmación de Peirce de que tres categorías son necesarias y suficientes parece surgir de ideas matemáticas sobre la reducibilidad de las relaciones n -ádicas. Según la Tesis de Reducción de Peirce, [5] (a) las tríadas son necesarias porque las relaciones genuinamente triádicas no pueden analizarse completamente en términos de predicados monádicos y diádicos, y (b) las tríadas son suficientes porque no existen relaciones genuinamente tetrádicas o poliádicas más grandes; Las relaciones n -ádicas de mayor aridad pueden analizarse en términos de relaciones tríadas y de menor aridad. Otros, en particular Robert Burch (1991), Joachim Hereth Correia y Reinhard Pöschel (2006), han ofrecido pruebas de la Tesis de la Reducción. [6]

Ha habido propuestas de Donald Mertz, Herbert Schneider, Carl Hausman y Carl Vaught para aumentar de tres a cuatro los de Peirce; y uno de Douglas Greenlee para reducir el sistema de tres categorías a dos. [7]

Peirce presenta sus categorías y su teoría en "Sobre una nueva lista de categorías" (1867), una obra que se presenta como una deducción kantiana y es breve pero densa y difícil de resumir. La siguiente tabla está compilada a partir de ese y trabajos posteriores.

 *Nota: Un interpretante es una interpretación (humana o no) en el sentido del producto de un proceso interpretativo. (El contexto para los interpretantes no es la psicología o la sociología, sino la lógica filosófica. En cierto sentido, un interpretante es cualquier cosa que pueda entenderse como la conclusión de una inferencia. El contexto para las categorías como categorías es la fenomenología, que Peirce también llamó faneroscopia y categóricas.)

Ver también

Notas

  1. ^ Burch, Robert W. (2001, 2010), "Charles Sanders Peirce", Enciclopedia de Filosofía de Stanford . Véase §9 ​​"El triadismo y las categorías universales".
  2. ^ Bergman, Michael K. (2018), Una práctica de representación del conocimiento: directrices basadas en Charles Sanders Peirce , Springer Nature Switzerland AG, Cham, Suiza. Véase la Tabla 6.2 para ver unos 60 ejemplos a lo largo de la carrera de Peirce.
  3. ^ pág. 522, "Prolegómenos de una apología del pragmaticismo", The Monist , vol. XVI, núm. 4, octubre de 1906, págs. 492–546, reimpreso en Collected Papers vol 4, párrafos 530–572, consulte el párrafo 549 Archivado el 5 de septiembre de 2007 en Wayback Machine.
  4. ^ Tales "intenciones" se parecen más a intenciones que a objetivos o propósitos.
  5. ^ Véase "La lógica de los familiares", The Monist , vol. 7, 1897, págs. 161-217, véase pág. 183 (a través de Google Books y aparentemente no es necesario registrarse). Reimpreso en Collected Papers , vol. 3, párrafos 456-552, véase el párrafo 483.
  6. ^ * Burch, Robert (1991), Una tesis de reducción de Peirce: los fundamentos de la lógica topológica , Texas Tech University Press, Lubbock, TX
    • Anellis, Irving (1993) "Revisión de una tesis de reducción peirceana: los fundamentos de la lógica topológica por Robert Burch" en Modern Logic v. 3, n. 4, 401-406, Proyecto Euclid de acceso abierto PDF 697 KB. Críticas y algunas sugerencias de mejora.
    • Anellis, Irving (1997), "Tarski's Development of Peirce's Logic of Relations" ( Google Book Search Eprint) en Houser, Nathan, Roberts, Don D. y Van Evra, James (eds., 1997), Studies in the Logic of Charles Sanders Peirce . Anellis da cuenta de una prueba de Tesis de Reducción discutida y presentada por Peirce en su carta a William James de agosto de 1905 (L224, 40-76, impresa en Peirce, CS y Eisele, Carolyn, ed. (1976), The New Elements of Matemáticas de Charles S. Peirce , v. 3, 809-835).
    • Hereth Correia, Joachim y Pöschel, Reinhard (2006), "La teridentidad y la lógica algebraica de Peirce" en Estructuras conceptuales: inspiración y aplicación (ICCS 2006): 229-246, Springer. Frithjof Dau lo llama Archivado el 4 de enero de 2013 en archive.today "la versión fuerte" de la prueba de la tesis de reducción de Peirce. John F. Sowa en la misma discusión afirmó Archivado el 4 de enero de 2013 en archive.today que una explicación en términos de gráficos conceptuales es suficientemente convincente sobre la Tesis de la Reducción para aquellos que no tienen tiempo para entender lo que Peirce estaba diciendo.
    • En 1954 , WVO Quine afirmó haber demostrado la reducibilidad de predicados más grandes a predicados diádicos, en Quine, WVO, "Reduction to a diadic predicate", Selected Logic Papers .
  7. ^ Para referencias y debates, consulte Burgess, Paul (alrededor de 1988) "¿Por qué triádico?: Desafíos a la estructura de la semiótica de Peirce"; Publicado por Joseph M. Ransdell en Arisbe .
  8. ^ "Lógica del minuto", CP 2.87, c. 1902 y A Letter to Lady Welby, CP 8.329, 1904. Véanse las citas relevantes en "Categorías, categorías cenopitagóricas" en Commens Dictionary of Peirce's Terms (CDPT), Bergman & Paalova, eds., U. de Helsinki.
  9. ^ Consulte las citas en "Primeridad, primero [como categoría]" en CDPT.
  10. ^ La negrura del fondo es la pura abstracción de la cualidad negra . Algo negro es algo que encarna la negrura y nos remite a la abstracción. La cualidad negro equivale a una referencia a su propia abstracción pura, la negrura fundamental . La cuestión no es simplemente de sustantivo (el fondo) versus adjetivo (la cualidad), sino más bien de si estamos considerando la negritud como algo abstraído de su aplicación a un objeto, o más bien como aplicado (por ejemplo, a una estufa). ). Sin embargo, nótese que la distinción que hace Peirce aquí no es entre una propiedad general y una propiedad individual (un tropo ). Véase "Sobre una nueva lista de categorías" (1867), en la sección que aparece en CP 1.551. Respecto al terreno, cf. la concepción escolástica del fundamento de una relación , vista previa limitada de Google Deely 1982, p. 61
  11. ^ Una cualidad en este sentido es un tal , así como una cualidad es una talidad. Cfr. bajo "Uso de letras" en §3 de la "Descripción de una notación para la lógica de los relativos" de Peirce, Memorias de la Academia Americana , v. 9, págs. 317-378 (1870), reimpreso por separado (1870), del cual ver pág. 6 a través de Google Books, también reimpreso en CP 3.63:

    Ahora bien, los términos lógicos son de tres grandes clases. El primero abarca aquellos cuya forma lógica implica sólo la concepción de cualidad y que, por tanto, representan una cosa simplemente como "un -". Estos discriminan objetos de la manera más rudimentaria, lo que no implica ninguna conciencia de discriminación. Consideran un objeto tal como es en sí mismo como tal ( quale ); por ejemplo, como caballo, árbol u hombre. Estos son términos absolutos . (Peirce, 1870. Pero véase también "Quale-Consciousness", 1898, en CP 6.222–237.)

  12. ^ Consulte las citas en "Segundo lugar, segundo [como categoría]" en CDPT.
  13. ^ Consulte las citas en "Terceridad, Tercero [como categoría]" en CDPT.

Bibliografía

enlaces externos