Marcus, Ruth Barcan

Ruth Barcan Marcus, aunque ha publicado en varias áreas, es mejor conocida por sus artículos innovadores en lógica modal y filosófica. En 1946 inició el primer tratamiento sistemático de la lógica modal cuantificada (ver Barcan, 1946), provocando allí el ataque de décadas de WV Quine sobre la significación de la cuantificación en contextos modales aléticos. La disputa que siguió centró la atención en el fenómeno de la opacidad referencial y condujo a importantes desarrollos en lógica, metafísica y filosofía del lenguaje. En artículos posteriores, Marcus extendió la formalización de primer orden al segundo orden con identidad (Barcan, 1947) y a la teoría de conjuntos modalizada (Marcus, 1963, 1974). Las tesis particularmente significativas presentadas en estos trabajos fueron el axioma ♦ (∃x) Fx → (∃x) ♦ Fx, conocido como la fórmula de Barcan (Barcan, 1946), y la prueba de la necesidad de identidad (Barcan, 1947; Marcus, 1961). Es de cierto interés histórico que Marcus introdujo el operador de "caja" ahora estándar por necesidad.

La respuesta de Marcus a las críticas de la lógica modal cuantificada tomó muchas formas y fue un tema al que volvió repetidamente a lo largo de su carrera. En su artículo de 1961 (y en otros lugares) trató de disipar ciertos enigmas sobre la sustituibilidad de la identidad en contextos modales; fue una de las primeras defensoras de una interpretación sustitutiva de los cuantificadores para ciertos propósitos (Marcus, 1961, 1962, 1972), como por ejemplo en el discurso modal y de ficción; sostuvo que la cuantificación en contextos modales no implica ningún compromiso con un esencialismo objetable (Marcus, 1961), y más tarde desarrolló y defendió una versión del esencialismo aristotélico dentro de un marco modal (Marcus, 1967, 1976). Finalmente, a mediados de la década de 1980, ofreció una defensa explícita del actualismo metafísico que había informado sus primeros trabajos sobre lógica modal (Marcus, 1985-1986). Aquí, una vez más, Marcus empleó una interpretación objetual de los cuantificadores, construyendo nuestro discurso modal central como un discurso contrafáctico sobre objetos reales.

Las doctrinas aliadas de importancia duradera se originaron o evolucionaron en otros escritos de Marcus. Por ejemplo, introdujo una noción flexible de extensionalidad según la cual los lenguajes y las teorías son extensionales en la medida en que identifican relaciones de equivalencia relativamente más fuertes con otras relativamente más débiles (Marcus, 1960, 1961). También propuso que los nombres propios ordinarios son etiquetas directamente referenciales sin contenido (Marcus, 1961). Al hacerlo, Marcus rechazó los relatos "descriptivistas" anteriores, a menudo asociados con Gottlob Frege y Bertrand Russell, y sentó la piedra angular de la llamada nueva teoría de la referencia directa elaborada más tarde por Saul Kripke, Keith Donnellan, David Kaplan y otros.

Escribiendo sobre teoría moral, Marcus expuso defectos en la estructura de la lógica deóntica estándar (Marcus, 1966). También argumentó que los dilemas morales son reales y, además, que su realidad es compatible con la consistencia de los principios morales de los que derivan (Marcus, 1980). Razonando a partir de un análogo directo de consistencia semántica, puso en tela de juicio argumentos familiares desde la existencia de dilemas morales hasta el antirrealismo ético. El relato resultante también arrojó algunos principios de segundo orden para evitar conflictos.

Finalmente, en una serie de artículos sobre la naturaleza de las creencias (Marcus, 1981, 1983, 1990), Marcus rechazó las teorías centradas en el lenguaje según las cuales las creencias son actitudes hacia entidades lingüísticas o cuasilingüísticas (oraciones en inglés o "mentalés", por ejemplo). ). Su propuesta fue que un agente X Que cree S si y solo si X está dispuesto a responder como si S obtiene, donde S es un posible estado de cosas y lo que se considera tal respuesta es una función de factores ambientales y estados internos tales como X necesidades y deseos. Esta teoría centrada en el objeto, a diferencia de las opiniones centradas en el lenguaje de Donald Davidson y Jerry Fodor, por ejemplo, se adapta de forma más natural a las creencias inconscientes y las creencias de los infralingües y no lingüísticos. También da cabida a una noción más sólida de racionalidad y explica, como sus rivales no pueden, por qué un agente completamente racional no creería una contradicción. En el sentido amplio del término, un agente racional es aquel que, entre otras cosas, se esfuerza por mantener la coherencia global de los indicadores conductuales, es decir, tanto verbales como no verbales, de sus creencias. Así, aunque un agente racional pudiera asentir a una contradicción, su asentimiento no "se convertiría" en una creencia. De hecho, al descubrir la contradicción, se retractaría de su afirmación de creencia anterior (contradictoria). En opinión de Marcus, así como no se puede saber qué es falso, tampoco se puede creer lo que es imposible.

Marcus fue profesora de filosofía y presidenta del departamento de la Universidad de Illinois en Chicago de 1964 a 1970, profesora de filosofía en la Universidad de Northwestern de 1970 a 1973 y profesora de filosofía Reuben Post Halleck en Yale, donde sucedió a su mentor Frederick. B. Fitch, desde 1973 hasta el momento de su jubilación en 1992. Además de sus logros académicos, Marcus cambió el rostro de la profesión filosófica por sus esfuerzos en favor de las mujeres. Quizás lo más notable a este respecto fue la reforma de las prácticas de contratación instituida por la Asociación Filosófica Estadounidense durante su mandato como funcionaria y, posteriormente, como presidenta de su Junta Nacional de Oficiales.

Véase también Davidson, Donald; Fodor, Jerry A .; Frege, Gottlob; Kaplan, David; Kripke, Saul; Lógica, Historia de; Metaética; Metafísica; Lógica modal; Filosofía del lenguaje; Quine, Willard Van Orman; Racionalidad; Russell, Bertrand Arthur William; Teoría de conjuntos.

Bibliografía

Obras de marcus

Barcan, RC "Un cálculo funcional de primer orden basado en una implicación estricta". Diario de lógica simbólica 11 (1946): 1 – 16.

Barcan, RC "La identidad de los individuos en un cálculo funcional estricto de primer orden". Diario de lógica simbólica 12 (1947): 12 – 15.

Marcus, RB "Extensionalidad". Mente 69 (273) (1960): 55-62.

Marcus, RB "Modalidades y lenguajes intensivos". Síntesis 13 (1961): 303 – 322.

Marcus, RB "Interpretación de la cuantificación". Consulta 5 (1962): 252 – 259.

Marcus, RB "Clases y atributos en sistemas modales extendidos". Actas del Coloquio en lógica modal y muy valorada, Acta philosophica fennica 16 (1963): 123 – 136.

Marcus, RB "Modalidades deónticas iteradas". Mente 75 (300) (1966): 580-582.

Marcus, RB "Esencialismo en lógica modal". Cacumen 1 (1967): 91 – 96.

Marcus, RB "Atribución esencial". Revista de filosofia 67 (1971): 187 – 202.

Marcus, RB "Cuantificación y Ontología". Cacumen 6 (1972): 240 – 250.

Marcus, RB "Clases, colecciones e individuos". Trimestral Filosófico Americano 11 (1974): 227 – 232.

Marcus, RB "Prescindir de Possibilia". Dirección presidencial, Actas de la Asociación Filosófica Estadounidense 49 (1976): 39 – 51.

Marcus, RB "Dilemas morales y coherencia". Revista de filosofia 77 (3) (1980): 121-135.

Marcus, RB "Una propuesta de solución a un rompecabezas sobre la fe". En Los fundamentos de la filosofía analítica, editado por P. French, T. Uehling, HK Wettstein. Estudios del Medio Oeste en Filosofía 6. Minneapolis: University of Minnesota Press, 1981.

Marcus, RB "Racionalidad y creer lo imposible". Revista de filosofia 75 (1983): 321 – 337.

Marcus, RB "Possibilia and Possible Worlds". Editado por R. Haller. Estudios filosóficos de Graz 25–26 (1985–1986): 107–132.

Marcus, RB "Algunas propuestas de revisión sobre creencias y creencias". Filosofía e Investigación Fenomenológica (Suplemento 1990): 133-154.

Marcus, RB Modalidades. Nueva York: Oxford University Press, 1993.

Diana Raffman (1996)

G. Schumm (1996)